Resultats de la cerca
Es mostren 3 resultats
estoïcisme
Filosofia
Escola filosòfica grecoromana.
Hom distingeix tres períodes dins l’estoïcisme l’estoïcisme primitiu s III aC, representat per Zenó de Cítium, Cleantes i Crisip, que consisteix en una doctrina de base materialista que combina les línies generals dels cínics i d’Heràclit, tracta sobretot de física i lògica i es caracteritza pel dogmatisme, representat bàsicament per Crisip l’estoïcisme mitjà s II-I aC, representat per Paneci i Posidoni, que incorpora elements platònics, abandona gradualment el materialisme i aborda preferentment temes morals i l’estoïcisme nou s I, representat per Sèneca, Epictet i…
principi de bivalència
Lògica
Matemàtiques
Principi de la lògica de sentències o proposicions, de caire semàntic, que diu: «tota sentència és certa o falsa».
Aquest principi fou enunciat en el cas del càlcul de proposicions, de forma explícita, per primera vegada, a l’escola estoica de Megara lògica i, concretament, per Crisip, si bé ja Aristòtil en De Interpretatione l’havia analitzat i discutit àmpliament Sintàcticament parlant implica les lleis del tercer exclòs, de no-contradicció i de la doble negació, les quals, en lògiques no bivalents, poden esdevenir falses
lògica
Lògica
Ciència que estudia sistemàticament els enunciats vàlids o formalment veritables (entenent que un enunciat és formalment veritable si són veritables tots els enunciats que tenen el mateix esquema lògic) o que tracta de la relació de conseqüència entre enunciats.
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…