Formal Logic
E428886
Formal Logic is a foundational 19th-century work in mathematical logic that systematically develops the principles of symbolic reasoning and inference.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Formal Logic canonical | 2 |
Statements (30)
| Predicate | Object |
|---|---|
| instanceOf |
book
ⓘ
treatise on logic ⓘ work on mathematical logic ⓘ |
| aimsTo |
provide a rigorous account of logical inference
ⓘ
systematically develop principles of symbolic reasoning ⓘ |
| contributesTo |
development of symbolic logic
ⓘ
formalization of reasoning ⓘ foundations of mathematical logic ⓘ |
| describes |
formal deduction systems
ⓘ
logical connectives ⓘ rules of inference ⓘ |
| era | 19th century ⓘ |
| field |
mathematical logic
ⓘ
philosophy of logic ⓘ symbolic logic ⓘ |
| focusesOn |
deductive reasoning
ⓘ
formal systems ⓘ inference ⓘ logical calculus ⓘ logical principles ⓘ symbolic reasoning ⓘ |
| genre |
academic literature
ⓘ
non-fiction ⓘ |
| hasTitle | Formal Logic NERFINISHED ⓘ |
| isAbout |
formal representation of propositions
ⓘ
logical consequence ⓘ structure of valid arguments ⓘ |
| language | English ⓘ |
| uses |
formal proofs
ⓘ
symbolic notation ⓘ |
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.