Teiginys
Teiginys - tai filosofijos ir logikos terminas. Tai teiginys, turintis tiesos vertę, t. y. galima įrodyti, kad jis yra teisingas arba klaidingas. Kad teiginys būtų teisingas, turi būti įmanoma įrodyti, jog teiginys yra teisingas arba klaidingas. Daugelis logikos mokytojų ir studentų sąvokas teiginys ir propozicija vartoja tam pačiam dalykui reikšti.
Tą patį teiginį galima išreikšti įvairiai. Propozicijos yra susijusios tik su tikrąja prasme, o ne su propozicijos išraiškos būdu. Propozicijos gali atrodyti skirtingai, bet reikšti tą patį. Kai du skirtingi teiginiai reiškia tą patį, sakoma, kad jie yra sinonimai, t. y. kiekvienas teiginys turi tą pačią reikšmę.
Pavyzdžiui, "Snow is white" (angliškai) ir "Schnee ist weiß" (vokiškai) yra skirtingi sakiniai, nes jie parašyti skirtingomis kalbomis. Tačiau jie reiškia lygiai tą patį: sniegas yra baltas. Nesvarbu, kokia kalba užrašytas teiginys, jis reikš tą patį. Dėl to šie teiginiai yra sinonimai.
Aristoteliškoje logikoje propozicija yra tam tikros rūšies sakinys, kuris patvirtina arba paneigia, kad veiksmas arba predikatas įvyko per subjektą. Aristoteliškos propozicijos yra tokių formų: "Visi žmonės mirtingi" ir "Sokratas yra žmogus". Kiekviename sakinyje subjektas (vyrai, Sokratas) turi statusą (yra mirtingi, yra žmogus), kurį galima įrodyti esant teisingą arba klaidingą.
Loginio pozityvizmo požiūriu, teiginys, kurio tiesos vertės neįmanoma nustatyti, yra beprasmis. Pavyzdžiui, teiginiai apie dievybių egzistavimą pagal loginį pozityvizmą negali būti įrodyti. Kadangi teiginiai neturi tiesos vertės, loginis pozityvistas laikytų, kad propozicijos apie dievybes (pavyzdžiui, "Dievas egzistuoja" arba "Dievas neegzistuoja") neturi jokios loginės prasmės.
Klausimai ir atsakymai
K: Kas yra pasiūlymas?
A: Teiginys yra teiginys, turintis tiesos vertę, t. y. galima įrodyti, kad jis yra teisingas arba klaidingas. Kad teiginys galiotų, turi būti įmanoma įrodyti, jog jis yra teisingas arba klaidingas.
K: Kaip pateikiami teiginiai?
A: Teiginiai dažnai vaizduojami didžiosiomis raidėmis, pavyzdžiui, P, Q ir R.
K: Ar du skirtingi teiginiai gali reikšti tą patį?
A: Taip, kai du skirtingi teiginiai reiškia tą patį, sakoma, kad jie yra sinonimai. Pavyzdžiui, "Snow is white" (angliškai) ir "Schnee ist weiß" (vokiškai) turi tą pačią reikšmę, nors užrašyti skirtingomis kalbomis.
Klausimas: Kokio tipo sakinį Aristotelio logika naudoja propozicijai įvardyti?
Atsakymas: Aristoteliškoje logikoje propozicija yra tam tikros rūšies sakinys, kuris per subjektą patvirtina arba paneigia įvykusį veiksmą arba predikatą. Pavyzdžiai: "Visi žmonės mirtingi" ir "Sokratas yra žmogus".
Klausimas: Ką loginis pozityvizmas sako apie propozicijas, kurių tiesos vertės negalima nustatyti?
A: Loginis pozityvizmas teigia, kad propozicijos, kurių tiesos vertės neįmanoma nustatyti, yra beprasmės. Pavyzdžiui, teiginių apie dievybių egzistavimą pagal loginį pozityvizmą neįmanoma įrodyti, todėl šie teiginiai pagal šią teoriją neturėtų jokios loginės prasmės.