work of logic
C17426
concept
A work of logic is a systematic, often formal, investigation that analyzes the principles of valid reasoning, inference, and argument structure.
Observed surface forms (3)
| Surface form | Occurrences |
|---|---|
| logical construct | 2 |
| didactic device in logic | 1 |
| logic paper | 1 |
Instances (7)
| Instance | Via concept surface |
|---|---|
|
Gangesha Upadhyaya
surface form:
Tattvacintāmaṇi
|
— |
| Concept Script | — |
| Ramsey sentence | logical construct |
| Περὶ Ἑρμηνείας | — |
| square of opposition | didactic device in logic |
| Herbrand conjunction (for universal formulas) | logical construct |
| A Computing Procedure for Quantification Theory | logic paper |