Español > lógica: 6 sentidos > nombre 1, cognition| Sentido | The branch of philosophy that analyzes inference. |
|---|
| Categoría de | analítico | Of a proposition that is necessarily true independent of fact or experience |
|---|
| apodíctica, apodíctico, irrefutable | Of a proposition |
| aridad | The number of arguments that a function / function can take |
| axioma | (logic) a proposition that is not susceptible of proof or disproof |
| categoremático | Of a term or phrase capable of standing as the subject or (especially) the predicate of a proposition |
| completitud, completitud semántica | (logic) an attribute of a logical system that is so constituted that a contradiction arises if any proposition is introduced that cannot be derived from the axioms of the system |
| consistencia | (logic) an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another |
| contradicción en los términos, contradicción | (logic) a statement that is necessarily false |
| corolario | (logic) an inference that follows directly from the proof of another proposition |
| cuantificar | Use as a quantifier |
| del alcance | Of or relating to scope |
| explanandum, explicandum | (logic) a statement of something (a fact or thing or expression) to be explained |
| explanans | (logic) statements that explain the explicandum |
| extensional | Defining a word by listing the class of entities to which the word correctly applies |
| inductivo | Of reasoning |
| inferencial | Of reasoning |
| intensional | Used of the set of attributes that distinguish the referents of a given word |
| intercambiable | (mathematics, logic) such that the arguments or roles can be interchanged |
| no monótono | not monotonic |
| non sequitur | (logic) a conclusion that does not follow from the premises |
| operación lógica | An operation that follows the rules of symbolic logic |
| paradoja | (logic) a statement that contradicts itself |
| pleonasmo, redundancia, tautología | (logic) a statement that is necessarily true |
| postulación, predicación | (logic) a declaration of something self-evident |
| postulado | (logic) a proposition that is accepted as true in order to provide a basis for logical reasoning |
| predicado | (logic) what is predicated of the subject of a proposition |
| presuponer | require as a necessary antecedent or precondition |
| proposición | (logic) a statement that affirms or denies something and is either true or false |
| prueba | A formal series of statements showing that if one thing is true something else necessarily follows from it |
| sintético | Of a proposition whose truth value is determined by observation / observation or facts |
| General | filosofía | The rational investigation of questions about existence and knowledge and ethics |
|---|
| Inglés | logic |
|---|
| Catalán | lògica |
|---|
| Nombres | lógico | A person skilled at symbolic logic |
|---|
Español > lógica: 6 sentidos > nombre 3, attribute| Sentido | correct and valid reasoning. |
|---|
| Sinónimo | racionalidad |
|---|
| Cualidades | consecuente, lógica, logical, lógico | capable of or reflecting the capability for correct and valid reasoning |
|---|
| ilógico | lacking in correct logical relation |
| Específico | completitud, completitud semántica | (logic) an attribute of a logical system that is so constituted that a contradiction arises if any proposition is introduced that cannot be derived from the axioms of the system |
|---|
| consistencia | (logic) an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another |
| racionalidad | The quality of being consistent with or based on logic / logic |
| General | calidad, cualidad | An essential and distinguishing attribute of something or someone |
|---|
| Contrario | contrasentido, ilógico, inconsecuencia, insensatez, irracionalidad | invalid or incorrect reasoning |
|---|
| Inglés | logicality, logicalness |
|---|
| Catalán | lògica |
|---|
| Adjetivo | coherente, lúcido | capable of thinking and expressing yourself in a clear and consistent manner |
|---|
| consecuente, lógica, logical, lógico | capable of or reflecting the capability for correct and valid reasoning |
| consecuente, lógico | Based on known statements or events or conditions |
