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

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

Основные этапы формирования логики.

Основные законы логики.

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

Логика (от греч. logos – «мысль», «слово», «разум», «закономерность»)– это наука, изучающая формы и законы правильного мышления, выраженного в языковой форме и направлена для получения истинного выводного знания.

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

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

S есть Р

Человек, познавая мир, проходит два уровня познания: чувственный и логический (абстрактный).

Чувственный уровень. Человек отражает мир непосредственно, через чувства, созерцание.

Формы чувственного познания:

· ощущения – дают изолированные свойства, признаки предмета;

· восприятие – дает предмет в целостности, совокупности всех признаков и свойств;

· представление – это мысленный предмет без него самого.

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

Формы абстрактного познания:

· понятие,

· суждение,

· умозаключение.

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

Основные функции языка:

1. средство формирования и выражения мысли.

2. язык – способ сохранения и передачи знания.

Язык – это система знаков. Языки бывают естественные и искусственные.

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

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

Логика также имеет свой язык.

Понятия принято обозначать заглавными буквами латинского алфавита. А, В, С.

Суждения обозначают строчными буквами латинского алфавита. а, в, с.

Умозаключения обозначают и теми и другими.

Логические связки:

Конъюнкция – союз «и» -∧

Дизъюнкция – союз «или» - ∨

Импликация – союз «если…., то…» - →

Эквиваленция – союз «если и только если…, то…» - ∼

Отрицание – неверно - А

Кванторы – символы для количественной характеристики высказываний.

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

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

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

Логическая правильность требует соответствия и выполнения законов логики. Законов и правил логики очень много.

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

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