“antilogism”的概念、定义、翻译、参考文献-科学参考

antilogism

Logic

1. In Aristotelian logic, with respect to a syllogism, the conjunction of the two premises of that syllogism with the denial of its conclusion. For example, with respect to the syllogism:
Some $A$ s are $B$ s
All $B$ s are $C$ s
Hence, some $A$ s are $C$ s.
Its corresponding antilogism is:
Some $A$ s are $B$ s
All $B$ s are $C$ s
No $A$ s are $C$ s
In general, the validity of a syllogism corresponds to the necessary falsehood of its corresponding antilogism.
2. In a deductive system $L$ , the classically valid inference:
$\frac{(φ \land ψ) \to ξ}{(φ \land \neg ξ) \to \neg ψ}$
- • In many cases, antilogism is considered an extension of contraposition. In the context of relevant logics, the term is frequently used to describe the collection of formulae of the form: $((φ \land ψ) \to ξ) \to ((φ \land \neg ξ) \to \neg ψ)$

Philosophy

An inconsistent set of sentences, particularly the triad formed by the conjunction of the premises with the denial of the conclusion of a valid syllogism.

单词	antilogism
释义	antilogism Logic 1. In Aristotelian logic, with respect to a syllogism, the conjunction of the two premises of that syllogism with the denial of its conclusion. For example, with respect to the syllogism: Some $A$ s are $B$ s All $B$ s are $C$ s Hence, some $A$ s are $C$ s. Its corresponding antilogism is: Some $A$ s are $B$ s All $B$ s are $C$ s No $A$ s are $C$ s In general, the validity of a syllogism corresponds to the necessary falsehood of its corresponding antilogism. 2. In a deductive system $L$ , the classically valid inference: $\frac{(φ \land ψ) \to ξ}{(φ \land \neg ξ) \to \neg ψ}$ • In many cases, antilogism is considered an extension of contraposition. In the context of relevant logics, the term is frequently used to describe the collection of formulae of the form: $((φ \land ψ) \to ξ) \to ((φ \land \neg ξ) \to \neg ψ)$ Philosophy An inconsistent set of sentences, particularly the triad formed by the conjunction of the premises with the denial of the conclusion of a valid syllogism.
随便看	California bearing ratio California current California Institute of Technology California Nebula California redwood californium Caligula (12–41) caliper log caliphate CALIPSO calixarenes call Callaghan, James, Baron Callaghan of Cardiff (1912–2005) call by name call by reference call by value call detail reporting Calles, Plutarco Eliás (1877–1945) Callicles calliclone calling line identification calling sequence call instruction Callippus (c.370–c.300 bc) Callisto