Treatise on Intuitionistic Type Theory

Treatise on Intuitionistic Type Theory
Author: Johan Georg Granström
Publisher: Springer Science & Business Media
Total Pages: 198
Release: 2011-06-02
Genre: Philosophy
ISBN: 9400717369

Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science. This book expounds several aspects of intuitionistic type theory, such as the notion of set, reference vs. computation, assumption, and substitution. Moreover, the book includes philosophically relevant sections on the principle of compositionality, lingua characteristica, epistemology, propositional logic, intuitionism, and the law of excluded middle. Ample historical references are given throughout the book.

Epistemic Logic

Epistemic Logic
Author: Nicholas Rescher
Publisher: University of Pittsburgh Pre
Total Pages: 153
Release: 2005-02-27
Genre: Philosophy
ISBN: 0822970929

Epistemic logic is the branch of philosophical thought that seeks to formalize the discourse about knowledge. Its object is to articulate and clarify the general principles of reasoning about claims to and attributions of knowledge. This comprehensive survey of the topic offers the first systematic account of the subject as it has developed in the journal literature over recent decades. Rescher gives an overview of the discipline by setting out the general principles for reasoning about such matters as propositional knowledge and interrogative knowledge. Aimed at graduate students and specialists, Epistemic Logic elucidates both Rescher's pragmatic view of knowledge and the field in general.

A Treatise on Logic

A Treatise on Logic
Author: Francis Bowen
Publisher: BoD – Books on Demand
Total Pages: 470
Release: 2023-04-26
Genre:
ISBN: 3368162802