Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] considera-te inattaccabili per i condizionali, tra cui transiti-vità: (A□→B B□→C)⊃(A□→C); contrapposizione: A□→B∉B□→∉A; monotònicità: A□→B⊃((A C)□→B).
Nei casi in cui il condizionale non è controfattuale ma fattuale (indicativo), cioè in cui è vero ...
Leggi Tutto