Archivio di filosofia, Edizione 3CEDAM, 1955 |
Dall'interno del libro
Risultati 1-3 di 44
Pagina 137
... allora » . Supponiamo , per esempio , che un calcolo proposizionale contenga come soli termini primitivi « se , allora » , « non » ed « e » , ricorrenti negli assiomi seguenti : 1 ) se ( se p , allora q ) e ( se q , allora r ) , allora ...
... allora » . Supponiamo , per esempio , che un calcolo proposizionale contenga come soli termini primitivi « se , allora » , « non » ed « e » , ricorrenti negli assiomi seguenti : 1 ) se ( se p , allora q ) e ( se q , allora r ) , allora ...
Pagina 138
... allora » e degli altri connettivi che in essa ricorrono , nello stesso senso in cui ciò era asserito di 1 ) , 2 ) e 3 ) , significa cadere in un regresso infinito di formalizzazione . Qualche gemello del nostro principio d'inferenza ...
... allora » e degli altri connettivi che in essa ricorrono , nello stesso senso in cui ciò era asserito di 1 ) , 2 ) e 3 ) , significa cadere in un regresso infinito di formalizzazione . Qualche gemello del nostro principio d'inferenza ...
Pagina 139
allora nel senso dell'implicazione materiale rende facile provare che gli ar- gomenti della forma « p ; se p , allora q ; perciò q » e « se p , allora q ; non - q ; per- ciò non - p » sono sempre tali da salvare la verità ( cioè tali da ...
allora nel senso dell'implicazione materiale rende facile provare che gli ar- gomenti della forma « p ; se p , allora q ; perciò q » e « se p , allora q ; non - q ; per- ciò non - p » sono sempre tali da salvare la verità ( cioè tali da ...
Sommario
1955 | 35 |
INDICE | 118 |
Forme logicosemantiche di ricerca filosofica | 161 |
5 sezioni non visualizzate
Altre edizioni - Visualizza tutto
Parole e frasi comuni
analitico analysis analytic awareness awarenesses bachelor believe Bertrand Russell bien c'est Carnap caso comportamentisti concetto consape consapevolezza contesto contingent definizione dichiarazione different dire discorso empirica entails enunciazioni esempio espressioni être eventi fact false filosofia filosofia analitica first forma forms formule G. E. Moore generale gr(a implica kind know knowledge Korzybski L-true L-vera l'analisi lingua linguaggio linguistic linguistico logica logical Logical Positivism logically logique Ludwig Binswanger mais matematica meaning means mentale meta-analisi metafisica metodo metodologia mind n'est neopositivismo notion object oder p₁ parlare peut philosophical Philosophy point positivismo logico possibilità possono predicato primitives principio di verità problema proposizione necessaria proposizioni analitiche punto di vista question reality refer relazione rules Russell Ryle same schema schizofrenico scienza semantic semantica semantica generale senso comune sentence sentences significato simbolo sistema Sprache statements struttura tale teoria terms theory thing tion tout true truth used Wittgenstein world zione