Philosophy Tools
Browse all available philosophy tools.
Available tools
- Alpha Equivalence Bound Variable Pair Tool Compare flat single-binder token bodies, rejecting potential free-variable capture; nested binders are outside this model.
- Argument Assumption Scope Depth Tool Audit explicit opening/closing assumption-scope actions without evaluating argument validity.
- Argument Attack Inout Degree Tool Count supplied attack-edge incidences, including repeated edges and self-attacks as listed.
- Argument Concession Marker Preserve an explicit argument concession annotation without assessing validity or agreement.
- Argument Conclusion Reference Count Tool Count exact supplied conclusion references without deciding logical entailment.
- Argument Premise Conclusion Label Tool Render an explicitly assigned argument role without deciding logical validity.
- Argument Validity Countermodel One Assignment Tool Identify a countermodel in one assignment; a non-countermodel does not establish global argument validity.
- Bound Variable Occurrence Scope Tag Tool Check whether an occurrence's supplied enclosing scope path contains the recorded binder scope; no logical expression parsing or shadowing resolution.
- Concept Definition Circular Self Reference Flag Check an explicit referenced-concept list for direct self-reference without detecting indirect cycles or judging a definition.
- Conditional Necessary Sufficient Direction Tag Label an explicitly supplied necessity or sufficiency direction without interpreting natural-language conditionals.
- Counterexample Assignment Literal Format an explicit Boolean assignment as a literal without verifying that it is a counterexample.
- Definite Description Uniqueness Count Tool Calculate definite description uniqueness count from explicit caller-supplied inputs.
- Deontic Exception Priority Gap Tool Compare caller-supplied priorities under an explicit equality convention.
- Deontic Permission Prohibition Duality Tag Tool Use weak permission P(a) = not O(not a), with prohibition defined as O(not a).
- Epistemic Accessibility Symmetry Pair Tool Calculate epistemic accessibility symmetry pair from explicit caller-supplied inputs.
- Exclusive OR Three Valued Unknown Case Tool Strong Kleene exclusive-or: an unknown operand gives unknown.
- Formula Free Variable Count Tool Count explicitly annotated variable occurrences; binding scope is supplied rather than parsed.
- Identity Substitution Position Tool Replace exactly one indexed literal token after checking its expected value. Logical substitutability and variable capture are not inferred.
- Implication Truth Gap Tool Evaluate classical material implication for two supplied Boolean truth values.
- Inference Premise Arity Gap Tool Compare supplied premise arity under an explicit duplicate policy; no inference validity judgment.
- Logical Formula Single Free Variable Flag Check an explicitly supplied free-variable list for one unique candidate variable without parsing a logical formula.
- Mereology Part Relation Inverse Tool Invert an explicitly asserted part-of relation into has-part without verifying the underlying relation.
- Mereology Proper Part Asymmetry Witness Tool Check an asymmetry counterexample from two explicit proper-part relation values.
- Modal Accessibility Edge Flag Tool Inspect explicitly listed directed accessibility edges without assuming modal frame axioms.
- Modal Accessibility Edge Reflexive Label Label whether an explicit modal accessibility edge is a self-loop without asserting reflexivity of the whole relation.
- Modal Box Vacuous Successor Case Tool Evaluate box and diamond on an explicit finite list of accessible successor truth values.
- Modal Operator Nesting Depth Tool Count modal operators along one caller-supplied syntax-tree path; does not parse a complete modal formula.
- Modal Successor Count Budget Tool Finite modal truth from supplied successor counts, with vacuous necessity at zero successors.
- Philosophical Citation Section Token Tool Format an explicit work title and section locator with a section sign.
- Philosophical Text Quote Bracket Style Wrap explicit quotation text in caller-selected square brackets or curly double quotation marks without altering its contents.
- Philosophy: Quantified Statement Negation Rewrite Tool Apply the single outer classical quantifier negation rule to an explicitly supplied opaque predicate and bound-variable token; no parser, variable capture or theorem proving.
- Possible World One Relation Reflexivity Tool Calculate possible world one relation reflexivity from explicit caller-supplied inputs.
- Predicate Application Arity Tool Check an explicitly supplied predicate application argument count against its declared arity.
- Premise Relevance Source Annotation Preserve an explicit premise-relevance annotation and source without determining relevance.
- Probability Dutch Book Single Payoff Tool Calculate a single ticket payoff in a supplied event state; a Dutch book requires evaluating a portfolio over all states.
- Propositional Conditional Counterexample Row Tool Classical material implication for one supplied truth assignment.
- Quantified Statement Empty Domain Policy Tool Classical finite quantification with an explicit empty-domain admission flag.
- Quantifier Bound Variable Shadow Count Tool Count shadowing in an explicitly ordered nested binder path, without parsing formulas or proving equivalence.
- Quantifier Domain Emptiness Flag Report elementary empty-domain quantifier flags from an explicit finite domain size without evaluating a predicate.
- Quantifier Empty Domain Vacuity Token Tool Finite classical quantifier evaluation, including universal vacuity and false empty existential.
- Sorites Explicit Threshold One Step Tool Apply an explicit numerical boundary; this does not resolve vague predicates.
- Syllogism Middle Term Occurrence Count Tool Find shared premise terms absent from the conclusion, without inferring syllogistic validity.
- Syllogism Term Position Label Tool Locate the major, minor and middle terms in a categorical syllogism premise or conclusion using an explicit classical figure from 1 to 4.
- Temporal Until One Boundary Case Tool Finite-trace strong until at index zero: right must eventually hold and left must hold strictly before its earliest qualifying witness.
- Truth Value Explicit Three Valued Negation Apply strong Kleene negation to an explicitly supplied true, false, or unknown truth value.
- Utility Order Positive Affine Invariance Tool Positive affine transformation preserving the mathematical order; not an interpersonal utility comparison.