Меню
Главная
Авторизация/Регистрация
 
Главная arrow Логика arrow Логика

ТРАДИЦИОННАЯ ЛОГИКА

В этом разделе представлено изложение традиционной логики как системы логического знания. Традиционная логика определяется как систематизация и обобщение практики умственно-речевой деятельности людей, совершавших философы и логики со времен античности и до сих пор. На основании логико-семантического анализа рассуждений исторически формировалась язык науки логики, логическая терминология, создавалась искусственная символика, определялись логические операции и определенные логические феномены (паралогізми, софизмы, парадоксы) и др.

Язык науки логики

Логика должна заботиться о себе сама.

Л. Витгенштейн

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

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

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

Логический символ - элемент языка науки логики. Это условный знак, который имеет свое определение и обозначение и который используют для моделирования логического знания, построения определенной формальной системы, выполнение операции формализации содержательной теории. Совокупность символов называют логической символикой. Она состоит из символов (букв греческого и латинского алфавита) и особых символов для обозначения логических операций, установление определенного типа отношений между объектами соображений.

Таблица логических символов

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

В табл. 3.1 в алфавитном порядке представлены символы, которые будут определены в этом разделе; в скобках указаны варианты символов, которые используют в логической литературе. Другие символы рассмотрим в контексте преподавания современной символической логики (см. 4)

Таблица 3.1. в Логические символы

Логические символы

Логические символы

Язык современной логики делится на следующие виды:

1. Формализованная речь и не формализованная речь.

Формализованная речь - система особых знаков, которые создают методом формализации (с помощью этой системы символов формализуется знания о эмпирические и абстрактные объекты, которые изучает наука логика); формальная система вместе с інтерпретованою семантической моделью; исчисление (классов, высказываний, предикатов и т.п.) на основании алфавита особенно созданной языка. Составными частями формализованного языка является семантическая и синтаксическая языка. К семантической относятся логические символы, которые обозначают термины, высказывания, свойства, отношения, дескрипції, значение истинности высказываний, к синтаксической - логические символы, обозначающие пропозиційні переменные, пропозиційні связи, логические операции и др. (см. 4).

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

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

2. Язык определенного типа логики.

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

Исторически первой системой логического знания является традиционная логіка. ее речь состоит из неформализованного языка (системы логических терминов) и элементов формализованного языка - символов для обозначения четырех видов атрибутивных высказываний и терминов, входящих в структуру определенного вида категорических силогізмів (см. 3.4). К срокам традиционной логики относятся: форма мышления; закон мышления; срок; понятие; суждение (высказывание), утверждение отрицание; противоречие; непротиворечивость; тождество; основание; следование; вывод; умозаключение; модус; дедукция; индукция; аналогия и др.

Возникновение символической логики обусловило:

- предоставление нового содержания логическим терминам, которые были введены в традиционной логике, начиная со времен ее создания в IV в. до н. э.;

- введение новых терминов, которые адекватно отражали ее особенности (о терминах символической логики см. 4).

Новые логические теории (неклассические логики) начали формироваться с 20-х годах XX ст. и развиваются в XXI ст. Они используют формализованную и неформализованный языка классической логики и вводят новые термины, отражающие ту предметную область, которую исследует современная логика, и символы для обозначения этих терминов.

3. Семантическая и синтаксическая языка определенной логической теории.

В определенной логической теории как системы знания выделяют семантические и синтаксические аспекты (семантику и синтаксис).

Семантическая язык содержит такие термины: класс; высказывания; свойство; отношение; истина; ложь; істиннісне значение высказывания; интерпретация.

Синтаксическая язык пользуется терминами: следование, вывод, доказательство и др.

4. Метаязык

Специфическая речь, которую создают для описания и анализа объектного языка.

Метаязык современной логики - это система особых терминов, создают на уровне металогики с целью описания и анализа объектного языка конкретных логических теорий (формально-логических систем). Метаязык делится на формализованную и неформализованный языка. Неформализованная язык вмещает цель логические термины, а формализованная - своеобразные символы для обозначения свойств и отношений (см. 4.1). В качестве примера назовем такие метатермины и их символическое обозначение:

Метависловлювання - высказывания, которое указывает на иное высказывание и дает его логическую характеристику. Так, на основании высказывания "Киев - столица Украины", символическое выражение которого Р(а), где а - індивідний срок (обозначает субъекта высказывания - "Киев"), Р - предикат (обозначает свойство "быть столицей Украины"), можно построить различные метависловлювання:

1. Высказывание Р(а) - истинное.

2. Высказывание Р(а) - ложно.

3. Высказывания "Высказывания Р(а) - истинное" - истинное.

4. Высказывания "Высказывания Р(а) - ложное" - ложное.

Метаоператор - символ, который используют для построения метасимволов - метатермінів и метависловлювань. К метаоператора относятся кавычки " ", что ставят над символом. Например: "Слово "логос" имеет много смыслов".

Метасимвол - символ, который обозначает другие логические символы, термины, выражения, переменные, формулы и т.д. К метасимволов относятся: метаоператор; метависловлювання; метазмінна.

5. Логическая схема (диаграмма)

Наглядная модель, которую создают для изображения абстрактных отношений между понятиями и высказываниями с помощью геометрических фигур (круг, прямоугольник, квадрат, треугольник и т.п.). К логических схем относятся: круги Эйлера; диаграммы Венна; "логико-семантический треугольник"; "логический квадрат"; "фигуры силогизма"; "таблица разделенности терминов в атрибутивном высказывании"; "таблица истинности для сложных высказываний" и др. (упомянутые схемы будут использованы при изложении логической теории в соответствующих разделах).

 
< Предыдущая   СОДЕРЖАНИЕ   Следующая >
 
Предметы
Агропромышленность
Банковское дело
БЖД
Бухучет и аудит
География
Документоведение
Естествознание
Журналистика
Инвестирование
Информатика
История
Культурология
Литература
Логика
Логистика
Маркетинг
Математика, химия, физика
Медицина
Менеджмент
Недвижимость
Педагогика
Политология
Политэкономия
Право
Психология
Региональная экономика
Религиоведение
Риторика
Социология
Статистика
Страховое дело
Техника
Товароведение
Туризм
Философия
Финансы
Экология
Экономика
Этика и эстетика
Прочее