- Epistemic Modality and Hyperintensionality in Mathematics.Timothy Bowen - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
The Nature of Appearance in Kant’s Transcendentalism: A Seman- tico-Cognitive Analysis.Sergey L. Katrechko - 2018 - Kantian Journal 37 (3):41-55.details
|
|
Ordinal Type Theory.Jan Plate - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.details
|
|
Philosophy, Drama and Literature.Rick Benitez - 2011 - In Graham Robert Oppy, Nick Trakakis, Lynda Burns, Steven Gardner & Fiona Leigh (eds.), A companion to philosophy in Australia & New Zealand. Clayton, Victoria, Australia: Monash University Publishing. pp. 371-372.details
|
|
Classes, why and how.Thomas Schindler - 2019 - Philosophical Studies 176 (2):407-435.details
|
|
A Logic for Frege's Theorem.Richard Heck - 1999 - In Richard G. Heck (ed.), Frege’s Theorem: An Introduction. The Harvard Review of Philosophy.details
|
|
Truth, Pretense and the Liar Paradox.Bradley Armour-Garb & James A. Woodbridge - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer. pp. 339-354.details
|
|
Paradoxes.Piotr Łukowski - 2011 - Dordrecht and New York: Springer.details
|
|
Unifying the Philosophy of Truth.Theodora Achourioti, Henri Galinon, José Martínez Fernández & Kentaro Fujimoto (eds.) - 2015 - Dordrecht, Netherland: Springer.details
|
|
Forms of Luminosity.Hasen Khudairi - 2017details
|
|
Paradox, truth and logic part I: Paradox and truth.Peter W. Woodruff - 1984 - Journal of Philosophical Logic 13 (2):213 - 232.details
|
|
Some Remarks on Formal Description of God's Omnipotence.Kordula Świętorzecka - 2011 - Logic and Logical Philosophy 20 (4):307-315.details
|
|
Ultramaximalist minimalism!A. Weir - 1996 - Analysis 56 (1):10-22.details
|
|
Naive Validity.Zach Weber - 2014 - Philosophical Quarterly 64 (254):99-114.details
|
|
A generalized quantifier logic for naked infinitives.Jaap van der Does - 1991 - Linguistics and Philosophy 14 (3):241-294.details
|
|
Impredicativity and Paradox.Gabriel Uzquiano - 2019 - Thought: A Journal of Philosophy 8 (3):209-221.details
|
|
Three theories of nominalized predicates.Raymond Turner - 1985 - Studia Logica 44 (2):165 - 186.details
|
|
Intensionality and paradoxes in ramsey’s ‘the foundations of mathematics’.Dustin Tucker - 2010 - Review of Symbolic Logic 3 (1):1-25.details
|
|
Abstraction in Fitch's Basic Logic.Eric Thomas Updike - 2012 - History and Philosophy of Logic 33 (3):215-243.details
|
|
Sets, lies, and analogy: a new methodological take.Giulia Terzian - 2020 - Philosophical Studies 178 (9):2759-2784.details
|
|
Norms of Truth and Logical Revision.Giulia Terzian - 2015 - Topoi 34 (1):15-23.details
|
|
Local semantic closure.Albert Sweet - 1999 - Linguistics and Philosophy 22 (5):509-528.details
|
|
Dynamic Approximation of Self-Referential Sentences.Vladimir A. Stepanov - 2022 - Studia Humana 11 (3-4):25-29.details
|
|
Unrestricted quantification and ranges of significance.Thomas Schindler - 2022 - Philosophical Studies 180 (5):1579-1600.details
|
|
Super liars.Philippe Schlenker - 2010 - Review of Symbolic Logic 3 (3):374-414.details
|
|
In defence of PKF.Ian Rumfitt - 2023 - Synthese 201 (2):1-21.details
|
|
Adding a Conditional to Kripke’s Theory of Truth.Lorenzo Rossi - 2016 - Journal of Philosophical Logic 45 (5):485-529.details
|
|
HYPER-REF: A General Model of Reference for First-Order Logic and First-Order Arithmetic.Pablo Rivas-Robledo - 2022 - Kriterion – Journal of Philosophy 36 (2):179-205.details
|
|
Self-reference and the languages of arithmetic.Richard Heck - 2007 - Philosophia Mathematica 15 (1):1-29.details
|
|
Some remarks on extending and interpreting theories with a partial predicate for truth.William N. Reinhardt - 1986 - Journal of Philosophical Logic 15 (2):219 - 251.details
|
|
Truth and meaning.Donald Perlis - 1989 - Artificial Intelligence 39 (2):245-250.details
|
|
Languages with self-reference II.Donald Perlis - 1988 - Artificial Intelligence 34 (2):179-212.details
|
|
Autocircumscription.Donald Perlis - 1988 - Artificial Intelligence 36 (2):223-236.details
|
|
Systems for Non-Reflexive Consequence.Carlo Nicolai & Lorenzo Rossi - 2023 - Studia Logica 111 (6):947-977.details
|
|
Provably True Sentences Across Axiomatizations of Kripke’s Theory of Truth.Carlo Nicolai - 2018 - Studia Logica 106 (1):101-130.details
|
|
Deflationary truth and the ontology of expressions.Carlo Nicolai - 2015 - Synthese 192 (12):4031-4055.details
|
|
A type-free system extending.John Myhill & Bob Flagg - 1989 - Annals of Pure and Applied Logic 43 (1):79-97.details
|
|
On Partial and Paraconsistent Logics.Reinhard Muskens - 1999 - Notre Dame Journal of Formal Logic 40 (3):352-374.details
|
|
Generalized Revenge.Julien Murzi & Lorenzo Rossi - 2020 - Australasian Journal of Philosophy 98 (1):153-177.details
|
|
How truthlike can a predicate be? A negative result.Vann McGee - 1985 - Journal of Philosophical Logic 14 (4):399 - 410.details
|
|
Inscrutability and its discontents.Vann McGee - 2005 - Noûs 39 (3):397–425.details
|
|
Field’s logic of truth.Vann McGee - 2010 - Philosophical Studies 147 (3):421-432.details
|
|
On Meaningfulness and Truth.Brian Edison McDonald - 2000 - Journal of Philosophical Logic 29 (5):433 - 482.details
|
|
What theories of truth should be like (but cannot be).Hannes Leitgeb - 2007 - Philosophy Compass 2 (2):276–290.details
|
|
HYPE: A System of Hyperintensional Logic.Hannes Leitgeb - 2019 - Journal of Philosophical Logic 48 (2):305-405.details
|
|
Circular languages.Hannes Leitgeb & Alexander Hieke - 2004 - Journal of Logic, Language and Information 13 (3):341-371.details
|
|
An ordinal analysis for theories of self-referential truth.Graham Emil Leigh & Michael Rathjen - 2010 - Archive for Mathematical Logic 49 (2):213-247.details
|
|
A proof-theoretic account of classical principles of truth.Graham E. Leigh - 2013 - Annals of Pure and Applied Logic 164 (10):1009-1024.details
|
|
Denotation and description in free logic.Frederick W. Kroon - 1991 - Theoria 57 (1-2):17-41.details
|
|
Types in logic and mathematics before 1940.Fairouz Kamareddine, Twan Laan & Rob Nederpelt - 2002 - Bulletin of Symbolic Logic 8 (2):185-245.details
|
|