Difference between revisions of "Logic"
From Public Domain Knowledge Bank
DavidWhitten (talk | contribs) (Created page with "== Definition == A Logic requires: * A set of Logci/Axioms with a mapping to Logic/Truth_Values * A Logic/Grammar of Construction to define a [[Logic/Well-Forme...") |
DavidWhitten (talk | contribs) |
||
| Line 1: | Line 1: | ||
== Definition == | == Definition == | ||
A [[Logic]] requires: | A [[Logic]] requires: | ||
| − | * A set of [[ | + | * A set of [[Logic/Axiom]]s with a mapping to [[Logic/Truth_Values]] |
* A [[Logic/Grammar of Construction to define a [[Logic/Well-Formed-Formula]] ([[Logic/WFF]]) | * 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 set of [[Logic/Inference Rules]] that relate one WFF to another WFF | ||
| Line 7: | Line 7: | ||
A Logic can be used when there an associated: | A Logic can be used when there an associated: | ||
* A [[Logic/Universe of Discourse|Universe of Discourse]] | * A [[Logic/Universe of Discourse|Universe of Discourse]] | ||
| − | + | ||
== Types of Logic == | == Types of Logic == | ||
* [[Logic/Propositional Logic]] | * [[Logic/Propositional Logic]] | ||
| Line 16: | Line 16: | ||
* [[Logic/Non-Monotonic Logic]] | * [[Logic/Non-Monotonic Logic]] | ||
* [[Logic/Deontic Logic]] | * [[Logic/Deontic Logic]] | ||
| + | |||
| + | == aspects of logic == | ||
| + | * [[Logic/Proof-theoretic]] | ||
| + | * [[Logic/Model-theoretic]] | ||
Revision as of 16:13, 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
