Помощь по Теле2, тарифы, вопросы

Санкт-Петербургский Институт Внешнеэкономических

Связей Экономики и Права.

Контрольная работа

по дисциплине: Логика и теория аргументации

на тему: Понятие о силлогизмах

Калининград 2010

Введение

Основные особенности силлогизма

История возникновения понятия

Заключение

Список литературы

Введение

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

Силлогизмы делятся на непосредственные и посредственные.

Непосредственные силлогизмы – это, в которых вывод совершается из одной посылки.

Посредственные – это силлогизмы, в которых вывод совершается из двух и более посылок.

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

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

Основные особенности силлогизма

Во-первых, всякий силлогизм должен состоять из двух посылок и заключения. Иногда одна из посылок опускается, и силлогизм сокращается до посылки и выводы. Такое сокращение называется энтинемой.Например, фраза "Все девушки любят цветы. Маша любит цветы" - энтинема, в которой опущена посылка «Маша - девушка», однако мы её подразумеваем (посылку, а не Машу, конечно же).Обратите внимание: так как силлогизм - это дедуктивное умозаключение, то полученный вывод не может быть более общим, чем посылки, на основании которых он был сделан.Данное утверждение проверяется сравнением терминов.Например, в силлогизме«Все растения - организмы,цветы - растения,следовательно, цветы - организмы»мы имеем три термина: «организмы», «растения» и «цветы», причем «организмы» - это больший термин, «растения» - средний, а «цветы» -меньший.При этом средний термин в заключение не входит, его функция - быть связующим звеном между большим и меньшим терминами с целью их сравнения, поскольку сами по себе они не могут быть сравнены, поэтому силлогизмы ещё называют посредственными умозаключениями .Данную связь можно выразить следующим принципом: «Если одна вещь находится в другой, а эта другая - в третьей, то и первая также находится в третьей».Аналогично: "Если одна вещь находится в другой, а эта другая - вне третьей, то и первая также находится вне третьей".Это очевидное на первый взгляд положение называется аксиомой силлогизма.Исходя из этой аксиомы, имеем принцип:«Все, что утверждается относительно целого, утверждается и относительно каждого частного, которое в нем содержится». Аналогично обстоит дело и с отрицанием относительно целого.

В зависимости от характера большей посылки, силлогизмы бывают трех видов:- категорические (которые делятся на полные, т.е. состоящие из двух посылок - эпихейремы и сокращенные - энтинемы);- условные (большая посылка - условное суждение);- разделительные (большая посылка - разделительное суждение).Как уже отмечалось ранее, каждый силлогизм состоит из трех суждений. А поскольку в одном суждении должен содержаться только один термин, то терминов в силлогизме также должно быть ровно три.Если в суждениях будет содержаться более или менее трех терминов, то вывод сделать будет невозможно.Например, из посылок «Все политики - обманщики . Рузвельт был хорошим семьянином » нельзя сделать вывод «Рузвельт был обманщиком» или «Все политики - хорошие семьянины». Но если бы посылки звучали так: «Все политики обманщики . Рузвельт был политиком », мы бы могли сделать вполне ясный вывод, потому что имели бы три термина, а не четыре.Следующий принцип построения силлогизмов звучит так: из двух отрицательных суждений нельзя вывести никакого заключения.Например:Физик - не гуманитарий.Историк - не физик.Из этих утверждений мы не можем сделать вывод, что историк - не гуманитарий. Вернее, такой вывод не будет удовлетворять законам логики.Для сравнения: если бы отрицательным было бы только одно суждение (например: физик - не гуманитарий, историк - гуманитарий), то мы могли бы сделать определенный вывод: историк - не физик.Из этого принципа следует следующий: если одна из посылок отрицательна, то и заключение должно быть отрицательным.Аналогичные законы применимы и к частным утверждениям : если одно из суждений частное, то и вывод должен быть частным.Например:Некоторые люди завистливы.Все англичане - люди.Некоторые англичане завистливы.Помимо этого, из двух частных утверждений нельзя сделать вывод.Например, из посылок «Некоторые физики - романтики» и «Некоторые садоводы - романтики»вывода сделать мы не сможем, поскольку заключение не следует необходимо (то есть садоводу совершенно необязательно быть физиком, и наоборот). Это происходит из-за того, что средний термин не распределен.Отсюда вытекает следующий принцип: средний термин должен быть взят во всем объеме хотя бы в одной посылке. То есть если в качестве посылок мы возьмем утверждения «Некоторые люди завистливы, некоторые англичане завистливы» (где термин «завистливы» будет средним), то заключения мы не сделаем.Следовательно, имеем принцип, аналогичный двум предыдущим парам принципов: термины, не взятые в посылках во всем объеме, не могут быть и в заключении взяты во всем объеме.Поэтому из посылок вроде "Некоторые люди завистливы, все англичане люди" мы можем сделать только такой вывод: "Некоторые англичане завистливы" (да простят меня жители туманного Альбиона).

