Resultats de la cerca
Es mostren 4 resultats
principi del terç exclòs
Lògica
Principi segons el qual, en el cas de dues proposicions contradictòries, mai no poden ésser alhora falses ambdues, és a dir, només pot ésser falsa l’una o l’altra, i no és admissible una tercera alternativa.
Aquest principi ve a ésser complement del de no-contradicció pricipi de contradicció, del qual deriva la impossibilitat que dues proposicions contradictòries siguin veritables alhora
principi
Lògica
Filosofia
Dret
Cadascuna de les veritats admeses tradicionalment com a evidents per elles mateixes i com a normes segons les quals procedeix tot discurs.
Tant els que s’apliquen a una esfera particular, com és ara els principis generals del dret, com els que ho fan d’una manera absoluta, com és el cas dels anomenats primers principis o principis racionals els principis d' identitat, de contradicció, de raó suficient, del terç exclòs, de causalitat, de finalitat, etc
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
element crisipià
Lògica
Matemàtiques
En una lògica de proposicions, tota proposició P que satisfà simultàniament el principi del tercer exclòs (P ⌉ P≡1) i el principi de (no)-contradicció (P ⌉ P≡0).
Quan tots els elements d’una lògica de proposicions són crisipians, hom diu que la lògica és crisipiana Tota lògica bivalent principi de bivalència és necessàriament crisipiana, però no a l’inrevés La qualitat d’ésser crisipiana una lògica és de caire sintàctic Des d’un punt de vista semàntic hom pot dir que una lògica és crisipiana quan satisfà el principi de bivalència