5. Предмет и значение логики.

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

1. Формы мыслительного процесса (понятие, суждение, умозаключение).

2. Законы, которым подчиняется рациональное мышление в процессе познания.

3. Методы получения нового знания.

4. Способы доказательства истинности или ложности полученных знаний (подтверждение, опровержение).

Логика – это философская наука о формах и приемах рационального познания, о законах, лежащих в основе этого познания.

Содержательная (формальная) – формы мысли и связанные с ними формы рассуждений. Формализованная – формализация выводов на основе преобразования знаков, по правилам оперирования с этими знаками (формальные рассуждения – исчисления)

9. Язык логики высказываний.

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

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

Формализационный язык – знаковая система, в которой знаки и знакосочетания выступают как конструктивные объекты (сформулированные по определенным правилам).

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

Алфавит языка логики высказываний.

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

2. Логические символы – логические союзы и знак отрицания.

3. Технические символы – левая и правая скобки, запятая.

С помощью этих трех символов строятся выражения языка логики высказываний. К правильно построенным выражениям относится только формула.

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

• Правила построения формулы:

1. Каждая пропозициональная переменная – есть формула. Это простая формула.

2. Если А – формула, то выражение (не) |А также является формулой.

3. Если А и В – формулы, то связные друг с другом каким-либо логическим союзом – они также являются формулой.

4. Ничто иное не есть формула.

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

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

Простая формула имеет два истинных значения: «и» или «л».

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

11. Понятие, как форма мысли. Содержание и объем.

• Понятие – важнейший вид мысли, в котором отражается действительность в процессе абстрактного мышления, по этой причине абстрактное мышление называется понятийным мышлением;

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

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

Понятие выражается словами (в простейшем случае его можно выразить одним словом); многие из понятий выражаются словосочетаниями.

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

Объем понятия – множество предметов, обобщаемых и выделяемых понятием (количественный характер).

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

Если содержание одного понятия меньше содержания другого, то объем первого понятия больше объема другого понятия.