The following pages link to (Q4108283):
Displaying 26 items.
- Structures and logics: a case for (a) relativism (Q488378) (← links)
- Consistency, models, and soundness (Q551223) (← links)
- Structuralism and meta-mathematics (Q707711) (← links)
- The concepts of equivalence, equality and identity (Q777979) (← links)
- Platitudes against paradox (Q885005) (← links)
- Zermelo's discovery of the ''Russell paradox'' (Q1151389) (← links)
- Frege on sense identity (Q1236523) (← links)
- How Bertrand Russell discovered his paradox (Q1247411) (← links)
- Hilbert's logic. From axiomatics to proof theory (Q1267397) (← links)
- The reception of Frege's \textit{Begriffsschrift} (Q1282320) (← links)
- A debate about the axiomatization of arithmetic: Otto Hölder against Robert Graßmann. (Q1415598) (← links)
- Hilbert's paradox (Q1604663) (← links)
- Frege on axioms, indirect proof, and independence arguments in geometry: Did Frege reject independence arguments? (Q1860969) (← links)
- Open texture and mathematics (Q1982002) (← links)
- Frege's philosophy of geometry (Q2052152) (← links)
- \textit{Begriffsschrift}'s logic (Q2656211) (← links)
- Benno kerry beiträge zu seiner biographie (Q4289572) (← links)
- THE SEMANTICS OF VALUE-RANGE NAMES AND FREGE’S PROOF OF REFERENTIALITY (Q4577995) (← links)
- THE CONCEPT<i>HORSE</i>IS A CONCEPT (Q4961743) (← links)
- The Semantic Function of the Axiomatic Method (Q5057050) (← links)
- On the Motives for Proof Theory (Q5213608) (← links)
- The Meaning(s) of “Is”: Normative vs. Naturalistic Views of Language (Q5350330) (← links)
- A Gricean Interpretation of Nāgārjuna’s Catuṣkoṭi and the No-Thesis View (Q6098743) (← links)
- Calculus as method or calculus as rules? Boole and Frege on the aims of a logical calculus (Q6180120) (← links)
- Understanding Frege's notion of presupposition (Q6180133) (← links)
- \textit{Grundlagen der arithmetik}, {\S}17. I: Frege's anticipation of the deduction theorem (Q6612865) (← links)
