“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.
随便看	glycosaminoglycan glycoside glycosidic bond glycosidic link glycosuria glycosylation glyoxal glyoxylate cycle glyoxysome glyph glyphosate GMAT GMC GM-CSF Gmelin, Leopold GMES g-meter G. M. Holden and Holden New Zealand Ltd GMR GMR head GMS GMST GMT gnamma Gnanadesikan, Ramanathan (1932–2015)