Логика - наука о законах и операциях правильного мышления
классическую логику. неклассические логики.
![]() |
Два вида логических исчислений.
![]() |
Исчисление высказываний Допускается
отвлечение от понятий структуры суждений.
![]() |
Исчисление предикатов. Структура учитывается
и, соответственно, символический язык
обогащается, дополняется новыми знаками.
Становление диалектической логики.
Элементы диалектической логики постепенно накапливались в трудах последующих мыслителей и особенно отчетливо проявились в работах Бэкона, Гоббса, Декарта, Лейбница.
Диалектическая логика начала оформляться лишь в конце 18 - начале 19вв.
Первым, кто попытался ввести диалектику в логику, был немецкий философ И. Кант ( 1724 - 1804 )
Грандиозную попытку выработать целостную систему новой, диалектической логики, предпринял другой немецкий философ - Г. Гегель ( 1770 - 1831 ). Он прежде всего раскрыл фундаментальное противоречие между наличными логическими теориями и действительной практикой мышления.
ЛОГИКА И ЯЗЫК.
Предметом изучения логики являются формы и законы правильного мышления. Мышление есть функция человеческого мозга, которая неразрывно связана с языком.
Функции языка: хранить информацию, быть средством выражения эмоций, быть средством познания.
Речь может быть устной или письменной, звуковой или незвуковой, речью внешней или внутренней, речью, выраженной с помощью естественного или искусственного языка.
Имена делятся на:
1) простые и сложные, или описательные;
2) собственные;
3) общие.
![]() |
Каждое имя имеет значение, или смысл.
![]() |
Значением, или смыслом имени, является способ, которым
имя обозначает предмет, т.е. информация о предмете,
содержащаяся в имени.
Знак - это математический объект, используемый в процессе познания или общения в качестве представителя какого - либо объекта.
![]() |
Три типа знаков.
![]() |
Знаки - индексы связаны с представляемыми ими
объектами как следствия с причинами.
![]() |
Знаками - образцами являются те знаки, которые
сами по себе несут информацию о представляемых
ими объектах.
![]() |
Знаки - символы не связаны причинно и не
сходны с представляемыми ими объектами.
![]() |
Знаки имеют значения.
![]() | ![]() |
Предметные. Смысловые.
Предметным является Смысловым
тот объект, который значением - выража-
представляется емая знаком
знаком. характеристика
объекта,
представителем
которого является
знак.
Синтаксические отношения - это отношения между знаками, которые фиксируются в способах и правилах образования и преобразования языковых выражений.
Синтаксические правила языка устанавливают способы образования сложных выражений из простых.
Семантические отношения знаковой системы носят иной характер. Они возникают между знаками и тем, что знаки обозначают, и фиксируются правилами приписывания значения и смысла языковым выражениям.
Семантические правила определяют способы придания значений выражениям языка.