scientific article

From MaRDI portal
Publication:3967509

zbMath0502.03002MaRDI QIDQ3967509

G. Frege

Publication date: 1980


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items

PROJECTIVE DUALITY AND THE RISE OF MODERN LOGICRUSSELL AND GÖDELBook review of: G. Frege, Basic laws of arithmetic. Derived using concept-script. Volume 1 and 2. Edited by Philip A. Ebert and Marcus Rossberg.Does \(2+3=5\)? In defence of a near absurdityOn mathematical towers of Babel and ``translation as an epistemic categoryFrege's cardinals as concept-correlatesLogic in Russell's Principles of MathematicsThe curious neglect of geometry in modern philosophies of mathematicsFrege on number propertiesWittgenstein on mathematical meaningfulness, decidability, and applicationCantor's power-set theorem versus frege's double-correlation thesisGrundgesetze der Arithmetik I \S\S 29-32Mathematics as the Art of AbstractionHusserlian Pure Logic from the Standpoint of IntentionalityLogical Autobiography 50An examination of some aspects of Howard Stein's workAssertion and denial: Aa contribution from logical notationsReprint of: ``Assertion and denial: a contribution from logical notationsFrege on intuition and objecthood in projective geometryThe functional composition of senseLogic Discovered and Logic Imposed (A Purim Story)Calculus as method or calculus as rules? Boole and Frege on the aims of a logical calculusUnderstanding Frege's notion of presuppositionHow (not) to construct worlds with responsibilityModels, structures, and the explanatory role of mathematics in empirical scienceWhat did Frege take Russell to have proved?Frege and the origins of model theory in nineteenth century geometryFunction and Argument inBegriffsschriftFrege's Cardinals Do Not Always Obey Hume's PrincipleOn Frege's Begriffsschrift Notation for Propositional Logic: Design Principles and Trade-OffsSimplex sigillum veri: Peano, Frege, and Peirce on the Primitives of LogicThree Doctrines of the Nature of Mathematics (Some Comments of a Knowledge Theorist)On fundamental differences between dependent and independent meaningsQuantifiers. Hintikka and Frege on Quantification ConceptsStructures and logics: a case for (a) relativismConceptual realism versus Quine on classes and higher-order logicOpen texture and mathematicsHilbert’s sixth problem: between the foundations of geometry and the axiomatization of physicsBridging the gap between analytic and synthetic geometry: Hilbert's axiomatic approachFrege on Indirect ProofSingular propositions and singular thoughtsOn Translating Frege'sDie Grundlagen der ArithmetikFrege's proof of referentialityThe applicability of mathematics as a philosophical problem: mathematization as explorationThe Context of InferenceOn the Motives for Proof TheoryOn Russell's vulnerability to Russell's paradoxRussell's Paradox in Appendix B of the Principles of Mathematics : Was Frege's response adequate?Russell's 1903 - 1905 Anticipation of the Lambda CalculusH for Hilbert. \dots and M for mathematicsHilbert on kinetic theory and radiation theory (1912-1914)Gödel on ConceptsFrege's Puzzle and Arithmetical Formalism. Putting Things in ContextThe truth and nothing but the truth, yet never the whole truth: Frege, Russell and the analysis of unitiesThe good, the bad and the uglyFrege's ontological diagram completedTruth in Frege's ``law of truth\textit{``Generaliter de nullo enuntiabili aliquid scio}: meaning and propositional content in the \textit{Ars Meliduna}Frege, the identity ofSinnand Carnap's intensionThe independence of the parallel postulate and development of rigorous consistency proofsOn the origin and status of our conception of numberFrege on axioms, indirect proof, and independence arguments in geometry: Did Frege reject independence arguments?Metaphorical reactions in 1932: from the mathematical ‘crisis of intuition’ to ‘reconstruction in the exact sciences’The logic and meaning of plurals. IWhy ramify?The emergence of some of the nonlogical paradoxes of the theory of sets, 1903-1908Thought-contents and the formal ontology of sense