• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
The Internal Structure of Predicates and Names

The Internal Structure of Predicates and Names

Paperback

Series: Logic, Language, and the World, Book 1

PhilosophyLogic

ISBN10: 1938421310
ISBN13: 9781938421310
Publisher: Advanced Reasoning Forum
Published: Dec 21 2016
Pages: 300
Weight: 1.06
Height: 0.63 Width: 6.69 Depth: 9.61
Language: English

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.

Also in

Philosophy