- Quine's set theory and the definition of satisfaction.Chris Brink - 1976 - Philosophical Papers 5 (1):11-18.details
|
|
Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.details
|
|
Working from Within: The Nature and Development of Quine's Naturalism.Sander Verhaegh - 2018 - New York: Oxford University Press.details
|
|
Composition and division.John Woods & Douglas Walton - 1977 - Studia Logica 36 (4):381 - 406.details
|
|
Logic of many-sorted theories.Hao Wang - 1952 - Journal of Symbolic Logic 17 (2):105-116.details
|
|
New foundations for imperative logic I: Logical connectives, consistency, and quantifiers.Peter B. M. Vranas - 2008 - Noûs 42 (4):529-572.details
|
|
The absorption law: Or: how to Kreisel a Hilbert–Bernays–Löb.Albert Visser - 2020 - Archive for Mathematical Logic 60 (3-4):441-468.details
|
|
Compositionality: A connectionist variation on a classical theme.Tim van Gelder - 1990 - Cognitive Science 14 (3):355-84.details
|
|
Compositionality: A connectionist variation on a classical theme.Tim van Gelder - 1990 - Cognitive Science 14 (3):355-384.details
|
|
Splinters of recursive functions.J. S. Ullian - 1960 - Journal of Symbolic Logic 25 (1):33-38.details
|
|
Words on Kripke’s Puzzle.Maciej Tarnowski & Maciej Głowacki - 2022 - Synthese 200 (4):1-21.details
|
|
“Inference versus consequence” revisited: inference, consequence, conditional, implication.Göran Sundholm - 2012 - Synthese 187 (3):943-956.details
|
|
Combinatory logic with polymorphic types.William R. Stirton - 2022 - Archive for Mathematical Logic 61 (3):317-343.details
|
|
Simplified foundations for mathematical logic.Robert L. Stanley - 1955 - Journal of Symbolic Logic 20 (2):123-139.details
|
|
Science without reduction.Helmut F. Spinner - 1973 - Inquiry: An Interdisciplinary Journal of Philosophy 16 (1-4):16 – 94.details
|
|
‘Identity’ as a mereological term.Jeroen Smid - 2017 - Synthese 194 (7):2367-2385.details
|
|
Leibniz and Russell on Existence and Quantification Theory.Jeffrey Skosnik - 1980 - Canadian Journal of Philosophy 10 (4):681 - 720.details
|
|
A relative consistency proof.Joseph R. Shoenfield - 1954 - Journal of Symbolic Logic 19 (1):21-28.details
|
|
Logical paradoxes for many-valued systems.Moh Shaw-Kwei - 1954 - Journal of Symbolic Logic 19 (1):37-40.details
|
|
A note on the theory of quantification.Moh Shaw-Kwei - 1952 - Journal of Symbolic Logic 17 (4):243-244.details
|
|
Whatever Binds the World’s Innermost Core Together Outline of a General Theory of Ontic Predication.Luc Schneider - 2013 - Axiomathes 23 (2):419-442.details
|
|
On the syntax of logic and set theory.Lucius T. Schoenbaum - 2010 - Review of Symbolic Logic 3 (4):568-599.details
|
|
Sophist 237-239.George Rudebusch - 1991 - Southern Journal of Philosophy 29 (4):521-531.details
|
|
The axiom of infinity in Quine's new foundations.J. Barkley Rosser - 1952 - Journal of Symbolic Logic 17 (4):238-242.details
|
|
Reach's Puzzle and Mention.Daniel J. Hill Richard Gaskin - 2013 - Dialectica 67 (2):201-222.details
|
|
Unification of universes in set theory.W. V. Quine - 1956 - Journal of Symbolic Logic 21 (3):267-279.details
|
|
Quantification and the empty domain.W. V. Quine - 1954 - Journal of Symbolic Logic 19 (3):177-179.details
|
|
Fregean grammar: A formal outline.Timothy C. Potts - 1978 - Studia Logica 37 (1):7 - 26.details
|
|
The Antinomy of the Variable: A Tarskian Resolution.Bryan Pickel & Brian Rabern - 2016 - Journal of Philosophy 113 (3):137-170.details
|
|
Does Semantic Relationism Solve Frege's Puzzle?Bryan Pickel & Brian Rabern - 2017 - Journal of Philosophical Logic 46 (1):97-118.details
|
|
Against Fregean Quantification.Bryan Pickel & Brian Rabern - 2023 - Ergo: An Open Access Journal of Philosophy 9 (37):971-1007.details
|
|
R. M. Martin’s Logic of Belief.David Parsons - 2017 - History and Philosophy of Logic 38 (1):72-86.details
|
|
On the relative consistency of set theory.Steven Orey - 1956 - Journal of Symbolic Logic 21 (3):280-290.details
|
|
Formal development of ordinal number theory.Steven Orey - 1955 - Journal of Symbolic Logic 20 (1):95-104.details
|
|
On the rules of proof in the pure functional calculus of the first order.Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (2):107-111.details
|
|
Scientific Philosophy and the Critique of Metaphysics from Russell to Carnap to Quine.Sean Morris - 2020 - Erkenntnis 85 (4):773-799.details
|
|
The complexity of the modal predicate logic of "true in every transitive model of ZF".Vann McGee - 1997 - Journal of Symbolic Logic 62 (4):1371-1378.details
|
|
Abstract Individuals.Storrs McCall - 1966 - Dialogue 5 (2):217-231.details
|
|
Formal Arguments in Support of the Coherence Theory of the Nature of Truth.J. R. A. Mayer - 1965 - Dialogue 4 (3):376-380.details
|
|
Formal Arguments in Support of the Coherence Theory of the Nature of Truth.J. R. A. Mayer - 1965 - Dialogue 4 (3):376-380.details
|
|
A formalization of inductive logic.R. M. Martin - 1958 - Journal of Symbolic Logic 23 (3):251-256.details
|
|
No Identity Without an Entity.Luke Manning - 2015 - Pacific Philosophical Quarterly 96 (1):279-305.details
|
|
Authority.Jim Mackenzie - 1988 - Journal of Philosophy of Education 22 (1):57-67.details
|
|
Self-knowledge in Aristotle.Frank A. Lewis - 1996 - Topoi 15 (1):39-58.details
|
|
Fregeanism, sententialism, and scope.Harvey Lederman - 2022 - Linguistics and Philosophy 45 (6):1235-1275.details
|
|
Wittgenstein's ab-Notation: An Iconic Proof Procedure.Timm Lampert - 2017 - History and Philosophy of Logic 38 (3):239-262.details
|
|
The Emergence of Logical Formalization in the Philosophy of Religion: Genesis, Crisis, and Rehabilitation.Anders Kraal - 2013 - History and Philosophy of Logic 34 (4):351 - 366.details
|
|
Die Relative Konsistenz Axiomatischer Mengentheorien.Martin Kühnrich - 1968 - Mathematical Logic Quarterly 14 (1-5):1-38.details
|
|
Toulmin's rhetorical logic: What's the warrant for warrants?William Keith & David Beard - 2008 - Philosophy and Rhetoric 41 (1):22-50.details
|
|
What Were Tarski's Truth-Definitions for?John F. Fox - 1989 - History and Philosophy of Logic 10 (2):165-179.details
|
|