| name | formal-logic-analysis |
| description | Apply propositional, predicate, and modal logic systems to formalize arguments, construct proofs, and evaluate validity using symbolic notation and truth tables |
| allowed-tools | ["Read","Write","Edit","Grep","Glob","Bash"] |
| graph | {"domains":["domain:philosophy"],"specializations":["specialization:applied-ethics"],"skillAreas":["skill-area:natural-language-processing","skill-area:parsing-data-formats","skill-area:data-analysis"],"workflows":["workflow:peer-review-cycle"],"roles":["role:research-scientist","role:computational-scientist"]} |
Formal Logic Analysis Skill
Apply formal logic systems to analyze, formalize, and evaluate arguments with rigorous symbolic methods.
Overview
The Formal Logic Analysis skill enables systematic application of propositional, predicate, and modal logic systems to formalize arguments, construct proofs, evaluate validity, and assess soundness using symbolic notation, truth tables, and proof procedures.
Capabilities
Propositional Logic
- Translate natural language arguments into propositional form
- Construct truth tables for validity assessment
- Apply natural deduction rules
- Identify logical equivalences and tautologies
- Evaluate argument validity through truth-functional analysis
Predicate Logic
- Formalize arguments with quantifiers and predicates
- Apply universal and existential instantiation/generalization
- Construct formal proofs in first-order logic
