Resultats de la cerca
Es mostren 7 resultats
polivalent
Lògica
Dit del sistema lògic que, a diferència de la lògica tradicional i de la majoria de les lògiques contemporànies (anomenades bivalents, car només admeten dos valors de veritat: ‘‘és veritable’’ i ‘‘és fals’’), accepta més de dos valors de veritat.
Hom en diu trivalent, tetravalent, etc , segons que siguin tres, quatre, etc , els valors que hi siguin admesos d’altra banda, si aquest nombre de valors és finit, hom parla de lògica finitament polivalent i de lògica infinitament polivalent, si el dit nombre de valors és infinit La lògica polivalent, pròpia del s XX bé que hom en cerca antecedents en Aristòtil i en Guillem d’Occam, amb relació al problema dels futurs i futuribles, s’oposa al principi tradicional del non datur tertium i és típicament exemplificable en l’acceptació que, per exemple, una proporció pot ésser “no veritable…
extensió
Lògica
Classe dels objectes respecte als quals un terme és veritable.
Hom tendeix a considerarla equivalent a la denotació i a la referència, i a oposar-la a la comprensió i a la intensió No obstant això, des d’un punt de vista lògic, l’extensió no es concep com una quantitat d’objectes, sinó que inclou únicament entitats com gèneres o espècies
connectiva
Lògica
En lògica formal, partícules que relacionen unes proposicions amb unes altres i fan possible el càlcul proposicional.
D’entre les considerades principals, n'hi ha cinc de binàries , que relacionen dues proposicions p, q Cadascuna d’elles requereix una combinació específica dels valors de veritat de p i q perquè la proposició resultant del càlcul sigui veritable Comprenen la conjunció p∧q , la disjunció p∨q , el condicional p→q , el bidireccional p↔Q i la disjunció exclusiva p↮q> r> Cadascuna d’elles requereix una combinació específica dels valors de ceritat de p i q perquè la proposició resultant del càlcul sigui veritable Així, la conjunció serà veritable si i…
apòfansi
Lògica
Teoria lògica dels enunciats apofàntics.
La doctrina de l’apòfansi ha estat el fonament de la lògica aristotèlica, puix que aquesta considerava que la forma essencial del pensament era l’atribució d’un predicat a un subjecte, del qual resulta una proposició veritable o falsa
principi de verificació
Lògica
Criteri relatiu al procediment emprat per a comprovar la veritat o l’exactitud d’una hipòtesi, d’un principi teòric, etc.
D’acord amb el neopositivisme o positivisme lògic segons el qual només és veritable allò que és verificable, són verificables únicament les proposicions sintètiques de natura empírica i les proposicions logicomatemàtiques merament analítiques i tautològiques les primeres són verificables per mitjà de l’experiència sensible és a dir, per llur correspondència exacta amb una determinada percepció, i les segones, per mitjà de les regles amb què han estat constituïdes Qualsevol altra proposició que no es redueixi a aquests dos tipus és inverificable i, doncs, mancada de significació
alternativa
Lògica
Relació entre dues proposicions alternatives, és a dir, tals que si l’una és veritable, l’altra ha d’ésser falsa, i viceversa.
Cal distingir-la de la disjunció , que admet la possibilitat que totes dues siguin veritables
lògica
Lògica
Ciència que estudia sistemàticament els enunciats vàlids o formalment veritables (entenent que un enunciat és formalment veritable si són veritables tots els enunciats que tenen el mateix esquema lògic) o que tracta de la relació de conseqüència entre enunciats.
A més, però, de la lògica pròpiament dita, actualment hom inclou sota el títol de lògica les investigacions metalògiques, les quals comprenen la teoria de la deducció o estudi de les propietats dels conjunts d’axiomes i la semàntica formal D’altra banda, no tot el que ha figurat històricament sota el nom de lògica —com és ara la hegeliana— entra avui dins l’àmbit d’aquesta, ni totes les investigacions pròpiament lògiques han estat consignades com a tals Malgrat aquesta dificultat, existeix una unitat bàsica de temàtica, separable de la filosofia, que permet de considerar la lògica com una…