| dbpedia-owl:abstract
|
- Die Syllogismen sind ein Katalog von Typen logischer Argumente. Sie bilden den Kern der im vierten vorchristlichen Jahrhundert entstandenen antiken Logik des Aristoteles und der traditionellen Logik bis ins 19. Jahrhundert. Als Syllogistik wird ganz allgemein die Lehre von den Syllogismen bezeichnet. Sie untersucht insbesondere, unter welchen Voraussetzungen Syllogismen gültig sind. Syllogismen sind immer nach dem gleichen Muster aufgebaut. Jeweils zwei Prämissen (Voraussetzungen), Obersatz und Untersatz genannt, führen zu einer Konklusion. Die Prämissen und die Konklusion sind Aussagen von einem bestimmten Typ, in denen jeweils einem Begriff, dem syllogistischen Subjekt, ein anderer Begriff, das syllogistische Prädikat (nicht gleichbedeutend mit Subjekt und Prädikat in der Grammatik), in bestimmter Weise zu- oder abgesprochen wird. In Abhängigkeit von der Stelle, an der sie im Syllogismus auftreten, werden die vorkommenden Begriffe Oberbegriff, Mittelbegriff und Unterbegriff genannt. Ein Beispiel für einen gültigen Syllogismus ist Folgendes:
- A syllogism or logical appeal is a kind of logical argument in which one proposition (the conclusion) is inferred from two others of a certain form, i.e. categorical proposition. In Prior Analytics, Aristotle defines syllogism as "a discourse in which, certain things having been supposed, something different from the things supposed results of necessity because these things are so. " (24b18–20) Despite this very general definition, he limits himself first to categorical syllogisms (and later to modal syllogisms). The syllogism was at the core of traditional deductive reasoning, where facts are determined by combining existing statements, in contrast to inductive reasoning where facts are determined by repeated observations. The syllogism was superseded by first-order predicate logic following the work of Gottlob Frege, in particular his Begriffsschrift (Concept Script) (1879).
- El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones como premisas y otra como conclusión, siendo la última una inferencia necesariamente deductiva de las otras dos. Fue formulado por primera vez por Aristóteles, en su obra lógica recopilada como El Organon, de sus libros conocidos como Primeros Analíticos, (en griego Proto Analytika, en latín –idioma en el que se reconoció la obra en Europa Occidental-, Analytica Priora). Aristóteles consideraba la lógica como lógica de relación de términos. Los términos se unen o separan en los juicios. Los juicios aristotélicos son considerados desde el punto de vista de unión o separación de dos términos, un sujeto y un predicado. Hoy se hablaría de proposición. La diferencia entre juicio y proposición es importante. La proposición afirma un hecho como un todo, que es o no es, como contenido lógico del conocimiento. El juicio, en cambio, atribuye un predicado a un sujeto lógico del conocimiento otorgando a los términos al mismo tiempo una función lingüística de significado y una función formal lógica. Esto tiene su importancia en el concepto mismo del contenido de uno, el juicio, y la otra, la proposición, especialmente en los casos de negación, como se ve en la problemática de la lógica silogística. Mantenemos aquí la denominación de juicio por ser lo más acorde con lo tradicional, teniendo en cuenta que este tipo de lógica, como tal, está en claro desuso, sustituida por la lógica simbólica en la que esta lógica es interpretada como lógica de clases. Ver cálculo lógico. La relación entre los términos de un juicio, al ser comparado con un tercero que hace de "término medio", hace posible la aparición de las posibles conclusiones. Así pues, el silogismo consta de dos juicios, premisa mayor y premisa menor, en los que se comparan tres términos, de cuya comparación se obtiene un nuevo juicio como conclusión. La lógica trata de establecer las leyes que garantizan que, de la verdad de los juicios comparados (premisas), se pueda obtener con garantía de verdad un nuevo juicio verdadero (conclusión).
- Il sillogismo è un tipo di ragionamento dimostrativo che fu teorizzato per la prima volta da Aristotele, il quale, partendo dai tre tipi di termine "maggiore" (che funge da predicato nella conclusione), "medio" e "minore" (che nella conclusione funge da soggetto) classificati in base al rapporto contenente - contenuto, giunge ad una conclusione collegando i suddetti termini attraverso brevi enunciati (premesse). La forma di sillogismo più comune è il sillogismo categorico (solitamente per sillogismo si intende sillogismo categorico). Le proposizioni che compongono un sillogismo categorico possono essere: universali affermative ("Tutti gli A sono B"), universali negative ("Nessun A è B"), particolari affermative ("Qualche A è B"), particolari negative ("Qualche A non è B"). La posizione del termine medio nelle due premesse determina la figura del sillogismo: Aristotele ne classificò tre, gli scolastici ne aggiunsero una quarta. La forma delle proposizioni contenute nel sillogismo ne determina il modo; la filosofia scolastica classificò i modi del sillogismo adoperando la prima o la seconda vocale (rispettivamente se universale o particolare) dei verbi affirmo e nego. Per fare un esempio: (premessa maggiore) Tutti gli uomini sono mortali (premessa minore) Tutti i greci sono uomini (conclusione) Dunque tutti i greci sono mortali Nell'esempio in questione, uomo, mortale e greco sono termini (rispettivamente medio, maggiore e minore) Un secondo esempio più significativo può essere: (premessa maggiore) Ogni animale è mortale (premessa minore) Ogni uomo è animale (conclusione) Dunque ogni uomo è mortale Il termine medio è l'elemento grazie al quale avviene l'unione e funge da connessione fra gli altri due;questo perché il termine medio(l'animale) da una parte è incluso nel termine maggiore(mortale) e dall'altra include in sè il termine minore(uomo). Un sillogismo è considerato valido se questo è logicamente valido. La validità di un sillogismo non dipende dalla verità delle affermazioni che lo compongono. sicché il sillogismo: ogni animale vola l'asino è un animale dunque l'asino vola è VALIDO, anche se le frasi che lo compongono non sono vere. Un metodo, o definizione, rozza che spesso viene usata è dire che " un sillogismo è valido se ogni sillogismo della stessa forma che contiene proposizioni vere conclude correttamente " Questo metodo tuttavia non ha dignità logica, in quanto, seppur funzionante, non utilizza alcuna " logica ". Un sillogismo che contiene tutte proposizioni vere può essere riconosciuto non valido, anche se vero. Es Gli dei sono immortali Gli uomini non sono dei Dunque gli uomini non sono immortali Tale sillogismo è NON VALIDO logicamente, anche se tutte le proposizioni sono vere, e questo è possibile capirlo non andando a permutare tutte le possibili frasi vere che mantengono la struttura del sillogismo, ma ragionando logicamente. Gli dei sono immortali [frase vera] ci dice che gli dei appartengono alla categoria degli immortali. Di tale categoria non sappiamo nulla, e nulla dice che questa sia composta solo da dei. Gli uomini non sono dei [vera vera] ma questo non esclude il fatto che essi possano essere immortali pur rimanendo non dei. In sostanza, la validità di un sillogismo è una caratteristica intrinseca della logica che in esso è contenuta. Non è necessario iterare finché non si evidenzia che da due proposizioni vere ne scaturisca una falsa per provarne la validità, ma basta studiarlo attentamente e evidenziarne l'illogicità, come fatto nell'esempio precedente. Le meccaniche logiche dei sillogismi sono ricondicibili a quelle delle condizioni Necessarie e Sufficienti, capisaldi della logica moderna. Combinatoriamente, i modi dei sillogismi possibili sono 64: ci sono infatti tre proposizioni indipendenti ciascuna delle quali può assumere quattro forme diverse, per un totale di 4×4×4 combinazioni. Quelli validi però sono soltanto 14, cioè i quattro modi (Barbara, Celarent, Darii, Ferio) perfetti (che Aristotele definì autoevidenti) del sillogismo di prima figura ed altri 10 di cui è possibile dimostrare la validità tramite le tre regole di conversione o la reductio ad impossibile. La teoria della Distribuzione dei termini permette di decidere se un sillogismo è valido.
- 三段論法（さんだんろんぽう、ギリシア語：syllogismos）は、論理的推論の型式のひとつ。典型的には、大前提、小前提および結論という3個の命題を取り扱う。 もともと言語依拠段階的推論法というような意味合いである。3段と限定されてはいない。そのように限定されるかのような誤解を招く邦訳語であるが、古代ギリシャが確立したものが3段構成だったために、欧米文明へ向けての開化という実際目的に即した訳語が作られた。インド固有の三段論法では5段構成である。「三段論法」が3段構成であるとは限らない。 古代ギリシャからのものは「大前提」「小前提」および「結論」の三つの不可欠の命題から成る推論規則である。（たとえ下記の仮言三段論法の場合でも、条件付けられた後の命題がある。）ヨーロッパにおいてはアリストテレスによって、一般の側から個別の側へ向かう演繹法に準拠して整備された。「大前提」には法則的に導き出される一般的な原理を置き、「小前提」には目前の具体的な事実を置き、「結論」を導き出す。以下に定言的三段論法の例を示す。 大前提：全ての人間は死すべきものである。 小前提：ソクラテスは人間である。 結論: ゆえにソクラテスは死すべきものである。 （なお、これが今日に至るまでに伝統的なものになっているが、アリストテレスがその著『分析論後書』において例示している、定言命題を欠いて仮言命題一本のみの「三段論法」とは形式が異なる。） 三段論法を構成する各命題はA,E,I,Oの4つの型に分類される。 A ＝ 全称肯定判断 ≪全ての人間は生物である≫ E ＝ 全称否定判断 ≪全ての人間は不死ではない≫ I ＝ 特称肯定判断 ≪ある人間は学生である≫ O ＝ 特称否定判断 ≪ある人間は学生ではない≫ さらに、三段論法を構成する要素として、結論における主語Sと述語P、そしてこの結論を導くために前提に現れる媒概念Mがある。各命題における S, P, Mの配列の仕方を「格」 と呼び、これには4つの可能性がある。 三段論法の「格」 格大前提小前提結論 第一格M - PS - MS - P 第二格P - MS - MS - P 第三格M - PM - SS - P 第四格P - MM - SS - P なお、第四格は、ガレノスが形式整備のために補完したものである。アリストテレスは、実用性は無いと考え、省いたものと考えられている。 3つの各命題ごとに4種類の型があり、さらに4つの格があることから、全部で4×4=256通りの三段論法がありえるが、実際にはそのうちの19通りのみから恒真な結論が得られる。このとき2つの前提はともに真でなければならない。（真でない前提からは、しばしばパラドックスが導かれる。） その19式を示せば、第一格では AAA, EAE, AII, EIO、第二格では EAE, AEE, EIO, AOO、第三格では AAI, EAO, IAI, AII, OAO, EIO、第四格では AAI, AEE, IAI, EAO, EIO である。 定言的三段論法における命題のこれらの組み合わせを覚えるため、中世にはsyllogismus と呼ばれるラテン語の詩が作られた。それは、 Barbara celarent darii ferioque prioris. Cesare camestres festino baroco secundoe. Tertia darapti disamis datisi felapton, bocardo ferison habet. Quarta insuper addit bramantip camenes dimaris fesapo fresison. この詩から子音を取り除くことによって三段論法の式が得られ（上記の詩の強調文字の部分が式である）、それぞれの式を呼ぶのには詩のおのおのの単語を用いる。 また、詩の1行目が第一格、2行目が第二格、3行目が第三格、4行目が第四格に対応している。 また、第一格以外の格は、第一格に還元され得るが、式の名称に含まれる子音のうちs, m, p および c は還元の際の手引きとなるもので、s および p はそれぞれ直前の母音で表される式を単純換位あるいは限量換位せよという意味であり、m は前提の変換を命じ、c は三段論法の換位すなわち帰謬法によって証明せよという意味である。 冒頭で示した三段論法の例は第一格の Barbaraに対応している。 大前提：全ての人間は死すべきものである。（A, M-P：全てのMはPである） 小前提：ソクラテスは人間である。（A, S-M：全てのSはMである） 結論: ゆえにソクラテスは死すべきものである。（A, S-P：全てのSはPである） なお上に示した定言的三段論法のほか、その発展として蓋然的（仮言的）三段論法、選言的三段論法がある。 また、ジョン・スチュアート・ミルは、如上のソクラテス云々の場合、結論を知っていないならば、大前提の全称判断は得られないのだから、三段論法は一種の循環論証であると批判した。
- Een syllogisme is in de logica een redenering, die bestaat uit drie proposities: een majorpremisse, een minorpremisse en een conclusie. De proposities bevatten een minor term of subject, een major term of predicaat en een middenterm. In syllogismen komen vier soorten proposities voor: Universeel bevestigend (A) Particulier bevestigend (I) Universeel ontkennend (E) Particulier ontkennend (O) Er zijn vier verschillende geldige syllogismen: Barbara, Celarent, Darii en Ferio. Een redenering op basis van deze syllogismen heet categorische deductie.
- Syllogisme er en type logiske slutninger som først ble studert av Aristoteles. En syllogisme består av to premisser (en oversetning og en undersetning) og en konklusjon. I en gyldig syllogisme er konklusjonen en logisk følge av premissene. Eksempel: premiss: Mennesker er dødelige (oversetning) premiss: Sokrates er et menneske (undersetning) Konkluson: Sokrates er dødelig Enthymemet er den rethoriske syllogismen. Det vil si å utelate noe (med vilje) som gjør at man må selv komme frem til konklusjonen. Da blir man tvunget til å delta i konstruksjonen av de argumentene som skal overbevise oss. Da har man allerede satt i gang en selv-overbevisningsprosess.
- Sylogizm jest to wnioskowanie o dwóch przesłankach, przy czym obie przesłanki zawierają wspólny element, a każdy element wniosku zawarty jest w dokładnie jednej przesłance.
- Um silogismo (do grego antigo συλλογισμός, "conexão de idéias", "raciocínio"; composto pelos termos σύν "com" e λογισμός "cálculo") é um termo filosófico com o qual Aristóteles designou a argumentação lógica perfeita, constituída de três proposições declarativas que se conectam de tal modo que a partir das duas primeiras, chamadas premissas, é possível deduzir uma conclusão. A teoria do silogismo foi exposta por Aristóteles em Analíticos anteriores. Silogismo regularÉ o argumento típico dedutivo, composto de 3 proposições - Premissa Maior (P), Premissa Menor (p) e Conclusão (c) - onde 3 termos, Maior (T), Médio(M) e Menor (t), são compostos 2 a 2 Num silogismo, as premissas são um ou dois juízos que precedem a conclusão e dos quais ela decorre como consequente necessário dos antecedentes, dos quais se infere a consequência. Nas premissas, o termo maior (predicado da conclusão) e o termo menor (sujeito da conclusão) são comparados com o termo médio, e assim temos a premissa maior e a premissa menor segundo a extensão dos seus termos. Um exemplo clássico de silogismo é o seguinte: Todo homem é mortal. Sócrates é homem. Logo, Sócrates é mortal.
- Простой категорический силлоги́зм — рассуждение, состоящее из трёх простых атрибутивных высказываний: двух посылок и одного заключения. Посылки силлогизма разделяются на бо́льшую (которая содержит предикат заключения) и меньшую (которая содержит субъект заключения). По положению среднего термина силлогизмы делятся на фигуры, а последние по логической форме посылок и заключения — на модусы. Пример силлогизма: Всякий человек смертен (бо́льшая посылка) Сократ — человек (меньшая посылка) ------------ Сократ смертен (заключение)
- En syllogism är ett sätt att göra en slutsats eller konklusion ur två förutsättningar, premisser. Begreppet härstammar från Aristoteles som beskrev ett antal giltiga syllogismer. Det finns även ogiltiga syllogismer, sätt att dra slutsatser som ytligt sett liknar giltiga syllogismer, men som inte är riktiga. Man kan skilja på giltiga syllogismer och ogiltiga syllogismer. Exempel: Giltig syllogism Premiss: Alla A är B Premiss: Alla B är C Slutsats: Alla A är C Exempel: Ogiltig syllogism Premiss: Alla A är B Premiss: Alla A är C Slutsats: Alla B är C
- 在传统逻辑中，三段论是在其中一个命题（结论）必然的从另外两个命题（叫做前提）中得出的一种推论。这个定义是传统的，可以宽松的从亚里士多德的《前分析篇》Book I, c. 1中推出来。希腊语“sullogismos”的意思是“演绎”。对传统意义上的三段论的详细描述请参见直言三段论。 三段论由三个部分组成：大前提、小前提和结论，它在逻辑上从大前提和小前提得出来的。大前提是一般性的原则。小前提是一个特殊陈述。在逻辑上，结论是从应用大前提于小前提之上得到的。
- 直言三段论是所有前提都是直言命题的演绎推理。 例子: 所有動物都終有一死。 所有人都是動物。 所以，所有人都終有一死。 前两个命题叫做前提。如果这个三段论是有效的，这两个前提逻辑上蕴涵了最后的命题，它叫做结论。结论的真实性建立在前提的真实性和它们之间的联系之上：中项在前提中必须周延（distribute）至少一次，形成在结论中的主词和谓词之间的连接。即使直言三段论是有效的，但如果有前提为假的话结论仍可能是假。
- En logique aristotélicienne, le syllogisme est un raisonnement logique à deux propositions (également appelées prémisses) conduisant à une conclusion qu'Aristote a été le premier à formaliser. Par exemple, Tous les hommes sont mortels, or les Grecs sont des hommes, donc les Grecs sont mortels est un syllogisme; les deux prémisses sont des propositions données et supposées vraies, le syllogisme permettant de valider la véracité formelle de la conclusion. La science des syllogismes est la syllogistique, à laquelle, entre autres, se sont intéressés les penseurs de la scolastique médiévale, mais aussi Antoine Arnauld, Gottfried Leibniz et Emmanuel Kant. Elle est l'ancêtre de la logique mathématique moderne et a été enseignée jusqu'à la fin du Modèle:XIXe siècle.
|
| rdfs:comment
|
- Sylogizm jest to wnioskowanie o dwóch przesłankach, przy czym obie przesłanki zawierają wspólny element, a każdy element wniosku zawarty jest w dokładnie jednej przesłance.
- 在传统逻辑中，三段论是在其中一个命题（结论）必然的从另外两个命题（叫做前提）中得出的一种推论。这个定义是传统的，可以宽松的从亚里士多德的《前分析篇》Book I, c. 1中推出来。希腊语“sullogismos”的意思是“演绎”。对传统意义上的三段论的详细描述请参见直言三段论。 三段论由三个部分组成：大前提、小前提和结论，它在逻辑上从大前提和小前提得出来的。大前提是一般性的原则。小前提是一个特殊陈述。在逻辑上，结论是从应用大前提于小前提之上得到的。
- 直言三段论是所有前提都是直言命题的演绎推理。 例子: 所有動物都終有一死。 所有人都是動物。 所以，所有人都終有一死。 前两个命题叫做前提。如果这个三段论是有效的，这两个前提逻辑上蕴涵了最后的命题，它叫做结论。结论的真实性建立在前提的真实性和它们之间的联系之上：中项在前提中必须周延（distribute）至少一次，形成在结论中的主词和谓词之间的连接。即使直言三段论是有效的，但如果有前提为假的话结论仍可能是假。
- Die Syllogismen sind ein Katalog von Typen logischer Argumente. Sie bilden den Kern der im vierten vorchristlichen Jahrhundert entstandenen antiken Logik des Aristoteles und der traditionellen Logik bis ins 19. Jahrhundert. Als Syllogistik wird ganz allgemein die Lehre von den Syllogismen bezeichnet. Sie untersucht insbesondere, unter welchen Voraussetzungen Syllogismen gültig sind. Syllogismen sind immer nach dem gleichen Muster aufgebaut.
- A syllogism or logical appeal is a kind of logical argument in which one proposition (the conclusion) is inferred from two others of a certain form, i.e. categorical proposition. In Prior Analytics, Aristotle defines syllogism as "a discourse in which, certain things having been supposed, something different from the things supposed results of necessity because these things are so.
- El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones como premisas y otra como conclusión, siendo la última una inferencia necesariamente deductiva de las otras dos. Fue formulado por primera vez por Aristóteles, en su obra lógica recopilada como El Organon, de sus libros conocidos como Primeros Analíticos, (en griego Proto Analytika, en latín –idioma en el que se reconoció la obra en Europa Occidental-, Analytica Priora).
- Il sillogismo è un tipo di ragionamento dimostrativo che fu teorizzato per la prima volta da Aristotele, il quale, partendo dai tre tipi di termine "maggiore" (che funge da predicato nella conclusione), "medio" e "minore" (che nella conclusione funge da soggetto) classificati in base al rapporto contenente - contenuto, giunge ad una conclusione collegando i suddetti termini attraverso brevi enunciati (premesse).
- 三段論法（さんだんろんぽう、ギリシア語：syllogismos）は、論理的推論の型式のひとつ。典型的には、大前提、小前提および結論という3個の命題を取り扱う。 もともと言語依拠段階的推論法というような意味合いである。3段と限定されてはいない。そのように限定されるかのような誤解を招く邦訳語であるが、古代ギリシャが確立したものが3段構成だったために、欧米文明へ向けての開化という実際目的に即した訳語が作られた。インド固有の三段論法では5段構成である。「三段論法」が3段構成であるとは限らない。 古代ギリシャからのものは「大前提」「小前提」および「結論」の三つの不可欠の命題から成る推論規則である。（たとえ下記の仮言三段論法の場合でも、条件付けられた後の命題がある。）ヨーロッパにおいてはアリストテレスによって、一般の側から個別の側へ向かう演繹法に準拠して整備された。「大前提」には法則的に導き出される一般的な原理を置き、「小前提」には目前の具体的な事実を置き、「結論」を導き出す。以下に定言的三段論法の例を示す。 大前提：全ての人間は死すべきものである。 小前提：ソクラテスは人間である。 結論: ゆえにソクラテスは死すべきものである。 （なお、これが今日に至るまでに伝統的なものになっているが、アリストテレスがその著『分析論後書』において例示している、定言命題を欠いて仮言命題一本のみの「三段論法」とは形式が異なる。） 三段論法を構成する各命題はA,E,I,Oの4つの型に分類される。 A ＝ 全称肯定判断 ≪全ての人間は生物である≫ E ＝ 全称否定判断 ≪全ての人間は不死ではない≫ I ＝ 特称肯定判断 ≪ある人間は学生である≫ O ＝ 特称否定判断 ≪ある人間は学生ではない≫ さらに、三段論法を構成する要素として、結論における主語Sと述語P、そしてこの結論を導くために前提に現れる媒概念Mがある。各命題における S, P, Mの配列の仕方を「格」 と呼び、これには4つの可能性がある。 三段論法の「格」 格大前提小前提結論 第一格M - PS - MS - P 第二格P - MS - MS - P 第三格M - PM - SS - P 第四格P - MM - SS - P なお、第四格は、ガレノスが形式整備のために補完したものである。アリストテレスは、実用性は無いと考え、省いたものと考えられている。 3つの各命題ごとに4種類の型があり、さらに4つの格があることから、全部で4×4=256通りの三段論法がありえるが、実際にはそのうちの19通りのみから恒真な結論が得られる。このとき2つの前提はともに真でなければならない。（真でない前提からは、しばしばパラドックスが導かれる。） その19式を示せば、第一格では AAA, EAE, AII, EIO、第二格では EAE, AEE, EIO, AOO、第三格では AAI, EAO, IAI, AII, OAO, EIO、第四格では AAI, AEE, IAI, EAO, EIO である。 定言的三段論法における命題のこれらの組み合わせを覚えるため、中世にはsyllogismus と呼ばれるラテン語の詩が作られた。それは、 Barbara celarent darii ferioque prioris.
- Een syllogisme is in de logica een redenering, die bestaat uit drie proposities: een majorpremisse, een minorpremisse en een conclusie. De proposities bevatten een minor term of subject, een major term of predicaat en een middenterm. In syllogismen komen vier soorten proposities voor: Universeel bevestigend (A) Particulier bevestigend (I) Universeel ontkennend (E) Particulier ontkennend (O) Er zijn vier verschillende geldige syllogismen: Barbara, Celarent, Darii en Ferio.
- Syllogisme er en type logiske slutninger som først ble studert av Aristoteles. En syllogisme består av to premisser (en oversetning og en undersetning) og en konklusjon. I en gyldig syllogisme er konklusjonen en logisk følge av premissene. Eksempel: premiss: Mennesker er dødelige (oversetning) premiss: Sokrates er et menneske (undersetning) Konkluson: Sokrates er dødelig Enthymemet er den rethoriske syllogismen.
- Um silogismo (do grego antigo συλλογισμός, "conexão de idéias", "raciocínio"; composto pelos termos σύν "com" e λογισμός "cálculo") é um termo filosófico com o qual Aristóteles designou a argumentação lógica perfeita, constituída de três proposições declarativas que se conectam de tal modo que a partir das duas primeiras, chamadas premissas, é possível deduzir uma conclusão. A teoria do silogismo foi exposta por Aristóteles em Analíticos anteriores.
- Простой категорический силлоги́зм — рассуждение, состоящее из трёх простых атрибутивных высказываний: двух посылок и одного заключения. Посылки силлогизма разделяются на бо́льшую (которая содержит предикат заключения) и меньшую (которая содержит субъект заключения). По положению среднего термина силлогизмы делятся на фигуры, а последние по логической форме посылок и заключения — на модусы.
- En syllogism är ett sätt att göra en slutsats eller konklusion ur två förutsättningar, premisser. Begreppet härstammar från Aristoteles som beskrev ett antal giltiga syllogismer. Det finns även ogiltiga syllogismer, sätt att dra slutsatser som ytligt sett liknar giltiga syllogismer, men som inte är riktiga. Man kan skilja på giltiga syllogismer och ogiltiga syllogismer.
- En logique aristotélicienne, le syllogisme est un raisonnement logique à deux propositions (également appelées prémisses) conduisant à une conclusion qu'Aristote a été le premier à formaliser. Par exemple, Tous les hommes sont mortels, or les Grecs sont des hommes, donc les Grecs sont mortels est un syllogisme; les deux prémisses sont des propositions données et supposées vraies, le syllogisme permettant de valider la véracité formelle de la conclusion.
|
