Logică

Logica propozitiilor

Logica predicatelor

Formule propozitionale si tabele de adevar

Legi logice fundamentale (principiul identitatii, al noncontradictiei, al tertului exclus)

Ratiunea deductiva: moduri silogistice (Barbara, Celarent, etc.)

Silogismul categoric si regulile lui

Operatii logice: conjunctie, disjunctie, implicatie, echivalenta

Negatia si formele ei in logica clasica

Ratiunea inductiva si notiunea de generalizare

Definitii si clasificari logice (gen proxim, diferenta specifica)

Propoziții categorice (A, E, I, O) și pătratul logic

Deductia naturala si metode de demonstrare (regula modus ponens, modus tollens)

Propoziții, judecăți și termeni

Erori logice (sofisme si paralogisme)

Operații logice asupra propozițiilor (negația, conjuncția, disjuncția, implicația, echivalența)

Cuantificatori (universal si existential) si semnificatia lor

Tabele de adevăr și formule logice (tautologii, contradicții, contingente)

Logica propozițiilor: valori de adevăr, operatori, tabele de adevăr

Legatura dintre logica formala si limbajul natural (analiza propozitiilor)

Legile logicii propozițiilor (comutativitate, asociativitate, distributivitate, legile lui De Morgan)

Legile logicii propozițiilor (comutativitate, asociativitate, distributivitate, legile lui De Morgan, principiul dublei negații)

Cuantificatori (universal, existențial) și propoziții categorice

Forme ale raționamentului deductiv: modus ponens, modus tollens, silogismul hipotetic și disjunctiv

Logica propozitiilor: simbolizare, tabele de adevar, tautologii, contradictii, contingente

Silogismul categoric (figuri, moduri, reguli, validitate)

Silogismul categorial: structură, termeni, moduri și figuri silogistice

Operatori logici si proprietatile lor: negatie, conjunctie, disjunctie, implicatie, echivalenta

Diagrame Venn și testarea validității silogismelor

Reguli de validitate a silogismului și erorile frecvente (termeni ne-distribuiți, concluzie nejustificată)

Legi logice fundamentale: identitate, non-contradictie, tert exclus, dubla negatie

Relații logice între propoziții categorice (pătratul logic al opoziției)

Propoziții categorice: tipuri (A, E, I, O) și distribuția termenilor (pătratul logic al opoziției)

Reguli de deductie si inferenta: modus ponens, modus tollens, silogismul ipotetic

Raționamentul deductiv și inductiv (definiții, tipuri, exemple)

Raționamente inductive: generalizarea inductivă, analogia, raționamentul statistic

Silogismul categoric: termeni, premise, concluzie, moduri si figuri silogistice

Definiții și clasificări în logică (definiția nominală, reală, clasificarea logică)

Demonstrația și argumentarea: structura unei demonstrații, tipuri de argumente (deductive, inductive, abductive)

Reguli de validitate a silogismului: distributia termenilor, reguli de forma

Demonstrația logică și argumentarea (structura argumentului, premise, concluzie)

Erori logice formale și informale: petiția de principiu, falsa cauză, apelul la autoritate, generalizarea pripită

Erori logice (sofisme, paralogisme, fallacy-uri comune)

Propozitii categorice: tipuri A, E, I, O, patratul logic opozitional

Teoria mulțimilor aplicată în logică: operații cu mulțimi, reprezentare prin diagrame Venn

Logica predicatelor (extinderea logicii propozițiilor, forme standard)

Transformari de propozitii: conversiune, obversiune, contrapozitie

Relațiile între propozițiile categorice: contrarietate, subcontrarietate, contradicție, subalterne

Relația dintre logică și cunoaștere (adevăr, validitate, corectitudine)

Rationamente inductive si deductive: definitii, diferente, criterii de corectitudine

Logica predicatelor: cuantificatori universali și existențiali, simbolizare și interpretare

Aplicații ale logicii în limbajul natural și dezbateri (argumentare critică)

Paradigme logice si sofisme: erori de rationament (ambiguitate, petitio principii)

Echivalențe și transformări logice: negația propozițiilor compuse și categorice, conversiunea, obversiunea, contrapoziția

Logica predicatelor de ordinul I: cuantificatori, variabile, functii propozitionale

Raționamentul ipotetic: condiționalul direct și invers, lanțuri de implicații, condiții necesare și suficiente

Metoda deductiei naturale in logica propozitionala si a predicatelor

Teoria demonstratiei: demonstratii directe, indirecte (reductio ad absurdum), conditionalizare

Aplicatii ale logicii in limbaj natural si stiinte: analiza argumentelor, falsificabilitate

Rationamente ipotetice si conditionale: implicatie stricta, necesitate, posibilitate in logica modala elementara