Risultati della ricerca

Un '''dilemma''' (dal [[greco antico]] {{polytonic|δί-λημμα}} "[[lemma (filosofia)|proposizione]] doppia") è un problema che offre un'alternativa fra due o p ...di dilemma si differenzia profondamente dall'uso che si fa del termine nel linguaggio comune. È ancora presente l'alternativa tra due opzioni, ma la scelta fra l ...

...edre di [[Filosofia del linguaggio]] e di [[Pedagogia]] dell'Istituto di [[Filosofia]]. Complementare all'indice Gulpease è la valutazione del [[vocabolario comune]] utilizzato nel testo, ovvero la 'notorietà' dei sing ...

Nella [[logica del primo ordine]] la '''segnatura''' è un insieme di simboli (che può essere a ...oli non logici e operazioni). Raramente è esplicitata in trattamenti più [[Filosofia|filosofici]] della logica. ...

Nella [[logica]], una '''costante logica''' di un [[linguaggio formale]] <math>\mathcal{L}</math> è un simbolo che ha lo stesso valore sem Una delle domande fondamentali della [[filosofia della logica]] è "Cos'è una costante logica?"<ref>{{Cita pubblicazione|cogn ...

Allora, nel [[linguaggio del primo ordine|linguaggio formale]] degli assiomi di Zermelo-Fraenkel, lo schema di assiomi si scrive Infatti, se si formalizza il [[linguaggio del primo ordine]] in modo da ammettere l'uso di predicati funzionali derivati ...

{{F|saggistica|arg2=filosofia|giugno 2013}} ...> – ed è considerato uno dei testi [[filosofia|filosofici]] più importanti del [[Novecento]]. ...

...''interpretazione''' è l'assegnazione di un significato ai simboli di un [[linguaggio formale]]. Molti linguaggi formali usati in [[matematica]], [[logica]] e [[ ...gica del primo ordine)|estensione]] di simboli e stringhe di simboli di un linguaggio in oggetto. Ad esempio, una funzione di interpretazione potrebbe prendere i ...

...esempio), ma indica solo che quegli oggetti esistono in un certo universo del discorso, i.e., in [[Teoria dei modelli|modelli]] della teoria. Ad esempio, {{Portale|filosofia}} ...

...er [[Soggetto (filosofia)|soggetto]] il [[contraddizione|contraddittorio]] del [[predicato]] della proposizione logica originale. In alcuni casi, la contr ...a negazione di un'implicazione si parla di proposizione contronominale: in linguaggio matematico se <math>P</math> e <math>Q</math> sono due proposizioni per cui ...

A questi si aggiunge un caso particolare del quantificatore esistenziale, che è il '''quantificatore unico''' <math>\exi ...come "''Tutti gli [[uomo|uomini]] sono mortali''" o "''Esiste almeno un [[filosofia|filosofo]] [[Grecia|greco]]''") che sembravano impossibili da esprimere. ...

...matica)|calcolo]] logico formale esaurisca gli aspetti più spiccatamente [[filosofia|filosofici]] dell'intuizionismo, esso mostra delle proprietà piuttosto util ==Logica intuizionistica come paradigma del ragionamento logico== ...

...a]] (una logica con la sola implicazione, intuizionista, come costante del linguaggio), in quanto aggiungendola agli assiomi si ottiene la logica classica<ref>[h </math> che è sempre vero perché uno dei disgiunti è la tautologia del [[tertium non datur]]. ...

...ili sono ampiamente usati come strumento formale della [[logica]], della [[filosofia]] e della [[linguistica]] per fornire una semantica per la [[logica intensi ...ssibili come strumenti formali, senza impegnarsi in una particolare teoria del loro statuto metafisico. L'espressione "mondo possibile" è adottata anche d ...

...nale''' è un'estensione della [[logica del primo ordine|logica predicativa del primo ordine]] mediante [[quantificatore|quantificatori]] aggiuntivi, in cu ...vilupparsi: l'[[analisi logica]] può penetrare in profondità variabili del linguaggio ([[proposizione atomica|proposizioni atomiche]], o frasi scomposte in [[pr ...

...Soissons]], appartenente alla scuola dei Parvipontani, fondata da [[Adamo del Petit-Pont]].<ref>Gli scritti di Guglielmo di Soissons non sono stati conse Nel linguaggio della [[logica proposizionale]] si può esprimere il principio con la [[form ...

La '''''Dissertatio de Arte Combinatoria''''' è una delle prime opere del matematico e filosofo tedesco [[Gottfried Leibniz|Leibniz]], scritta e pubb ...a combinatoria, concettualizzando e spiegando la sua idea per ottenere un "linguaggio universale" basato su assiomi logici apprendibili in breve tempo e comprens ...

...strazione]] fondamentale che implica il riconoscimento della [[differenza (filosofia)|differenza]].<ref>{{Cita pubblicazione|autore=Robert Sokolowski|data=1998| ...)|categoria]] dell'[[essere]].<ref>L'[[ontologia]] è quella branca della [[filosofia]] o della [[teologia]] che studia le questioni riguardanti questi modi o ca ...

# Se Lisa è in Danimarca, allora è in Europa (una dichiarazione del tipo <math>d \implies e</math>), # Se Lisa non è in Europa, allora non è in Danimarca (una dichiarazione del tipo <math>\neg e \implies \neg d</math>). ...

{{C|tono specialistico, non divulgativo, di difficile comprensione|filosofia|novembre 2008}} ...bito della [[logica deontica]] per intendere una specifica conseguenza del linguaggio formale adoperato dalle enunciazioni deontiche. ...

...] nel 1978.<ref>{{cita|Reiter, 1978}}.</ref> È l'opposta dell'[[assunzione del mondo aperto]], in cui la mancanza di conoscenza non implica la falsità. Correlata all'assunzione del mondo chiuso è la [[negazione come fallimento]] (''negation as failure''), ...