FIŞA DISCIPLINEI

1. Date despre program

1.1 InstituŃia de învăŃământ
superior
1.2 Facultatea
1.3 Departamentul
1.4 Domeniul de studii
1.5 Ciclul de studii
1.6 Programul de studiu /
Calificarea
UNIVERSITATEA BABES-BOLYAI, CLUJ-NAPOCA
FACULTATEA DE ISTORIE SI FILOSOFIE
DEPARTAMENTUL DE FILOSOFIE
FILOSOFIE
LICENTA
FILOSOFIE/FILOSOFIE

2. Date despre disciplină

2.1 Denumirea disciplinei LOGICA PROPOZITIILOR
2.2 Titularul activităŃilor de curs CONF.DR. VIRGIL DRAGHICI
2.3 Titularul activităŃilor de seminar CONF.DR. VIRGIL DRAGHICI
2.4 Anul de studiu 2 2.5 Semestrul 1 2.6. Tipul de evaluare E 2.7 Regimul disciplinei Ob.

3. Timpul total estimat (ore pe semestru al activităŃilor didactice)

3.1 Număr de ore pe săptămână 4 Din care: 3.2 curs 2 3.3 seminar/laborator 2
3.4 Total ore din planul de învăŃământ 56 Din care: 3.5 curs 28 3.6 seminar/laborator 29
DistribuŃia fondului de timp: ore
Studiul după manual, suport de curs, bibliografie şi notiŃe 25
Documentare suplimentară în bibliotecă, pe platformele electronice de specialitate şi pe teren 14
Pregătire seminarii/laboratoare, teme, referate, portofolii şi eseuri 30
Tutoriat 16
Examinări 4
Alte activităŃi: ..................
3.7 Total ore studiu individual 125 con.
3.8 Total ore pe semestru 56 fiz.
3.9 Numărul de credite 5

4. PrecondiŃii (acolo unde este cazul)

4.1 de curriculum •
4.2 de competenŃe •

5. CondiŃii (acolo unde este cazul)

5.1 De desfăşurare a • Se recomanda prezenta la cursuri
cursului
5.2 De desfăşurare a • Se recomanda prezenta la seminarii.
seminarului/laboratorului
 6. CompetenŃele specifice acumulate
• C2.1. Definirea regulilor generale(analiza, sinteza) si specifice ale metodei filosofice
CompetenŃe profesionale

(problematizare, reflectie, interpretare).

• C2.3. Problematizarea si operationalizarea conceptelor cheie pentru solutionarea unor

probleme filosofice de complexitate medie.

• C3.1. Recunoasterea si definirea tehnicilor si strategiilor/tipologiilor rationamentului si

argumentarii filosofice.

• CT1. Abordarea in mod realist si prin argumentare teoretica si practica a unor situatii-
problema cu grad mediu de dificultate in vederea solutionarii lor eficiente.
transversale
CompetenŃe

• CT2. Aplicarea tehnicilor de munca eficienta intr-o echipa multidisciplinara pe diverse

paliere ierarhice.

7. Obiectivele disciplinei (reieşind din grila competenŃelor acumulate)

7.1 Obiectivul general al
disciplinei
7.2 Obiectivele specifice
• Asimilarea conceptelor fundamentale ale logicii propozitiilor dintr-o
perspectiva multipla: teoria functiilor de adevar, tablourile analitice,
axiomatica, calculul secvential si rezolutia, in vederea operarii
competente cu aceste concepte.
• Insusirea aparatului sintactico-semantic al Lp.
• Capacitatea de a executa transformari echiveridice si demonstratii de
completitudine functionala in Lp.
• Analiza unor procedee de decizie in Lp: matrice, Quine, Red. Test,
forme normale.
• Analiza demonstratiilor de corectitudine si completitudine pentru
diferitele metode prin care Lp este explicitata.
• Analiza mecanismului demonstrarii unor teoreme fundamentale din Lp:
Substitutia, Inlocuirea, Dualitatea.

