The foundations of mathematics. A study in the philosophy of science
From MaRDI portal
Publication:770676
zbMath0085.24104MaRDI QIDQ770676
Publication date: 1959
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
Philosophy of mathematics (00A30) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Research exposition (monographs, survey articles) pertaining to mathematics in general (00-02)
Related Items
Dialogspiele als Semantische Grundlage von Logikkalkülen, Controlled integration of the cut rule into connection tableau calculi, Tableau-based characterization and theorem proving for default logic, Well-Ordering Principles in Proof Theory and Reverse Mathematics, Leon Henkin the Reviewer, Henkin’s Theorem in Textbooks, An algebraic synthesis of the foundations of logic and probability, Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus, Peano's axioms in their historical context, A weak intuitionistic propositional logic with purely constructive implication, Aristotle's prototype rule-based underlying logic, H.S.M. Coxeter's theory of accessibility: from Mario Pieri to Marvin Greenberg, Subalternation and existence presuppositions in an unconventionally formalized canonical square of opposition, Kneale's natural deductions as a notational variant of Beth's tableaus, Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels, Intersection and union types, Intuitionistic completeness of first-order logic, Intuitive counterexamples for constructive fallacies, Russell and Kant, Tableaux for realizability of safety specifications, König's Infinity Lemma and Beth's Tree Theorem, An NP-complete fragment of fibring logic, First-order automated reasoning with theories: when deduction modulo theory meets practice, Maehara-style modal nested calculi, Implicit Definitions, Second-Order Quantifiers, and the Robustness of the Logical Operators, INTENSIONALITY AND PARADOXES IN RAMSEY’S ‘THE FOUNDATIONS OF MATHEMATICS’, Intuitionistic Decision Procedures Since Gentzen, The cognitive relation in a formal setting, Combining many-valued and intuitionistic tableaux, T-string unification: Unifying prefixes in non-classical proof methods, A guide to completeness and complexity for modal logics of knowledge and belief, Converting non-classical matrix proofs into sequent-style systems, Pluralism in Logic: The Square of Opposition, Leibniz’ Principle of Sufficient Reason and Markov’s Principle, On meaningfulness and truth, Non-classical propositional calculi in relation to methodological patterns of scientific investigation, Historical Reflections on the Physics Mathematics Relationship in Electromagnetic Theory, Peirce, frege, the logic of relations, and church's theorem, Tavole semantiche per sistemi astratti di logica estensionale, The projective geometry of Mario Pieri: a legacy of Georg Karl Christian von Staudt, Tableaux and dual tableaux: transformation of proofs, Aristotle's Demonstrative Logic, The undefinability of intersection from perpendicularity in the three- dimensional Euclidean geometry of lines, Relevant analytic tableaux, A multimodal logic for reasoning about complementarity, Beth's tableau-method, A first order logic for partial functions, The method of axiomatic rejection for the intuitionistic propositional logic, Games and bisimulations for intuitionistic first-order Kripke models, PARADOXES OF INTENSIONALITY, Analytical tableaux for da Costa's hierarchy of paraconsistent logics Cn, 1≤n<ω, A generalization of Piaget's logical-mathematical model for the stage of formal operations, An intuitionist reasoning upon formal intuitionist logic: logical analysis of Kolmogorov's 1932 paper, A fuzzy logic with interval truth values, A semantic theory of sortal incorrectness, A modern elaboration of the ramified theory of types, AUTOLOGY OF TIME*, Intuitionistic truth, On average time hierarchies, Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\), Lorenzen and Constructive Mathematics
