What are implicit definitions?

DOI10.1007/S10670-019-00176-5MaRDI QIDQ6651275

Eduardo N. Giovannini, Georg Schiemer

Publication date: 10 December 2024

Published in: Erkenntnis (Search for Journal in Brave)

zbMATH Keywords

modern mathematicsinferential semanticsmodel-theoretic semanticsimplicit definitionsformal axiomaticsstructural definitions

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Other model constructions (03C30)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• What is the axiomatic method?
• Double vision: two questions about the neo-Fregean program
• The good, the bad and the ugly
• The structuralist view of mathematical objects
• Eigentliche und uneigentliche Begriffe.
• Vorlesungen über neuere Geometrie. 2. Aufl. Mit einem Anhang: M. Dehn. Die Grundlegung der Geometrie in historischer Entwicklung.
• Allgemeine Erkenntnislehre (Naturwissenschaftliche Monographischen und Lehrbücher, 1. Bd.).
• Prinzipien der Geometrie.
• Über die Grundlagen der Geometrie I und II.
• Abriß der Logistik. Mit besonderer Berücksichtigung der Relationstheorie und ihrer Anwendungen.
• Untersuchungen über das logische Schliessen. II
• Reconsidering logical positivism
• Abstractionism. Essays in philosophy of mathematics
• Logicism revisited
• On the relationship between plane and solid geometry
• The Cambridge Companion to Frege
• DEDEKIND AND HILBERT ON THE FOUNDATIONS OF THE DEDUCTIVE SCIENCES
• Implizite Definitionen—Eine Verwechselungsgeschichte
• Dedekind's Abstract Concepts: Models and Mappings
• Dedekind's Logicism
• Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
• Axioms in Mathematical Practice
• What Are Structural Properties?†
• Implicit Definition, Analytic Truth, and Apriori Knowledge
• Categories, Structures, and the Frege-Hilbert Controversy: The Status of Meta-mathematics
• Ueber den Zahlbegriff.
• Grundlagen der Geometrie.

Related Items (2)

Federigo Enriques and the philosophical background to the discussion of implicit definitions ⋮ Schlick and Carnap on definitions

This page was built for publication: What are implicit definitions?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6651275)