Difference between revisions of "Logic"
From Public Domain Knowledge Bank
DavidWhitten (talk | contribs) |
DavidWhitten (talk | contribs) (→aspects of logic) |
||
| Line 18: | Line 18: | ||
== aspects of logic == | == aspects of logic == | ||
| − | * [[Logic/ | + | * [[Logic/Features/Quantifier]] |
| − | * [[Logic/Model- | + | * [[Logic/Language]] |
| + | * [[Logic/Model-theory]] | ||
| + | ** [[Logic/Model-theory/Sentential_Logic]] | ||
| + | * [[Logic/Proof-theory]] | ||
| + | * [[Logic/Satisfaction]] | ||
| + | |||
| + | == Info links == | ||
| + | * The introductory sections of Chang and Keisler's "Model Theory" (1973) | ||
| + | ** https://cg.conceptualgraphs.narkive.com/va2kc0M5/model-theory-and-proof-theory | ||
| + | * Conceptual Graphs | ||
| + | ** https://cg.conceptualgraphs.narkive.com | ||
| + | |||
| + | == Laws and == | ||
| + | * http://www.jfsowa.com/pubs/laws.htm | ||
Revision as of 16:19, 27 January 2021
Definition
A Logic requires:
- A set of Logic/Axioms with a mapping to Logic/Truth_Values
- A [[Logic/Grammar of Construction to define a Logic/Well-Formed-Formula (Logic/WFF)
- A set of Logic/Inference Rules that relate one WFF to another WFF
A Logic can be used when there an associated:
Types of Logic
- Logic/Propositional Logic
- Logic/Predicate Logic
- Logic/Monotonic Logic
- Logic/Atemporal Logic
- Logic/Temporal Logic
- Logic/Non-Monotonic Logic
- Logic/Deontic Logic
aspects of logic
Info links
- The introductory sections of Chang and Keisler's "Model Theory" (1973)
- Conceptual Graphs
