Predicate Logic
stu 2018. · Advanced Reasoning Forum
star
1 recenzija
E-knjiga
428
str.
family_home
Ispunjava uvjete
info
O ovoj e-knjizi
The forms and scope of logic rest on assumptions of how language and reasoning connect to experience. In this volume an analysis of meaning and truth provides a foundation for studying modern propositional and predicate logics. Chapters on propositional logic, parsing propositions, and meaning, truth, and reference give a basis for criteria that can be used to judge formalizations of ordinary language arguments. Over 120 worked examples of formalizations of propositions and arguments illustrate the scope and limitations of modern logic, as analyzed in chapters on identity, quantifiers, descriptive names, functions, and second-order logic. The chapter on second-order logic illustrates how different conceptions of predicates and propositions do not lead to a common basis for quantification over predicates, as they do for quantification over things. Notable for its clarity of presentation, and supplemented by many exercises, this volume is suitable for philosophers, linguists, mathematicians, and computer scientists who wish to better understand the tools they use in formalizing reasoning.
The forms and scope of logic rest on assumptions of how language and reasoning connect to experience. In this volume an analysis of meaning and truth provides a foundation for studying modern propositional and predicate logics. Chapters on propositional logic, parsing propositions, and meaning, t...
Ocjene i recenzije
1 recenzija
O autoru
Richard L Epstein received his B.A. summa cum laude from the University of Pennsylvania, and his Ph.D. from the University of California, Berkeley. He was a post-doctoral fellow in mathematics and philosophy at Victoria University of Wellington, New Zealand, a Fulbright Fellow to Brazil, and a National Academy of Sciences Scholar to Poland. He is the author of "Propositional Logics", "Classical Mathematical Logic", "The Internal Structure of Predicates and Names", and, with Walter Carnielli, "Computability". He is now the Head of the Advanced Reasoning Forum.
Richard L Epstein received his B.A. summa cum laude from the University of Pennsylvania, and his Ph.D. from the University of California, Berkeley. He was a post-doctoral fellow in mathematics and philosophy at Victoria University of Wellington, New Zealand, a Fulbright Fellow to Brazil, and a Na...
Ocijenite ovu e-knjigu
Recite nam što mislite.
Informacije o čitanju
Pametni telefoni i tableti
Instalirajte aplikaciju Google Play knjige za Android i iPad/iPhone. Automatski se sinkronizira s vašim računom i omogućuje vam da čitate online ili offline gdje god bili.
Prijenosna i stolna računala
Audioknjige kupljene na Google Playu možete slušati pomoću web-preglednika na računalu.
Elektronički čitači i ostali uređaji
Za čitanje na uređajima s elektroničkom tintom, kao što su Kobo e-čitači, trebate preuzeti datoteku i prenijeti je na svoj uređaj. Slijedite detaljne upute u centru za pomoć za prijenos datoteka na podržane e-čitače.
