Студопедия Главная Случайная страница Обратная связь

Разделы: Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

Группа связок, работающих на высказываниях (пропозициональные связки)





отрицание (не, неверно, что)

и

или

если – то

эквивалентно (если и только если, тогда и только тогда)

(2)

выражения количества – кванторы

все

некоторые

(3)

а также неразличение объектов в данном контексте – равенство

 

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

 

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

С точки зрения этого метода типологии смыслов и значений языковых выражений существуют два принципиально разных типа нелогических[5] выражений:

(1) те, которые обладают самостоятельным смыслом, «завершенные» выражения, - их тоже в свою очередь два вида:

(1а) предложения – с логической точки зрения важно, что это выражения, с которыми связываются (как минимум) два объекта – истина и ложь, или истинно и ложно; только предложения осмысленно оценить как истинные или как ложные;

(1b) выражения, обозначающие ровно один объект – логические имена;

(2) «незавершенные» выражения, которые не обладают самостоятельным смыслом, но с их помощью можно строить предложения и новые логические имена (т.е. задавать новые объекты).

Незавершенные выражения разделяются на 2 типа:

(2а) те, с помощью которых мы получаем новые имена, они называются функторы;

(2b) те, с помощью которых мы строим предложения, такие выражения называются предикаты.

Таким образом, с точки зрения логики предикатов каждое нелогическое выражение относится к одному из четырех типов, оно

либо логическое имя (=задает ровно один объект),

либо предложение,

либо функтор,

либо предикат.

Местность (валентность, арность) функтора – количество имен, которое нужно к нему присоединить, чтобы получить логическое имя.

Местность (валентность, арность) предиката – количество имен, которое нужно к нему присоединить, чтобы получить предложение.

Таким образом, общая «формула» такова:

n- местный функтор + n (логических) имен = (логическое) имя   n-местный предикат + n (логических) имен = предложение

 

 

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

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

Земля (планета)

второй президент США - логическое имя (данное выражение задает ровно один объект).

2 (натуральное число 2)







Дата добавления: 2015-03-11; просмотров: 448. Нарушение авторских прав; Мы поможем в написании вашей работы!




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


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


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


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

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

Законы Генри, Дальтона, Сеченова. Применение этих законов при лечении кессонной болезни, лечении в барокамере и исследовании электролитного состава крови Закон Генри: Количество газа, растворенного при данной температуре в определенном объеме жидкости, при равновесии прямо пропорциональны давлению газа...

Ганглиоблокаторы. Классификация. Механизм действия. Фармакодинамика. Применение.Побочные эфффекты Никотинчувствительные холинорецепторы (н-холинорецепторы) в основном локализованы на постсинаптических мембранах в синапсах скелетной мускулатуры...

Мотивационная сфера личности, ее структура. Потребности и мотивы. Потребности и мотивы, их роль в организации деятельности...

Классификация ИС по признаку структурированности задач Так как основное назначение ИС – автоматизировать информационные процессы для решения определенных задач, то одна из основных классификаций – это классификация ИС по степени структурированности задач...

Внешняя политика России 1894- 1917 гг. Внешнюю политику Николая II и первый период его царствования определяли, по меньшей мере три важных фактора...

Studopedia.info - Студопедия - 2014-2024 год . (0.01 сек.) русская версия | украинская версия