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 |
---|