8. ConŃinuturi
8.1 Curs Metode de predare ObservaŃii
1. Teoria functiilor de adevar: Sintaxa. Expunere (la tabla,
gen prelegere) cu
componente
interactive.
2. Teoria functiilor de adevar: Semantica. Prelegere
3. Transformari echiveridice in Lp. Expunere cu
compnente
interactive
4. Completitudinea functionala in Lp. Expunere cu
componente
interactive
5. Procedee de decizie in Lp: Matriceal Expunere cu
componente
interactive
6. Procedee de decizie in Lp: Quine Expunere cu
componente
interactive
7. Procedee de decizie in Lp: Formele normale. Expunere cu
componente
interactive.
8. Teoreme fundamentale a le Lp: Th substitutiei, Th Prelegere
inlocuirii, Th dualitatii.
9. Tablourile analitice in Lp. Prelegere
10. Corectitudinea si completitudinea metodei Prelegere
tablourilor analitice.
11. Axiomatica Lp: Sisteme axiomatice de logica Prelegere
propozitionala.
12. Corectitudinea si completitudinea siatemului Expunere cu
axiomatic S. Demonstratii. componente
interactive
13. Calculul secventilor in Lp. Prelegere
14. Rezolutia in Lp. Corectitudinea si completitudinea Prelegere.
metodei rezolutiei.
Bibliografie.
1. Chang, C., R.C. Lee, Symbolic Logic and Mechanical Theorem Proving, New York, Academic
Press, 1973.
2. Church, A., Introduction to Mathematical Logic, Princeton UP, 1956, Cap I, II.
3. Curry, H., Foundations of Mathematical Logic, New York, 1963.
4. Enderton, H.B., Mathematical Introduction to Logic, New York, Academic Press, 1972.
5. Draghici, V., Logica-traditionala/clasica/modala, Ed. EFES, Cluj-Napoca, 2007, Cap.2.
6. Gentzen, G., „Untesuchungen über das logische Schliessen”, Mathematische Zeitschrift, 39, 1935,
176-210, 405-431.
7. Kleene, S.C., Introduction to Metamathematics, North-Holland Publishing Co., Amsterdam, 1964,
Cap. IV.
8. Kneebone, G.T., Mathematical Logic and the Foundations of Mathematics, D. van Nostrand Co,
LTD, London, 1963, Cap2.
9. Mendelson, E., Introduction to Mathematical Logic, Princeton, 1964, Cap I.
10. Smullyan, R.M., First-Order Logic, Springer-Verlag, Berlin, 1968, Partea I.
11. Rasiowa, H., R. Sikorski, The Mathematics of Metamathematics, Warsaw, 1968.

8.2 Seminar Metode de predare ObservaŃii

1. Functie de adevar: definitie, Tabelul lui Exercitii rezolvate la
Wittgenstein. tabla
2. Dualitatea in Lp: definitii, clase de operatori duali, Exercitii rezolvate la
exercitii. tabla
3. Relatia de consecinta semantica in Lp. Aplicatii. Analiza a subictului
dat in prealabil
4. Scheme deductive cu operatori ai Lp. Aplicatii. Exercitii
5. Operatori fundamentali/derivati. Completitudinea Prezentare facuta de
functionala. studenti
6. Demonstratii de completitudine functionala. Dialog
7. Reductio Test. Aplicatii. Exercitii la tabla
8. Evaluari booleene, multimi saturate. Exercitii. Rezolvari de exercitii
9. Tablourile analitice si forma normala disjunctiva Dialog
10. Demonstratii si deductii in S. Exercitii Exercitii la tabla
11. Tablourile analitice si calculul secvential. Dialog, exercitii
12. Lema interpolarii (Craig) Prezentare interactiva
13. Arborii deductivi si multimile Hintikka. Dialog
14. Recapitularea tematicii prin exercitii. Exercitii la tabla.

Bibliografie.
1. Copi, I., Symbolic Logic, The Macmillan Co. New York, 1967.
2. Hilbert, D., W. Ackermann, Grundzüge der theoretischen Logik, Sechste Auflage, Springer-Verlag,
1972, Cap I (§§ 1-11).
3. Kleene, S.C., Mathematical Logic, New York, Wiley Interscience, 1967, Cap I (§§ 1-13).
4. von Kutschera, F., Elementare Logik, Springer-Verlag, Wien, 1967.
5. Quine, W.van O., Methods of Logic, Holt, Rinehart and Winston, Inc.,1972.

9. Coroborarea conŃinuturilor disciplinei cu aşteptările reprezentanŃilor comunităŃii epistemice,

asociaŃiilor profesionale şi angajatori reprezentativi din domeniul aferent programului
•
Cursul Logica Propozitiilor este de nivel undergraduate. Continutul stiintific al cursului este compatibil cu
continuturile cursurilor similare de la Universitati importante din Europa sau USA.

10. Evaluare
Tip activitate 10.1 Criterii de evaluare
10.4 Curs Asimilarea tematicii
teoretice si capacitatea de
a opera cu conceptele
fundamentale
10.2 metode de evaluare 10.3 Pondere din
nota finală
Verificare partiala (in cursul 60%
semestrului)
Verificare finala (examen)

10.5 Seminar/laborator Raspunsurile date in cursul Punctaj acordat 40%

semestrului

10.6 Standard minim de performanŃă

•
Curs/Examen. Capacitatea de a formula corect o teorema si de a o demonstra.
Seminar. Punctajul acordat in cursul semestrului, pe baza raspunsurilor date.

Data completării Semnătura titularului de curs Semnătura titularului de seminar

.......................... ............................... ...................................

Data avizării în departament Semnătura directorului de departament

........................................... …............................