Resultats de la cerca
Es mostren 11 resultats
implicació
Lògica
Relació formal consistent en el fet que una idea o proposició n’implica una altra.
En lògica simbòlica s’expressa mitjançant el signe ⊰ En matemàtiques hom utilitza el símbol ⇒
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 treball, que…
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…
Cesare Burali-Forti
Lògica
Filosofia
Lògic italià.
Féu conèixer els treballs de Giuseppe Peano , del qual fou collaborador Ideà l’antinòmia o paradoxa que duu el seu nom 1897, segons la qual la collecció dels ordinals no és un conjunt , i que Georg Cantor estudià posteriorment
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ó
postulat
Lògica
Proposició fonamental d’un sistema deductiu que ni és evident ni pot ésser demostrada.
Tradicionalment el postulat era contraposat a l'axioma, pel fet de no ésser evident ni universalment acceptat, i al teorema, pel fet de no ésser demostrable Actualment, tanmateix, hom assimila el postulat a l’axioma, per tal com pot ésser posada en qüestió la idea d’evidència Més que no el seu caràcter apriorístic, el que hom entén avui com a propi del postulat és la posició primària que aquest ocupa en un sistema formal El sistema de postulats d’una teoria ha d’ésser elegit de tal manera que totes les proposicions de la teoria puguin ésser…
concepte
Lògica
En la lògica clàssica, representació abstracta i general d’un objecte.
En tant que funcionen com a subjecte i predicat en el judici, els conceptes són l’element últim sobre el qual es construeix l’edifici del coneixement Llurs propietats són la comprensió i l'extensió Hom pot fer distinció entre conceptes d’individu, d’espècie i de gènere entre els quals s’estableix una relació de subordinació, entre conceptes a priori i a posteriori segons que es dedueixin o no de l’experiència, o bé entre conceptes singulars i universals universal Però el problema fonamental que plantegen els conceptes és el de llur origen i natura el realisme n'afirma l’existència com a…
oposició
Lògica
Relació entre dos conceptes, dos membres, dos aspectes, etc, l’un dels quals és la negació de l’altre o posseeix una qualitat que no pot donar-se simultàniament amb la d’aquest altre.
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…
concepte universal
Lògica
Concepte que no es refereix a cap individu o singular, a un sol ens concret, ans a un conjunt d’individus (classe, gènere, espècie, etc) o a quelcom abstracte (qualitat, relació, etc.).
També anomenat noció genèrica , idea i entitat abstracta i oposat a l’individual, particular i singular, el concepte universal ha estat objecte de les més vives polèmiques al llarg de la història de la filosofia des de Plató i Aristòtil, sobretot a l’edat mitjana, pel que fa a la determinació del seu estatus ontològic Així, l’anomenada qüestió dels universals determinà el que hom pot caracteritzar com a triple posició ontologicognoseològica davant el problema d’una banda, la del realisme exagerat sovint denominat simplement realisme , que estableix l’existència dels universals en ells…
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…