Это рассуждение, состоящее из трёх простых атрибутивных высказываний: двух посылок и одного заключения. Посылки силлогизма разделяются на большую (которая содержит предикат заключения) и меньшую (которая содержит субъект заключения). По положению среднего термина силлогизмы делятся на фигуры , а последние по логической форме посылок и заключения - на модусы .

Пример силлогизма:

Всякий человек смертен (большая посылка)

Сократ - человек (меньшая посылка)

Сократ смертен (заключение)

Структура простого категорического силлогизма

В силлогизм входит ровно три термина:

S - меньший термин: субъект заключения (входит также в меньшую посылку);

P - больший термин: предикат заключения (входит также в большую посылку);

M - средний термин: входит в обе посылки, но не входит в заключение.

Подлежащие S (субъект) - то, относительно чего мы высказываем (делится на два вида):

1. Определенное: Единичное, Частное, Множественное

Единичные [суждения] - в которых подлежащее является индивидуальным понятием. Прим: «Ньютон открыл закон тяготения»

Частное суждение - в котором подлежащим суждения является понятие, взятое в части своего объема. Прим: «Некоторые S суть P»

Множественное суждение - это те, в которых несколько подлежащих классовых понятий. Прим: «насекомые, пауки, раки есть членистоногие»

2. Неопределенное. Прим: «светает», «больно» и т. п.

Сказуемое P (предикат) - то, что мы высказываем (2 вида суждений):

Повествовательные - это суждение относительно событий, состояний, процессов или деятельности скоропроходящих. Прим: «Роза в саду цветет».

Описательные - когда одному или многим предметам приписывается какое-нибудь свойство. Субъектом всегда является определенная вещь. Прим: «Огонь горяч», «снег бел».

Отношение между подлежащим и сказуемым:

1. Суждения тождества - понятия субъекта и предиката имеют один и тот же объем. Прим: «всякий равносторонний треугольник есть равноугольный треугольник»

2. Суждения подчинения - понятия с менее широким объемом подчиняется понятию с более широким объемом. Прим: «Собака есть домашнее животное»

3. Суждения отношения - именно пространства, времени, отношения. Прим: «Дом находится на улице»

При определении отношения между подлежащим и сказуемым важна четкая формализация терминов, поскольку бездомная собака хоть и не является домашней с точки зрения проживания в доме, все равно относится к классу домашних животных с точки зрения принадлежности по социально-биологическому признаку. То есть следует понимать, что «домашнее животное» по социально-биологической классификации в отдельных случаях может быть «внедомашним животным» с точки зрения места обитания, то есть с социально-бытовой точки зрения.

История возникновения понятия

Учение о силлогизме впервые изложено у Аристотеля в его «Первой аналитике». Он говорит лишь о трёх фигурах категорического силлогизма, не упоминая о возможной четвёртой. Особенно подробно он рассматривает роль модальности суждений в процессе умозаключения. Преемник Аристотеля, основатель ботаники Теофраст, по словам Александра Афродизийского (в его комментарии к первой «Аналитике» Аристотеля), прибавил ещё пять модусов (modi) к первой фигуре силлогизма; эти пять модусов впоследствии были выделены Клавдием Галеном (жившим во II-м в. н. э.) в особую четвёртую фигуру. Кроме того, Теофраст и его ученик Евдем занялись анализом условного и разделительного силлогизмов. Они допустили пять видов умозаключений: два из них соответствуют условному силлогизму, а три - разделительному, который они рассматривали как видоизменение условного силлогизма. Этим и заканчивается развитие учения о силлогизме в древности, если не считать того добавления, которое сделали стоики в учении об условном силлогизме. По словам Секста Эмпирика, стоики признавали некоторые виды условного и разделительного силлогизма αναπόδεικτοι , то есть не нуждающимися в доказательствах, и рассматривали их как прототипы силлогизма (как, например, смотрит на силлогизм Зигварт). Стоики признавали пять видов подобных силлогизмов, совпадающих с Теофрастовыми. Секст Эмпирик приводит следующие примеры для этих пяти видов:

