By Mauro Mariani
Read or Download Introduzione a Frege PDF
Best italian_1 books
Fabio Rizi's Benedetto Croce and Italian Fascism PDF
Benedetto Croce and Italian Fascism offers a special research of the political lifetime of the key Italian thinker and literary determine Benedetto Croce (1866-1952). hoping on a number assets not often used sooner than in Croce reviews - together with police records, archival fabrics, and the non-public variation of Croce's diaries, the Taccuini, released in recent times - Fabio Rizi paints an evocative photograph of Croce within the fascist period.
- Pace e giustizia sociale
- Deviazione
- Divorzio a Buda
- Che cosa sappiamo della mente
- Fascist Hybridities: Representations of Racial Mixing and Diaspora Cultures under Mussolini
Additional info for Introduzione a Frege
Sample text
Così, ad esempio, il modo in cui un giudizio condizionale è costruito farà parte delle regole di formazione; mentre la definizione del segno di condizione, essendo, in pratica, una tavola di verità, farà parte del metalinguaggio semantico, come pure l'espressione del fatto che a questo segno viene associata questa determinata tavola di verità. ,a (7) (8) (9) c=c (a~(b~c))~((a~b)~(a~c)) c=d~(fc~fd) ('v'x)(fx)~fc Come già sappiamo, l'unica regola di derivazione è il Modus Ponens. Questa sembra una svista clamorosa: com'è pos26 Ricordiamo che le lettere latine sono variabili proposizionali, individuali, predicative o funtoriali a secondo dei contesti (dr.
531-52), in cui Frege polemizza contro le teorie dei numeri irrazionali dei matematici formalisti Heine e Thomae. 30 Mauritius_in_libris ripetutamente sottolineato, si tratta di una nozione poco chiara che dà adito a molte perplessità. I principali motivi di insoddisfazione (di alcuni di essi abbiamo già parlato) sono - manca, in generale, una spiegazione convincente del segno di identità e dell'ambito della sua applicabilità; - nella discussione sul giudizio di identità Frege ha riconosciuto la necessità di distinguere tra il riferimento di un termine singolare (identificato con il suo contenuto) ed il modo in cui tale riferimento viene determinato; d'altra parte i giudizi di identità riguardano anche segni per contenuti giudicabili (cfr.
Frege e l'algebra della logica Il programma leibniziano (cfr. cap. ) fossero applicate ai (segni di) concetti: da questo punto di vista, dunque, leredità leibniziana fu raccolta, più che dalla logica di Frege, dall'algebra della logica 37 Mauritius_in_libris (iniziata dall'inglese Boole 27 , sviluppata in Inghilterra da De Morgan, Venn ed altri; negli Stati Uniti soprattutto da Peirce; ed in Germania soprattutto da Schroder). Semplificando al massimo, l'algebra di Boole può essere considerata una sorta di calcolo universale in cui i segni sia delle operazioni che di ciò cui esse si applicano sono suscettibili di interpretazioni diverse, ma regolate quasi dalle medesime leggi: simboli numerica X, + X 1 y, ...
Introduzione a Frege by Mauro Mariani
by Ronald
4.2