formal-logic-analysis
Apply propositional, predicate, and modal logic systems to formalize arguments, construct proofs, and evaluate validity using symbolic notation and …
它会碰到什么
扫了多少1 个文本文件，3 KB
它会碰到什么不碰外部（只输出文字）
命中总数0 处
命中统计严重 0 · 高 0 · 中 0 · 低 0
这一栏是扫描器报的事实，不是结论。命中多不等于有毒（安全工具、规则库、示例脚本本来就会包含危险写法），命中少也不等于干净。它和你手上的凭据、文件、网络有什么关系，需要你自己看。
技能内容
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
想直接用这个技能？
本站把开放许可（MIT / Apache 等）的技能按仓库打包整理到网盘，点一下转存到你自己的网盘，不用一个个从 GitHub 拉。许可未声明的技能只给原始仓库链接，不打包。
它属于哪个仓库
星标★ 1,796
本站分层T1
该仓技能数2115
原文件路径
library/specializations/domains/social-sciences-humanities/philosophy/skills/formal-logic-analysis/SKILL.md