Conversion Immediate Inference Subject-Predicate Swapper (E,I valid)

Swap subject and predicate by simple conversion and test whether that conversion preserves truth for identifier categories.

Description

Categorical propositions use A for universal affirmative, E for universal negative, I for particular affirmative and O for particular negative.

Categorical propositions use A for universal affirmative, E for universal negative, I for particular affirmative and O for particular negative. Simple conversion swaps subject and predicate while retaining quality and quantity. It is generally valid for E and I forms.^[1]

The tool returns kind, subject, predicate, valid. Interpret the result under the rule and assumptions below; an encoded premise’s truth is not independently established.

When to use Conversion Immediate Inference Subject-Predicate Swapper (E,I valid)

Use this for the following task: Swap subject and predicate by simple conversion and test whether that conversion preserves truth for identifier categories. Prepare the specified logical encoding before running the check or transformation.

How to use Conversion Immediate Inference Subject-Predicate Swapper (E,I valid) and understand its results

Prepare the requested Boolean values, complete truth-table rows, or identifier atoms. An atom is a name such as p or premise_1, not a natural-language sentence.
Enter kind, subject, predicate according to the field table, then run the tool.
Read kind, subject, predicate, valid. Use the matching rule, assignment order or nonempty-class assumptions below to interpret the result.
For a false check, inspect the supplied encoding and matching rule. A well-formed false result is different from an input error.

Input field	Meaning	Value type and bounds	Requirement
kind	Proposition kind	string; choices "A", "E", "I", "O"	Required
subject	Subject	string; maximum text length 100; pattern ^(?!(?:true\|false)$)[A-Za-z_][A-Za-z0-9_]*$(?![\s\S])	Required
predicate	Predicate	string; maximum text length 100; pattern ^(?!(?:true\|false)$)[A-Za-z_][A-Za-z0-9_]*$(?![\s\S])	Required

Supply kind, subject and predicate identifiers. Return the swapped identifiers and an unchanged kind, with the fixed validity test.

valid = E or I or identical subject and predicate identifiers

The symbols and boundary conditions refer to the supplied fields and the implementation described above.

Output field	Meaning	Value type
kind	Converted proposition kind	string
subject	Subject	string
predicate	Predicate	string
valid	Conversion preserves truth	boolean

json

{
  "input": {
    "kind": "E",
    "subject": "S",
    "predicate": "P"
  },
  "output": {
    "kind": "E",
    "subject": "P",
    "predicate": "S",
    "valid": true
  }
}

Limitations and assumptions

This tests simple conversion only; A conversion by limitation and existential assumptions are not modeled. Identical identifiers also pass because the swap then changes nothing.

The supplied encodings must represent the intended propositions or classes. No natural-language parsing or assessment of empirical premise truth is performed. Malformed input gives a tool error rather than a logical false result.

Alternative or Complementary methods

Choose Obversion Immediate Inference Transformer (change quality + complement) when you need its operation: Obvert a categorical proposition by changing its quality and complementing its predicate. Choose Contraposition Immediate Inference Full Transform Validator (A,O valid) for the complementary operation: Form full contraposition by swapping and complementing both categorical terms and test its validity.

Background reference: Categorical Logic.

References

Categorical Logic — Philip B. Stark, University of California Berkeley

Similar or alternative tools

Obversion Immediate Inference Transformer (change quality + complement)
Obvert a categorical proposition by changing its quality and complementing its predicate.
Contraposition Immediate Inference Full Transform Validator (A,O valid)
Form full contraposition by swapping and complementing both categorical terms and test its validity.