SYLLABUS

Doctorat, anul I, 2021-2022

Conf. univ. dr. Adrian Niţă

Pagina persoanlă: www.adriannita.ro

e-mail: adriannita2010@yahoo.com

Descrierea cursului: cursul prezintă noțiuni introductive despre argumentare și interpretare, cu accent pe principalele aspecte ale logicii predicatelor.

Obiectivele cursului: principalul obiectiv al cursului îl reprezintă învăţarea principiilor de bază pentru o gândire corectă. Prin rezolvarea exerciţiilor, de la seminar, studenţii îşi vor însuşi, dezvolta și aprofunda elementele de bază pentru a se exprima cursiv şi coerent precum şi pentru a argumenta în mod corect.

Cerinţe : Fiecare student are obligaţia: 1. să participe constant la cursuri şi seminarii; 2. să elaboreze o expunere orală; 3. să elaboreze un  referat de  10 pagini (20 000 semne) (predat la seminarul nr. 14).

Evaluare : 50 % seminar + 50 % examen oral.

Bibliografie:

C. Chang, RC Lee, Symbolic Logic and Mechanical Theorem Proving, New York, Academic Press, 1973.

I Copi, Symbolic Logic, ed 2, New York, Macmillan, 1965.

Anton Dumitriu, Logica polivalentă, Bucureşti, Editura Enciclopedică, 1971.

Ghe Enescu, Logica simbolică, Bucureşti, Editura Ştiinţifică, 1971.

M Fitting, First-Order Logic and Automated Theorem Proving, New York, Springer, 1990.

DM Gabbay, F Guenthner, Handbook of Philosophical Logic, New York, Springer, 4 vol, 1983-1989.

A.Hausman, H. Kahane, P. Tidman, Logic and Philosophy, Wadsworth, 2009.

P. J. Hurley, A Concise Introduction to Logic, Cengage Learning, 2008.

A.N. Prior, Formal Logic, Oxford, Clarendon, 1962.

A. Tarski, Introduction a la logique, Paris, Gauthier-Villars, 1960.

AN Whitehead, B Russell, Principia mathematica, Cambridge University Press.

Desfăşurarea cursului:

Partea I. Noțiuni introductive

Curs 1. Logică și limbaj

Seminar 1. Exerciţii

Curs 2. Puterea și limitele interpretării

Seminar 2. Exerciţii

Curs 3. Teorii ale interpretării

            Seminar 3. Exerciții

Curs 4. Principiile logicii

Seminar 4. Exerciţii

Curs 5. Formal, neformal în argumentare

Seminar 5. Exerciţii

Curs 6. Noțiuni introductive de argumentare reală

            Seminar 6. Exerciții

 

Partea II Logica predicatelor

Curs 7. Limbajul logicii predicatelor

Seminar 7. Exerciţii

Curs 8. Proprietăţile cuantorilor

            Seminar 8. Aspecte organizatorice

Curs 9. Valoarea de adevăr a schemelor predicat

Seminar 9. Exerciţii

Curs 10. Argumente cu propoziţii de relaţie

            Seminar 10. Exerciţii

Curs 11. Proprietăţile relaţiilor

Seminar 11. Exerciţii

Curs 12. Metoda formelor prenexe

            Seminar 12. Exerciţii

Curs 13. Metoda deducţiei naturale

Seminar 13. Exerciţii

Curs 14. Deducţia naturală pentru logica predicatelor             Seminar 14. Exerciţii ATENȚIE: SE PREDĂ REFERATUL!