formal-logic
De la autor
Formal and informal logic for philosophical reasoning. Covers propositional logic (connectives, truth tables, tautologies), predicate logic (quantifiers, validity), syllogistic logic (Aristotle's original forms), natural deduction (introduction/elimination rules), modal logic (necessity, possibility, possible worlds), and a catalog of 15+ informal fallacies. Use when analyzing arguments, identifying logical form, evaluating validity and soundness, or detecting fallacious reasoning.
Instalare
npx skills add Tibsfox/gsd-skill-creator --skill formal-logic -a claude-code
Se instalează în .claude/skills/formal-logic/ · Fiecare comandă descarcă skill-ul direct de pe GitHub cu utilitarul open source skills.
Fără descărcare: licența acestui skill (Personalizată sau neclară) nu ne permite să-i redistribuim fișierele. Comenzile de instalare le iau direct de pe GitHub.
Vrei ca agentul să-ți propună skill-uri în timp ce scrii? Vezi cum folosești skill-urile din IDE.
Verificări de siguranță pe SKILL.md
Niciun avertisment.
De ce 72
aiqbench calculează scorul de încredere din semnale publice. Nu este un audit de securitate, așa că citește un skill înainte să-l instalezi.
Skill-uri similare
Cele mai apropiate de acesta prin ce fac și când sunt folosite.
- propositional-logicparcadei/Continuous-Claude-v3Problem-solving strategies for propositional logic in mathematical logicAltele★ 3.9K
- predicate-logicTibsfox/gsd-skill-creatorFirst-order logic with quantifiers, predicates, functions, and identity. Covers syntax, interpretation over a domain, the universal and existential quantifiers, quantifier scope and binding, translation from natural language with multi-variable predicates, natural deduction for quantifiers, undecidability at first order, and the soundness/completeness theorems. Use when propositional logic is insufficient -- whenever "for all" or "there exists" matters to the argument.Altele★ 71
- modal-logicTibsfox/gsd-skill-creatorExtending propositional and predicate logic with modal operators -- necessity and possibility, and their relatives (obligation, knowledge, belief, time). Covers Kripke possible-worlds semantics, accessibility relations, the main modal systems (K, T, S4, S5), translation from natural language, and applications in epistemic, deontic, and temporal reasoning. Use when ordinary logic is insufficient to capture distinctions like "must" vs "might," "knows" vs "believes," "always" vs "sometimes."Altele★ 71
- philosophical-theologyTibsfox/gsd-skill-creatorPhilosophical theology — the use of philosophical tools to analyze and evaluate theological claims. Covers classical arguments for and against the existence of God (cosmological, ontological, teleological, moral, evil), the divine attributes (simplicity, omniscience, omnipotence, eternity, impassibility), the relation of faith and reason, religious epistemology, and the boundary between natural theology and revealed theology. Use when a query asks whether a theological claim is rationally defensible, how a divine attribute should be understood, or how philosophical frameworks across traditions have engaged religious questions.Altele★ 71
- informal-fallaciesTibsfox/gsd-skill-creatorCatalog of informal fallacies with definitions, canonical examples, and detection heuristics. Covers relevance fallacies (ad hominem, straw man, red herring, appeal to authority, appeal to emotion), presumption fallacies (false dichotomy, complex question, begging the question), ambiguity fallacies (equivocation, amphiboly, accent), causal fallacies (post hoc, slippery slope, correlation-causation), and statistical fallacies (hasty generalization, cherry-picking). Use when evaluating arguments for rhetorical or informal reasoning errors.Marketing★ 71
- mathematical-proof-logicTibsfox/gsd-skill-creatorThe logical structure of mathematical proof -- how first-order logic, natural deduction, and semantic reasoning combine to produce rigorous mathematical arguments. Covers the logical skeleton of direct proof, contraposition, contradiction, cases, and induction; the role of definitions, lemmas, and theorems; how informal mathematical prose maps to formal deductive structure; and the difference between proof-as-object and proof-as-activity. Use when the question is "why is this a valid proof?" rather than "what proof technique applies?"Redactare★ 71
Note și recenzii
—
nicio recenzie
Ai încercat acest skill? Notează-l ca să-i ajuți pe alții. Autentifică-te
Discuție
Intră în discuție. Autentifică-te