ReddRadar
Agent skill
formal-logic-analysis
Apply propositional, predicate, and modal logic systems to formalize arguments, construct proofs, and evaluate validity using symbolic notation and truth tables
Install this agent skill to your Project
npx add-skill https://github.com/a5c-ai/babysitter/tree/main/library/specializations/domains/social-sciences-humanities/philosophy/skills/formal-logic-analysis
SKILL.md
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
- Analyze logical relations and inferences
- Handle multiple quantification and scope issues
Modal Logic
- Apply necessity and possibility operators
- Analyze arguments involving modality
- Work with different modal systems (K, T, S4, S5)
- Evaluate modal validity
- Apply modal logic to philosophical arguments
Proof Construction
- Build natural deduction proofs
- Apply inference rules systematically
- Construct indirect proofs
- Use conditional proof techniques
- Verify proof correctness
Usage Guidelines
When to Use
- Formalizing philosophical arguments
- Testing argument validity
- Analyzing logical structure
- Teaching formal reasoning
- Evaluating philosophical positions
Best Practices
- Translate arguments carefully and completely
- Check translations against original meaning
- Use appropriate logical system for the argument type
- Document proof steps clearly
- Verify validity independently when possible
Integration Points
- Argument Mapping and Reconstruction skill
- Fallacy Detection and Analysis skill
- Philosophical Writing and Argumentation skill
- Conceptual Analysis skill
References
- Formal Logic Analysis process
- Modal Logic Application process
- Argument Reconstruction and Analysis process
- Logic Analyst Agent
Recommended Agent Skills
Expand your agent's capabilities with these related and highly-rated skills.
a5c-ai/babysitter
gsd-tools
Central utility skill for GSD operations. Provides config parsing, slug generation, timestamps, path operations, and orchestrates calls to other specialized skills. Acts as the unified entry point that the original gsd-tools.cjs provided via its lib/ modules (commands, config, core, init).
a5c-ai/babysitter
model-profile-resolution
Resolve model profile (quality/balanced/budget) at orchestration start and map agents to specific models. Enables cost/quality tradeoffs by selecting appropriate AI models for each agent role.
a5c-ai/babysitter
verification-suite
Plan structure validation, phase completeness checks, reference integrity verification, and artifact existence confirmation. Provides the structured verification layer ensuring GSD artifacts are well-formed and complete.
a5c-ai/babysitter
state-management
STATE.md reading, writing, and field-level updates. Provides cross-session state persistence via .planning/STATE.md with structured fields for current task, completed phases, blockers, decisions, and quick tasks.
a5c-ai/babysitter
git-integration
Git commit patterns, formats, and conventions for GSD methodology. Provides atomic commits per task, structured commit messages, planning file commits, branch management, and milestone tag operations.
a5c-ai/babysitter
frontmatter-parsing
YAML frontmatter parsing and manipulation for .planning/ documents. Provides read, write, update, query, and validation operations on frontmatter blocks in GSD markdown artifacts.
Didn't find tool you were looking for?