Види логічних спілок - Студопедія

Поняття логічного союзу. Види складних висловлювань

1. Закон тотожності: будь-яка думка в процесі міркування повинна бути тотожною самій собі. Відповідно до цього закону забороняється ототожнювати різні думки, як і розрізняти тотожні. У законі виявляється вимога визначеності мислення. Порушення закону тотожності призводить до логічної помилки, яка називається "підміна поняття" або підміна предмета міркування.

2.Закон протиріччя: два суперечать один одному висловлювання про один і той же предмет, взятий в один і той же час і в тому самому відношенні, не можуть бути одночасно істинними; принаймні, одне з них необхідно хибно. Відповідно до цього закону не можуть одночасно бути істинними дві думки, одна з яких заперечує іншу. У законі протиріччя виражається вимога несуперечності мислення. (А-Е)

3.Закон виключеного третього: два суперечать один одному висловлювання про один і той же предмет, в один і той же час, в тому самому відношенні не можуть бути одночасно помилковими; якщо одне з них хибне, то друге істинно, а третє виключено. Цей закон виражається формулою: А чи не А . Закон виключеного третього висловлює вимогу точності, послідовності мислення. (А-О. Е-I)

4. Закон достатньої підстави: достовірними можуть вважатися ті висловлювання, на користь істинності яких є достатні підстави. Цей закон встановлює вимогу обґрунтованості (доказовості, аргументованості) мислення. Доказовим, аргументованим вважається міркування, у якому істинність обґрунтована. Виражається він формулою А є оскільки є.

Складні висловлювання утворюються із простихза допомогою логічних спілок.

СоюзУмовне позначення
"ні", "невірно, що" - заперечення-
«і» - сполучна спілка (кон'юнкція)^
«або» - сполучно-розділовий союз (диз'юнкція слабка)V
«чи. або» - виключно-розділовий союз (диз'юнкція сильна)V -
«якщо. то» - умовний союз (імплікація)--.>
«тоді і лише тоді, коли» - рівносильність (еквівалентність).

Сенс логічних спілок найчіткіше висловлюють так звані таблиці істинності Види складних висловлювань

• Запереченням деякого висловлювання називається висловлювання, яке є істинним тоді і тільки тоді, коли вихідне висловлювання хибне. Позначається -, А («не А», «невірно, що А»).

Це визначення можна виразити за допомогою наступної таблиці істинності:

Студент – учень (і). Студент не учень (л)

Людина безсмертна (л). Людина не безсмертна (і)

Кон'юнкція - це складне висловлювання, яке істинно тоді і тільки тоді, коли істинні всі прості висловлювання, що входять до його складу. Позначається А^В (А і В): Логіка і етика - філософські науки. Логічному союзу кон'юнкції відповідають такі граматичні союзи і союзні слова: і, але, так (у значенні і), а також, незважаючи на те, що. хоч і. проте л ін.

Диз'юнкція сильна - це складне висловлювання, яке істинно тоді і лише тоді, коли істинно лише одне із складових його простих висловлювань. Позначається А V_ В (або А. або В): «Вирок суду може бути обвинувальним, або виправдувальним». У природній мові сильної диз'юнкціївідповідають граматичні спілки «чи. чи то», «не те. не те".

• Імплікація - це складне висловлювання, яке хибне тоді і тільки тоді, коли основа істинна, а наслідок хибна. Позначається А - & gt; У («якщо А. то»), А називається основою (антецедентом) імплікації. В – наслідком (консеквентом). "Якщо в обігу з'являється надлишок паперових грошей, то вони знецінюються".

Еквіваленція - це складне висловлювання, яке істинно тоді і тільки тоді, коли логічні значення простих висловлювань, що входять до його складу, збігаються. Позначається А

Чи не знайшли те, що шукали? Скористайтеся пошуком:

Вимкніть adBlock! і оновіть сторінку (F5)дуже потрібно