Logikos mokslo apibūdinimas. Logikos objektas. Minties loginė struktūra. Formalizacijos procesas. Loginiai pastovieji ir kintamieji dydžiai. Logikos apibrėžimas. Prigimtinė ir teorinė logika. Logikos santykis su kitais mokslais. Jos reikšmė. Dedukcija ir indukcija. Formalioji ir neformalioji logika. Kai kurios neformaliosios logikos klaidos. Nerelevantiškumo klaidos. Klaidos dėl netikslaus sąvokų vartojimo. Kitos neformaliosios samprotavimo klaidos. Teiginių logika. Teiginio samprata. Loginiai operatoriai: loginis neigimas, konjunkcija, disjunkcija, materialioji implikacija, ekvivalencija. Operacijos su loginiais operatoriais. Teiginių logikos dėsniai. Natūralios kalbos formalizavimas. Samprotavimų pagrindimas. Išsprendžiamumas. Sąvadas. Predikatų logika. Savybių teorija: propozicinė funkcija ir jos pavertimas teiginiu; savybių teorijos alfabetas; savybių teorijos dėsniai. Loginių klasių teorija. Loginė klasė ir jos struktūra. Santykiai tarp loginių klasių. Klasės skirstymas. Sąvokos, jų sudarymas. Sąvokų apibrėžimas. Kai kurie klasių teorijos dėsniai. Sąvokos apibrėžimas. Apibrėžimo taisyklės. Klausimų logika. Klausimo loginė struktūra. Klausimų rūšys. Atsakymai .Loginė semantika. Sintaksė ir semantika. Reikšmė ir prasmė. Supratimas. Ekstensionalas ir intensionalas. Analitiškumas ir sintetiškumas. Antinomijos. Semantinė tiesos samprata. Kalba ir logika. Tikimybiniai samprotavimai. Nededukciniai samprotavimai. Indukcija. Analogija. Hipotezė. Tardyminė versija. Tikimybiniai nededukcinių samprotavimų pagrindai. Tikimybinė logika. Įrodymo teorija. Įrodymo struktūra. Pakankamo pagrindo principas. Įrodymų rūšys. Įrodymo taisyklės.Paralogizmai ir sofizmai.
109.88 KB
