Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Bilety_po_logike.doc
Скачиваний:
8
Добавлен:
01.03.2025
Размер:
171.52 Кб
Скачать

15. Отношение семантического тождества терминов. Логические кавычки. Понятие метасимвола.

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

отношения элементов любой системы: 1) тождество (нулевая

оппозиция), 2) включение (привативная оппозиция), 3) пересечение (эквиполентная

оппозиция), 4) дизъюнкция (дизъюнктивная оппозиция). Прибегая к графической

аналогии, эти оппозиции можно изобразить в виде соположения геометрических

фигур. Так, тождество изображается в виде двух фигур, границы которых при

наложении совпадают; таким образом, элементы единого множества тождественны

элементам другого множества: A=B.

Кавычки — в грамматике естественного языка парный знак препинания (обычно ,, " или « »), используемый для выделения прямой речи или отдельных выражений, которые употребляются не в привычном смысле. В логике К. используются для того, чтобы отличить автономное употребление выражений от обычного. Напр., в предложениях «Москва расположена на Москве-реке» и «Москва состоит из шести букв» слово «Москва» в первом предложении употребляется обычно, а во втором — автонимно, т. е. в качестве имени самого себя. Чтобы избежать смешения обычного и автонимного употребления выражений, используются К., т. наз. «кавычковые имена». Вто­рое предложение следует записать так: «"Москва" состоит из шести букв». В естественном языке несложно различить обычное употребление выражений и их автонимное употребление. Однако в логике, когда приходится говорить о выражениях некоторого языка, возможна путаница, приводящая к ошибкам.

Метасимволом называется особая комбинация символов, которые в реальной строке могут совпадать с разными символами; символ, которые при использовании, дополнительно обрабатывается программой. Метасимвол является той буквой или цифрой, которая используется в общении, но может состоять из этих символов.

16. Логическая структура определений. Дефиниендум и дефиниенс. Семантические и синтаксические определения. Основные правила синтаксических определений.

Определение понятия - это логическая операция с понятием, заключающаяся в раскрытии содержания понятия или придания смысла некоторому термину.

Логическая структура определения:

    • определяемое понятие, - то, что определяется;

    • определяющее понятие — то, посредством чего определяется содержание определяемого понятия.

Дефиниция - логическая операция:

1) раскрывающая содержание (смысл) имени посредством описания существенных и отличительных признаков предметов или явлений, обозначаемых данным именем (денотата имени);

2) эксплицирующая значение термина.

В процессе дефинирования термину должен быть непосредственно прописан в качестве его значения либо экстенсионал (объект), либо интенсионал (признак). Если термин явно не соотнесен ни с объектами, ни с признаками, он остается символом, не имеющим семантического значения. Определить термин, значит установить границы его применения. Строгая его дефиниция состоит из двух частей: дефиниендума - определяемого имени, и дефиниенса - определяющего выражения, раскрывающего смысл определяемого имени либо устанавливающего значение термина.

Дефиниендум и дефиниенс должны находиться в отношении тождества, т.е. иметь один и тот же денотат, и быть взаимозаменяемыми.

Описание каждого элемента языка задается его СИНТАКСИСОМ и СЕМАНТИКОЙ. Синтаксические определения устанавливают правила построения элементов языка. Семантика определяет смысл и правила использования тех элементов языка, для которых были даны синтаксические определения.

Правила определений:

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

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

  • Определение должно быть четким, ясным. Нарушение этого правила ведет к двусмысленности определений.

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

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]