Resultats de la cerca
Es mostren 10 resultats
definició
Lògica
Proposició que té per objecte explicar les notes que té un concepte, segons el seu significat (definició formal) o segons el seu contingut (definició real).
intensió
Lògica
En la lògica moderna, conjunt de propietats d’un objecte representades per un terme general.
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
explicació
Lògica
Segons Kant, desplegament de les propietats implícites en una noció o concepte.
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ó
teorema
Lògica
En una teoria, enunciat demostrable.
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ó
diferència específica
Lògica
Qualitat o conjunt de notes que, en la definició d’un concepte, el distingeixen dels altres conceptes corresponents al mateix gènere.
semàntica
Lògica
Part de la lògica, que correspon més exactament a l’àmbit del que hom anomena metalògica i que estudia els sistemes lògics des del punt de vista de les seves possibles interpretacions, principalment la interpretació normal, o pensada en elaborar el sistema, si és que una tal interpretació existeix.
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…
principi de raó suficient
Lògica
Principi segons el qual res no es dóna (o no esdevé) sense una raó perquè es doni (o esdevingui) o sense una raó que expliqui el fet que es doni (o esdevingui).
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…
possibilitat
Lògica
Caràcter, estat o condició del que és possible.
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…
demostració
Lògica
Matemàtiques
Derivació d’un enunciat, mitjançant l’aplicació d’unes determinades regles lògiques, a partir d’uns altres enunciats, dits premisses de la demostració.
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…
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…