II.
LibrarySkill overview
Reference · livelib-skill:scientific-discovery--formal-logic-reasoner
formal-logic-reasoner overview
Skill for formal logical reasoning and argument validation
Attributes
displayName
formal-logic-reasoner
description
Skill for formal logical reasoning and argument validation
libraryPath
library/specializations/domains/science/scientific-discovery/skills/formal-logic-reasoner/SKILL.md
specialization
scientific-discovery
contentSummary
# Formal Logic Reasoner Skill
## Purpose
Apply formal logic for argument validation, logical consistency checking, and deductive reasoning in scientific contexts.
## Capabilities
- Formalize arguments
- Check logical validity
- Identify fallacies
- Perform deductive reasoning
- Valid
Outgoing edges
lib_applies_to_domain1
- domain:scientific-discovery·DomainScientific Discovery
lib_belongs_to_specialization2
- specialization:scientific-research-methods·SpecializationScientific Research Methods
- specialization:scientific-discovery·SpecializationScientific Discovery
lib_implements_workflow2
- workflow:experiment-design·WorkflowExperiment Design
- workflow:peer-review-cycle·WorkflowPeer Review Cycle
lib_involves_role2
- role:research-engineer·RoleResearch Engineer
- role:computational-scientist·RoleComputational Scientist
lib_requires_skill_area3
- skill-area:data-analysis·SkillAreaData Analysis
- skill-area:statistical-analysis·SkillAreaStatistical Analysis
- skill-area:deep-web-research·SkillAreaDeep Web Research
Incoming edges
None.