Resultats de la cerca
Es mostren 8 resultats
contradictori | contradictòria
Lògica
En sentit absolut, dit d’un terme o d’una proposició que presenten una contradicció.
contradictori | contradictòria
Lògica
En sentit relatiu, dit de dos termes o de dues proposicions una de les quals és negació de l’altra.
teorema de Gödel
Lògica
Matemàtiques
Teorema segons el qual, si una teoria T és no contradictòria i si els axiomes de l’aritmètica són teoremes de T, aleshores T no és categòrica (dit d’una altra manera, existeixen relacions indeterminables en T).
D’aquí es desprèn que una teoria que contingui l’aritmètica és no contradictòria
reducció a l’absurd
Lògica
Raonament que prova la veritat o la falsedat d’una proposició per la falsedat d’una conseqüència.
Pot pertànyer a una de les dues classes següents demostració per l’absurd , que prova la veritat posant de manifest la falsedat de la contradictòria, i reducció a l’absurd , que prova la falsedat d’una proposició per reducció a una conseqüència coneguda com a falsa o contrària a la hipòtesi de partida
oposició
Lògica
Relació entre dos conceptes, dos membres, dos aspectes, etc, l’un dels quals és la negació de l’altre o posseeix una qualitat que no pot donar-se simultàniament amb la d’aquest altre.
Així, hom ha distingit tradicionalment entre l' oposició per contradicció la d’ésser i no-ésser, l' oposició per privació la de visió i ceguesa, l' oposició per contrarietat la de virtut i vici i l' oposició relativa la de pare i fill En la lògica aristotèlica l’oposició per contradicció en què no poden ésser veritables o falses alhora ambdues proposicions es dóna entre proposicions del tipus A universal afirmativa i O particular negativa, i entre les de tipus E universal negativa i I particular afirmativa, mentre que l’oposició per contrarietat en què ambdues proposicions no poden ésser…
possibilitat
Lògica
Caràcter, estat o condició del que és possible.
Són dues les accepcións fonamentals de la categoria de possibilitat d’una banda, entesa com a possibilitat lògica o modalitat del judici, significa la qualitat de tot judici que no sigui contradictori, en contraposició a la necessitat lògica , la qual exclou sense més el contrari, mentre que la possibilitat, per definició, no ho exclou d’altra banda, la possibilitat real o física significa la capacitat o aptitud d’una cosa per a existir de fet i realment El sentit de la distinció entre ambdós tipus de possibilitat segons el qual el fet que un objecte pugui ésser concebut o pensat com a…