“Aristotle’s thesis”的概念、定义、翻译、参考文献-科学参考

Aristotle’s thesis

Logic

The non-classical thesis concerning entailment that a proposition can never entail its own negation. In systems with a negation connective $\neg$ and conditional connective $\to$ , this is made formal by accepting the axiom
$\neg (φ \to \neg φ)$
The thesis is named after Aristotle (384–322 bce), who asserts in the Prior Analytics that it is impossible that the non-greatness of an object entails its greatness. Aristotle’s thesis is one of the hallmarks of connexive logics.

单词	Aristotle’s thesis
释义	Aristotle’s thesis Logic The non-classical thesis concerning entailment that a proposition can never entail its own negation. In systems with a negation connective $\neg$ and conditional connective $\to$ , this is made formal by accepting the axiom $\neg (φ \to \neg φ)$ The thesis is named after Aristotle (384–322 bce), who asserts in the Prior Analytics that it is impossible that the non-greatness of an object entails its greatness. Aristotle’s thesis is one of the hallmarks of connexive logics.
随便看	Continental System contingency contingency planning contingency table contingent asset contingent commodity contingent fee contingent identity contingent(in logic) contingent liability contingent market contingent protection contingent valuation continuation continued fraction continuity continuity correction continuity equation continuity tester continuous compounding continuous creation continuous cultivation continuous culture continuous data continuous distribution