Procedural Semantics for Hyperintensional Logic

ebook Foundations and Applications of Transparent Intensional Logic · Logic, Epistemology, and the Unity of Science

By Marie Duží

cover image of Procedural Semantics for Hyperintensional Logic

Sign up to save your library

With an OverDrive account, you can save your favorite libraries for at-a-glance information about availability. Find out more about OverDrive accounts.

   Not today

Find this title in Libby, the library reading app by OverDrive.

Download Libby on the App Store Download Libby on Google Play

Search for a digital library with this title

Title found at these libraries:

Loading...
This book is about Transparent Intensional Logic, the brainchild of Pavel Tichý. Three books and around 100 papers on Transparent Intensional Logic have till now seen the light of day since the mid-1960s. So why a book of more than 500 pages now? For two reasons. Firstly, Transparent Intensional Logic is a theory without something like a textbook. Now this is not an actual textbook, if a textbook is a patient introduction garnished with exercises and solutions; nor is it a teach-yourself-in-a-week manual for the uninitiated-but-curious. But we, the three authors, have striven to write an accessible one-stop survey of Transparent Intensional Logic that may be read by advanced students of logic, semantics, linguistics, informatics, computer science, and kindred disciplines. Secondly, logical semantics is a field progressing by leaps and bounds, and much has happened since Tichý put out his first and only book in 1988. We thought it was about time for us to assemble in one place the most important - tensions, improvements and applications stemming from the last several years that address issues not dealt with either at all or only cursorily by Tichý. We have also made a point of flagging various unsettled issues in the theory's edifice and of - dicating the general direction in which we expect solutions are most likely to be found.
Procedural Semantics for Hyperintensional Logic