Resultats de la cerca

En la tradició escolàstica, d’acord amb l’axioma que el pensar és consegüent a l’ésser, constituí en primer principi ontològic és impossible que una cosa sigui i no sigui al mateix temps i sota el mateix aspecteEn la lògica moderna hom l’entén com el teorema del càlcul proposicional no pot ésser cert alhora A i no A ~A~A La tradició del principi lògic i metafísic parteix de la filosofia de la immutabilitat de l’ésser de Parmènides i, amb preponderància de l’un o l’altre sentit, ha estat constant al llarg de la història Modernament, tant Hegel en sentit idealista com Feuerbach i…

Hom l’anomena també disjunció inclusiva per a distingir-la de la disjunció exclusiva , simbolitzada per ↮ En el llenguatge corrent, hom acostuma a utilitzar la preposició “o” indistintament per a referir-se a una o a l’altra, bé que l’expressió “o bé o bé" designa la segona amb més propietat En la lògica clàssica, les proposicions disjuntives constitueixen una classe de les proposicions formalment hipotètiques, i hom en parla també com de judicis disjuntius

El nom li fou donat pel fet que Aristòtil considerava la lògica com a instrument òrganon per al recte procediment científic Comprèn les Categories o Predicaments , els dos llibres Sobre la interpretació entorn dels judicis, els Primers analítics dos llibres sobre el sillogisme, els Segons analítics o Analítics posteriors dos llibres sobre la demostració sillogística en tant que condueix a la ciència, els Tòpics vuit llibres sobre la demostració sillogística en tant que condueix a una conclusió probable i les Refutacions sofístiques novè llibre dels Tòpics , sobre els…

Hom en diu trivalent, tetravalent, etc , segons que siguin tres, quatre, etc , els valors que hi siguin admesos d’altra banda, si aquest nombre de valors és finit, hom parla de lògica finitament polivalent i de lògica infinitament polivalent, si el dit nombre de valors és infinit La lògica polivalent, pròpia del s XX bé que hom en cerca antecedents en Aristòtil i en Guillem d’Occam, amb relació al problema dels futurs i futuribles, s’oposa al principi tradicional del non datur tertium i és típicament exemplificable en l’acceptació que, per exemple, una…

Els seus membres es caracteritzen per un estudi de la lògica moderna marcat per una tendència deductivista extrema i una inclinació al positivisme lògic o a l’empirisme científic En són representants destacats, juntament amb Jan Łukasiewicz i el seu deixeble Alfred Tarski , Zygmunt Zawirski 1882-1948, Lenon Chwistek 1884-1944 i Stanislaw Leśniewski 1886-1939, així com Tadeusz Kotarbiński 1886-1981, preocupat també pels problemes de la teoria del coneixement i de la metodologia de les ciències L’iniciador de l’escola fou pròpiament el vienès Kazimierz Twardowski 1866-1938, del…

Fundada per Manuel Garrido que en fou director i Fernando Montero, aplegà des de l’inici els membres del denominat “cercle de València” i representants d’altres grups de tendències semblants de l’àmbit de parla castellana de dins i fora de l’Estat espanyol Tingué també la collaboració de filòsofs nord-americans i europeus Entre les seves activitats cal destacar la difusió de la lògica matemàtica, la filosofia analítica, la metodologia de les ciències físiques i socials, etc La revista editava un volum l’any integrat per quatre números ordinaris d’aparició trimestral i un d’…

També dita teoria dels models , la semàntica dels llenguatges formals ha d’ésser distingida de la semàntica lingüística o semàntica dels llenguatges naturals Bé que l’estudi sistemàtic de la semàntica lògica és posterior a l’estudi dels problemes sintàctics teoria de la deducció formal en els sistemes axiomàtics i és obra sobretot de Tarski i de Carnap, algunes nocions semàntiques són tan antigues com la mateixa lògica Aristòtil distingia ja entre forma i contingut, i usava contraexemples per a demostrar que certes formes sillogístiques no eren vàlides els estoics caracteritzaren…

A partir de les matemàtiques, Russell vol oferir un llenguatge perfecte i ideal, basat en la lògica formal, el qual reflecteix en les seves estructures la mateixa estructura del món real Dos principis regeixen l’anàlisi russelliana primer, la reducció de les proposicions complexes o moleculars a simples o atòmiques, les quals enuncien fets elementals i de les quals depèn la veritat o la falsedat d’aquelles segon, la reducció dels coneixements per descripció a objectes i fets primers que són els coneguts immediatament by acquaintance , i que en la metafísica de Russell i de…

Donada una proposició p , la seva negació, que hom representa amb els símbols ¬ p , tilde p , p, és definida per la taula de veritat Quan dins un referencial predeterminat hom defineix un conjunt mitjançant una funció proposicional p x , la funció ¬ p x defineix el conjunt complementari La negació de proposicions representades amb símbols matemàtics, com a ∈ A, M ⊂ N, x = y, és representada usualment amb una ratlla inclinada damunt el símbol corresponent a ∉ A, M ⊄ N, x ≠ y La negació de proposicions en les quals intervenen quantificadors, cal fer-la amb molt de compte Exemple¬ ∀ x ∈ A p…