Filosofo tedesco (Prossnitz, od. Prostějov, Moravia, 1859 - Friburgo in Brisgovia 1938). Fondatore della moderna fenomenologia, ha fornito sostanziali contributi allo sviluppo di un concetto di filosofia [...] sul giudizio e il significato, propongono la teoria dell'intenzionalità come strumento privilegiato di analisi. des inneren Zeitbewusstseins, 1917, edite da M. Heidegger, e Formale und transzendentale Logik, 1929; tra le inedite Erfahrung und Urteil ...
Leggi Tutto
Logico e filosofo del linguaggio (Vienna 1889 - Cambridge, Inghilterra, 1951). Interruppe gli studî d'ingegneria iniziati all'univ. di Manchester, per dedicarsi alla matematica e ai suoi fondamenti logici; [...] significato empirico; invece le proposizioni della logica formale e della matematica pura, non avendo significato delle frasi non è più ora da ritrovarsi in una qualche teoria della corrispondenza nome-oggetto, ma va piuttosto riportato all'uso che ...
Leggi Tutto
Filosofo statunitense (Cambridge, Massachusetts, 1839 - Milford, Pennsylvania, 1914). Nella sua opera più nota, l'articolo How to make our ideas clear, pubblicato nel Popular Science Monthly del gennaio [...] modo dei problemi dei fondamenti, di algebra lineare, di teoria degli insiemi, di aritmetica transfinita e di topologia. I kantiane, rifiutate sulla base dell'inadeguatezza della logica formale a esse connessa), oltre che da motivi speculativi ...
Leggi Tutto
Pittore (Parigi 1859 - ivi 1891). Artista profondamente interessato allo studio dei problemi teorici legati alla ricerca visiva e formale, S. sviluppò la tecnica detta poi pointillisme (puntinismo). Tra [...] teorici ben precisi, che saranno la caratteristica costante di tutta la sua ricerca formale. La Grammaire des arts du dessin di Ch. Blanc (1867) lo iniziò alla teoria della mescolanza ottica (tocchi separati di pigmenti puri tendono a formare nell ...
Leggi Tutto
Filosofo inglese (Londra 1919 - Oxford 2006). Esponente tra i più vivaci della scuola di Oxford, si è occupato, nell'ambito dell'analisi del linguaggio, di varî temi di tipo logico-linguistico, con originalità [...] fatto ed espressioni linguistiche). I rapporti tra logica formale e logica del discorso comune sono stati poi con una persistente attenzione alle implicazioni ontologiche delle teorie logiche e alla ricchezza e flessibilità dei procedimenti ...
Leggi Tutto
Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali [...] univ. di Berkeley (1942-68). Numerosi i suoi contributi, che vanno dai problemi di metamatematica (teoria assiomatica dei sistemi formali, sistemi basati sulla logica proposizionale, descrizione di sistemi) alla semantica (interpretazione del calcolo ...
Leggi Tutto
Grice ⟨ġràis⟩, Herbert Paul. - Filosofo inglese del linguaggio (Birmingham 1913 - Berkeley 1988). Esponente della "filosofia del linguaggio ordinario", ha contribuito sostanzialmente allo sviluppo della [...] tale prospettiva, in contrasto con l'orientamento della semantica formale, ha sottolineato la connessione tra significato e psicologia, Di particolare rilievo è inoltre la sua teoria dell'"implicatura conversazionale" (conversational implicature), ...
Leggi Tutto
Logico e matematico statunitense (Augustów, Polonia, 1897 - New York 1954); prof. (1944) all'univ. di New York. Nel 1921 diede la prima dimostrazione della completezza sintattica del calcolo proposizionale [...] della riducibilità e di problemi di decisione, sviluppando la nozione di gradi di insolubilità. Importante la sua teoria dei sistemi formali e degli insiemi ricorsivamente numerabili, di quegli insiemi, cioè, che o sono vuoti o sono codominî di ...
Leggi Tutto
Filologo classico (Lipsia 1772 - ivi 1848), prof. all'univ. di Lipsia (dal 1794), fu il maggior rappresentante dell'indirizzo formale della filologia classica. Diede notevole contributo alla scienza filologica [...] specialmente di metrica (Handbuch der Metrik, 1799; Elementa doctrinae metricae, 1816). Affrontò la questione omerica proponendo la teoria, ancor oggi sostenuta, per cui i poemi omerici attuali sarebbero ampliamenti di due poemi primitivi unitarî; i ...
Leggi Tutto
Naturalista, matematico e filosofo (Lubecca 1587 - Amburgo 1657); godette di altissima stima tra i contemporanei. In contrapposizione alle dottrine scolastiche, fu fautore del metodo sperimentale e matematico, [...] terminologico. Notevole anche la sua attività nel campo della logica formale, che segna, grazie alla sua opera, alcuni dei maggiori moderna (significativi soprattutto gli ampliamenti della teoria della deduzione sillogistica). Opere principali: Logica ...
Leggi Tutto
formalismo
s. m. [der. di formale1]. – 1. Attaccamento alla forma esteriore, per cui si trascura o si dà minore importanza a ciò che è sostanziale ed essenziale; rigorosa osservanza delle norme, dei regolamenti, o in genere delle formalità...
formale1
formale1 agg. [dal lat. formalis]. – 1. Nel linguaggio filos., della forma, che concerne la forma o è inerente alla forma, in stretta connessione con il sign. e lo svolgimento di questo termine in filosofia. a. Nella distinzione aristotelica...