Material to categorize
- Pure Logic and Higher-order Metaphysics.Christopher Menzel - forthcoming - In Peter Fritz & Nicholas Jones (eds.), Higher-Order Metaphysics. Oxford: Oxford University Press.details
- Two Conceptions of Absolute Generality.Salvatore Florio & Nicholas K. Jones - forthcoming - Philosophical Studies.details
- A note on fragments of uniform reflection in second order arithmetic.Emanuele Frittaion - 2022 - Bulletin of Symbolic Logic 28 (3):451-465.details
- The Logic of Hyperlogic. Part B: Extensions and Restrictions.Alexander W. Kocurek - forthcoming - Review of Symbolic Logic:1-28.details
- Scientific Disagreements, Fast Science and Higher-Order Evidence.Daniel Friedman & Dunja Šešelja - 2022details
- MASS SURVEILLANCE, BEHAVIOURAL CONTROL, AND PSYCHOLOGICAL COERCION THE MORAL ETHICAL RISKS IN COMMERCIAL DEVICES.Yang Immanuel Pachankis - 2022 - In David C. Wyld & Dhinaharan Nagamalai (eds.), Computer Science and Information Technology. Chennai, India: pp. 151-168.details
- Higher-order logic as metaphysics.Jeremy Goodman - forthcoming - In Peter Fritz & Jones Nicholas (eds.), Higher-Order Metaphysics. Oxford University Press.details
- A Case For Higher-Order Metaphysics.Andrew Bacon - forthcoming - In Peter Fritz & Nicholas K. Jones (eds.), Higher-order Metaphysics.details
- Neo-Fregeanism and the Burali-Forti Paradox.Ian Rumfitt - 2018 - In Ivette Fred Rivera & Jessica Leech (eds.), Being Necessary: Themes of Ontology and Modality from the Work of Bob Hale. Oxford: Oxford University Press. pp. 188-223.details
- Higher-Order Logic and Disquotational Truth.Lavinia Picollo & Thomas Schindler - 2022 - Journal of Philosophical Logic 51 (4):879-918.details
- Essence and Necessity.Andreas Ditter - 2022 - Journal of Philosophical Logic 51 (3):653-690.details
- The Logic of Hyperlogic. Part A: Foundations.Alexander W. Kocurek - forthcoming - Review of Symbolic Logic:1-27.details
- A Theory of Necessities.Andrew Bacon & Jin Zeng - 2022 - Journal of Philosophical Logic 51 (1):151-199.details
- Engineering Existence?Lukas Skiba - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.details
- Higher‐order metaphysics.Lukas Skiba - 2021 - Philosophy Compass 16 (10):1-11.details
- Logic Works: A Rigorous Introduction to Formal Logic.Lorne Falkenstein, Scott Stapleford & Molly Kao - 2022 - New York: Routledge.details
- Modes of Truth: The Unified Approach to Truth, Modality, and Paradox.Carlo Nicolai & Johannes Stern (eds.) - 2021 - New York, NY: Routledge.details
- Inner models from extended logics: Part 1.Juliette Kennedy, Menachem Magidor & Jouko Väänänen - 2020 - Journal of Mathematical Logic 21 (2):2150012.details
- A characterization of Σ 1 1 -reflecting ordinals.J. P. Aguilera - 2021 - Annals of Pure and Applied Logic 172 (10):103009.details
- The Logic of Logical Necessity.Andrew Bacon & Kit Fine - manuscriptdetails
- Logical Combinatorialism.Andrew Bacon - 2020 - Philosophical Review 129 (4):537-589.details
- Higher-order metaphysics and the tropes versus universals dispute.Lukas Skiba - 2021 - Philosophical Studies 178 (9):2805-2827.details
- The FAN principle and weak König's lemma in herbrandized second-order arithmetic.Fernando Ferreira - 2020 - Annals of Pure and Applied Logic 171 (9):102843.details
- The placeholder view of assumptions and the Curry–Howard correspondence.Ivo Pezlar - 2020 - Synthese (11):1-17.details
- Randomness notions and reverse mathematics.André Nies & Paul Shafer - 2020 - Journal of Symbolic Logic 85 (1):271-299.details
- Mechanizing principia logico-metaphysica in functional type-theory.Daniel Kirchner, Christoph Benzmüller & Edward N. Zalta - 2020 - Review of Symbolic Logic 13 (1):206-218.details
- Elementary inductive dichotomy: Separation of open and clopen determinacies with infinite alternatives.Kentaro Sato - 2020 - Annals of Pure and Applied Logic 171 (3):102754.details
- Substitution Structures.Andrew Bacon - 2019 - Journal of Philosophical Logic 48 (6):1017-1075.details
- Radical anti‐disquotationalism.Andrew Bacon - 2018 - Philosophical Perspectives 32 (1):41-107.details
- A model of second-order arithmetic satisfying AC but not DC.Sy-David Friedman, Victoria Gitman & Vladimir Kanovei - 2019 - Journal of Mathematical Logic 19 (1):1850013.details
- On the mathematical and foundational significance of the uncountable.Dag Normann & Sam Sanders - 2019 - Journal of Mathematical Logic 19 (1):1950001.details
- Minimum models of second-order set theories.Kameryn J. Williams - 2019 - Journal of Symbolic Logic 84 (2):589-620.details
- M. R. Krom. Separation principles in the hierarchy theory of pure first-order logic. The journal of symbolic logic, vol. 28 no. 3 , pp. 222–236.D. A. Clarke - 1966 - Journal of Symbolic Logic 31 (3):503.details
- Angelo Margaris. First order mathematical logic. Blaisdell Publishing Company, Waltham, Massachusetts, Toronto, and London, 1967, x + 211 pp. [REVIEW]A. H. Lightstone - 1972 - Journal of Symbolic Logic 37 (3):616.details
- Dag Prawitz. Hauptsatz for higher order logic. The journal of symbolic logic, Bd. 33 , S. 452–457. - Dag Prawitz. Completeness and Hauptsatz for second order logic. Theoria , Bd. 33 , S. 246–258. - Moto-o Takahashi. A proof of cut-elimination in simple type-theory. Journal of the Mathematical Society of Japan, Bd. 19 , S. 399–410. [REVIEW]K. Schutte - 1974 - Journal of Symbolic Logic 39 (3):607-607.details
- Saharon Shelah. There are just four second-order quantifiers. Israel journal of mathematics, vol. 15 , pp. 282–300.John T. Baldwin - 1986 - Journal of Symbolic Logic 51 (1):234.details
- Completeness of Second-Order Intuitionistic Propositional Logic with Respect to Phase Semantics for Proof-Terms.Yuta Takahashi & Ryo Takemura - 2019 - Journal of Philosophical Logic 48 (3):553-570.details
- Johan van Benthem and Kees Doets. Higher-order logic. Handbook of philosophica logic, Volume I, Elements of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 164, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, pp. 275–329. [REVIEW]Kim Bruce - 1989 - Journal of Symbolic Logic 54 (3):1090-1092.details
- Stewart Shapiro. Second-order languages and mathematical practice. The journal of symbolic logic, vol. 50 , pp. 714–742. [REVIEW]Geoffrey Hellman - 1989 - Journal of Symbolic Logic 54 (1):291-293.details
- Nominalist Realism.Nicholas K. Jones - 2018 - Noûs 52 (4):808-835.details
- Second-Order Logic of Paradox.Allen P. Hazen & Francis Jeffry Pelletier - 2018 - Notre Dame Journal of Formal Logic 59 (4):547-558.details
- The Broadest Necessity.Andrew Bacon - 2018 - Journal of Philosophical Logic 47 (5):733-783.details
- Higher-Order Contingentism, Part 3: Expressive Limitations.Peter Fritz - 2018 - Journal of Philosophical Logic 47 (4):649-671.details
- Higher-Order Contingentism, Part 2: Patterns of Indistinguishability.Peter Fritz - 2018 - Journal of Philosophical Logic 47 (3):407-418.details
- The Logic of Opacity.Andrew Bacon & Jeffrey Sanford Russell - 2019 - Philosophy and Phenomenological Research 99 (1):81-114.details
- A model-theoretic characterization of monadic second order logic on infinite words.Silvio Ghilardi & Samuel J. van Gool - 2017 - Journal of Symbolic Logic 82 (1):62-76.details
- Second-order Logic And Foundations Of Mathematics.Jouko V. "A. "An "Anen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.details
- Comparing Approaches To Resolution Based Higher-Order Theorem Proving.Christoph Benzmüller - 2002 - Synthese 133 (1):203-335.details
- Syntactical Truth Predicates for Second Order Arithmetic.Loic Colson & Serge Grigorieff - 2001 - Journal of Symbolic Logic 66 (1):225-256.details
- Strong normalization proof with CPS-translation for second order classical natural deduction.Koji Nakazawa & Makoto Tatsuta - 2003 - Journal of Symbolic Logic 68 (3):851-859.details
|
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
|
RSS feed
|
|