Семантические категории

Выражения естественного языка, имеющие какой – либо самостоятельный смысл, можно разбить на семантические категории, к которым относятся:

1. предложения: повествовательные, побудительные, вопросительные;

2. дескриптивные и логические термины

К дескриптивным (описательным) терминам относятся:

1. Имена предметов – слова или словосочетания, обозначающие единичные (материальные или идеальные) предметы («Аристотель», «первый космонавт», «7») или классы однородных предметов («пароход», «книга», «стихотворение», «засуха» и др.).

2.Предикаторы (знаки предметно-пропозициональных функций) – слова и словосочетания, обозначающие свойства предметов или отношения между предметами («добрый», «теплопроводник», «есть число», «есть планета» и др.).

Одноместные предикаторы обозначают свойства («непоседливый», «удачливый», «маленький»).

Двухместными предикаторами являются: «равен», «больше» и др.

Многоместные предикаторы обозначают (выражают) отношения.

3.Функциональные знаки – выражения, обозначающие предметные функции, операции («t», «V» «ctg α»,)⁵.

В языке также встречаются логические термины (логические постоянные, логические константы).

Естественный язык: «и», «или»;

«если… то», «эквивалентно», «равносильно», «наверно, что», «все, каждый», «если, только если» - логические константы. В символической логике логические термины: _×

^{— , Ù, Ú, Ú, º,}

Конъюнкция – соответствует союзу «и». Конъюнктивное высказывание обозначается: а Ùв или а × в (наступила весна (а) и прилетели грачи (в).

Дизъюнкция – соответствует союзу «или», обозначается: а Ú в (нестрогая дизъюнкция), а ύ в (строгая дизъюнкция). При строгой дизъюнкции сложное суждение истинно только в том случае, когда истинно одно из составных суждений, но не оба. При нестрогой дизъюнкции истинными могут быть одновременно оба суждения⁶.

«Он журналист или поэт» - а Ú в.

«Сейчас Петров находится в Канаде или в Америке» а ύ в.

Импликация - соответствует союзу «если… то», обозначается а®в, или аÉв (Если будет тепло, поедем в лес).

Эквиваленция – соответствует словам «если и только если», тогда и только тогда, когда», «эквивалентно».

О бозначается – а º в, или а«в, или а в.

О трицание соответствует словам «не», «неверно, что»: _а, ┐а, ~ а.

«Неверно, что погода испортится».

«Неверно, что преступление не будет раскрыто».

Квантор общности - ", соответствует кванторным словам «всё»

" х Р (х) – в математической логике («Все дети любят играть»).

Квантор существования – обозначается $ и соответствует словам «некоторые», «существует» $ х Р (х) – в математической логике («Некоторые люди понимают язык математической логики», «Существуют люди, которые знают высшую математику»).

г) Из истории логики

Первоначально логика зародилась и развивалась в недрах философии. В начале законы и формы правильного мышления изучались в рамках ораторского искусства – одного из средств воздействия на умы людей, убеждения их в целесообразности того или иного поведения.

Отдельные фрагменты логической науки начинают разрабатываться в с VI в. до н.э. в Др. Греции и Индии.

История логики Индии связана с развитием индийской философии. Диспуты между представителями различных философских школ способствовали развитию теории познания и логики. Но логика самостоятельно трактуется лишь школой Ньяя, в формах кратких афоризмов (сутр.). Лишь начиная со (школы) Диганги (VI в.) инд. логика приобретает стройную систематическую форму. Развитие индийской логики шло не по путям сокращения членов силлогизма. Гаутама сократил их до пяти (с десяти):

1) тезис

2) основание

3) пример

4) применение

5) вывод

Особенностями индийской логики являются:

1) оригинальное учение о пятичленном силлогизме, в котором важна мысль о неразрывной связи дедукции и индукции;

2) суждения не признается самостоятельным актом мысли, а рассматривается как член умозаключения;

3) восприятие не есть нечто непосредственно дано, а заключает в себе акт «суждения-умозаключения». Иными словами в основе восприятий – приобретенный опыт.

4) различение «реги в себе» (т.е. внутренней реги), являющейся формой процесса мышления, когда человек как бы ведет разговор с самим собой) и реги «для других» (передачи мыслей и общение людей.

Навья –ньяя – единственная завершенная система логики, возникшая вне пределов Европейской культуры.

Основоположник школы, - автор трактата «Татва-чинтомани» - Ганнгина XII – XIII. В этой школа логика является самостоятельной наукой., выступает методом инструментального познания.

Недостатки этой логики преодолела более поздняя школа – навья – ньяя., основанная Рахгунатхой.

В некоторых отношениях навья – ньяя превосходит аристотелевскую логику.

Её создатели имели понятия о конъюнкции, дизъюнкции и их отрицании; знали следствие о классах из законов Моргана. В навья – ньяя анализировались следующие проблемы:

- отношение «проникновения» (т.е. теория логического следования), проблема отрицательных высказываний, способы образования сложных терминов и др.

В Индии, когда появляется интерес к логике, дискуссии были постоянным явлением.

Б.Васильев (востоковед) пишет: «Если явится кто-нибудь и станет проповедовать совершенно неизвестные дотоле идеи, их не будут чуждаться и преследовать без всякого суда: напротив, охотно будут признавать их, если проповедник этих идей удовлетворит всем выражениям и опровергнет старые теории. Воздвигали арену состязания, выбирали судей и при споре постоянно присутствовали цари, вельможи и народ; определяли заранее, независимо от царской награды, какой должен быть результат спора. Если спорили только два лица, то иногда побежденный должен был лишать себя жизни – бросаться в реку или со скалы, или сделаться рабом победителя; перейти в его веру…Чаще мы видим (особенно в последствии), что спор не ограничивался личностями, в нем принимали участие целые монастыри, которые вследствие неудачи могли исчезнуть вдруг после продолжительного существования. Как видно, право красноречия и логических доказательств было до такой степени неоспоримо в Индии, что никто не смел уклониться от вызова на спор».