6. Виды простых функторов. Функтор и функция. Смыслы функторов.

Виды простых функторов

• Оператор

• Предикатор

• Конектор

_{Таблица простых функторов}

Название функтора	Аргуенты	Замыкание	Примеры
оператор	имена	имя	«… + 1» «… + …»
предикатор	имена	предложение	«… + 1 = …» «…< 0 »
конектор	предложение	предложение	«наверно, что … Отрицание» «… и …»
Конъюкция			«… или - дезъюнкция» «или … или …»
Импликация			« если … то…» «… если»

Функтор — неоспоримый ряд аргументов

Функция – многозначное соответствие между 2-мя предметными областями, одна из которых называется областью определения функции.

Смыслы функтуров

• Оператор выражает операцию, т.е. функцию, область определения, совокупность предметов или картежей, а область значения – некоторая совокупность предметов.

• Предикатор выражает предикат, т.е. пропозициональную функцию, область определения которой – некоторая совокупность предметов или картежей предметов, а область значения – 2 абстрактных предмета-истина, ложь.

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

7. Сложные функторы.

Кванторы.

Виды кванторов.

Функтор — неоспоримый ряд аргументов

К сложным функторам относятся абстракторы, классообразование, кванторы.

2 вида кванторов:

• Квантор существования

• Квантор общности

Квантор – сложный функтор, переводящий предикаторы в предложении путем связывания переменной.

Квантор существования.(существует такой …, что обозначает)

Квантор общности.(для каждого … справедливо …)

8. Логическая форма.

Пропозициональная и предикатная формы.

Алгоритм нахождения логической формы высказывания.

Логическая форма– перевод выражения естественного языка на язык логики, где все нелогические постоянные замены переменными соответствующих категорий

Виды логических форм:

• Пропозициональная(в качестве переменных содержит предложение, в качестве постоянных - предложение)

• Предикатная ( в качестве переменных предикаторы, а логические постоянные – конекторы,кванторы)

Алгоритм

9. Понятие как форма мышления.

Выражение понятий в языке логики.

Логические характеристики понятия.

Понятие — это форма мышления, отражающая предметы в их существенных признаках.

Понятие как форма мышления отражает предметы и их совокупности в абстрактной, обобщенной форме на основании их существенных признаков.

Понятие — одна из основных форм научного познания. Формируя понятия, наука отражает в них изучаемые ею предметы, явления, процессы. Например, экономическая теория сформировала такие понятия, как «товар», «капитал», «стоимость»; правовые науки — понятия «преступление», «наказание», «вина», «умысел», «правоспособность» и др.