Logica

0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

A

algebra di Boole apodissi apofatico argomentazione Aristòtele aritmetica di Presburger attributo

C

calcolabilita categorematico comprensione condizionali controfattuali connettivi generalizzati conseguenza contenuto contraddizione corollàrio

D

deduzione definibilita denotazione

E

ensemble flou enunciato esplicazione estensione

F

fondamento formalizzazione della vaghezza

H

Hauptsatz di Gentzen

I

ideografia insieme fuzzy intensione

L

lambda-calcolo logica Logica logica Logica e processi cognitivi logica induttiva logica intuizionista logica lineare logica matematica logica paraconsistente logiche a piu valori luogo lògico, pensièro

M

macchina di Turing Medioevo: la scienza siriaca. La tradizione della logica aristotelica misure di fuzziness modalita modalità modello modo mondi possibili

N

non monotonicita

P

paradosso predicato vago problemi NP-completi

R

ragionamento ragionamento

S

Scienza indiana. Il pensiero indiano semantica sillogismo sintassi
1 2