A

A

aggregato (Husserl)

aggregato (Quine)

analisi (Cartesio)

analisi (Russell)

analiticità (Carnap/Quine)

antinomia del denominare (Carnap)

antinomie (Zenone)

Astrazione logica

Astrazione psicologica

attributo (Quine)

B

Begriffsschriftssatz

bezeichen

C

campo di una proposizione (Carnap)

classe (Husserl)

classe (Quine)

classi e proprietà (Carnap)

Classi e insiemi

concetto proposizionale (Quine)

conoscere il significato di una proposizione (Carnap/Wittgenstein)

controllabilità (Carnap)

controllabilità incompleta(Carnap)

D

Definizione ricorsiva

denominare (Carnap)

descrizioni (Carnap)

descrizioni di stato (Carnap)

designatori (Carnap)

E

equiscomponibilità

equivalenza (Carnap)

Ergänzungsbedürftigkeit (Frege)

Esaustione (metodo di)

Esgibtexistenz (Frege)

esistenza e descrizioni (Carnap)

esistenza (Frege su Hilbert)

esistenza (Kant)

esistenza (Kant e Frege)

esistenza (Hilbert)

Esistenziale (presupposizione )

esplicare (Carnap)

esplicazione (Carnap, Dummett )

estensione / intensione

estensione / intensione(Carnap)

F

Forme proposizionali

Frege: funzione -x

Frege: quinto assioma

Frege: segno di giudizio.

Frege su Leibniz

Funzione computabile (esempio)

Funzione (i significati di - , nei Principia )

funzione proposizionale (Wittgenstein su Russell)

Funzione preposizionale (Shapiro )

funzioni proposizionali e leggi

G

generalità

H

Hecceitas

I

identità, condizioni di (Carnap)

identità e denominare (Carnap)

Inbegriff

incognita (Cartesio)

indiscernibili, principio degli

insieme (Cantor)

Insieme (Cantor e Brouwer )

Insiemi e classi

intensioni \ estensioni (Carnap)

Intuizionismo (Quine)

J

L

legge quantitativa

linguaggio e mondo (Weinberg)

L-verità (Carnap)

M

misurare

N

nome

numero (Husserl)

O

P

Pitagorici

pitagorismo

possibili, i mondi (Carnap/Leibniz)

possibili stati di cose (Carnap/Wittgenstein)

predicatori (Carnap)

Pronomi

Presupposizione esistenziale

proporzioni (teoria delle)

proposizionali (forme)

proposizione e concetto proposizionale (Quine)

proposizioni atomiche (Weinberg)

proposizioni generali

proprietà (Carnap)

Q

R

regole semantiche, esempi di (Carnap)

S

segni tecnici (Carnap)

Sintetico a priori (critiche neopositivistiche )

Sintetico a priori (A. Pap: ‘precedere’ )

T

Teeteto

Totalità amorfa (Wittgenstein)

Turing, macchina di

U

unicità, condizione di (Carnap)

universali (Abelardo)

universali e conoscenza (Leibniz)

V

variabile ipotetica (Ramsey)

Verificazione (principio di )

verità: L-verità e F-verità (Carnap)

verità / controllabilità (Carnap)

W

X

Z

Zusammengehörtigkeit (Frege)