Логическая форма – это способ связи содержательных частей некоторого контекста, при отвлечении от конкретного содержания этих частей.

Все А есть В

Все В есть С

Все А есть С

Формальная правильность мысли – это соответствие структуры мысли определенным правилам и законам логики.

Критерий правильности умозаключений – правильное, если только его логическая форма гарантирует, что при истинности посылок мы обязательно получим истинное заключение.

Истинность мысли – это соответствие результатов мышления действительности.

Логика определяет необходимые, но не достаточные условия истинности содержания мышления

Язык как знаковая система. Требования к языку права.

Язык – это знаковая система предназначенная для фиксации, хранения, переработки и передачи информации.

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

Интерпретатор – это человек, способный осмысленно употреблять данные знаки.

. 5.Семантические категории языковых выражений. Язык логики

Взаимосвязь знака, значения и интерпретатора может быть графически представлена в виде семиотического треугольника:

                             знак

    значение интерпретатор

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

Синтаксис изучает отношения между знаками, т.е. правила построения языка.

Отношение знаков к обозначаемым ими объектами и ситуациями ( т.е. знака к значению) является предметом семантики.

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

В логической семантике помимо понятий знак и значение вводится также понятие смысл знака.

Смысл – это способ указания на объект, та информация, с помощью которой мы выделяем данный объект. Различие смысла и значения знака становится особенно важным в выражениях, предающих чужие мнения, знания или намерения.

Принципы отношения именования:

1. Принцип предметности, согласно которому в высказываниях должно утверждаться или отрицаться нечто о значениях имен, входящих в предложения, а не о самих именах.
2. Принцип однозначности указывает, что выражение, используемое в качестве имени, должно быть именем только одного объекта.
3. Принцип взаимозаменимости: если в предложении заменить имя, входящее в него на другое, с тем же самым значением, то значение самого предложения от этого не изменится, то есть истинное предложение останется истинным, а ложное ложным.

Семантические категории языковых выражений

А) Предложения

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

Дескриптивные термины (имеют собственное значение): имена предметов («Луна»), предикаторы (знаки признаков «быть белым»), функторы – функциональные знаки (+, масса, мать Петра)

Логические термины: есть, суть, и, или и т.д.

Понятие как форма мышления. Образование понятий.

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

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

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

• -чтобы составить понятие о предмете, нужно сравнить данный предмет с другими предметами, найти признаки сходства и различия. Логический прием, устанавливающий сходство или различие предметов, называется сравнением.
• -выделение признаков связано с мысленным расчленением предмета на составляющие его части, стороны, элементы. Мысленное расчленение предмета на части называется анализом.
• -выделение с помощью анализа признаков позволяет отличить существенные признаки от несущественных и отвлечься, абстрагироваться от последних. Мысленное выделение признаков одного предмета и отвлечение от других признаков называется абстрагированием.
• -элементы, стороны, признаки предмета, выделенные с помощью анализа, должны быть соединены в единое целое. Это достигается с помощью приема, противоположного анализу, — синтеза, представляющего собой мысленное соединение частей предмета, расчлененного анализом.

Признак – это то, в чем предметы сходны друг с другом или отличны друг от друга

– Существенный признак – это тот признак, который присущ всем предметам данного класса, признак, без которого мы не можем помыслить данный предмет.

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

– Отличительные признаки – присущи только элементам данного класса

– Неотличительные – присущи не только данным предметам.

7. Объем и содержание понятий, их соотношение.

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

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

Объем понятия – это множество объектов, выделяемых и обобщаемых в понятии

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

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

Соотношения объема и содержания выражается в законе обратно отношения между ними, т е чем богаче содержание понятия, тем уже его объем, и, наоборот, чем беднее содержание понятия, тем шире его объем.