Resultats de la cerca

Aquestes propietats ho són adés de l’objecte, bé que no siguin essencials a la definició del terme que el designa, adés del terme designatiu de la classe d’aquests objectes

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ó

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ó

També dita teoria dels models , la semàntica dels llenguatges formals ha d’ésser distingida de la semàntica lingüística o semàntica dels llenguatges naturals Bé que l’estudi sistemàtic de la semàntica lògica és posterior a l’estudi dels problemes sintàctics teoria de la deducció formal en els sistemes axiomàtics i és obra sobretot de Tarski i de Carnap, algunes nocions semàntiques són tan antigues com la mateixa lògica Aristòtil distingia ja entre forma i contingut, i usava contraexemples per a demostrar que certes formes sillogístiques no eren vàlides els estoics caracteritzaren…

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 logicognoseològic, un altre d’ontològic i fins i tot un tercer de…

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…

Qualsevol cadena de demostracions ha d’arrencar d’un conjunt finit de premisses no demostrables, els axiomes Aquest conjunt és anomenat el sistema dels axiomes de la teoria deductiva, i els enunciats que són demostrats a partir dels axiomes s’anomenen teoremes Identificada, en la teoria platònica, amb la definició, Aristòtil la considerà com un procés superior, adreçat a extreure, mitjançant el sillogisme, una conclusió a partir d’unes premisses certes L’escolàstica s’adherí a l’esquema aristotèlic i n'elaborà una classificació propter quid , ad intellectum , ad sensum , a priori , a…

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…