3.Логические законы и теории.

Форма всякого Умозаключения может быть рассмотрена как,форма сложного высказывания в котором посылки соединяются логическим союзом И , а переход от посылок передается логическим союзом ЕСЛИ ТО

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

Также высказывания истинные в силу своей логической формы называются логическими законами.

Закон в логике- форма высказывания, принимающего значение истины, при любой интерпретации собственного содержания.

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

Правильного мышления

4 закона: тождества, противоречия(непротиворечия), исключенного третьего, достаточного основания.

Закон тождества-всякое понятие на протяжении одного и того же контекста должно использоваться в одном и том же значении.

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

Закон исключенного третьего – закон рассматривается нами являются R- двузначными т.е все рассматриваемые нами высказывания могут иметь только 1 из 2х значений быть истинными или ложными,3го не дано.

Закон противоречия- одно и тоже свойство в одно и то же время и в одном и том же отношении,к одному и тому же предмету будут принадлежать или не принадлежать.третьего не дано.

Закон противоечия (непротиворечия) – одно и тоже высказывание в одном и том же смысле,отношении не может быть одновременно истинным и ложным.Одно и то же свойство,отношении,в время, не может быть одновременно принадлежать и не принадлежать.

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

Нелогические-служат для обозначения субъектов и предикатов простых высказываний в целом.

Логические-для способов связи нелогических параметров.

Технические-для записи значимых в данном языке выражения.

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

4.Логика и язык.

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

знания. Практические умения, жизненный опыт, осуществляет процесс обучения и

воспитания подрастающего поколения. Язык является знаково – информационной

системой, продуктом духовной деятельности чела. Инфа передается с помощью знаков

языка. Язык это не только средство общения, но и важная составная часть

культуры народа. Различаются также искусственные языки. К ним относятся языки

математики, символической лог, физики и тд. Знак – материальный предмет

выступающий в качестве представителя некоторого другого предмета, св-ва и

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

Знаки делятся на языковые и неязыковые. К неязыковым относятся:

1) знаки – копии (фото, дактилоскопия)

2) знаки – признаки (дым, признак огня)

3) знаки – символы (дорожные знаки)

Сущ особая наука – семиотика. Разделы семиотики:

1) Синтаксис – изучает структуру языка.

2) Семантика – изучает проблемы интерпретации яз выражений.

3) Прагматика – анализ фун языка.

Виды языков: Естественный – исторически сложившийся в обществе, первоначально

звуковое, а в последствии граф. инфо-ую знаковую сис. Св-во языка –

замкнутость.

Искусственный – вспомогательная знаковая сис возникшая на основе

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

При логическом анализе язык рассматривается как знаковая система. Знак– это материальный объект, используемый в процессе познания или общения в качестве представителя какого-либо объекта.  Можно выделить знаки следующего вида:  1) знаки-индексы;  2) знаки-образцы;  3) знаки-символы.  Логика исследует знаки последнего вида. Знаки-символыне связаны причинно и не сходны с представляемыми ими объектами.