Resultats de la cerca
Es mostren 6 resultats
Gottlob Frege
Gottlob Frege
© Fototeca.cat
Filosofia
Matemàtiques
Filòsof i matemàtic alemany.
Professor a Jena 1879-1918, la publicació del seu primer llibre, Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens ‘Ideografia, un llenguatge formalitzat del pensament pur a base del llenguatge aritmètic’, 1879, marca una de les dates principals del desenvolupament de la lògica matemàtica Són contribucions seves la logicització de l’aritmètica, l’argument que la matemàtica es redueix a la lògica, l’elaboració del càlcul proposicional, la noció de funció proposicional i de quantificació i l’anàlisi lògica de la prova Fou, a més,…
modus tollens
Filosofia
Esquema metalògic que designa un tipus de raonament formalment vàlid, és a dir, una regla d’inferència, en què les premisses són un enunciat condicional, i la negació del seu conseqüent, la conclusió, és la negació de l’antecedent.
Segons la representació habitual de la lògica proposicional es pot expressar per *** Des del punt de vista de la lògica sentencial, però, aquesta expressió descriu simplement un enunciat tautològic
modus ponens
Filosofia
Esquema metalògic que designa un tipus de raonament formalment vàlid, és a dir, una regla d’inferència, en què les premisses són un enunciat condicional, i l’afirmació del seu antecedent, la conclusió, és l’afirmació del conseqüent.
Segons la representació habitual de la lògica proposicional es pot expressar per ***Des del punt de vista de la lògica sentencial, però, aquesta expressió descriu simplement un enunciat tautològic
Jan Łukasiewicz
Lògica
Filosofia
Lògic polonès.
Membre del Cercle de Varsòvia, elaborà una lògica trivalent i, ensems amb Tarski, una lògica polivalent amb un nombre infinit de valors, alhora que estudià la història de la lògica, com és ara la dels estoics i la sillogística aristotèlica Escriví Über den Satz des Wiederspruchs bei Aristoteles ‘El principi de contradicció en Aristòtil’, 1910, Elements de lògica matemàtica 1929 i Observacions filosòfiques sobre els sistemes polivalents del càlcul proposicional 1930
principi de contradicció
Filosofia
Principi de la lògica aristotèlica que hom hauria d’anomenar pròpiament principi de no-contradicció.
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…
taula de veritat
Filosofia
En lògica proposicional, procediment per a determinar la veritat o falsedat d’un enunciat sentencial d’acord amb els valors de veritat de les seves variables, les quals representen enunciats més bàsics.
La presentació més usual consisteix a posar a l’esquerra totes les combinacions dels valors del enunciats 2 n , essent n el nombre de variables i a la dreta el valor de veritat que rep la sentència per aquell valor de les variables Aquest valor és obtingut per derivació a partir de les taules de veritat de les funcions lògiques més bàsiques que determinen les connectives