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