Polirematiche
a fil di logica
loc.avv.
CO
secondo un ragionamento logico, ragionando rigorosamente
a rigor di logica
loc.avv.
CO
rispettando le premesse logiche: a rigor di logica le cose dovrebbero stare così
logica degli enunciati
loc.s.f.
TS log.
parte della logica che si occupa della validità dell’inferenza solo in base al significato dei connettivi
logica dei predicati
loc.s.f.
TS log.
parte della logica che si occupa della validità dell’inferenza in base al significato dei termini che indicano quantità
logica dei termini
loc.s.f.
TS log.
sistema logico in cui sono considerati come variabili nomi e verbi
logica delle proposizioni
loc.s.f.
TS log.
sistema logico in cui sono considerate come variabili le proposizioni
logica deontica
loc.s.f.
TS log.
l. che, basandosi su argomentazioni per esclusione, tratta delle proposizioni che si riferiscono alle idee di comando, permesso e divieto
logica estensionale
loc.s.f.
TS log.
l. in cui il significato degli enunciati è denotato come vero o falso, e in base alla quale si possono definire regole di calcolo che consentono di eseguire operazioni fra enunciati
logica formale
loc.s.f.
TS log.
l. che studia i modi della connessione di proposizioni indipendentemente dagli oggetti cui si applicano
logica fuzzy
loc.s.f.
TS log.
l. in cui vengono accettati anche valori di verità intermedi tra il vero e il falso
logica intensionale
loc.s.f.
TS log.
l. in cui i significati dei termini o delle proposizioni si riferiscono alle connotazioni di essi
logica matematica
loc.s.f.
TS log.
l. simbolica che si avvale di simboli e regole matematiche
logica materiale
loc.s.f.
TS log.
l. che studia i rapporti esistenti fra il pensiero discorsivo e il suo oggetto
logica modale
loc.s.f.
TS log.
l. che congloba nel calcolo connettivi che corrispondono intuitivamente alle modalità, come la necessità e la possibilità
logica polivalente
loc.s.f.
TS log.
l. che ammette più valori di verità
logica sfumata
loc.s.f.
TS log.
=> logica fuzzy
logica simbolica
loc.s.f.
TS log.
disciplina che traduce le operazioni logiche nei simboli di un linguaggio simbolico per evitare le ambiguità della lingua comune
logica trascendentale
loc.s.f.
TS filos.
nel criticismo kantiano, studio dell’origine, dell’estensione e della validità degli elementi a priori della conoscenza | nella filosofia hegeliana, logica che attiene agli elementi a priori della conoscenza e alla realtà pensata
logica trivalente
loc.s.f.
TS log.
l. per cui una proposizione può essere vera, o falsa, o indeterminata.
Il dizionario di italiano dalla a alla z
