Extensional Constructs in Intensional Type Theory
This book offers a comprehensive primer for the study of intensionality. It explores and assesses those key theories of intensionality which have been developed in the twentieth and early twenty-first centuries. Each of the examined theories is tested as to whether it can account for the problems associated with (A) the intersubstitution salva veritate of co-extensional expressions, and (B) existential generalisation. All of these theories are subsequently compared so as to determine which of them comes closest to successfully solving these problems.
The book examines four kinds of intensionalist approaches: the Fregean approach (including Church's formalisation of Frege's theory); the possible-worlds approaches of Carnap, Montague and Cresswell; the theory of properties relations and propositions devised by Bealer; and the Meinongian approaches put forward by Zalta and Priest.
The book also proposes an alternative to intensionalism: sententialism. Sententialists argue that the problems of intensionality could be solved by appealing to linguistic items (usually sentences) rather than intensional entities. Drawing on the works of Quine, Davidson, Scheffler and R. M. Martin, it explores the viability and value of sententialism as an alternative to intensionalism.
Discover your next great read at BookLoop, Australiand online bookstore offering a vast selection of titles across various genres and interests. Whether you're curious about what's trending or searching for graphic novels that captivate, thrilling crime and mystery fiction, or exhilarating action and adventure stories, our curated collections have something for every reader. Delve into imaginative fantasy worlds or explore the realms of science fiction that challenge the boundaries of reality. Fans of contemporary narratives will find compelling stories in our contemporary fiction section. Embark on epic journeys with our fantasy and science fiction titles,
Explore our new releases for the most recent additions in romance books, fantasy books, graphic novels, crime and mystery books, science fiction books as well as biographies, cookbooks, self help books, tarot cards, fortunetelling and much more. With titles covering current trends, booktok and bookstagram recommendations, and emerging authors, BookLoop remains your go-to local australian bookstore for buying books online across all book genres.
Stay updated with the literary world by browsing our trending books, featuring the latest bestsellers and critically acclaimed works. Explore titles from popular brands like Minecraft, Pokemon, Star Wars, Bluey, Lonely Planet, ABIA award winners, Peppa Pig, and our specialised collection of ADHD books. At BookLoop, we are committed to providing a diverse and enriching reading experience for all.
If you have any questions before making a purchase chat with our online operators to get more information.
or find our Questions & Answers