Логічна істина є одним з фундаментальних понять логіки, та існують декілька теорій, які її обґрунтовують. Логічна істина — це твердження, яке є правильним, та залишається правильним при будь-яких інтерпретаціях або значеннях його логічних констант. Це один з типів аналітичних тверджень. Усі складові філософської логіки можна розглядати як забезпечення оцінки характеру логічної істини, а також логічного наслідку.
Логічні істини, включно з тавтологіями, є істинами, що вважаються правильними за будь-яких умов. Мається на увазі те, що вони не можуть вважатися помилковими, та не може виникнути ситуації, коли б ми відхилили цю логічну істину. Однак, загалом не узгоджено, що будь-яке твердження буде обов'язково правильним.
Деякі вчені впевнені, що логічна істина є правильним твердженням в усіх можливих світах. Але це суперечить фактам (які також можуть бути віднесені до умовних чи випадкових вимог), що будуть правильними в одному світі, бо є історично зумовленими, але будуть помилковими хоча б в одному. Висловлювання: «Якщо p i q, то p» та висловлювання: «Усі одружені люди одружені» — логічні істини, тому що правильні через властиву їм структуру, а не через зумовленість факторами. Пізніше, з появою формальної логіки, логічні істини почали вважатися правильними твердженнями за усіх можливих умов.
Поняття логічних істин було висунуте філософами–раціоналістами як заперечення емпіризму. Вони вважали неможливим пояснення наших знань про логічні істини на емпіристських засадах. Зазвичай емпіристи відповідають на це зауваження, стверджуючи, що логічні істини (які вони оцінюють як тавтології) є аналітичними та, відповідно, не передбачають повний опис світу.
Логічна та аналітична істина
Логічні істини, які уявляють собою аналітичні твердження, не містять інформації про будь-які аспекти факту. Окрім логічних істин, існує також інший клас аналітичних тверджень, типовим прикладом якого виступає вислів: «Жоден холостяк не одружений». Характерна риса цього твердження полягає в тому, що вислів може стати логічною істиною, якщо його слова замінити їх синонімами ([en]). Таким чином, «Жоден холостяк не одружений» трансформується у «Жоден неодружений чоловік не одружений» (ми замінили «холостяк» на «неодружений»).
Філософ В. В.О Квайн у своєму есе [en] ставить під сумнів різницю між логічною та аналітичною істиною. Саме другий клас аналітичних тверджень змусив його зазначити, що поняття «аналітичність» потребує роз'яснення. Така складність пов'язана із явищем синонімії. У своїх висновках Квайн заперечив, що логічні істини обов'язково мають бути правильними. Замість цього він зазначив, що дійсне значення будь-якого твердження може бути змінене, і це також стосується логічних істин, якщо надати повторну оцінку його значення відповідно до іншого аспекту завершеної теорії.
Значення істинності та тавтології
Міркування щодо різних інтерпретацій одного й того ж вислову призводить до виникнення поняття значення істинності. Найпростіший підхід до поняття значення істинності полягає у тому, що твердження може бути правильним в одному випадку, та [en] в іншому. Тавтологія — це будь-який тип [en] чи вислову, який залишається правильним за усіх можливих умов (також може називатися [en] чи значенням, в залежності від контексту). Це синонім логічної істини.
Однак, термін «тавтологія» повсякчас використовуються для позначення того, що точніше називається [en] тавтологіями. У той час як правильність тавтології чи логічної істини набувається через одні логічні терми, які вона містить загалом (наприклад «кожен», «деякий», «є»), то [en] тавтологія є істиною через інші логічні терми, якими є логічні сполучники («або», «та», «ані»). Проте не всі логічні істини відносяться до правильно-функціональних тавтологій.
Логічна істина та логічна константа
Логічні константи, а також логічні зв'язки та квантори можуть бути концептуально зведені до логічної істини. Наприклад, два твердження або більше є логічно несумісними тоді, і тільки тоді, коли їх об'єднання є логічно помилковим. Одне твердження передбачає теж саме, що й інше, за умов логічної несумісності першого зі запереченням другого. Твердження є логічно правильним тоді, і тільки тоді, коли його заперечення логічно хибне. Протилежні твердження повинні суперечити одне одному. Таким чином, всі логічні зв'язки можуть бути виражені з точки зору збереження логічної істини. Логічна форма речення визначається його смисловою чи синтаксичною структурою та розміщенням логічних констант. Логічні константи визначають, чи є твердження логічною істиною, коли вони поєднуються з мовою, що обмежує її значення. Тому, поки не буде визначено, як зробити різницю між усіма логічними константами незалежно від їх мови, неможливо дізнатися повної істинності твердження чи судження.
Логічна істина та правила її виведення
Поняття логічної істинності тісно пов'язане з поняттям логічного виведення.
Логічна істина та логічний позитивізм
Логічний позитивізм — це рух на початку 20 століття, який намагався звести процеси міркування науки до чистої логіки. До усього іншого, логічні позитивісти стверджували, що будь-яке твердження, яке не може бути перевірено емпірично, не є ні істинним, ні хибним, а є нісенітницею. Цей рух згасав через різні проблеми з їх підходом, серед яких було все більше усвідомлення того, що наука працює не так, як описували позитивісти. Ще одна проблема полягала в тому, що одне з улюблених гасел руху: «будь-яке твердження, яке не може бути перевірено емпірично, є нісенітницею», саме по собі не було емпірично перевірене, а отже, за власними термінами, не мало сенсу.
Некласична логіка
Некласичною логікою називається формальна система, що істотно відрізняється від стандартних логічних систем, таких як пропозиційна та предикативна логіка. Існує декілька версій її появи, зокрема розширення, відхилення та зміни. Метою цих відгалуження є надання можливості побудови різних моделей логічного наслідку та логічної істини.
Примітки
- Quine, Willard Van Orman, Philosophy of logic
- MacFarlane, J. (16 травня 2005). . Архів оригіналу за 17 березня 2020. Процитовано 8 грудня 2019.
- Alfred Ayer,
- , (2010). Logic for philosophy
Див. також
- Протиріччя
- [en]
- [en]
Посилання
- at the Indiana Philosophy Ontology Project
- Logical truth [ 19 квітня 2016 у Wayback Machine.] at PhilPapers
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Logichna istina ye odnim z fundamentalnih ponyat logiki ta isnuyut dekilka teorij yaki yiyi obgruntovuyut Logichna istina ce tverdzhennya yake ye pravilnim ta zalishayetsya pravilnim pri bud yakih interpretaciyah abo znachennyah jogo logichnih konstant Ce odin z tipiv analitichnih tverdzhen Usi skladovi filosofskoyi logiki mozhna rozglyadati yak zabezpechennya ocinki harakteru logichnoyi istini a takozh logichnogo naslidku Logichni istini vklyuchno z tavtologiyami ye istinami sho vvazhayutsya pravilnimi za bud yakih umov Mayetsya na uvazi te sho voni ne mozhut vvazhatisya pomilkovimi ta ne mozhe viniknuti situaciyi koli b mi vidhilili cyu logichnu istinu Odnak zagalom ne uzgodzheno sho bud yake tverdzhennya bude obov yazkovo pravilnim Deyaki vcheni vpevneni sho logichna istina ye pravilnim tverdzhennyam v usih mozhlivih svitah Ale ce superechit faktam yaki takozh mozhut buti vidneseni do umovnih chi vipadkovih vimog sho budut pravilnimi v odnomu sviti bo ye istorichno zumovlenimi ale budut pomilkovimi hocha b v odnomu Vislovlyuvannya Yaksho p i q to p ta vislovlyuvannya Usi odruzheni lyudi odruzheni logichni istini tomu sho pravilni cherez vlastivu yim strukturu a ne cherez zumovlenist faktorami Piznishe z poyavoyu formalnoyi logiki logichni istini pochali vvazhatisya pravilnimi tverdzhennyami za usih mozhlivih umov Ponyattya logichnih istin bulo visunute filosofami racionalistami yak zaperechennya empirizmu Voni vvazhali nemozhlivim poyasnennya nashih znan pro logichni istini na empiristskih zasadah Zazvichaj empiristi vidpovidayut na ce zauvazhennya stverdzhuyuchi sho logichni istini yaki voni ocinyuyut yak tavtologiyi ye analitichnimi ta vidpovidno ne peredbachayut povnij opis svitu Logichna ta analitichna istinaDokladnishe Analitichni i sintetichni sudzhennya Logichni istini yaki uyavlyayut soboyu analitichni tverdzhennya ne mistyat informaciyi pro bud yaki aspekti faktu Okrim logichnih istin isnuye takozh inshij klas analitichnih tverdzhen tipovim prikladom yakogo vistupaye visliv Zhoden holostyak ne odruzhenij Harakterna risa cogo tverdzhennya polyagaye v tomu sho visliv mozhe stati logichnoyu istinoyu yaksho jogo slova zaminiti yih sinonimami en Takim chinom Zhoden holostyak ne odruzhenij transformuyetsya u Zhoden neodruzhenij cholovik ne odruzhenij mi zaminili holostyak na neodruzhenij Filosof V V O Kvajn u svoyemu ese en stavit pid sumniv riznicyu mizh logichnoyu ta analitichnoyu istinoyu Same drugij klas analitichnih tverdzhen zmusiv jogo zaznachiti sho ponyattya analitichnist potrebuye roz yasnennya Taka skladnist pov yazana iz yavishem sinonimiyi U svoyih visnovkah Kvajn zaperechiv sho logichni istini obov yazkovo mayut buti pravilnimi Zamist cogo vin zaznachiv sho dijsne znachennya bud yakogo tverdzhennya mozhe buti zminene i ce takozh stosuyetsya logichnih istin yaksho nadati povtornu ocinku jogo znachennya vidpovidno do inshogo aspektu zavershenoyi teoriyi Znachennya istinnosti ta tavtologiyiDokladnishe Tavtologiya logika Mirkuvannya shodo riznih interpretacij odnogo j togo zh vislovu prizvodit do viniknennya ponyattya znachennya istinnosti Najprostishij pidhid do ponyattya znachennya istinnosti polyagaye u tomu sho tverdzhennya mozhe buti pravilnim v odnomu vipadku ta en v inshomu Tavtologiya ce bud yakij tip en chi vislovu yakij zalishayetsya pravilnim za usih mozhlivih umov takozh mozhe nazivatisya en chi znachennyam v zalezhnosti vid kontekstu Ce sinonim logichnoyi istini Odnak termin tavtologiya povsyakchas vikoristovuyutsya dlya poznachennya togo sho tochnishe nazivayetsya en tavtologiyami U toj chas yak pravilnist tavtologiyi chi logichnoyi istini nabuvayetsya cherez odni logichni termi yaki vona mistit zagalom napriklad kozhen deyakij ye to en tavtologiya ye istinoyu cherez inshi logichni termi yakimi ye logichni spoluchniki abo ta ani Prote ne vsi logichni istini vidnosyatsya do pravilno funkcionalnih tavtologij Logichna istina ta logichna konstantaDokladnishe Logichna konstanta Logichni konstanti a takozh logichni zv yazki ta kvantori mozhut buti konceptualno zvedeni do logichnoyi istini Napriklad dva tverdzhennya abo bilshe ye logichno nesumisnimi todi i tilki todi koli yih ob yednannya ye logichno pomilkovim Odne tverdzhennya peredbachaye tezh same sho j inshe za umov logichnoyi nesumisnosti pershogo zi zaperechennyam drugogo Tverdzhennya ye logichno pravilnim todi i tilki todi koli jogo zaperechennya logichno hibne Protilezhni tverdzhennya povinni superechiti odne odnomu Takim chinom vsi logichni zv yazki mozhut buti virazheni z tochki zoru zberezhennya logichnoyi istini Logichna forma rechennya viznachayetsya jogo smislovoyu chi sintaksichnoyu strukturoyu ta rozmishennyam logichnih konstant Logichni konstanti viznachayut chi ye tverdzhennya logichnoyu istinoyu koli voni poyednuyutsya z movoyu sho obmezhuye yiyi znachennya Tomu poki ne bude viznacheno yak zrobiti riznicyu mizh usima logichnimi konstantami nezalezhno vid yih movi nemozhlivo diznatisya povnoyi istinnosti tverdzhennya chi sudzhennya Logichna istina ta pravila yiyi vivedennyaPonyattya logichnoyi istinnosti tisno pov yazane z ponyattyam logichnogo vivedennya Logichna istina ta logichnij pozitivizmLogichnij pozitivizm ce ruh na pochatku 20 stolittya yakij namagavsya zvesti procesi mirkuvannya nauki do chistoyi logiki Do usogo inshogo logichni pozitivisti stverdzhuvali sho bud yake tverdzhennya yake ne mozhe buti perevireno empirichno ne ye ni istinnim ni hibnim a ye nisenitniceyu Cej ruh zgasav cherez rizni problemi z yih pidhodom sered yakih bulo vse bilshe usvidomlennya togo sho nauka pracyuye ne tak yak opisuvali pozitivisti She odna problema polyagala v tomu sho odne z ulyublenih gasel ruhu bud yake tverdzhennya yake ne mozhe buti perevireno empirichno ye nisenitniceyu same po sobi ne bulo empirichno perevirene a otzhe za vlasnimi terminami ne malo sensu Neklasichna logikaDokladnishe Neklasichna logika Neklasichnoyu logikoyu nazivayetsya formalna sistema sho istotno vidriznyayetsya vid standartnih logichnih sistem takih yak propozicijna ta predikativna logika Isnuye dekilka versij yiyi poyavi zokrema rozshirennya vidhilennya ta zmini Metoyu cih vidgaluzhennya ye nadannya mozhlivosti pobudovi riznih modelej logichnogo naslidku ta logichnoyi istini PrimitkiQuine Willard Van Orman Philosophy of logic MacFarlane J 16 travnya 2005 Arhiv originalu za 17 bereznya 2020 Procitovano 8 grudnya 2019 Alfred Ayer 2010 Logic for philosophyDiv takozhProtirichchya en en Tavtologiya logika Teorema ChinnistPosilannyaat the Indiana Philosophy Ontology Project Logical truth 19 kvitnya 2016 u Wayback Machine at PhilPapers