Resultats de la cerca

Només A i E donen inverses

Quan hom fa el pas sense proposicions intermèdies, la inferència és dita immediata altrament, mediata

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…

Així, hom ha distingit tradicionalment entre l' oposició per contradicció la d’ésser i no-ésser, l' oposició per privació la de visió i ceguesa, l' oposició per contrarietat la de virtut i vici i l' oposició relativa la de pare i fill En la lògica aristotèlica l’oposició per contradicció en què no poden ésser veritables o falses alhora ambdues proposicions es dóna entre proposicions del tipus A universal afirmativa i O particular negativa, i entre les de tipus E universal negativa i I particular afirmativa, mentre que l’oposició per contrarietat en què ambdues proposicions no poden ésser…

Objecte d’anàlisi i sistematització pràcticament exhaustives en l’anomenat Òrganon aristotèlic, el sillogisme, l’estudi del qual integra la sillogística , no és l’única possibilitat d’argument deductiu, bé que l’influx d’Aristòtil determinà una identificació exclusiva entre l’un i l’altre, amb la corresponent reacció antisillogística, per exemple, de Descartes Pel que fa a la relació entre les premisses del sillogisme —anomenades respectivament major i menor , pel fet que la primera inclou el predicat P i la segona el subjecte S, que són recollits en la proposició conclusiva—, aquella és…

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…

Bé que en Aristòtil és una entre les diverses categories, la relació fou desenvolupada entre els escolàstics de manera que abraçava ja un camp molt més ampli de modalitats i subdivisions i en aquesta línia ha estat definitiva, contemporàniament, l’aportació d’E von Hartmann, el qual fa de la relació una categoria talment fonamental Urkategorie que inclou totes les altres categories És important, així mateix, la distinció tradicional entre la simple relació lògica , establerta només per la ment, i la relació pròpiament ontològica, o relació real , en el si de la qual l’escolàstica distingí…

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…