scientific article; zbMATH DE number 3057869

zbMath0038.14811MaRDI QIDQ5797033

W. V. Quine

Publication date: 1950

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

zbMATH Keywords

Philosophy and foundations of mathematics

Related Items (44)

De Finettian logics of indicative conditionals. I: Trivalent semantics and validity ⋮ Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations ⋮ On Jaśkowski's discussive logics ⋮ Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors ⋮ Variable declarations in natural deduction ⋮ A satisfiability tester for non-clausal propositional calculus ⋮ Increasing the efficiency of automated theorem proving ⋮ Shallow analysis and the slingshot argument ⋮ Decidability of fluted logic with identity ⋮ Quantifiers defined by parametric extensions ⋮ Situations in which disjunctive syllogism can lead from true premises to a false conclusion ⋮ THE GENEALOGY OF ‘’ ⋮ Contributions of Logical Analysis for Mathematics Education ⋮ The logic of Quinean revisability ⋮ Jean van Heijenoort's conception of modern logic, in historical perspective ⋮ Satisfying Predicates: Kleene's Proof of the Hilbert–Bernays Theorem ⋮ In defence of higher-level plural logic: drawing conclusions from natural language ⋮ Peirce the logician ⋮ Mathematical Logic: Mathematics of Logic or Logic of Mathematics ⋮ Indicative conditionals: factual or epistemic? ⋮ On a derivation of the necessity of identity ⋮ Formalization and the objects of logic ⋮ The logic of indexicals ⋮ General-elimination stability ⋮ Completion, reduction and analysis: three proof-theoretic processes in aristotle’sprior analytics ⋮ A Brief History of Natural Deduction ⋮ Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different ⋮ A survey of nonstandard sequent calculi ⋮ Conditionals in reasoning ⋮ Reductions for non-clausal theorem proving ⋮ Formalization of that-clauses ⋮ New foundations for counterfactuals ⋮ Quine’s Substitutional Definition of Logical Truth and the Philosophical Significance of the Löwenheim-Hilbert-Bernays Theorem ⋮ Linguistically invariant inductive logic ⋮ Problems for Logical Pluralism ⋮ One true logic? ⋮ Algebraic Topological Methods for the Synthesis of Switching Systems. I ⋮ Hypothesis test for causal explanations in human pathology: Evaluation of pulmonary edema in 181 autopsied patients with leukemia ⋮ Simplification in a satisfiability checker for VLSI applications ⋮ On plural reference and elementary set theory ⋮ Skolem redux ⋮ An information-based theory of conditionals ⋮ A resolution rule for well-formed formulae ⋮ The logic and meaning of plurals. I

This page was built for publication: