«Н.Ю.Сулейманова Логика Учебное пособие для студентов направления 080100.62 Экономика (бакалавриат) Балаково 2012 1 УДК 16 ББК 87.4 С-89 Рецензенты: кандидат философских наук, доцент Безнос И.А. кандидат социологических ...»
Утвердительные атрибутивные суждения – это суждения, в которых выражается полное или частичное включение класса предметов в класс предметов или же принадлежность некоторого предмета классу предметов.
Утвердительные реляционные суждения – предметы находятся в определенном отношении.
Фигуры категорического силлогизма – это формы силлогизма, различаемые по положению среднего термина (M) в посылках.
Форма мысли – это структура мысли, т.е. способ связи ее составных частей. Формами являются понятия, суждения (высказывания), умозаключения, теории и т.д.
Функтор – это языковое выражение, не являющиеся ни именем, ни высказыванием и служащие для образования новых имен или высказываний из уже имеющихся (слово «есть» это – функтор).
Функциональное определение, в нем раскрывается назначение предмета, его роль и функции.
Функциональные знаки (знаки местных функций) – выражения, обозначающие предметные функции, операции («+», «»).
Характеристика есть выделение лишь некоторых, наиболее важных и существенных в каком-либо отношении признаков предмета.
Частные атрибутивные суждения – это суждения с частичным включением или невключением класса предметов в класс предметов.
Чисторазделительное умозаключение – это умозаключение, в котором обе или все посылки являются разделительными суждениями.
Чистоусловное умозаключение – это такое опосредованное умозаключение, в котором обе посылки являются условными суждениями.
Члены деления – полученные в результате самой операции деления виды родового понятия.
Эквивалентные, или равнозначные суждения. В них объединяются суждения с взаимной (прямой и обратной) условной зависимостью.
Они называются еще с двойной импликацией. Их образует логическая связка «если и только если… то» ().
Энтимема – это сокращенный силлогизм, т.е. какая-либо часть его (одна из посылок или вывод) не выражаются явно, а содержатся в уме.
Эпихейрема – это такой сложносокращенный силлогизм, обе посылки которого представляют собой энтимемы (сокращенные простые категорические силлогизмы).
Язык – это знаковая система, используемая для фиксации, переработки и передачи информации.
ПЕРСОНАЛИИ
Аристотель (384–322 гг. до н. э.), древнегреческий философ. Учился у Платона в Афинах; в 355 г. до н. э. основал Ликей, или перипатетическую школу. Воспитатель Александра Македонского.Сочинения Аристотеля охватывают все отрасли тогдашнего знания.
Основоположник формальной логики, создатель силлогистики.
Основные сочинения по логике – свод «Органон», который включает «Категории», «Об истолковании», «Аналитики» 1-я и 2-я, «Топика».
Бэкон Ф. (1561–1626), английский философ, родоначальник английского материализма. Лорд-канцлер при короле Якове I. В трактате «Новый органон» (1620) провозгласил целью науки увеличение власти человека над природой, предложил реформу научного метода – очищение разума от заблуждений, обращение к опыту и обработка его посредством индукции, основа которой – эксперимент.
Гегель Г. (1770–1831), немецкий философ, создавший на объективноидеалистической основе систематическую теорию диалектики.
Евбулид (из Милета IV в. до н. э.), древнегреческий философ-идеалист, представитель мегарской школы, известен своими парадоксами или «апориями» («Лжец», «Куча», «Плешивый», «Рогатый» и др.). Диоген Лаэртский приписывает ему сочинение «О Диогене», посвященное Диогену Синопскому.
Кант И. (1724–1804), родоначальник немецкой классической философии, профессор университета в Кёнигсберге, иностранный почетный член Петербургской АН (1794), первый, кто попытался сознательно ввести диалектику в логику.
Лейбниц Г. (1646–1716), немецкий философ. С 1676 г. на службе у ганноверских герцогов, основатель и президент Бранденбургского научного общества (позднее – Берлинская АН), по просьбе Петра I разработал проекты развития образования и государственного управления в России, в духе рационализма развил учение о прирожденной способности ума к познанию высших категорий бытия и всеобщих и необходимых истин логики и математики («Новые опыты о человеческом разуме» 1704), предвосхитил принципы современной математической логики («Об искусстве комбинаторики» 1666).
Милль Дж. Стюарт (1806–1873), английский философ и экономист, идеолог либерализма, в «Системе логики» (т. 1–2, 1843) разработал индуктивную логику, которую трактовал как общую методологию наук.
Пирс Ч. (1839–1914), американский философ, логик, математик, естествоиспытатель. Родоначальник прагматизма. Выдвинул принцип, согласно которому содержание понятие целиком исчерпывается представлением о его возможных последствиях. Основатель семиотики.
Работы по математической логике.
Эйлер Л. (1707–1783), математик, механик, физик и астроном. По происхождению швейцарец. В 1726 г. был приглашен в Петербургскую АН и переехал в 1727 г. в Россию. Автор работ по математическому анализу, теории чисел, небесной механики и др.
СПИСОК СИМВОЛОВ
Переменные для понятий – A, B, C, D ….Переменные для высказываний – a, b, c, p, q … p /\ q – конъюнкция p \/ q – слабая дизъюнкция p \/ q – сильная дизъюнкция p q – импликация pq – эквивалениция необходимо А - А случайно А - А возможно А - А невозможно А - ~ закон тождества – А = А (А равносильно А) или А А (если А, то А) закон противоречия - >(А /\ >А) закон исключенного третьего – А \/ >А квантор общности xP(x) квантор существования xP(x).
S – P – состав простого атрибутивного суждения, где S – это субъект или логическое подлежащее, а P – это предикат или логическое сказуемое.
x R y – состав реляционного суждения, где x и y – предметы мысли, а R – отношение между ними.
Все M есть P Все S есть M Все S есть P – это состав силлогизма, где P – больший термин, это предикат заключения; M – средний термин; S – меньший термин, это субъект заключения. M служит в посылках для связывания S и P и отсутствует в заключении.
Учебно-методическое издание Сулейманова Наталья Юрьевна
ЛОГИКА
Компьютерная верстка: Н.В.Ивлева Оформление: Н.Н. Чечелева Подписано в печать 20.11.2012г.Бумага типогр. № 1. Формат 60х84 1/ Печать Riso. Гарнитура «Таймс».
Уч.-изд.л. 8,4 Усл. печ. л. 11, Тираж 500 экз. Заказ №