Заглавная страница Избранные статьи Случайная статья Познавательные статьи Новые добавления Обратная связь КАТЕГОРИИ: АрхеологияБиология Генетика География Информатика История Логика Маркетинг Математика Менеджмент Механика Педагогика Религия Социология Технологии Физика Философия Финансы Химия Экология ТОП 10 на сайте Приготовление дезинфицирующих растворов различной концентрацииТехника нижней прямой подачи мяча. Франко-прусская война (причины и последствия) Организация работы процедурного кабинета Смысловое и механическое запоминание, их место и роль в усвоении знаний Коммуникативные барьеры и пути их преодоления Обработка изделий медицинского назначения многократного применения Образцы текста публицистического стиля Четыре типа изменения баланса Задачи с ответами для Всероссийской олимпиады по праву Мы поможем в написании ваших работ! ЗНАЕТЕ ЛИ ВЫ?
Влияние общества на человека
Приготовление дезинфицирующих растворов различной концентрации Практические работы по географии для 6 класса Организация работы процедурного кабинета Изменения в неживой природе осенью Уборка процедурного кабинета Сольфеджио. Все правила по сольфеджио Балочные системы. Определение реакций опор и моментов защемления |
Правила силлогизма (правило терминов и правило посылок).
Силлогизмом (в узком смысле) называется двупосылочное умозаключение, удовлетворяющее след. условиям: 1) существует единственный термин, который входит в обе посылки этого умозаключения (такой термин называется средним термином данного умозаключения). 2) Если термин входит в обе посылки этого умозаключения, то он не входит в заключение этого умозаключения. 3) В любую посылку этого умозаключения входит термин, входящий в заключение этого умозаключения. Формальным силлогизмом (в узком смысле) называется двупосылочное умозаключение в формальной силлогистике, удовлетворяющее условиям: 1) существует единственный терм ФЯС, который входит в обе посылки этого умозаключения (такой терм ФЯС называется средним термом данного умозаключения). 2) Если терм ФЯС входит в обе посылки этого умозаключения, то он не входит в заключение этого умозаключения. 3) В любую посылку этого умозаключения входит терм ФЯС, входящий в заключение этого умозаключения. Правила для термина. 1) Средний термин распределен хотя бы в одной посылке. 2) Если крайний термин не распределен в посылке, то он не распределен в заключении Замечание: крайний термин в силлогизме- это термин, входящий в силлогизм и не являющийся его средним термином. Правила для посылок. 1) Хотя бы 1 из посылок утвердительна. 2) Если обе посылки утвердительны, то и заключение утвердительно. 3) Если хотя бы 1 из посылок отрицательна, то и заключение отрицательно. Формальный язык логики предикат. Кванторная теория, в частности логика предикатов, - это логическая теория, язык которой позволяет анализировать высказывания и умозаключения с учётом внутренней структуры простых высказываний. Алфавит-множество исходных символов, которые подразделяются на нелогические, логические и технические. При анализе контекстов естественного языка в логике предикантов выделяют три основных типа (категории) нелогических терминов:имена, предметные функторы и предикаторы. Именем называется термин, обозначающий отдельный объект(индивид). Среди имен выделяют простые и сложные. Простые имена не содержат никакой информации об обозначаемых ими индивидов, являются как бы метками этих объектов — их называют именами — ярлыками, или собственными именами.
Сложные имена — не только обозначают предмет, но и указывают его какие — либо свойства, характеристики. Другой класс нелогических терминов составляют предметные функторы, которые являются знаками так называемых предметных функций. Их аргументами и значениями являются индивиды. Термины, с помощью которых в языке представляются предметные функции, называются предметными функторами. К третьему типу нелогических терминов относятся предикаторы. Предикаторы - это знаки свойств и отношений. Термины, представляющие свойства - являются одноместными предикаторами. Термины, представляющие отношения между предметами являются многоместными предикаторами. Значением n-местного предикатора является некоторое множество n-ок индивидов (последовательностей, состоящих из n объектов). Алфавит 1. Индивидные константы - параметры собственных имен естественного языка. В качестве символов будем использовать буквы a,b,c,d с индексом и без индекса. a,b,c,d,a1,b1,c1,d1,a2 и т.д. 2. n - местные предметно-функциональные константы (n больше или равно 1) - параметры n- местных функтуров естественного языка. Fn,gn,hn,f1n,g1n и т.д Верхний индекс указывает на местность константы. 3. Третью группу составляют n - местные предикаторные константs (n больше или равно 1) Pn,Qn,Rn,Sn,P1n
Помимо этих есть ещё одна группа нелогических (дескриптивных) символов - предметные (индивидные переменные) x,yz,x1,y1,z1 и т.д
|
|||||
Последнее изменение этой страницы: 2017-02-05; просмотров: 95; Нарушение авторского права страницы; Мы поможем в написании вашей работы! infopedia.su Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Обратная связь - 3.133.109.30 (0.006 с.) |