Logik
E51425
Logik is a foundational work on formal logic by German philosopher and mathematician Gottlob Frege, contributing significantly to the development of modern logic and the philosophy of language.
Statements (41)
| Predicate | Object |
|---|---|
| instanceOf |
book
→
philosophical work → work on logic → |
| aimsTo |
clarify the logical structure of language
→
provide a rigorous foundation for logical inference → |
| associatedWith |
Fregean logic
→
concept-script tradition → predicate logic → |
| author |
Gottlob Frege
→
|
| contributedTo |
analytic philosophy
→
development of modern logic → philosophy of language → |
| countryOfOrigin |
Germany
→
|
| creator |
Gottlob Frege
→
|
| field |
logic
→
mathematics → philosophy → |
| genre |
logic textbook
→
|
| hasInfluenced |
20th-century logic
→
analytic philosophy → philosophy of mathematics → |
| hasPart |
lectures on logic
→
|
| hasTheoreticalBasis |
Frege’s logical notation
→
|
| language |
German
→
|
| mainSubject |
formal logic
→
philosophy of language → |
| notableFor |
clarification of logical form
→
distinction between sense and reference (Sinn und Bedeutung) → influence on modern predicate logic → systematic treatment of formal inference → |
| philosophicalDiscipline |
logic
→
philosophy of language → philosophy of mathematics → |
| philosophicalTradition |
analytic philosophy
→
|
| topic |
concepts and objects in logic
→
inference rules → logical consequence → logical laws → propositions and their structure → truth and logical validity → |
| workOf |
Gottlob Frege
→
|
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
Gottlob Frege
→
|
notableWork |