Risultati della ricerca

...atica)|uguaglianza]] (di solito scritto '=') è trattato come una costante logica in molti sistemi logici. ...vale a dire, quale caratteristica particolare rendeuna costante di natura logica?<ref>[[Rudolf Carnap|Carnap, Rudolf]] (1958). ''Introduction to symbolic lo ...

{{F|logica|aprile 2021}} ...a", {{Lett|modo che pone con l'aver posto}}), è una semplice e [[validità (logica)|valida]] regola d'[[inferenza]], che afferma in parole: ...

...rpretazione dipende dal [[contesto (linguistica)|contesto]]: l'equivalenza logica è diversa dall'equivalenza materiale, sebbene i due concetti siano intrinse Nela logica esistono molteplici equivalenze enunciate come leggi o proprietà. Di seguit ...

...iso nell'ultrafinitismo che possa essere incluso in un'opera rigorosa di [[logica matematica]]. ...

...[ipotesi]] l'[[Antecedente (matematica)|antecedente]] di un [[implicazione logica|condizionale]] per dimostrarne la validità. Perché l'ipotesi non sia arbitr Si consideri la seguente dimostrazione di [[logica matematica]]. Si supponga di voler dimostrare che A → C (se A è, allora è C ...

...|doi=10.1007/s11153-021-09804-z |issn=0020-7047}}</ref> Nei simboli della logica modale, ciò si indica con <math>\phi \leftrightarrow \Box \phi</math>. ...ogica filosofica e filosofia formale- Parte I: la riscoperta moderna della logica formale|accesso=7 ottobre 2022|dataarchivio=7 ottobre 2022|urlarchivio=http ...

...8822068118|anno=2009|oclc=730031977}}</ref> (nota anche come '''fallacia [[logica intensionale|intensionale]]''' o '''fallacia [[episteme|epistemica]]''')<re Il [[sillogismo]] si verifica alla prima persona singolare. Nella [[logica modale]] esso diventa: ...

{{F|logica|aprile 2010}} In [[logica]], la nozione di '''validità''' ('''validità logica''') riguarda innanzitutto, ed in senso generale, la connessione tra l'insie ...

...osizione]]. La contrapposizione è distinta dall'inferenza di [[Inversione (logica)|inversione]] e di [[obversione]]. Nel linguaggio matematico della [[logica proposizionale]], il termine "contrapposizione" non è comune, e per riferir ...

...'se e solo se''', o l'abbreviazione '''sse''', per esprimere l'equivalenza logica di due enunciati, esplicitando che i due enunciati hanno lo stesso [[valore Il [[connettivo logico]] '''se e solo se''' compare nella [[logica proposizionale]] con la seguente [[tavola di verità]] (uguale alla porta [[ ...

L'espressione '''paradossi deontici''' è usata nell'ambito della [[logica deontica]] per intendere una specifica conseguenza del linguaggio formale a ...così è possibile comprendere come mai si verifichino tanti paradossi in ''logica deontica'' e come il loro carattere sia più difficile da affrontare rispett ...

== Logica e principio del terzo escluso == ...''principio logico del terzo escluso'' che afferma che due [[proposizione (logica)|proposizioni]] formanti una coppia antifatica (p e ¬p) devono avere valore ...

La '''logica intensionale''' è un'estensione della [[logica del primo ordine|logica predicativa del primo ordine]] mediante [[quantificatore|quantificatori]] a ...individuali , o anche rivelando strutture logiche così fini come quelle [[logica modale|modali]], temporali, dinamiche, [[episteme|epistemiche]]). ...

...[[operatore modale]] di [[necessità]] <math>\Box</math> e dal suo [[Duale (logica modale)|duale]] di [[possibilità]] <math>\Diamond</math>.<ref>Chellas, B. F ...ini della [[semantica di Kripke]], '''S5''' è caratterizzato da [[Modello (logica matematica)|modelli]] in cui la relazione di accessibilità è una [[relazion ...

La '''conoscenza comune''', in [[logica]], è un particolare tipo di [[conoscenza]] all'interno di un gruppo di [[Gi ...David Lewis (filosofo)|David Kellogg Lewis]] nel suo studio di letteratura filosofica ''Convention'' (1969). La prima formulazione matematica gli è stata data da ...

...ll'inversione delle sue due affermazioni costituenti. Per l'[[implicazione logica|implicazione]] ''P'' &rarr; ''Q'', il '''contrario''' è ''Q'' &rarr; ''P''. ...ermazione è "Se sono mortale, allora sono un umano", il che non è [[verità logica|necessariamente vero]]. ...

...preso fornendo tre esempi: un pensiero, un desiderio e un contesto della [[logica modale]]. Si consideri la [[proposizione (logica)|proposizione]] "Jana vuole sposare l'uomo più alto della contea di Fulsom" ...

...empio tipico è nella [[logica proposizionale]], in cui una [[proposizione (logica)|proposizione]] composta è costruita a partire da proposizioni atomiche col ...47: Classical Logic. Edinburgh University Press.</ref> D'altra parte, la [[logica modale]] non è vero-funzionale. ...

...vanta una lunga tradizione filosofica che risale all'[[antica Grecia]], la logica epistemica ha avuto uno sviluppo molto più recente con applicazioni in molt ...medievali come [[Avicenna]], [[Guglielmo di Ockham]] e [[Duns Scoto]]; la logica modale epistemica ebbe il primo approccio simbolico e sistematico all'argom ...

...ch für Volksschulen'', Vienna, 1926.</ref> e l'articolo ''Note sulla forma logica''<ref>"Some Remarks on Logical Form", in ''Proceedings of the Aristotelian ...tein sviluppa un interesse quasi ossessivo per la [[logica|filosofia della logica]] e della [[filosofia della matematica|matematica]], alimentato dalla lettu ...