Discussione:Teoria del primo ordine

In realtà, questo è un Calcolo dei predicati del primo ordine (la teoria è solo l'insieme degli assiomi). C'è già una voce sul calcolo dei predicati? Se non c'è, ci vorrebbe almeno un redirect (ma adesso non ho tempo di controllare)--P_op O^p 15:03, 30 apr 2007 (CEST)

I libri di logica in genere chiamano "calcolo dei predicati" quella teoria del primo ordine che è ha solo gli assiomi logici e non ha assiomi propri.--Pokipsy76 10:54, 1 mag 2007 (CEST)

Sì, credo che la convenzione sia questa. Ma non si dovrebbe dire Teoria nel (del) calcolo dei predicati del primo ordine? Almeno credo che la convenzione è questa, magari mi sbaglio, hai il Mendellson a portata di mano? Bisogna comunque dire cos'è il Calcolo dei predicati, e, magari, spiegare perchè si chiama del primo ordine. Poi, se ci riesco lo faccio io.--P_op O^p 23:03, 3 mag 2007 (CEST)

Perchè vuoi parlarne prima? E in che senso prima. Pensi sia il caso di creare una voce chiamata "calcolo dei predicati"? Una voce del genere potrebbe riferirsi alla voce "teoria del primo ordine" limitandosi a definire il calcolo dei predicati come teoria del primo ordine priva di assiomi ed enunciare i principali teoremi che riguardano nello specifico il calcolo dei predicati. Oppure avevi in mente un iter diverso?--Pokipsy76 19:29, 4 mag 2007 (CEST)

No, l'altro giorno ero parecchio annebbiato e stanco. La terminologia standard non la ricordo perchè lavoro a cose dove si usa una terminologia leggermente diversa, comunque per quella non c'è problema, basta guardare il Mendelson. Il calcolo dei predicati va messo almeno come redirect che punta qui.

Le cose da dire mi accorgo adesso che ci sono tutte, ma sono sparse per le varie pagine. Bisogna chiarire che una Teoria del primo ordine è quel sistema formale dove il linguaggio è di quel ben determinato tipo, gli assiomi logici sono esattamente quelli e le regole di inferenza sono proprio quelle. Il link ad alfabeto non è appropriato: questo è sì un alfabeto in quel senso, ma è molto speciale: ci vuole l'implica, i connettivi, gli altri simboli sono simboli di relazione etc. etc. Bisogna o scriverlo qui, o creare una pagina apposita. Non so se convenga spostare qua qualcosa dalle pagine linguaggio del primo ordine, assiomi logici etc., o invece unire tutto qui. Forse è meglio la prima possibilità, ma qualcosa bisogna aggiungere. Ciao--P_op O^p 21:14, 5 mag 2007 (CEST) Dimenticavo: non è detto che gli assiomi logici siano sempre esattamente gli stessi, l'importante è che siano equivalenti. Anche nella pagina sugli assiomi logici bisogna dire che ci possono esere assiomatizazioni equivalenti.--P_op O^p 21:51, 5 mag 2007 (CEST)

Il link ad alfabeto possiamo eliminarlo perchè la descrizione dell'alfabeto che occorre è già data nella pagina linguaggio del primo ordine. Non dovremmo a mio avviso trasferire le informazioni sul linguaggio del primo ordine in questa pagina perchè il linguaggio è una cosa ben distinta dalla teoria e dalle regole di inferenza e dovrebbe ricevere una trattazione a prescindere da queste ultime.--Pokipsy76 10:31, 6 mag 2007 (CEST)

[@ Popop, Pokipsy76] Nei testi che ho sotto mano, calcolo di predicati e logica del primo ordine sono la stessa cosa. visto che la voce è così disastrata (e le voci di informatica teorica in genere), non andrei troppo per il sottile al momento, e le infoltirei senza farmi troppi problemi. Ho iniziato a tradurre da fr.wiki, col libro logica a informatica sotto mano (vedi Biblio) e a creare il redirect di cui sopra. Poi ci sarà sempre tempo per fare distinguo e precisazioni. --Ruthven (msg) 22:13, 12 gen 2021 (CET)