Resultats de la cerca
Es mostren 10 resultats
Abraham Robinson
Lògica
Matemàtiques
Matemàtic i lògic nord-americà d’origen alemany.
Fou professor a les universitats de Toronto, Jesuralem, Los Angeles i Yale Fou creador de l’anàlisi no estàndard i de la teoria de models Els seus treballs són recollits a Non-Standard Analysis 1966-74
George Boole
Lògica
Matemàtiques
Matemàtic i lògic anglès.
Autodidacte, s’introduí en matemàtica mitjançant l’estudi de les obres de Lagrange i les de Laplace, i el 1849 obtingué una càtedra al Queen's College de Corcaigh Féu importants treballs en anàlisi matemàtica i contribuí a la fixació del llavors naixent concepte d’invariància Però la seva aportació més important fou l’inici de la lògica simbòlica És autor de The Mathematical Analysis of Logic 1847, The Calculus of Logic 1848 i de la seva obra mestra, An Investigation into the Laws of Thought, on which are Founded the Mathematical Theories of Logic and Probabilities 1854 El seu…
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 priori , a…
existència
Lògica
En l’anàlisi lògica contemporània, propietat de certes classes d’individus, les quals no són buides (és a dir, no són nul·les en extensió.
sil·logisme
Lògica
Modalitat d’argumentació deductiva consistent en l’afirmació de dues proposicions, relacionades entre elles i anomenades premisses, de les quals en resulta una altra, dita conclusió
.
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—,…
síntesi
Lògica
Procés de la investigació, del coneixement, etc, contraposat al de l’anàlisi, i consistent en la unió d’elements que eren o han estat separats i en llur integració en un tot o unitat superior.
Caracteritzable cartesianament com a progressiu trànsit del simple al complex, la síntesi és en Kant l’essència mateixa del coneixement síntesi a priori és, així, l’acte de la consciència com a unificació de les dades sensibles per les formes pures de la intuïció espai i temps, com a unificació de les intuïcions sensibles per les formes pures de l’enteniment categories i com a unificació —ni que sigui sols regulativa— dels conceptes mitjançant les idees de la raó ideals transcendentals A partir tant de la concepció kantiana com de la idea mateixa de síntesi la qual palesa que el tot resultant…
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…
experiment imaginari
Lògica
Ideació d’un experiment que no està destinat a dur-se a terme, sovint perquè es considera irrealitzable, però l’estudi i anàlisi del qual permet arribar a conclusions rellevants sobre una determinada teoria o hipòtesi.
Són exemples d'experiments imaginaris l’experiment del dimoni de Maxwell, la paradoxa del gat de Schrödinger i l’experiment de l'ascensor d'Einstein
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 com a…
cercle de Viena
Lògica
Filosofia
Escola lògica, sorgida a Viena vers el 1910 com a reacció contra les especulacions idealistes i afins (com les de les anomenades ciències de l’esperit) dels decennis precedents i decidida a establir una filosofia científica —i una corresponent concepció científica del món—, centrada en l’anàlisi del llenguatge i que derivà cap a un positivisme i un empirisme lògics.
Hereva de la tradició empirista i nominalista —d’Occam a Russell, passant sobretot per Hume— i de la filosofia d’Ernst Mach, fou iniciada per Hans Hahn 1880-1934 i Otto Neurath , entre altres, i establerta definitivament amb l’arribada a Viena de Moritz Schlick , el 1922, i de Rudolf Carnap , el 1926 s’hi incorporaren també aviat científics de les més diverses especialitats KGödel i HKelsen, KMenger, Rvon Mises, ESchrödinger, ESilzel i hi acudiren a formar-se destacades figures nord-americanes Wvan Quine, ENagel i CWMorris Herbet Feigl 1902 difongué l’expressió “positivisme lògic” com a…