Resultats de la cerca

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…

Extraordinàriament rigorós, incloïa pensadors molt influïts per Occam, però alhora força originals, preocupats per protegir el Déu cristià de tota racionalització humana, necessàriament impotent, i per conrear amb independència una lògica nominalista i un experimentalisme cosmològic que aportaren valuosos descobriments fisicomatemàtics Cal destacar, a Oxford i a Cambridge, AWoodham i RHolkot i, a París, Gde Rimini, Jde Mirecourt, Nde Mirecourt, JBuridan, Ade Saxe, Nd’Oresme i MD’Inghen

Consta d’un cercle dividit en catorze cambres, que representen les set virtuts i els set vicis capitals Emprada per Ramon Llull en l' Art abreujada d’atrobar veritat vers el 1272 i represa, desdoblada en dues, en l' Art demostrativa 1274, desapareix després de les reelaboracions ulteriors de l’Art La figura constituïa un intent original de reduir a la lògica les diverses situacions de la vida moral

Professor a les universitats de Bonn, Kiel i Berlín, fou un dels primers neokantians Les seves investigacions se centraren en les relacions entre la lògica i la psicologia i, en particular, en la delimitació dels camps d’ambdues Entre les seves obres cal esmentar Über Inhalt und Geltung des Kausalgesetzes ‘Sobre el contingut i la validesa de la llei causal’, 1905 i Erkennen und Verstehen ‘Conèixer i comprendre’, 1921

Defensà a Roma conclusions de filosofia i teologia 1551 Catedràtic de retòrica i lògica a la Universitat de Lleida 1556 i des del 1565 d’arts a la de València Augustinià, fou prior del convent de Saragossa 1556 i vicari provincial de l’orde Publicà diversos comentaris aristotèlics 1563-64, un tractat musical, In musicam liber unus 1566, sobre l’orde augustinià, i De principiis Sacrae Theologiae 1570

Professor de les universitats de Manchester i Londres Establí la teoria de la utilitat marginal del valor, basada en la satisfacció de les necessitats de l’home amb un mínim esforç maximització de la satisfacció Desenvolupà la lògica combinatòria a partir de l’àlgebra de Boole La seva obra comprèn, entre altres, Theory of Political Economy 1871, The Principles of Science 1874 i Investigations in Currency and Finances recull, 1884

S'oposa a necessari Aquesta contraposició dóna lloc a una de les proves tradicionals de l’existència de Déu, ja formulada per Tomàs d’Aquino les criatures éssers contingents necessiten d’un ésser necessari Déu Leibniz en féu una transposició del terreny ontològic al lògic, distingit entre veritats de fet contingents i veritats de raó necessàries En la lògica contemporània hom fa distinció, en el mateix sentit, entre proposicions sintètiques i analítiques

La majoria dels seus treballs són recollits en el volum pòstum The Foundations of Mathematics and Other Logical Essays 1931 Seguidor en part de Wittgenstein, proposà algunes modificacions als Principia Mathematica de Russell i Whitehead, especialment pel que fa a les funcions i a la teoria dels tipus Formulà també una teoria sobre les proposicions causals i mostrà la dificultat de fonamentar tota la matemàtica en la lògica, així com de verificar les proposicions generals

Professor a Zuric, Göttingen, Heidelberg i Berlín, el punt de partida de la seva filosofia és l’aplicació de la lògica a camps del pensament no directament relacionats amb el coneixement, com són les emocions i la voluntat Construí un sistema dualista que exposà a Psychologie des emotionalen Denkens ‘Psicologia del pensament emocional’, 1908, An den Grenzen der Philosophie ‘Als límits de la filosofia’, 1909 i Philosophie der Wirklichkeit ‘Filosofia de la realitat’, 1926-35

Els errors sintàctics, aquells que s’originen en escriure una instrucció que no s’adequa a la sintaxi del llenguatge de programació emprat, si bé són detectats pels processos de traducció, no poden pas ésser resolts, i sovint ni tan sols localitzats exactament Cal, doncs, que un programador expert usi el seu coneixement per a situar-los i resoldre'ls Més complicat és el cas dels errors semàntics, aquells que manipulen conjuntament dades de tipus incompatible amb el tipus de manipulació que hom pretén realitzar Si el llenguatge utilitzat és fortament tipat, els errors semàntics seran detectats…