Resultats de la cerca

L’axiomatització té la seva aplicació sobretot en lògica i matemàtiques L’axiomatització d’una ciència pot ésser feta de diverses maneres, puix que per a cada una hi ha diversos sistemes d’axiomes equivalents L’elecció d’un sistema d’axiomes o altre depèn del fi de base crítica dels fonaments, exposició didàctica, aplicacions tècniques, etc Una de les tendències de la lògica actual és de descobrir els mètodes més precisos d’axiomatització i una teoria completa dels símbols lògics per poder fomalitzar tant com sigui possible tots els sistemes L’axiomatització d’una…

Són de dimensions petites màquina de calcular de butxaca o de taula i consten d’un teclat tecles numèriques, d’operació i de funció per a l’entrada de les dades, i una pantalla per a la visualització dels resultats, que pot ésser de díodes luminescents o de cristall líquid El funcionament de la màquina de calcular és basat, igual que el dels ordinadors, en la lògica dels circuits electrònics integrats lògica electrònica Algunes màquines de calcular són programables, tenen nombroses memòries i, amb les adequades interfícies, poden ésser connectades a visualitzadors de pantalla gran,…

Hom acostuma a distingir entre l' adreça física , que dóna la referència de la posició física real, i l' adreça lògica , que dóna la referència del lloc d’origen o de destinació de les dades sense que calgui indicar ni saber l’adreça física El mètode emprat per a determinar l’adreça física a partir de l’adreça lògica és l'adreçament En el protocol IP, d’internet, l' adreça IP , que identifica un nus de la xarxa, és una referència numèrica jerarquitzada de dominis Sovint, però, en lloc de l’adreça IP, hi ha referències simbòliques o identificadors en aquest cas, el…

El terme fou introduït en el llenguatge filosòfic per Kant Juntament amb aquesta denominació, d’ús preferent en els manuals neoscolàstics antigament hom en deia logica maior , hom utilitza indistintament els termes de gnoseologia , epistemologia, teoria del coneixement i, àdhuc, criteriologia La consideració del coneixement com a problema filosòfic central és relativament recent Locke, Leibniz, Berkeley, Hume, etc, bé que hom pot trobar reflexions epistemològiques disperses en filòsofs de l’antiguitat i de l’edat mitjana A partir del sistema kantià restaren assentats els pressupòsits per a…

Fou professor de matemàtiques a l’University College de Londres 1828-66, excepte durant el període 1831-36, i el primer president de la London Mathematical Society, fundada l’any 1866 En un dels seus primers treballs, Elements of Arithmetic 1831, tractà, des del punt de vista filosòfic, dels conceptes de nombre i magnitud Les seves contribucions més importants són en el camp de la lògica simbòlica, i, juntament amb Boole, pot ésser considerat l’impulsor d’aquest nou corrent durant la primera meitat del s XIX En són remarcables, també, els treballs que fan referència a la…

Es doctorà el 1932 a Harvard, on desenvolupà també la seva carrera docent 1936-78 Les seves aportacions se centraren en la lògica matemàtica, l’epistemologia i la filosofia de la ciència Aplicà les tècniques de la lògica als camps de la semàntica i de l’ontologia i propugnà un empirisme antidogmàtic a fi de comprendre l’estructura efectiva de les teories científiques És autor de nombrosos articles i assaigs, i de llibres com New Foundations for Mathematical Logic 1936, Methods of Logic 1950, From a Logical Point of View 1953, Word and Object 1960, Philosophy of Logic…

Aristòtil utilitzà l’expressió “art analítica” per a referir-se al procés de reducció als primers principis Fou Descartes qui introduí l’anàlisi com a mètode de recerca en filosofia, entenent l’anàlisi com a procés de reducció de les proposicions complexes i fosques a les més simples que puguin ésser intuïdes com a veritats En geometria geometria analítica s’acomplia aquest mètode en reduir una corba a una funció algèbrica que expressés el seguit de punts determinats pels eixos de coordenades Kant entengué la lògica general com una anàlisi que descompon els elements formals de l’…

Vida i obra El seu nom veritable era Joan Malbec Prevere, a València fou deixeble d’Alonso de Proaza, el qual li dedicà l’edició de la Noua logica de Ramon Llull 1512 Com posa en evidència la seva notable biblioteca, era posseïdor d’una extensa formació filosòfica, especialment remarcable en la lògica nominalista Documentat a Barcelona des del 1521, ensenyà lògica a l’Estudi General i la doctrina de Llull a l’Escola Lulliana Fou el responsable de la primera edició impresa d’una obra de Ramon Llull en català  Blanquerna València 1521, precedida d’una “Epístola proemial” de l’editor Al final…

Sacerdot catòlic i professor de filosofia de la religió a Praga 1805-20, hagué d’abandonar la càtedra per les seves tendències racionalistes Oposat a l’idealisme kantià, volgué desenvolupar una filosofia científica amb la seva concepció de la lògica com a estudi de les “proposicions com a tals” o en elles mateixes ‘Sätze an sich’ en tant que quelcom objectiu, i amb la seva contribució a la fonamentació de les matemàtiques Féu estudis de les paradoxes de l’infinit descobertes per ell i formulades clàssicament per Georg Cantor Treballà també en funcions reals, convergència de…