Internal Structure of Predicates and Names / Libristo.pl
Internal Structure of Predicates and Names

Kod: 15713193

Internal Structure of Predicates and Names

Autor Richard L Epstein

This series of volumes is meant to extend the scope of what we can formalize in classical predicate logic, and in doing so see the real limitations of what can be done. The first section of this volume ... więcej

192.24


Dostępna u dostawcy
Wysyłamy za 14 - 18 dni
Dodaj do schowka

Zobacz książki o podobnej tematyce

Bon podarunkowy: Radość gwarantowana

Wzór bonu podarunkowegoDowiedz się więcej

Więcej informacji o Internal Structure of Predicates and Names

Za ten zakup dostaniesz 112 punkty

Opis

This series of volumes is meant to extend the scope of what we can formalize in classical predicate logic, and in doing so see the real limitations of what can be done. The first section of this volume presents classical predicate logic with equality. In the second section. that logic is extended to formalize reasoning that involves adverbs and relative adjectives by viewing those as modifiers of simpler predicates. What is normally taken to be an atomic predicate, such as "barking loudly", can then have internal structure. Reasoning that involves conjunctions of terms, as in "Tom and Dick lifted the table", conjunctions of modifiers, conjunctions of predicates, and disjunctions of predicates can also be formalized by viewing them as part of the internal structure of atomic predicates. Many questions about the nature of formalizing arise in doing this. The internal structure of names is the topic of the third and last section. First, names for functions are used in classical predicate logic to form complex names. In our ordinary reasoning we also use descriptions to form functions, such as "the wife of ", and descriptions to form names, such as "the cat that scratched Zoe". To reason with those we can take account of their internal structure by dropping the assumption that every name must refer to a specific thing. The formal systems that are developed here are not just formalisms but are meant to help us understand how to reason well. Many worked examples show how to use them. Those examples also uncover limitations of the formal work. Throughout this series of volumes, the work proceeds by abstracting and creating formal models to formalize reasoning. By paying attention to the process of abstracting we gain insight into why we consider some reasoning to be good and some reasoning bad, and insight also into the deeper assumptions we make about the world on which our judgments rely.

Szczegóły książki

Kategoria Książki po angielsku Language linguistics Philosophy of language

192.24


250 000
zadowolonych klientów

Od roku 2008 obsłużyliśmy wielu miłośników książek, ale dla nas każdy był tym wyjątkowym.


Paczkomat 12,99 ZŁ 31975 punktów

Copyright! ©2008-24 libristo.pl Wszelkie prawa zastrzeżonePrywatnieCookies


Konto: Logowanie
Wszystkie książki świata w jednym miejscu. I co więcej w super cenach.

Koszyk ( pusty )

Kup za 299 zł i
zyskaj darmową dostawę.

Twoja lokalizacja: