Salta al contenuto

Logica

A

C

D

E

F

H

I

L

M

N

P

R

S

T

A

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

H

Hauptsatz di Gentzen

L

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

M

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

S

Scienza indiana. Il pensiero indiano semantica sillogismo sintassi

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

I

ideografia insieme fuzzy intensione

N

non monotonicita

P

paradosso predicato vago problemi NP-completi

R

ragionamento ragionamento