1. Если наступил день, то имеется свет; но теперь день, следовательно, имеется свет.

Форма́льные нау́ки - совокупность наук, занимающихся исследованием формальных систем. К формальным наукам, например, относятся: логика, математика, теоретическая информатика, теория информации, теория систем, теория принятия решений, статистика, некоторые аспекты лингвистики.

Формальные науки берут начало в математических текстах, датируемых 1800 г. до н. э. (вавилонская математика), 1600 г. до н. э. (древнеегипетская математика) и 1000 г. до н. э. (древнеиндийская математика), задолго до формирования научного метода. Индийские, древнегреческие и арабские математики внесли большой вклад в математику, в Китае и Японии независимо развивалась собственная математическая традиция.

Кроме математики, логика является примером формальной науки с древней историей. Явный анализ способов логического вывода имел место в Китае, Индии и Древней Греции. На современную логику оказала влияние, главным образом, древнегреческая традиция, которая получила продолжение в трудах арабских логиков.

Другие формальные науки во многом связаны с математикой и вышли из неё. В начале XVII века появляются первые работы по теории вероятностей (статистике). С середины XX века начинают бурно развиваться исследование операций, теория информации, теоретическая информатика и другие формальные науки. В отношении теоретической информатики следует отметить, что её зарождение усматривается в работах Тьюринга и иногда прослеживается до Бэббиджа и даже Лейбница. Появление новых дисциплин показывает, что математика была только одной из многих в ряду формальных наук.

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

1. Классификация наук // Философия: Энциклопедический словарь. - М.: Гардарики. Под редакцией А. А. Ивина. 2004

Литература

• Mario Bunge (1985). Philosophy of Science and Technology . Springer.
• Mario Bunge (1998). Philosophy of Science . Rev. ed. of: Scientific research . Berlin, New York: Springer-Verlag, 1967.
• C. West Churchman (1940). Elements of Logic and Formal Science , J.B. Lippincott Co., New York.
• James Franklin (1994). The formal sciences discover the philosophers" stone - www.maths.unsw.edu.au/~jim/philosophersstone.pdf. In: Studies in History and Philosophy of Science . Vol. 25, No. 4, pp. 513-533, 1994

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

История

Формальные науки начались перед формулировкой научного метода, с самыми древними математическими текстами, относящимися ко времени 1800 до н.э (вавилонская математика), 1600 до н.э (египетская математика) и 1000 до н.э (индийская математика). С тех пор различные культуры, такие как индийские, греческие и исламские математики сделали крупные вклады в математику, в то время как китайцы и японец , независимо от более отдаленных культур, развили свою собственную математическую традицию.

Помимо математики, логика - другой пример одного из самых старых предметов в области формальных наук. Как явный анализ методов рассуждения, логика получила поддержанное развитие первоначально в трех местах: Индия с 6-го века до н.э, Китай в 5-м веке до н.э и Греция между 4-м веком до н.э и 1-м веком до н.э. Формально сложная обработка современной логики спускается с греческой традиции, будучи информированной от передачи аристотелевской логики , которая была тогда далее развита исламскими логиками. Индийская традиция также продолжалась в ранний современный период. Родная китайская традиция не выживала вне старины , хотя индийская логика была позже принята в средневековом Китае.

Поскольку много других дисциплин формальной науки полагаются в большой степени на математику, они не существовали, пока математика не развилась на относительно продвинутый уровень. Пьер де Ферма и Блез Паскаль (1654), и Христиан Гюйгенс (1657) начали самое раннее исследование теории вероятности. В начале 1800-х, Гаусс и Лаплас развили математическую теорию статистики, которая также объяснила использование статистики в страховке и правительственном бухгалтерском учете. Математическая статистика была признана математической дисциплиной в начале 20-го века.

