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.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,019

External links

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

Through your library

Similar books and articles

About a Mature Theory of Fregean Sense. [REVIEW]Adam Olszewski - 2017 - Logic and Logical Philosophy 26 (3):417-428.
Logical Consequence and Natural Language.Michael Glanzberg - 2015 - In Colin R. Caret & Ole T. Hjortland (eds.), Foundations of Logical Consequence. Oxford, England: Oxford University Press. pp. 71-120.
Type Polymorphism, Natural Language Semantics, and TIL.Ivo Pezlar - 2023 - Journal of Logic, Language and Information 32 (2):275-295.
O smyslu nesmyslu.Petr Kuchyňka - 1999 - Filosoficky Casopis 47:885-899.
Can concepts be defined in terms of sets?Marie Duží & Pavel Materna - 2010 - Logic and Logical Philosophy 19 (3):195-242.

Analytics

Added to PP
2021-11-17

Downloads
37 (#598,126)

6 months
6 (#820,551)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

References found in this work

On the Plurality of Worlds.David K. Lewis - 1986 - Malden, Mass.: Wiley-Blackwell.
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. New York: 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.
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..

View all 231 references / Add more references