Resultats de la cerca

Simbòlicament, la inclusió de classes és definida com A ⊂B = df x x ∈A ⊃x ∈B, i la de relacions com R ⊂S = dfxyxRy ⊃xSy

Dins la lògica el dilema és una de les classes del sillogisme disjuntiu i condicional És un argument de gran força, sempre que les dues hipòtesis enunciades siguin realment les úniques possibles

Coautor amb D Hilbert dels Grundlagen der Mathematik 1934-39 En teoria de conjunts formulà un sistema axiomàtic, sobre la base del de von Newmann, que fou posteriorment estudiat per K Gödel sistema de von Neumann-Bernays-Gödel , i que distingia entre classes i conjunts Axiomatic Set Theory , 1958

Pot pertànyer a una de les dues classes següents demostració per l’absurd , que prova la veritat posant de manifest la falsedat de la contradictòria, i reducció a l’absurd , que prova la falsedat d’una proposició per reducció a una conseqüència coneguda com a falsa o contrària a la hipòtesi de partida

En són les més destacades la de BRussell 1908 i la de LChwistek 1921 i FPRamsey 1926

És un concepte fonamental en la lògica moderna Els elements d’una classe són anomenats membres Hom diu que dues classes són idèntiques quan tenen els mateixos membres És anomenada classe universal la que comprèn tots els membres de l'univers del discurs, i classe buida la que no té cap membre El conjunt de tots els elements de l’univers del discurs que no són membres d’una classe forma el complement d’aquesta classe

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…

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…