- Frege’s Theory of Types.Bruno Bentzen - 2023 - Manuscrito 46 (4):2022-0063.details
|
|
Ordinal Type Theory.Jan Plate - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.details
|
|
A fictionalist theory of universals.Tim Button & Robert Trueman - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press.details
|
|
Classicism.Andrew Bacon & Cian Dorr - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press. pp. 109-190.details
|
|
Arithmetic is Determinate.Zachary Goodsell - 2021 - Journal of Philosophical Logic 51 (1):127-150.details
|
|
Pravda a paradox: úvod do problematiky.Jiří Raclavský - 2010 - Pro-Fil 10 (2):13-22.details
|
|
Methodology in the ontology of artworks: exploring hermeneutic fictionalism.Elisa Caldarola - 2020 - In Concha Martinez Vidal & José Luis Falguera Lopez (ed.), Abstract Objects: For and Against.details
|
|
A hybrid categorial approach to question composition.Yimei Xiang - 2020 - Linguistics and Philosophy 44 (3):587-647.details
|
|
Maddy On The Multiverse.Claudio Ternullo - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 43-78.details
|
|
Recognizing Argument Types and Adding Missing Reasons.Christoph Lumer - 2019 - In Bart J. Garssen, David Godden, Gordon Mitchell & Jean Wagemans (eds.), Proceedings of the Ninth Conference of the International Society for the Study of Argumentation (ISSA). [Amsterdam, July 3-6, 2018.]. Sic Sat. pp. 769-777.details
|
|
Introduction.Elisabeth Camp - 2007 - The Baltic International Yearbook of Cognition, Logic and Communication 3 (1).details
|
|
Ins and outs of Russell's theory of types.Ali Bora Enderer - unknowndetails
|
|
Predicativity and Feferman.Laura Crosilla - 2017 - In Gerhard Jäger & Wilfried Sieg (eds.), Feferman on Foundations: Logic, Mathematics, Philosophy. Cham: Springer. pp. 423-447.details
|
|
Scientific phenomena and patterns in data.Pascal Ströing - 2018 - Dissertation, Lmu Münchendetails
|
|
Semantics with Dependent Types for Indefinites.Justyna Grudzińska - 2016 - Studies in Logic, Grammar and Rhetoric 46 (1):173-192.details
|
|
Husserl's Logical Grammar.Ansten Klev - 2018 - History and Philosophy of Logic 39 (3):232-269.details
|
|
How Fine-Grained is Reality?Peter Fritz - 2017 - Filosofisk Supplement 13 (2):52-57.details
|
|
Nonindexical Context-Dependence and the Interpretation as Abduction Approach.Erich Rast - 2011 - Lodz Papers in Pragmatics 7 (2):259-279.details
|
|
A Theory of Practical Meaning.Carlotta Pavese - 2017 - Philosophical Topics 45 (2):65-96.details
|
|
On the number of types.Miloš Kosterec - 2017 - Synthese 194 (12):5005-5021.details
|
|
Why Ramify?Harold T. Hodes - 2015 - Notre Dame Journal of Formal Logic 56 (2):379-415.details
|
|
Commentary on Hitchcock, Mcburney & Parsons.Walid Saba - unknowndetails
|
|
Conditionals, Meaning, and Mood.William Starr - 2010 - Dissertation, Rutgers Universitydetails
|
|
Linguistic Complexity and Argumentative Unity: A Lvov-Warsaw School Supplement.Peter Simons - 2014 - Studies in Logic, Grammar and Rhetoric 36 (1):101-119.details
|
|
A Partial Account of Presupposition Projection.David Beaver & Emiel Krahmer - 2001 - Journal of Logic, Language and Information 10 (2):147-182.details
|
|
Dynamická sémantika a dynamická logika.Jaroslav Peregrin - 1996 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 3 (4):333-348.details
|
|
Don't Ask, Look! Linguistic Corpora as a Tool for Conceptual Analysis.Roland Bluhm - 2013 - In Miguel Hoeltje, Thomas Spitzley & Wolfgang Spohn (eds.), Was dürfen wir glauben? Was sollen wir tun? Sektionsbeiträge des achten internationalen Kongresses der Gesellschaft für Analytische Philosophie e.V. DuEPublico. pp. 7-15.details
|
|
Forcing, Downward Löwenheim-Skolem and Omitting Types Theorems, Institutionally.Daniel Găină - 2014 - Logica Universalis 8 (3-4):469-498.details
|
|
Two Problems with the Socio-Relational Critique of Distributive Egalitarianism.Christian Seidel - 2013 - In Miguel Hoeltje, Thomas Spitzley & Wolfgang Spohn (eds.), Was dürfen wir glauben? Was sollen wir tun? Sektionsbeiträge des achten internationalen Kongresses der Gesellschaft für Analytische Philosophie e.V. DuEPublico. pp. 525-535.details
|
|
Quantified Multimodal Logics in Simple Type Theory.Christoph Benzmüller & Lawrence C. Paulson - 2013 - Logica Universalis 7 (1):7-20.details
|
|
Formal semantics in modern type theories with coercive subtyping.Zhaohui Luo - 2012 - Linguistics and Philosophy 35 (6):491-513.details
|
|
A Higher-Order Theory of Presupposition.Scott Martin & Carl Pollard - 2012 - Studia Logica 100 (4):727-751.details
|
|
Type-Logical Semantics.Reinhard Muskens - 2011 - Routledge Encyclopedia of Philosophy Online.details
|
|
Alonzo church:his life, his work and some of his miracles.Maía Manzano - 1997 - History and Philosophy of Logic 18 (4):211-232.details
|
|
Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.details
|
|
PM's Circumflex, Syntax and Philosophy of Types.Kevin C. Klement - 2011 - In Kenneth Blackwell, Nicholas Griffin & Bernard Linsky (eds.), Principia mathematica at 100. Hamilton, Ontario: Bertrand Russell Research Centre. pp. 218-246.details
|
|
Grammar induction by unification of type-logical lexicons.Sean A. Fulop - 2010 - Journal of Logic, Language and Information 19 (3):353-381.details
|
|
Proceeding in Abstraction. From Concepts to Types and the recent perspective on Information.Giuseppe Primiero - 2009 - History and Philosophy of Logic 30 (3):257-282.details
|
|
Abstract Objects: An Introduction to Axiomatic Metaphysics.Edward N. Zalta - 1983 - Dordrecht, Netherland: D. Reidel.details
|
|
Russell's 1903 - 1905 Anticipation of the Lambda Calculus.Kevin C. Klement - 2003 - History and Philosophy of Logic 24 (1):15-37.details
|
|
Abstract objects.Gideon Rosen - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Logical constants.John MacFarlane - 2008 - Mind.details
|
|
Tense and the logic of change.Reinhard Muskens - 1991 - In Talking about Trees and Truth-Conditions. Springer Verlag. pp. 147-183.details
|
|
Categorial grammar and discourse representation theory.Reinhard Muskens - 1994 - In Yorick Wilks (ed.), Proceedings of COLING 94. Kyoto: pp. 508-514.details
|
|
Variable-Binders as Functors.Achille C. Varzi - 1995 - Poznan Studies in the Philosophy of the Sciences and the Humanities 40:303-19.details
|
|
Intensional models for the theory of types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.details
|
|
Sense and the computation of reference.Reinhard Muskens - 2004 - Linguistics and Philosophy 28 (4):473 - 504.details
|
|
Combining Montague semantics and discourse representation.Reinhard Muskens - 1996 - Linguistics and Philosophy 19 (2):143 - 186.details
|
|
Types in logic and mathematics before 1940.Fairouz Kamareddine, Twan Laan & Rob Nederpelt - 2002 - Bulletin of Symbolic Logic 8 (2):185-245.details
|
|
A correspondence between Martin-löf type theory, the ramified theory of types and pure type systems.Fairouz Kamareddine & Twan Laan - 2001 - Journal of Logic, Language and Information 10 (3):375-402.details
|
|