wyszukanych pozycji: 2
![]() |
An Introduction to Metalogic
ISBN: 9781554811717 / Angielski / Miękka / 2014 / 344 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) An Introduction to Metalogic is a uniquely accessible introduction to the metatheory of first-order predicate logic. No background knowledge of logic is presupposed, as the book is entirely self-contained and clearly defines all of the technical terms it employs. Yaqub begins with an introduction to predicate logic, and ends with detailed outlines of the proofs of the incompleteness, undecidability and indefinability theorems. Many other topics are covered: expressive completeness, the basics of set theory, infinite cardinalities, Cantor's Theorems, the Soundness and Completeness...
An Introduction to Metalogic is a uniquely accessible introduction to the metatheory of first-order predicate logic. No background knowledge ...
|
cena:
186,57 zł |
![]() |
Liar Speaks the Truth: Defense of the Revision Theory
ISBN: 9780195083439 / Angielski / Twarda / 1993 / 168 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) In this book, Yaq?b describes a simple conception of truth and shows that it yields a semantical theory that accommodates the whole range of our seemingly conflicting intuitions about truth. This conception takes the Tarskian biconditionals (such as "The sentence 'Johannes loved Clara' is true if and only if Johannes loved Clara") as correctly and completely defining the notion of truth. The semantical theory, which is called the revision theory, that emerges from this conception paints a metaphysical picture of truth as a property whose applicability is given by a revision process rather...
In this book, Yaq?b describes a simple conception of truth and shows that it yields a semantical theory that accommodates the whole range of our seemi...
|
cena:
417,57 zł |