Resultats de la cerca

D’una banda, aquest mot s’oposa a problema, i, de l’altra, a definició, axioma o postulat Pel fet que hom utilitzi aquests enunciats al llarg d’una deducció, llur funció equival a la d’un principi i, de fet, constitueix la demostració categòrica del teorema Una proposició, considerada generalment com a axioma, pot esdevenir un teorema quan hom en fa veure la dependència respecte a unes altres proposicions més simples, però no pas més evidents La idea de deducció és essencial a la del teorema, però no la de demostració

Aquest principi fou enunciat en el cas del càlcul de proposicions, de forma explícita, per primera vegada, a l’escola estoica de Megara lògica i, concretament, per Crisip, si bé ja Aristòtil en De Interpretatione l’havia analitzat i discutit àmpliament Sintàcticament parlant implica les lleis del tercer exclòs, de no-contradicció i de la doble negació, les quals, en lògiques no bivalents, poden esdevenir falses

Enunciat en la fórmula “A és A”, el principi d’identitat trobà en Parmènides la interpretació, segons sembla, més radical l'ésser és el que és, eternament i immutablement determinat intrínsecament Aristòtil considerà no solament la comprensió més immediata de la identitat identitat numèrica “una cosa és allò que és”, sinó també una altra de basada en la còpula del judici identitat específica, la qual exigeix identitat de qualitats, no pas d’objecte

Modernament, en la filosofia de la ciència hom pot distingir diverses concepcions relatives a la seva definició Per al corrent nomologicodeductiu, és l’enunciat sobre un fet que hom dedueix de la contrastació d’aquest amb diverses lleis generals Per als contextualistes, és un procés de comunicació pel qual hom fa intelligible una cosa a una altra persona Els realistes consideren l’explicació com l’exposició d’enunciats de tipus causal sobre fenòmens Darrerament, hom s’ha centrat també en el problema de la delimitació entre la descripció i l’explicació

Conegut des de temps antic Abelard, els escolàstics i G Bruno, entre altres, n'oferiren diverses formulacions, aquest principi fou enunciat en la seva forma més madura per Leibniz “cap fet no pot ésser ver o existent i cap enunciat no pot ésser vertader, si no es dóna una raó suficient perquè sigui així i no altrament” Relacionat amb el principi de causalitat —tant l’eficient com, sobretot, la final— i, per alguns, àdhuc amb el principi de no-contradicció contradicció, el principi de raó suficient inclou diversos aspectes un de…

L’instrumental lingüístic que utilitza el metallenguatge procedeix d’un llenguatge natural determinat i serveix per a descriure aquest mateix llenguatge o un altre de qualsevol El lingüista que escriu la gramàtica d’una llengua, el lexicògraf que redacta un diccionari, l’informàtic que descriu un llenguatge de programació, o el lògic que estudia la validesa o correctesa formal d’un enunciat, tots ho fan en metallenguatge El metallenguatge es manifesta també en el llenguatge colloquial frases tals com “Què vol dir llibertat en basc", “Per a vosaltres "'mestre’ i “mestra' sonen igual” o “No es…

Hom en diu sovint també enunciat , bé que a vegades aquest terme és pres en un sentit neutral, del qual el terme judici reflecteix l’aspecte subjectiu i el terme proposició expressa l’aspecte objectiu La diferenciació entre judici i proposició, necessària en l’ordre lògic, pot ésser omesa en l’ordre epistemològic, com és ara el cas de Kant Entre les diverses divisions que hom n'ha establert cal destacar la corresponent a la distinció entre proposició simple també anomenada categòrica, predicativa o enunciativa , en què un concepte s’uneix a un altre mitjançant la còpula, i…

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…