Towards an Extensional Calculus of Hyperintensions

Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 19:20-45 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,592

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The Epsilon Calculus and its Applications.B. H. Slater - 1991 - Grazer Philosophische Studien 41 (1):175-205.
Isomorphism and equational equivalence of continuous λ-models.Rainer Kerth - 1998 - Studia Logica 61 (3):403-415.
Kilka uwag o rachunku cech.Piotr Labenz - 2005 - Filozofia Nauki 1.
The Extensional but Hyper-Intensional Calculus C α with Orderless Constants and Variables.Aldo Bressan - 1990 - In J. Dunn & A. Gupta (eds.), Truth or Consequences: Essays in Honor of Nuel Belnap. Boston, MA, USA: Kluwer Academic Publishers. pp. 245--265.
Wittgenstein and the Real Numbers.Daesuk Han - 2010 - History and Philosophy of Logic 31 (3):219-245.
Hyperintensions and procedural isomorphism: Alternative (½).Bjørn Jespersen - 2010 - In Tadeusz Czarnecki, Katarzyna Kijanija-Placek, Olga Poller & Jan Wolenski (eds.), The Analytical Way. College Publications. pp. 301--322.
Hybrid Extensional Prototype Compositionality.Jussi Jylkkä - 2011 - Minds and Machines 21 (1):41-56.
A Non-Extensional Notion of Conversion in the Organon.Marko Malink - 2009 - Oxford Studies in Ancient Philosophy 37:105 - 142.
Review: V. A. Jankov, On the Extension of the Intuitionist Propositional Calculus to the Classical Calculus, and the Minimal Calculus to the Intuitionist Calculus. [REVIEW]J. G. Anderson - 1973 - Journal of Symbolic Logic 38 (2):331-332.
λμ-calculus and Böhm's theorem.René David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.
On the existence of extensional partial combinatory algebras.Ingemarie Bethke - 1987 - Journal of Symbolic Logic 52 (3):819-833.
$lambdamu$-Calculus and Bohm's Theorem.Rene David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.
The Situation Calculus: A Case for Modal Logic. [REVIEW]Gerhard Lakemeyer - 2010 - Journal of Logic, Language and Information 19 (4):431-450.

Analytics

Added to PP
2013-12-13

Downloads
32 (#495,901)

6 months
4 (#779,041)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Extensionality and logicality.Gil Sagi - 2017 - Synthese (Suppl 5):1-25.
Substitution inconsistencies in Transparent Intensional Logic.Miloš Kosterec - 2021 - Journal of Applied Non-Classical Logics 31 (3-4):355-371.
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.

Add more citations

References found in this work

Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.
Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.
Uber Sinn und Bedeutung.Gottlob Frege - 1892 - Zeitschrift für Philosophie Und Philosophische Kritik 100 (1):25-50.
Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
General semantics.David K. Lewis - 1970 - Synthese 22 (1-2):18--67.

View all 31 references / Add more references