Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic

, &
Dordrecht, Netherland: Springer (2010)
  Copy   BIBTEX

Abstract

The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds of linguistic context in a fully compositional and anti-contextual way.

Categories

Keywords

Reprint years

ISBN(s)

9789048188116   9048188113   9400732783
View all bargains

Buy this book

Links

PhilArchive



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

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

About a Mature Theory of Fregean Sense. [REVIEW]Adam Olszewski - 2017 - Logic and Logical Philosophy 26 (3):417-428.
Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach.Ivo Pezlar - 2017 - Logic and Logical Philosophy 26 (4):473-508.
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.
Can concepts be defined in terms of sets?Marie Duží & Pavel Materna - 2010 - Logic and Logical Philosophy 19 (3):195-242.
Intensional and higher-order modal logic: with applications to Montague semantics.Daniel Gallin - 1975 - New York: American Elsevier Pub. Co..
An introduction to Pavel Tichy and transparent intensional logic.Andrew Holster - manuscript
Transparent quantification into hyperintensional objectual attitudes.Bjørn Jespersen & Marie Duží - 2015 - Synthese 192 (3):635-677.
A Manual of Intensional Logic.Johan F. A. K. Van Benthem - 1988 - Stanford, CA, USA: Center for the Study of Language and Information Publications.
An approach to intensional logic.Imre Ruzsa - 1981 - Studia Logica 40 (3):269 - 287.
Constructions and concepts.Jaroslav Peregrin - manuscript
Logic talk.Alexander W. Kocurek - 2021 - Synthese 199 (5-6):13661-13688.
Topic-sensitive Two-dimensional Truthmaker Semantics.Timothy Bowen - manuscript
An Intensional Schrödinger Logic.Newton C. A. da Costa & Décio Krause - 1997 - Notre Dame Journal of Formal Logic 38 (2):179-194.
On the interaction of semantics and deduction in Transparent Intensional Logic.Jiří Raclavský - 2014 - Logic and Logical Philosophy 23 (1):57-68.
Intensional and Higher-Order Modal Logic, with Applications to Montague Semantics.Kenneth A. Bowen - 1977 - Journal of Symbolic Logic 42 (4):581-583.

Analytics

Added to PP
2021-11-17

Downloads
26 (#592,813)

6 months
12 (#203,353)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

Hyperintensionality.Francesco Berto & Daniel Nolan - 2021 - Stanford Encyclopedia of Philosophy.
HYPE: A System of Hyperintensional Logic.Hannes Leitgeb - 2019 - Journal of Philosophical Logic 48 (2):305-405.

View all 47 citations / Add more citations

References found in this work

On the Plurality of Worlds.David K. Lewis - 1986 - Malden, Mass.: Wiley-Blackwell.
Word and Object.Willard Van Orman Quine - 1960 - Cambridge, MA, USA: MIT Press.
Demonstratives: An Essay on the Semantics, Logic, Metaphysics and Epistemology of Demonstratives and other Indexicals.David Kaplan - 1989 - In Joseph Almog, John Perry & Howard Wettstein (eds.), Themes From Kaplan. Oxford University Press. pp. 481-563.
Logical foundations of probability.Rudolf Carnap - 1950 - Chicago]: Chicago University of Chicago Press.
Knowledge and belief.Jaakko Hintikka - 1962 - Ithaca, N.Y.,: Cornell University Press.

View all 244 references / Add more references