Qualche esempio di argomento (s)corretto
Set 21Abbiamo già accennato all’importanza di qualificare, e saper qualificare, gli argomenti filosofici. Il piccolo vocabolario messo a disposizione offre un primo, essenziale strumento per coltivare quell’abilità. Ora è opportuno concretizzare quanto considerato in astratto, affinché le definizioni del vocabolario possano trovare un ancoraggio nei nostri ragionamenti quotidiani,...
Un vocabolario per qualificare gli argomenti
Set 07Dopo aver compreso perché è importante saper qualificare gli argomenti specialmente in filosofia, ecco un piccolo vocabolario delle parole principali usate a questo scopo. In fondo all’articolo, oltre a trovare una bibliografia essenziale, è possibile scaricare una tavola riepilogativa del lessico argomentativo esposto. Nel prossimo articolo, qualche esempio aiuterà a concretizzare...
Teorema di correttezza in K
Lug 17[ad#Ret Big] Dall’ultimo post sulle leggi modali minimali abbiamo in qualche modo avuto gratis la dimostrazione del teorema di correttezza in K. Il teorema di correttezza dice che se una formula è dimostrabile allora è vera. In simboli: Se ├ α allora ╞ α Si dimostra per induzione sulla lunghezza della dimostrazione. Il primo passo è supporre che la lunghezza della dimostrazione sia...
