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

Логические операции

Логическая операция - это не только игра словами и символами.

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

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

1. Над именами - преобразования именной или пропозиційної функции в языковых выражениях с функциональными знаками видах, в на высказывания со значением истинности (см. 2.4).

2. Над понятиями - определение понятия, обобщение и ограничение понятия, деление объема понятия, классификация. .

3. Над высказываниями - преобразование высказывания, возвратность высказывания, противопоставление предикатові, создание сложных высказываний из простых и др.

4. Обоснование вывода из определенных предпосылок (умозаключение).

5. Доказательства и опровержения.

6. Операции над классами.

7. Логическое исчисление.

8. Квантификация.

Особенности этих операций определены в разделах 3 (3.4, 3.5) и 4.

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

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

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

Экспликация (лат. - разъяснение, истолкование) - замена неточного по смыслу термина другим, более точным. Первый срок называется експлікандом, то есть термин, смысл которого требует уточнения, а второе - експлікат, то есть термин, с помощью которого уточняется експліканд. В логической семантике примером экспликации является введение експліката "L-истинности" (логической истинности) с целью замены експліканда "необходима, аналитическая истина", что совершил Г. Карнап (см. 2.5).

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

Сам процесс обоснования означает выведение высказывания В из высказывания А и имеет логическую форму дедуктивного умозаключения, сама же логическая операция обоснования определенного утверждения на истинность называется доводкой, а обоснование на ложь - опровержением (см. 3.3; 3.4).

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

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

Структура объяснения: експланандум (лат. explanatio - объяснение, толкование) - то, что требует объяснения; предмет объяснения. Обозначается символом В; експлананс (лат. explanatio - объяснение, толкование) - это то, посредством чего дается объяснение; основание объяснения. Обозначается символом А; "потому что" - выражение, которое определяет отношение логического следования (вывода) експланандума с експлананса. Формально структура объяснения приобретает такого выражения: "В том, что есть А", где Б - символ, который обозначает определенный предмет объяснения (конкретное действие, событие, явление, процесс и т.п.); А - символ, который обозначает основание объяснения (закон, принцип, правило, аксиома; факт; цель, мотив, намерение и т.п.); выражение "В том, что есть А" удостоверяет отношение выведения експланандума с експлананса. Для одного експланандума может быть несколько оснований объяснения. Возьмем, для примера" одно из объяснений, почему дорожает бензин. "Бензин дорожчує том, что из-за повышения цен на бензин увеличиваются затраты на его перевозку", где "Бензин дорожает" - експланандум (В); "из-За повышения цен на бензин увеличиваются затраты на его перевозку" - експлананс (А); "потому что" - отношение следования (вывода) експланандума с експлананса.

Различают рациональные и иррациональные способы объяснения. Експланансом (основанием) рационального объяснения является научный закон, скажем, рациональное объяснение, почему нельзя построить "вечный двигатель", то есть машину, способную совершать полезную работу без пополнения энергии извне и без каких-либо внутренних изменений. "Вечный двигатель" нельзя построить потому, что это противоречит первому закону термодинамики (А = Я - АС/), который утверждает: "любая машина может совершать работу над внешними силами только за счет получения извне количества теплоты Я или уменьшения своей внутренней энергии ДС/".

Експланансом (основанием) иррационального объяснения есть культурные традиции, принятые в конкретном социокультурном среде, авторитеты, общепринятое мнение и др. Например: "Лицо Н. действует именно так, потому что существует такая традиция"; "Я считаю это правильным, потому что так считают большинство людей".

в Зависимости от сферы соображений выделяют следующие способы объяснения: обыденное; научное; философское; религиозное и др.

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

Особенности и способы научного объяснения подробно рассмотрены в разд. 6 (6.3).

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