79971 (674818), страница 2

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 2)

Остенсивные определения – это определения путем показа. Остенсивные определения, как и контекстуальные, отличаются некоторой независимостью, неокончательностью. Остенсивные определения – и только они – связывают слова с вещами. Без них язык – только словесное кружево, лишенное объективного, предметного содержания.

К явным определениям и, в частности, к родо-видовым предъявляются ряд достаточно простых и очевидных требований. Их называют обычно правила определения:

• Определяемое и определяющее понятия должны быть взаимозаменяемы. Если в каком-то предложении встречается одно из этих понятий, всегда должна существовать возможность заменить его другим. При этом предложение, истинное до замены, должно оставаться истинным и после его. Для определения через род и видовое отличие это правило формулируется, как правило, соразмеримости определяемого и определяющего понятия: совокупности предметов, охватываемые ими, должны быть одним и тем же.

• Нельзя определять имя через само себя или определять его через такое другое имя, которое, в свою очередь, определяется через него. Это правило запрещает порочный круг.

• Определение должно быть ясным.

4. Деление.

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

Требования, предъявляемые к делению, достаточно просты:

• Деление должно вестись только по одному основанию. Это требование означает, что избранный вначале в качестве основания отдельный признак или совокупность признаков не следует в ходе деления другими признаками.

• Деление должно быть соразмеримым, или исчерпывающим, то есть сумма объемов членов деления должна равняться объему делимого понятия. Это требование предостерегает против пропуска отдельных членов деления.

• Члены деления должны взаимно исключать друг друга. Согласно этому правилу, каждый отдельный предмет должен находиться в объеме только одного видимого понятия и не входить в объем других видов понятий.

• Деление должно быть непрерывным. Это правило требует не делать скачков в делении, переходить от исходного понятия к однопорядочным видам, но не к подвидам одного из таких видов.

Частым случаем деления является дихотомия (буквально: разделение на двое). Дихотомическое деление опирается на крайний случай варьирования признака, являющегося основанием деления: с одной стороны, выделяются предметы, имеющие этот признак, с другой – не имеющие его.

Классификация – это многоступенчатое, разветвленное деление. Результатом классификации является система соподчиненных имен: делимое имя является родом, новые имена – видами, видами видов (подвидами).

Высказывания.

1. Простые и сложные высказывания. Отрицание, конъюнкция, дизъюнкция.

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

Высказывание считается истинным, если даваемое им описание соответствует реальной ситуации, и ложным, если не соответствует ей. «Истина» и «ложь» называется истинностными значениями высказывания.

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

Та часть логики, в которой описываются логические связи высказываний, не зависящее от структуры простых высказываний, называется общей теорией дедукции.

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

В результате соединения двух высказываний при помощи слова «и», мы получаем сложное высказывание, называемое конъюнкцией. Высказывания, соединяемые таким способом, называются членами конъюнкции. Конъюнкция истинна только в случае, когда оба входящих в нее высказывания являются истинными; если хотя бы один из ее членов ложен, то вся конъюнкция ложна. Обозначаем конъюнкцию символом &. Таблица истинности для конъюнкции:

