Формальная логика

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

чением данного типа, их можно разделить на:

термины дескриптивные (описательные)

ИМЕНА - слова и словосочетания, являющиеся знаками предметов; могут быть охарактеризованы, как языковое выражение такого рода, которое, будучи соотнесенное с каким-либо предметом, явлением, процессом действительности превращает его в предмет мысли.

ПРЕДИКАТОРЫ – выражения языка предметными значениями, которых являются свойства и отношения, которые употребляются, как предметы познания;

ПРЕДМЕТНЫЕ ФУНКТОРЫ – предметными значениями, которых являются предметно-предметные функции, их основная роль образование сложных, описательных имен и степеней свойств;

термины логические

ЛОГИЧЕСКИЕ КОНСТАНТЫ – это логические связки: «если…, то .», «и», «или», «не»; операторы - кванторные слова: «всякий», «любой», «некоторые», «каждый»; оператор определенной дискрипции: «то, который»; оператор неопределенной дискрипции: «некий из».

и, отдельно термин

ПРЕДЛОЖЕНИЯ – знаки особого рода – повествовательные, вопросительные, побудительные предложения.

Перечень знаков синтаксических категорий языка логических высказываний (ЯЛВ) называют исходными символами языка.

Исходные символы ЯЛВ:

1. Пропозициональные переменные p, g, r, s;
2. Логические константы (связки): конъюнкция (&, Ù, союз «и»), дизъюнкция (Ú, «или»), импликация (É, ® «если…, то…»), отрицание (¬), эквиваленция, логическая равнозначность (≡ «…если, и только если,…», «…тогда, и только тогда, когда…»);
3. Технические знаки: левая скобка ( ( ), правая скобка ( ) ).

ВЫПОЛНЕНИЕ ЗАДАНИЯ

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

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

В состав данного сложного суждения входят следующие термины:

ИМЕНА – Характерная особенность, Россия, неравномерность освоение, территория, процесс организации, природные и территориальные ресурсы, ресурсообмен, управление.

ПРЕДИКАТОРЫ – вовлеченность, иных, общий.

ПРЕДМЕТНЫЕ ФУНКТОРЫ – диспропорции, неравномерность, неполная.

ЛОГИЧЕСКИЕ КОНСТАНТЫ - и, всегда, содержащий, является.

ПРЕДЛОЖЕНИЯ – повествовательные.

Символическая форма суждения:

( aÙb) ≡(cÙ(dÚt))Ég

Литература

Асмус В.Ф. Логика. – М., 1947

Войшвилло Е.К., Дегтярев М.Г. Логика. Учебник. – М., 2001.

Гетманова А.Д. Логика. Словарь и задачник. – М., 1998.

Маклаков А.Г. Общая психология – СПб., - 2001.

Общая психология. Учебник. \ Под ред. А.В.Петровского. – М., 1986.

Тоноян Л.Г. Сборник задач и упражнений по логике. – СПб., 2000.

[1] Асмус В.Ф. Логика. – М., 1947

[2] Войшвилло Е.К., Дегтярев М.Г. Логика. Учебник. – М., 2001.

[3] Общая психология. Учебник. \ Под ред. А.В.Петровского. – М., 1986.

[4] Маклаков А.Г. Общая психология – СПб., - 2001.

[5] Тоноян Л.Г. Сборник задач и упражнений по логике. – СПб., 2000.

[6] Асмус В.Ф. Логика. – М., 1947

[7] Войшвилло Е.К., Дегтярев М.Г. Логика. Учебник. – М., 2001.

[8] Асмус В.Ф. Логика. – М., 1947

[9] Войшвилло Е.К., Дегтярев М.Г. Логика. Учебник. – М., 2001.

 Скачать реферат