3.Понятие логической формы. Истинность и правильность мысли.
Логическая форма – это способ связи содержательных частей некоторого контекста, при отвлечении от конкретного содержания этих частей.
Все А есть В
Все В есть С
Все А есть С
Формальная правильность мысли – это соответствие структуры мысли определенным правилам и законам логики.
Критерий правильности умозаключений – правильное, если только его логическая форма гарантирует, что при истинности посылок мы обязательно получим истинное заключение.
Истинность мысли – это соответствие результатов мышления действительности.
Логика определяет необходимые, но не достаточные условия истинности содержания мышления
4.Язык как знаковая система. Требования к языку права.
Язык – это знаковая система предназначенная для фиксации, хранения, переработки и передачи информации.
Язык состоит из знаков. Знак – это материальный объект, для некоторого интерпретатора выступающий в качестве представителя какого – то предмета. Предметом трактуется в данном случае трактуется широко – как любой материальный объект или идеальный объект, на который направлена наша мысль. Предмет составляет значение знака.
Интерпретатор – это человек, способный осмысленно употреблять данные знаки.
. 5.Семантические категории языковых выражений. Язык логики
Взаимосвязь знака, значения и интерпретатора может быть графически представлена в виде семиотического треугольника:
знак
значение
интерпретатор
В семиотике выделяется три раздела: синтаксис, семантика и прагматика.
Синтаксис изучает отношения между знаками, т.е. правила построения языка.
Отношение знаков к обозначаемым ими объектами и ситуациями ( т.е. знака к значению) является предметом семантики
Прагматика занимается проблемами понимания и интерпретации знаков людьми – носителями языка, а также отношениями, возникающими между людьми в процессе знакового общения.
В логической семантике помимо понятий знак и значение вводится также понятие смысл знака.
Смысл – это способ указания на объект, та информация, с помощью которой мы выделяем данный объект. Различие смысла и значения знака становится особенно важным в выражениях, предающих чужие мнения, знания или намерения.
Принципы отношения именования:
Принцип предметности, согласно которому в высказываниях должно утверждаться или отрицаться нечто о значениях имен, входящих в предложения, а не о самих именах.
Принцип однозначности указывает, что выражение, используемое в качестве имени, должно быть именем только одного объекта.
Принцип взаимозаменимости: если в предложении заменить имя, входящее в него на другое, с тем же самым значением, то значение самого предложения от этого не изменится, то есть истинное предложение останется истинным, а ложное ложным.
Семантические категории языковых выражений
А) Предложения
Б) Термины - слово или словосочетание, являющееся названием некоторого понятия какой-нибудь области науки, техники, искусства и так далее
Дескриптивные термины (имеют собственное значение): имена предметов («Луна»), предикаторы (знаки признаков «быть белым»), функторы – функциональные знаки (+, масса, мать Петра)
Логические термины: есть, суть, и, или и т.д.
