to-logic

Analyzes and corrects argumentation in Russian texts using classical formal logic.

Updated May 11, 2026
One-click install
npx skills add https://github.com/cloudofgeorge/AI-hands-Engineer --skill to-logic-cloudofgeorge
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: to-logic
Source: https://github.com/cloudofgeorge/AI-hands-Engineer/tree/main/skills/productivity/to-logic
Command: npx skills add https://github.com/cloudofgeorge/AI-hands-Engineer --skill to-logic-cloudofgeorge

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

What problem does it solve? It detects logical fallacies, invalid syllogisms, and weak inductive reasoning in texts, then either reports each error by name or rewrites the text with corrected argumentation. ## Core Features & Use Cases - Logic Review Mode: Produces an analysis-only report naming every fallacy in Russian and Latin, explaining why it is an error and how to fix it, without rewriting the text. - Fix Mode: Rewrites the text with corrected reasoning while preserving the author's style, followed by a list of changes made. - Textbook Problem Solving: Solves formal logic exercises step by step, including syllogism validation, judgment conversion, Mill's methods, and enthymeme restoration. - Use Case: Paste a Russian argumentative text and ask for a logic review to receive a verdict, a table of named errors such as post hoc ergo propter hoc or petitio principii, and concrete repair suggestions. ## Quick Start Ask the agent to check the logic of your Russian text, for example by saying "проверь логику" followed by the text you want analyzed.

Frequently Asked Questions about to-logic

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I check a text for logical fallacies?

Provide the text and ask for a logic review using triggers like "проверь логику" or "найди логические ошибки". The output is a report naming each fallacy in Russian and Latin, explaining why it is an error, and suggesting fixes without rewriting your text.

How do I validate a syllogism step by step?

Give the syllogism as a logic problem and it will be checked against eight rules: term count, middle term distribution, negative and particular premise constraints, and more. The answer identifies the figure and mood and names any violated rule, such as illicit major term extension.

What language does this formal logic skill work in?

The skill operates in Russian, with all reference material and terminology drawn from Chelpanov's logic textbook. English trigger phrases like "analyzing arguments" or "identifying logical fallacies" are also recognized for skill selection.

Can it rewrite my text instead of just critiquing it?

Yes, the default fix mode rewrites the text with corrected argumentation while preserving your style and making minimal edits. Unsupported claims are weakened to defensible forms or marked as requiring a basis, and a list of changes follows the rewritten text.

What are the limitations of formal logic analysis?

Formal logic checks whether conclusions follow from premises, not whether premises match reality; formal and material truth are evaluated separately. Inductive conclusions and analogies remain probabilistic and are assessed for strength rather than proven.