- Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017details
|
|
Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
Singular Concepts.Nathan Salmón - forthcoming - Synthese.details
|
|
The senses of functions in the logic of sense and denotation.Kevin C. Klement - 2010 - Bulletin of Symbolic Logic 16 (2):153-188.details
|
|
Alonzo Church’s Contributions to Philosophy and Intensional Logic.C. Anthony Anderson - 1998 - Bulletin of Symbolic Logic 4 (2):129-171.details
|
|
Ordinal Type Theory.Jan Plate - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.details
|
|
Against Semantic Relationism.Nathan Salmon - manuscriptdetails
|
|
Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic.Marie Duží, Bjorn Jespersen & Pavel Materna - 2010 - Dordrecht, Netherland: Springer.details
|
|
Predicativity, the Russell-Myhill Paradox, and Church’s Intensional Logic.Sean Walsh - 2016 - Journal of Philosophical Logic 45 (3):277-326.details
|
|
Paradoxes of intensionality.Dustin Tucker & Richmond H. Thomason - 2011 - Review of Symbolic Logic 4 (3):394-411.details
|
|
Intensionality and paradoxes in ramsey’s ‘the foundations of mathematics’.Dustin Tucker - 2010 - Review of Symbolic Logic 3 (1):1-25.details
|
|
Qualitative properties and relations.Jan Plate - 2022 - Philosophical Studies 179 (4):1297-1322.details
|
|
Simple Concepts.Pavel Materna - 2013 - Acta Analytica 28 (3):295-319.details
|
|
Equivalence of Problems (An Attempt at an Explication of Problem).Pavel Materna - 2013 - Axiomathes 23 (4):617-631.details
|
|
Concepts as hyperintensional objects.Pavel Materna - 2014 - Logic and Logical Philosophy (2):133-170.details
|
|
Concepts and recipes.Pavel Materna - 2009 - Acta Analytica 24 (1):69-90.details
|
|
Fregeanism, sententialism, and scope.Harvey Lederman - 2022 - Linguistics and Philosophy 45 (6):1235-1275.details
|
|
On the number of types.Miloš Kosterec - 2017 - Synthese 194 (12):5005-5021.details
|
|
The number of senses.Kevin C. Klement - 2003 - Erkenntnis 58 (3):303 - 323.details
|
|
Russell's Paradox in Appendix B of the Principles of Mathematics : Was Frege's response adequate?Kevin C. Klement - 2001 - History and Philosophy of Logic 22 (1):13-28.details
|
|
An Intensional Solution to the Bike Puzzle of Intentional Identity.Bjørn Jespersen - 2011 - Philosophia 39 (2):297-307.details
|
|
Perception, Intuition, and Reliability.Kai Hauser & Tahsİn Öner - 2018 - Theoria 84 (1):23-59.details
|
|
Gödel's program revisited part I: The turn to phenomenology.Kai Hauser - 2006 - Bulletin of Symbolic Logic 12 (4):529-590.details
|
|
Procedural isomorphism, analytic information and -conversion by value.M. Duzi & B. Jespersen - 2013 - Logic Journal of the IGPL 21 (2):291-308.details
|
|
If structured propositions are logical procedures then how are procedures individuated?Marie Duží - 2019 - Synthese 196 (4):1249-1283.details
|
|
Transparent quantification into hyperintensional objectual attitudes.Bjørn Jespersen & Marie Duží - 2015 - Synthese 192 (3):635-677.details
|
|
Can concepts be defined in terms of sets?Marie Duží & Pavel Materna - 2010 - Logic and Logical Philosophy 19 (3):195-242.details
|
|
Lambda in Sentences with Designators.Nathan Salmon - 2010 - Journal of Philosophy 107 (9):445-468.details
|
|
Cognition and Recognition.Nathan Salmon - 2018 - Intercultural Pragmatics 15 (2):213-235.details
|
|
Alonzo Church.Oliver Marshall & Harry Deutsch - 2021 - Stanford Encyclopedia of Philosophy.details
|
|
1.1. The logistic method. Church's writings on philosophical matters ex-hibit an unwavering commitment to what he called the “logistic method”. 3 The term did not catch on and now one would just speak of “formalization”. The use of these ideas is now so common and familiar among logicians. [REVIEW]Intensional Logic - 1998 - Bulletin of Symbolic Logic 4 (2).details
|
|
Towards an Extensional Calculus of Hyperintensions.Marie Duží - 2012 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 19:20-45.details
|
|
Carnap a jazyk: z Viedne do Santa Fé.Igor Hanzel - 2007 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 14 (4):470-497.details
|
|
Funkce–Procedura–Konstrukce.Pavel Materna - 2012 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 19 (3):283-305.details
|
|
Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions.Ivo Pezlar - 2019 - In Igor Sedlár & Martin Blicha (eds.), The Logica Yearbook 2018. London: College Publications. pp. 197-210.details
|
|
Deduction in TIL: From Simple to Ramified Hierarchy of Types.Marie Duží - 2013 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 20 (2):5-36.details
|
|
Higher-order Aspects and Context in SUMO.Christoph Benzmüller & Adam Pease - 2012 - Journal of Web Semantics 12:104-117.details
|
|
N. Goodman, Jazyky umění: Nástin teorie symbolů. [REVIEW]Tomas Hribek - 2008 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 15 (2):273-278.details
|
|