Соединяя два высказывания с помощью слова «или», мы получаем дизъюнкцию этих высказываний. Высказывания, образующие дизъюнкцию этих высказываний, называются членами дизъюнкции. Символ V будет обозначать дизъюнкцию в неисключающем смысле, для дизъюнкции в исключающем смысле будет использоваться символ V`. Таблицы для двух видов дизъюнкции показывают, что неисключающая дизъюнкция истина, когда хотя бы одно из входящих в нее высказываний истинно, и ложно, только когда оба ее члена ложны; исключающая дизъюнкция истинна, когда истинным является только один из ее членов, и она ложна, когда оба ее члены истинны или оба ложны.

2. Условное высказывание, импликация, эквивалентность.

Условное высказывание – сложное высказывание, формулируется обычно с помощью связки «если …., то…» и устанавливающее, что одно событие, состояние является в том или ином смысле основанием или условием для другого.

Условное высказывание слагается из двух простых высказываний. То, которому предписано слово «если», называется основанием, или антецедентом (предыдущем); высказывание, идущее после слова «то», называется следствием, или консеквентном (последующим).

В терминах условного высказывания обычно определяется понятия достаточного и необходимого условия; антецедент (основание) есть достаточное условие для консеквента (следствия), а консеквент – необходимое условие для антецедента.

Условное высказывание находит очень широкое применение во всех сферах рассуждения. В логике оно представляется, как правило, посредством импликативного высказывания, или импликации. Утверждая импликацию, мы утверждаем, что не может случиться, чтобы ее основание было истинным, а следствие ложным. Для установления истинности импликации «если А, то В» достаточно выяснить истинностные значения высказывании А и В. Из четырех возможных случаев импликация истина в следующих трех:

• И ее основание, и ее следствие истинны;

• Основание ложно, а следствие истинно;

• И основание, и следствие ложны.

Т олько в четвертом случае, когда основание истинно, а следствие ложно, вся импликация ложна. Будем обозначать импликацию символом

Э квивалентность – сложнее высказывание « А, если и только если В», образованное из высказываний А и В разлагающееся на две импликации: «если А, то В» и «если В, то А». Если логические связки определяются в терминах истины и лжи, эквивалентность истинна тогда и только тогда, когда оба составляющие ее высказывания имеют одно и то же истинное значение, то есть когда они оба истинны или оба ложны. Обозначим эквивалентность символом

МОДАЛЬНАЯ ЛОГИКА

1. ЛОГИЧЕСКИЕ МОДАЛЬНОСТИ

Модальность — это оценка высказывания, данная с той или иной точки зрения. Модальная оценка выражается с помощью по­нятий «необходимо», «возможно», «доказуемо», «опровержимо», «обязательно», «разрешено» и т.п. Модальные высказывания — это высказывания, содержащие хотя бы одно из таких понятий. Мо­дальные высказывания делятся на типы в зависимости от той точ­ки зрения, на основе которой формулируются выражаемые ими характеристики.

Модальная логика — раздел логики, в котором исследуются ло­гические связи модальных высказываний.

Модальная логика слагается из ряда разделов, или направле­ний, каждое из которых занимается модальными высказывания­ми определенного типа. Фундаментом модальной логики являет­ся логика высказываний: первая есть расширение второй.

Теория логических модальностей изучает связи логических мо­дальных высказываний, т.е. высказываний, включающих логичес­кие модальные понятия: «логически необходимо», «логически воз­можно», «логически случайно» и т.п.

Логически необходимое высказывание можно определить как высказывание, отрицание которого представляет собой логическое противоречие. Внутренне противоречивы, например, высказывания «Неверно, что если неон — инертный газ, то неон — инертный газ» и «Неверно, что трава зеленая или она не зеленая». Это озна­чает, что утвердительные высказывания «Если неон — инертный газ то неон — инертный газ» и «Трава зеленая или она не зеленая» являются логически необходимыми. Понятие логической необходимости связано с понятием логического закона: логически необходимы законы логики и все, что вытекает из них. Логически необходимы, таким образом, все рассматривавшиеся ранее зако­ны логики высказываний.

Истинность логически необходимого высказывания устанав­ливается независимо от опыта, на чисто логических основаниях. Логическая необходимость является, таким образом, более сильным видом истины, чем фактическая истинность. Например, вы­сказывание «Снег бел» фактически истинно, для подтверждения его истинности требуется эмпирическое наблюдение. Высказыва­ния же «Снег есть снег», «Белое — это белое» и т.п. необходимо истинны: для установления их истинности не нужно обращаться к опыту, достаточно знать значения входящих в них слов. По­скольку данные высказывания логически необходимы, каждое из них можно предварить оборотом «логически необходимо, что...» («Логически необходимо, что снег есть снег» и т.п.).

Логическая возможность — это внутренняя непротиворечивость высказывания.

Высказывание «Коэффициент полезного действия паровой машины равен 100% является, очевидно, ложным, но оно внут­ренне непротиворечиво и, значит, логически возможно. Но вы­сказывание «К.п.д. такой машины выше 100%» противоречиво и потому логически невозможно.

Характеристики

Список файлов реферата