(4 darbai)
(4 puslapiai)
Filosofinės logikos špera. Loginės klaidos, Tezės pakeitimas, Abejotina prielaida, Ydingas ratas, Provincializmas, Nenuoseklumas, Proporcijos trūkumas, Dvigubas standartas, Klaidinga dilema, Formali klaida, Tariamas samprotavimas, Klaidos pridengimas klaida, Apeliacija į autoritetą, Apeliacija į liaudį, Apeliacija į asmenį, Apeliacija į tuštybę, Apeliacija į nežinojimą, Jėgos argumentas, Dviprasmybė, Klaidinga analogija. Skaityti daugiau(10 puslapių)
Sąvokų simboliniai pažymėjimai. Teiginių logikos pažymėjimai. Loginių klasių teorijos simboliniai pažymėjimai. Teisingumo lentelės. Ekvivalentiškumo tautologijos. Disjunktyvioji ir konjunktyvioji normalioji forma. Veiksmai su loginėmis klasėmis. Elementarūs klausimai. Loginių santykių nustatymas. Teiginių logikos dėsniai. Kalbos tekstų formalizavimas savybių logikos priemonėmis. Simbolinių išraiškų skaitymas ir užrašymas savybių logikoje. Veiksmai su santykiais – šeimyninių santykių apibrėžimai. Klasių logika. Skaityti daugiau(19 puslapių)
Sutrumpintos teisingumo lentelės. Pagrindinės išplaukimo taisyklės. Teiginių logikos taikymas natūraliai kalbai. Natūralios kalbos sakinių užrašymas matematinės logikos kalba. Logika. Samprotavimų analizė. Teiginių logikos metodai. Sakinių pervedimas į logikos kalbą. Įrodymų teorija. Formalusis įrodymas ir formalusis išvedimas. Išvedamumo santykio savybės. Dedukcijos teorema. Teorijos neprieštaringumas. Loginių operatorių įvedimo ir pašalinimo taisyklės. Teorijos "L" pilnumas. Predikatų skaičiavimas. Kintamųjų apibrėžimo sritis. Tapatusis teisingumas. Skaityti daugiau(4 puslapiai)
Trys ženklo matmenys. Semantikos ir sintaksės santykis. Semantika: reikšmė ir prasmė. Semantinių kalbos pakopų teorija. Semantikos ir pragmatikos santykis. Kalbinis žaidimas pagal L.Wittgensteiną. Kalbinis aktas pagal Jakobsoną. Teisingumo kriterijai. Skaityti daugiau
