scienza
Enciclopedia on line
scienza Insieme delle discipline fondate essenzialmente sull’osservazione, l’esperienza, il calcolo, o che hanno per oggetto la natura e gli esseri viventi, e che si avvalgono di linguaggi formalizzati.
In [...] sec., in The philosophy of the inductive sciences founded upon their history di W. Whewell (1840) e nel System of logic ratiocinative and inductive di J. Stuart Mill (1843). All’empirismo di Mill, che conduce a privilegiare come momenti fondamentali ...
Leggi Tutto
Swineshead, Richard
Enciclopedia on line
Matematico, filosofo e teologo inglese del sec. 14º, professore (1348) del Merton College di Oxford. Maestro nell'usare le sottigliezze della logica occamista, fu soprannominato calculator per il suo frequente [...] ricorso al calcolo delle proporzioni e al simbolismo letterale nella misura degli elementi quantitativi dei fenomeni fisici. È autore di varî trattati, tra cui: De insolubilibus et obligationibus; De sensu ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
proposizione
Enciclopedia on line
In genere, ciò che si enuncia, si dichiara, si afferma, e la frase stessa che contiene l’enunciato.
Filosofia
P. ed enunciato
Nella logica e nella filosofia del linguaggio contemporanee si distingue p. [...] nell’affermare o negare un predicato di un soggetto. Non diverso è generalmente il concetto di p. nella filosofia e nella logica medievali.
È nella filosofia ottocentesca che comincia a diffondersi il concetto di p. inteso come ciò che è espresso da ...
Leggi Tutto
PETRELLA, Bernardino
Dizionario Biografico degli Italiani (2015)
PETRELLA, Bernardino
Gregorio Piaia
PETRELLA, Bernardino. – Nacque nel 1529 a Borgo del Santo Sepolcro (oggi Sansepolcro, in provincia di Arezzo), da Domenico Petrella; non è noto il nome della madre.
Fu [...] , ad MDCCLVI, Patavii 1757 (rist. anast. Bologna 1978), pp. 296-97 e 303.
P. Ragnisco, Giacomo Zabarella il filosofo. Una polemica di logica nell’Università di Padova nelle scuole di B. P. e di G. Zabarella, in Atti del r. Istituto veneto di scienze ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
iota
Dizionario delle Scienze Fisiche (1996)
iota
iòta [Nome della 9a lettera dell'alfab. gr., corrispondente alla vocale latina i] [FAF] [ALG] Operatore i.: operatore descrittivo della logica matematica, che significa "l'unico"; per es., ι(x+5=7) [...] significa l'unico x che sommato a 5 dà 7, cioè il numero 2 ...
Leggi Tutto
trivalente
Dizionario delle Scienze Fisiche (1996)
trivalente
trivalènte [agg. Comp. di tri- e valente] [CHF] Di elemento chimico che ha valenza tre, cioè che presenta trivalenza. ◆ [ALG] [FAF] Logica t.: quella nella quale si ammette che una proposizione [...] possa essere o vera o falsa o indecidibile ...
Leggi Tutto
predicato
Dizionario delle Scienze Fisiche (1996)
predicato
predicato [Der. del lat. praedicatum, part. pass. neutro sostantivato di praedicare "rendere noto"] [ALG] [FAF] (a) Ciò che si afferma o si nega intorno a un soggetto; (b) nella logica matematica, [...] , oltre alle proposizioni semplici e ai connettivi, si considerano anche p. e quantificatori. ◆ [ALG] [FAF] Logica dei p.: la parte della logica matematica che studia le espressioni (formule) che si possono costruire con p. (applicati a costanti e ...
Leggi Tutto
BALDINOTTI, Cesare
Dizionario Biografico degli Italiani (1963)
BALDINOTTI, Cesare
Simonetta Gori Savellini
Nato a Firenze il 12 luglio 1747, monaco dell'Ordine benedettino olivetano, fu abate nel convento fiorentino di S. Miniato al Monte. Nel 1774 venne chiamato [...] : l'Introductio ad Philosophiam, Metaphysicam et Logicam continens di W. J. Van's Gravesande (Leidae 1736) e le Istituzioni di Logica, Metafisica ed Etica di F. Soave (Milano 1791).
Nel novembre del 1796, quando era stata già riaperta l'università di ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Prior, Arthur Norman
Enciclopedia on line
Logico e filosofo inglese (Masterton 1914 - Oxford 1969), compì i primi studi in Nuova Zelanda. Prof. al Canterbury College di Christchurch (Nuova Zelanda), passò poi in Inghilterra, dove insegnò nell'univ. [...] sarà sempre) vero che", "è stato (sarà) vero che", elaborata da P. come un'estensione della logica modale (Time and modality, 1957). Tra le altre opere: Formal logic (1955; 2a ed. 1962); Past, present and future (1967); Papers on time and tense (1968 ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
scelta
Dizionario delle Scienze Fisiche (1996)
scelta
scélta [Der. del part. pass. scelto di scegliere, lat. exeligere] [LSF] Atto ed effetto dello scegliere. ◆ [ALG] [FAF] Assioma di s.: nella logica matematica, afferma che, data una classe C di [...] insiemi non vuoti, si può costruire un insieme S, detto insieme selettivo in C, scegliendo uno e un solo elemento da ogni insieme di C ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA