The Internal Structure of Predicates and Names (eBook)

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 held a post-doctoral fellowship in mathematics and philosophy at Victoria University of Wellington, New Zealand, and was a Fulbright Fellow to Brazil and a National Academy of Sciences Scholar to Poland. He is the author of "Propositional Logics" and, with Walter Carnielli, "Computability". He is now the Head of the Advanced Reasoning Forum.

1 Formal Logic
2 Classical Propositional Logic
3 Formal Theories of Reasoning Well and Limitations of Propositional Logic
4 The Language of Predicate Logic
5 Semantics for Classical Predicate Logic
6 An Axioimatization of Classical Predicate Logic
7 Classical Predicate Logic with Equality
8 Formalizing in Classical Predicate Logic
9 Adverbs as Predicate Restrictors
10 Adjectives as Predicate Restrictors
11 A Formal Logic of Simple Predicate Restrictors for Unary Predicates
12 Examples of Formalizing
13 Are Predicate Restrictors Extensional?
14 Multiple Predicate Restrictors
15 Variable Predicate Restrictors
16 A Formal Theory of Classical Predicate Logic with Predicate Restrictors
17 Examples of Formalizing
18 Predicate Negators
19 Other Kinds of Predicate Modifiers?
20 Modifiers of Modifiers
21 The Pure Negator "Not"
22 Examples of Formalizing
23 "And" Joining Terms
24 "And" Joining Predicates
25 "And" Joining Modifiers
26 "Or" Joining Modifiers
27 Examples of Formalizing
28 Modifiers of Relations
29 Internal Conjunctions and Disjunctions with Relations
30 Examples of Formalizing
31 A Formal Theory
32 Predicates Restricting Predicates
33 Examples of Formalizing
Summary
34 Functions
35 Classical Predicate Logic with Function Names
36 Functions as Descriptive Names
37 The Syntax of Descriptive Names and Descriptive Functions
38 Semantics for Classical Predicate Logic with Descriptive Names and Descriptive Functions
39 An Axiomatization of Classical Predicate Logic with Descriptive Names and Descriptive Functions
40 Examples of Formalizing
41 Names that Don't Refer
42 Classical Predicate Logic with Non-Referring Simple Names
43 Examples of Formalizing
44 Non-Referring Names in Mathematics
45 Classical Predicate Logic with Non-Referring Simple Names and Names for Partial Functions
46 Examples of Formalizing Mathematics
47 Classical Predicate Logic with Non-Referring Simple Names, Descriptive Names, and Descriptive Functions
Summary
Appendices
1 Minimal Metaphysics
2 Events in the Metaphysics of Predicate Logic
3 The Dynamic and the Static
4 Propositional Operators
5 A Mathematical Abstraction of the Semantics
6 Parts of Things
7 Completeness Proofs
Bibliography
Index of Notation
Index of Examples
Index