Simple categorical syllogism, ary ohatra ny fampiasana amin'ny fomba fanao ara-pitsarana

Ny lojika, tahaka ny fantatrareo ihany, no mandrafitra ny voazaha toetra, ary ny tsoa-kevitra. Iray amin'ireo zavatra fototra namoronana - ny categorical syllogism - izany fanatsoahan-kevitra, laharana ny deduction, izany hoe ny fifaranan'ny ny manokana toerana sasany maneran-tany. Izany notsoahina avy amin'ny hevitra roa lehibe na entana mifampitohitohy levitra teny. Koa satria fanehoan-kevitra toy izany ihany ny roa, ny syllogism atao hoe tsotra, fa noho ny zava-misy fa olona ankasitrahana ilay entana (na nandà) fa categorically, ity fanambarana tsotra antsoina hoe categorical. Indro misy ohatra tsotra toy izany inference. Ny tohan-kevitra voalohany: 'ny olona rehetra eto an-tany. " Ny tohan-kevitra faharoa: "Ivan - ny olona." Famaranana, dia ny fitsarana, noho izany, hoe: "Ivan - eto an-tany" Araka ny efa hitantsika, marina na diso entana rehetra dia tsy heverina eto. Mitondra ho toy ny fanomezana ny zava-misy fa ny fiainan'ny olombelona dia vita hatramin'izay, ary Ivan an'ny olombelona.

Ohatra iray amin'izany unpretentious tsoa-kevitra, dia afaka mahita fa tsotra categorical syllogism manana ny rafitra. Na izany na tsy inference enti-(teny sasany sarobidy tsy voafaritra, eo amin'ny raharaha - mety maty-belona) foana midadasika kokoa noho ilay foto-kevitra (Ivan). Noho izany, ilay entana misy ny enti-dia antsoina hoe lehibe iray, fa ny iray izay ahitana ny foto-kevitra - kely. Mamehy ireo fanehoan-kevitra teny mpanelanelana M (mpanelanelana) - amin'ity tranga ity, ny olona, ny olona. Noho izany, amin'ny fampiharana ny didim-pitsarana famakafakana ny hevitra mirindra tsara ny manomboka amin'ny fitadiavana toerana teo aminy sy ny enti-'ny foto-kevitra, ary koa ny fisian'ny mpanalalana eo amin'izy ireo.

Eto amin'ity fanadihadiana, dia tokony homarihina fa categorical syllogism tsotra dia tsy maintsy ahitana ny axiom izay tsy naneho, fa misy: ny zavatra rehetra izay nankatoavina na nandà rehetra karazana zavatra mihatra amin'ny zavatra tsirairay avy izany karazana. Noho izany, ny tolo-kevitra toy izany dia ho diso: 1. Men ho tonga ray. 2. Petera - olona. 3. Petera - rainy. Ao amin'io ohatra, ny axiom ny syllogism tsy hajaina satria paternity tsy omena ny olona rehetra. Noho izany, rehefa mila inferences fanorenana mafy hanaraka ny fitsipika. Tsy misy afa-fito: ny telo amin'izy ireo mifandray amin'ny teny, ary ny efatra - entana.

Hanapaka iray: tsotra categorical syllogism ahitana afa-tsy teny telo. Fahefatra rehetra teny - indray mandeha. Ny famantarana ny hevitra samy hafa tafiditra fahadisoana. Ohatra: 1.Sidorov nanao halatra. 2. Sidorov - iombonana. 3. Ny anarana dia nanao ny halatra. Eto Sidorov ary ny teny dia manana dikany samihafa. Fitsipika faharoa: Ny teny hoe taratasy fanomezam-pahefana dia tsy maintsy ho hita ao amin'ny faritry. Raha ny fifandraisana misy eo ny enti-sy ny foto-kevitra tsy azo nametraka na dia voaporofo, ary ny syllogism mbola azo antoka: 1. Ny olona sasany - mpamono olona. 2. Ivan azo antsoina hoe lehilahy anankiray. 3. Ivan - mpamono. Ary farany, ny fitsipika fahatelo. Raha toa ka tsy mampiasa ny teny hoe ao ny enti-tohan-kevitra, nefa teo ihany ny amin'ny famaranana, dia ho diso syllogism. Ohatra ny fahadisoana toy izany dia azo aseho toy izao manaraka izao: 1. Ao amin'ny faritra Moskoa raharaha famonoana olona. 2. St. Petersburg no misy ao amin'ny faritra Moskoa. 3. Ao amin'ny Saint-Pétersbourg, tsy tranga famonoana olona.

Ho fanampin 'ny teny ny lalàna dia tokony hanaraka ny fitsipika ao amin'ny faritry. Raha kely indrindra dia ny iray amin'izy ireo dia tsy maintsy hitondra ny fanambarana, satria na inona na inona mba hampitoetra azy, dia tsy maintsy avy amin'ny zavatra hampandositra. Raha iray amin'ireo fanehoan-kevitra nataony nandroso - fandavana, dia ny fanatsoahan-kevitra tsy maintsy ho ratsy. Koa ho tsotra categorical syllogism dia nandray tsara, iray, fara fahakeliny ny fanehoan-kevitra nataony handroso tsy maintsy ho ny toetra ankapobeny ny categorical fitsarana. Ary ny farany faritry fitsipika: raha amin'ny kely indrindra ka - manokana, dia tsy maintsy ho ny fanatsoahan-kevitra manokana. Ohatra: 1. Ny heloka hiharan'ny famaliana marina (tanteraka fitsarana). 2. Ivanov nanao heloka bevava (tranga manokana). 3. Ivanov tokony ho voasazy.