Symbolic Logic
E279477
Symbolic Logic is a foundational work in mathematical logic by John Venn that systematically develops and popularizes the use of diagrams and algebraic methods to represent logical relations.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Symbolic Logic canonical | 3 |
Statements (30)
| Predicate | Object |
|---|---|
| instanceOf |
book
ⓘ
work on mathematical logic ⓘ |
| associatedWith |
Boolean algebra
ⓘ
surface form:
Boolean logic
square of opposition ⓘ
surface form:
Venn diagrams
|
| author | John Venn ⓘ |
| contributedTo |
development of diagrammatic logic
ⓘ
popularization of Venn diagrams ⓘ |
| countryOfOrigin | United Kingdom ⓘ |
| field |
logic
ⓘ
mathematical logic ⓘ |
| focusesOn |
algebraic methods in logic
ⓘ
logical diagrams ⓘ symbolic representation of logical relations ⓘ |
| genre |
academic monograph
ⓘ
non-fiction ⓘ |
| hasAuthor | John Venn ⓘ |
| hasPart |
discussion of logical propositions
ⓘ
methods for solving logical problems ⓘ treatment of class logic ⓘ |
| influenced | study of set-theoretic interpretation of logic ⓘ |
| language | English ⓘ |
| mainSubject |
logical inference
ⓘ
relations between classes ⓘ symbolic logic ⓘ |
| notableFor |
historical role in formal logic education
ⓘ
integration of algebraic and diagrammatic logic ⓘ systematic development of logical diagrams ⓘ |
| timePeriod | 19th century ⓘ |
| uses |
algebraic symbolism for logic
ⓘ
diagrams to represent logical relations ⓘ |
Referenced by (3)
Full triples — surface form annotated when it differs from this entity's canonical label.
subject surface form:
John Venn