В середине двадцатого века математика была расширена и обогащена повышением новых математических наук и технических дисциплин, таких как операционное исследование и системное проектирование. Эти науки извлекли выгоду из фундаментального исследования в электротехнике и затем развитием электрического вычисления , которое также стимулировало информационную теорию, числовой анализ (научное вычисление), и теоретическая информатика. Теоретическая информатика также извлекает выгоду из дисциплины математической логики, которая включала теорию вычисления.

Различия от других форм науки

В противоположность эмпирическим наукам (естественный и социальный), формальные науки не включают эмпирические процедуры. Они также не предполагают знание случайного факта или описывают реальный мир. В этом смысле формальные науки и логически и методологически априорно, поскольку их содержание и законность независимы от любых эмпирических процедур.

Хотя формальные науки - концептуальные системы, испытывая недостаток в эмпирическом содержании, это не означает, что у них нет отношения к реальному миру. Но это отношение таково, что их формальные заявления держатся во всех возможных мыслимых мирах (см. действительную формулу) – тогда как, заявления, основанные на эмпирических теориях, такой как, скажем, Общая теория относительности или эволюционная биология, не держатся во всех возможных мирах, и, может в конечном счете оказаться, не держится в этом мире также. Именно поэтому формальные науки применимы во всех областях и полезны во всех эмпирических науках.

Из-за их неэмпирического характера формальные науки истолкованы, обрисовав в общих чертах ряд аксиом и определений, из которых выведены другие заявления (теоремы). Другими словами, теории в формальных науках не содержат синтетических заявлений ; все их заявления

формальные науки биологии, формальные науки юношей
Форма́льные нау́ки - совокупность наук, занимающихся исследованием формальных систем. К формальным наукам относятся: математика, логика, кибернетика, теоретическая информатика, теория информации, теория систем, теория принятия решений, статистика, некоторые аспекты лингвистики.

Формальные науки берут начало в математических текстах, датируемых 1800 г. до н. э. (вавилонская математика), 1600 г. до н. э. (древнеегипетская математика) и 1000 г. до н. э. (древнеиндийская математика), задолго до формирования научного метода. Индийские, древнегреческие и арабские математики внесли большой вклад в математику, в Китае и Японии независимо развивалась собственная математическая традиция.

Логика, так же как и математика, является примером формальной науки с древней историей (смотри статью История логики). Анализ способов логического вывода имел место в Древнем Китае, Древней Индии и Древней Греции. На современную логику оказала влияние, главным образом, древнегреческая традиция, которая получила продолжение в трудах арабских логиков.

Другие формальные науки во многом связаны с математикой и вышли из неё. начале XVII века появляются первые работы по теории вероятностей (статистике). С середины XX века начинают бурно развиваться исследование операций, теория информации, теоретическая информатика и другие формальные науки. отношении теоретической информатики следует отметить, что её зарождение усматривается в работах Тьюринга и иногда прослеживается до Бэббиджа и даже Лейбница. Появление новых дисциплин показывает, что математика была только одной из многих в ряду формальных наук.

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

Примечания

1. Классификация наук // Философия: Энциклопедический словарь. - М.: Гардарики. Под редакцией А. А. Ивина. 2004

Литература

• Mario Bunge (1985). Philosophy of Science and Technology. Springer.
• Mario Bunge (1998). Philosophy of Science. Rev. ed. of: Scientific research. Berlin, New York: Springer-Verlag, 1967.
• C. West Churchman (1940). Elements of Logic and Formal Science, J.B. Lippincott Co., New York.
• James Franklin (1994). The formal sciences discover the philosophers" stone. In: Studies in History and Philosophy of Science. Vol. 25, No. 4, pp. 513-533, 1994

Ссылки

• Interdisciplinary conferences - Foundations of the Formal Sciences - материалы конференций по формальным наукам (англ.)

формальные науки биологии, формальные науки изучающие, формальные науки о, формальные науки юношей

Формальные науки Информацию О