Ovaj zaključak ima dva ispravna načina: 1) potvrđivanje i 2) poricanje.

1. U afirmativnom modusu, premisa, izražena kategoričnim sudom, potvrđuje istinitost osnove uslovne premise, a zaključak potvrđuje istinitost posljedice je usmjerena od iskaza o istinitosti temelja; izjava o istinitosti posljedica.

Afirmativni način daje pouzdane zaključke. Ima shemu:

2. U negirajućem modusu, premisa izražena kategoričnim sudom poriče istinitost posljedice uslovne premise, a zaključak poriče istinitost razloga. Obrazloženje je usmjereno od poricanja istine posljedice do poricanja istine razloga.

Dakle, od načina uslovno kategoričkog zaključivanja, koji iscrpljuju sve moguće kombinacije premisa, dva daju pouzdane zaključke: afirmativni i negirajući. Oni izražavaju zakone logike i nazivaju se ispravnim načinima uslovno kategoričkog zaključivanja. Ovi modusi podliježu pravilu: afirmacija razloga vodi afirmaciji posljedice, a negacija posljedice vodi negaciji razloga.

35. Razdvajanje-kategorički zaključak.

Jednostavni prijedlozi koji čine disjunktivni prijedlog nazivaju se članovi disjunkcije ili disjunkti.

Potvrđujući jedan član disjunkcije, nužno moramo negirati drugi, a poricanjem jednog od njih moramo potvrditi drugi. U skladu s tim razlikuju se dva načina separacijsko-kategoričkog zaključivanja: (1) afirmativno-negativno i (2) negativno-afirmativno.

1. U afirmativno-negativnom modusu, manja premisa - kategorički sud - potvrđuje jedan član disjunkcije, zaključak - također kategorički sud - negira drugog člana.

Zaključak prema ovom modusu uvijek je pouzdan ako se poštuje pravilo: glavna premisa mora biti isključiva disjunktivna presuda, ili presuda striktne disjunkcije. Ako se ovo pravilo ne poštuje, ne može se dobiti pouzdan zaključak.

2. U negirajuće-afirmativnom modusu, manja premisa poriče jedan disjunkt, zaključak potvrđuje drugi.

Shema negativno-afirmativnog modusa:

˥p/q

< >- simbol zatvorene disjunkcije.

Afirmativni zaključak se dobija negacijom. Poričući jednu disjunkciju, potvrđujemo drugu. Zaključak prema ovom načinu je uvijek pouzdan ako se poštuje pravilo: glavna premisa mora navesti sve moguće propozicije - disjunkte, drugim riječima, glavna premisa mora biti potpuna (zatvorena) disjunktivna izjava. Nemoguće je dobiti pouzdan zaključak korištenjem nepotpune (otvorene) disjunktivne izjave.

Ima dva ispravna načina, dajući zaključak koji nužno proizlazi iz premisa.

I. Afirmativni način(modus ponens).

Formula (1): - je zakon logike.

Možete izgraditi pouzdane zaključke od izjave o osnovi do izjave o posljedicama. Navedimo dva primjera.

Ako želite uživati ​​u umjetnosti, onda morate biti umjetnički obrazovana osoba.

Želite da uživate u umetnosti.

____________________________________

Morate biti umjetnički obrazovana osoba.

Da bismo konstruirali još jedan primjer, poslužimo se zanimljivom tvrdnjom velikog ruskog učitelja K. D. Ušinskog: „Ako je osoba oslobođena fizičkog rada i nije navikla na mentalni rad, brutalnost je obuzima” 2 . Koristeći ovu izjavu, konstruisaćemo uslovno kategorički zaključak.

Ako je osoba oslobođena fizičkog rada i nije navikla na mentalni rad, tada je obuzima brutalnost.

Ova osoba je oslobođena fizičkog rada i nije navikla na mentalni rad.

_________________________________________

Ovaj čovjek je savladan brutalnošću.

Svaka upotreba pravila u ruskom jeziku, matematici, fizici, hemiji i drugim školskim disciplinama zasniva se na afirmativnom načinu koji daje pouzdan zaključak, stoga nalazi najširu primjenu u praksi mišljenja.

Ako je ovaj metal natrijum, onda je lakši od vode.

Ovaj metal je natrijum.

____________________________

Ovaj metal je lakši od vode.

II. Negativan mod(modus tollens).

Formula (2): - je također zakon logike

(ovo se može dokazati pomoću tabele).

Moguće je graditi pouzdane zaključke od negacije posljedice do negacije osnove.

Navedimo dva primjera.

Ako se rijeka izlije iz korita, voda poplavi okolna područja.

Riječna voda nije poplavila okolna područja.

____________________________

Rijeka se nije izlila iz korita.

Za konstruiranje drugog uslovno kategoričkog zaključka koristit ćemo se sljedećim iskazom: „...podo je onaj koji je ljut ako je svjedok tuđinske hrabrosti.“ (Dante). Zaključak je konstruisan na sledeći način:

Ako se osoba razbjesni pri pogledu na tuđu hrabrost, onda je podla.

Ovaj čovjek nije zao.

__________________________________

Ovaj čovjek se ne razbjesni pri pogledu na tuđu hrabrost.

Prvi način, koji ne daje pouzdan zaključak.

Formula (3): - nije zakon logike.

Nemoguće je doći do pouzdanog zaključka prelazeći od iskaza posljedice do iskaza razloga. Na primjer, u zaključku

Ako je zaljev zamrznut, onda brodovi ne mogu ući u zaljev.

Plovilima nije dozvoljen ulazak u zaliv.

_____________________________

Zaljev je vjerovatno zaleđen.

zaključak će biti samo vjerovatna prosudba, odnosno zaljev je vjerovatno zaleđen, ali moguće je da je jak vjetar ili da je zaljev miniran ili postoji neki drugi razlog zašto brodovi ne mogu ući u zaljev.

Vjerovatni zaključak bi bio otprilike ovako:

Ako je ovo tijelo grafit, onda je električno provodljivo.

Ovo tijelo je električno provodljivo.

_____________________________

Ovo tijelo je vjerovatno grafitno.

Drugi način, koji ne daje pouzdan zaključak.

Formula (4): - nije zakon logike.

Nemoguće je doći do pouzdanog zaključka prelazeći od poricanja osnove ka negiranju posljedice. Na primjer:

Ako osoba ima povišena temperatura, onda je bolestan.

Ova osoba nema temperaturu.

_____________________________________

Ova osoba vjerovatno nije bolesna.

Ljudi ponekad prave logičke greške kada donose zaključke. Mogli bi zaključiti ovako:

Ako je tijelo podvrgnuto trenju, ono će se zagrijati.

Tijelo nije bilo podvrgnuto trenju.

_____________________

Telo se nije zagrejalo.

Ali zaključak je ovdje samo vjerojatan, a ne pouzdan, jer se tijelo moglo zagrijati iz nekog drugog razloga (od sunca, u pećnici, itd.).

Imajte na umu da je navođenje primjera ove vrste sasvim dovoljno da pokaže da su oblici zaključivanja izraženi formulama (3) i (4) netačni. Ali nijedan broj primjera upotrebe oblika koji odgovaraju formulama (1) i (2) ne može – ako operiramo samo primjerima – da opravda njihovu logičku ispravnost. Za takvo opravdanje potrebna je neka logička teorija. Takva teorija, koja je gotovo odsutna u tradicionalnoj logici, sadržana je u algebri logike. Ako formula u kojoj su konjunkcija premisa i namjeravani zaključak povezani znakom implikacije nije identično istinita, odnosno ne izražava zakon logike, onda zaključak u zaključivanju nije pouzdan. U tabeli istinitosti (Tabela 9) jasno je da se kolone koje odgovaraju formulama (1) (modus ponens) i (2) (modus tollens) sastoje samo od znakova “I” (“tačno”); stoga formule (1) i (2) izražavaju zakone logike, što znači da modus ponens i modus tollens predstavljaju logički ispravne oblike zaključivanja.

Čitaocu ostavljamo da napravi tabelu za pogrešne modove. U njemu ćemo pored znakova “I” vidjeti i znakove “L” (“lažno”), što znači da su izrazi

nisu identično istiniti iskazi, tj. zakoni logike.

Ako se zaključak gradi od iskaza posljedice do iskaza razloga, onda se zbog mnoštva uzroka iz kojih može proizaći ista posljedica može doći do pogrešnog zaključka. Na primjer, kada otkrijete uzrok bolesti neke osobe, morate proći kroz sve mogući razlozi: prehladio se, bio preumoran, bio u kontaktu sa nosiocem bakterija itd.

Kraj rada -

Ova tema pripada sekciji:

Udžbenik logike

Udžbenik iz logike.. Moskva.. sadržaj poglavlja I Predmet i značenje logike..

Ako vam je potreban dodatni materijal na ovu temu, ili niste pronašli ono što ste tražili, preporučujemo da koristite pretragu u našoj bazi radova:

Šta ćemo sa primljenim materijalom:

Ako vam je ovaj materijal bio koristan, možete ga sačuvati na svojoj stranici na društvenim mrežama:

Tweet

Sve teme u ovoj sekciji:

Mišljenje kao predmet za proučavanje logike
Spoznaja kao odraz stvarnosti Spoznaja je dijalektički proces reflektiranja svijeta u umovima ljudi. To je kretanje misli od neznanja do znanja, od nepotpunog i netačnog znanja ka višem

Koncept logičke forme
Logički oblik određene misli je struktura te misli, odnosno način na koji je povezana komponente. Logički oblici ne odražavaju cjelokupni sadržaj svijeta koji postoji izvan nas, već njegov

Teorijski i praktični značaj logike
Možete logički rasuđivati, pravilno izvoditi zaključke, opovrgavati argumente protivnika bez poznavanja pravila logike, kao što ljudi često izražavaju svoje misli na jeziku bez poznavanja gramatike.

Logika i jezik
Predmet proučavanja logike su oblici i zakoni ispravnog mišljenja. Razmišljanje je funkcija ljudskog mozga. Rad je doprinio odvajanju čovjeka od životne sredine i postao temelj

Semantičke kategorije
Izrazi (riječi i fraze) prirodnog jezika koji imaju bilo koje nezavisno značenje mogu se podijeliti u takozvane semantičke kategorije, koje uključuju: 1) rečenice

Koncept kao oblik mišljenja
Koncept je jedan od oblika apstraktnog mišljenja. Specifični objekti i njihova svojstva odražavaju se pomoću oblika čulne spoznaje – osjeta, percepcija, ideja. Na primjer, u ovoj aplikaciji

Vrste pojmova
Koncepti se mogu klasifikovati po obimu i sadržaju. Po obimu, koncepti se dijele na pojedinačne, opšte i prazne. Opseg jednog koncepta je jedan element

Konkretni i apstraktni koncepti
Konkretni koncepti su oni koji odražavaju jedno- ili višeelementne klase objekata (i materijalnih i idealnih). To uključuje koncepte: „kuća“, „svjedok“,

Relativni i nerelativni koncepti
Relativni - koncepti u kojima se zamišljaju objekti, od kojih postojanje jednog pretpostavlja postojanje drugog („djeca” – „roditelji”, „učenik” – „učitelj”, „šef” – „od strane

Pozitivni i negativni koncepti
Pozitivni koncepti karakterišu prisustvo određenog kvaliteta ili stava u objektu. Na primjer, pismena osoba, pohlepa, student koji zaostaje, lijepo djelo, eksploatator itd.

Kolektivni i nekolektivni koncepti
Kolektivni koncepti su oni u kojima se grupa homogenih objekata smatra jedinstvenom cjelinom (na primjer, “puk”, “stado”, “jato”, “sazviježđe”). Provjerimo to ovako. Na primjer, o jednom stablu

Odnosi između pojmova
Predmeti svijeta su međusobno povezani i međusobno zavisni. Stoga su pojmovi koji odražavaju objekte svijeta također u određenim odnosima. Daleks

Vrste nespojivosti: podređenost, suprotnost, kontradikcija
Podređenost (koordinacija) je odnos između volumena dva ili više pojmova koji se međusobno isključuju, ali pripadaju nekom općenitijem generičkom pojmu (na primjer, „smreka“, „

Definicija pojmova
Definicija (ili definicija) pojma je logička operacija koja otkriva sadržaj pojma ili utvrđuje značenje pojma. Koristeći definiciju

Realne i nominalne definicije
Ako je koncept definiran, onda će definicija biti stvarna. Ako je definiran pojam koji označava koncept, onda će definicija biti nominalna. Iz gornjih definicija (1) i (4)

Upotreba definicija; koncepte u procesu učenja
Definicija kroz razlikovanje roda i vrsta i nominalna definicija se široko koriste u nastavnom procesu. Navedimo nekoliko primjera preuzetih iz školskih udžbenika. Do definicija kroz najbližu str

Eksplicitna pravila definicije. Moguće greške u definiciji
1. Definicija mora biti proporcionalna, odnosno obim definišnog koncepta mora biti jednak opsegu definisanog koncepta.

Implicitne definicije
Za razliku od eksplicitnih definicija koje imaju strukturu, u implicitnim definicijama kontekst se jednostavno zamjenjuje za Dfn,

Definicija kroz aksiome
U modernoj matematici i matematičkoj logici široko se koristi tzv. aksiomatska metoda. Dajemo primjer6. Neka sistem nekih elemenata (označenih sa x,

Tehnike slične definiranju koncepata
Nemoguće je definirati sve pojmove (a osim toga, to nije potrebno), stoga se u nauci iu procesu učenja koriste drugi načini uvođenja pojmova - tehnike slične definiciji:

Značenje definicija u nauci i rasuđivanju
Pored uzimanja u obzir formalnih logičkih zahtjeva prilikom definisanja pojma, potrebno je uzeti u obzir i metodološke zahtjeve za definiciju. Definicija koncepta može se formulisati nakon sveobuhvatne studije

Pravila za podjelu pojmova
Da bi podjela bila ispravna, moraju se poštovati sljedeća pravila. 1. Proporcionalnost podjele: obim pojma koji se dijeli mora biti jednak zbiru volumena članova podjele. Na primjer, visoka

Tipovi podjela: prema vrstaotvornim karakteristikama i dihotomna podjela
Prilikom podjele pojma prema osobinama koje formiraju vrstu, osnova podjele je karakteristika po kojoj se formiraju specifični pojmovi; ova osobina stvara vrstu. Na primjer, prema veličini uglova d

Ograničenje i generalizacija pojmova
Pretpostavimo da znamo da je neko naučnik i želimo da razjasnimo svoja saznanja o njemu. Pojasnimo: riječ je o ruskom naučniku, izvanrednom ruskom naučniku-fiziologu I.P. Proizvedeno

Opšte karakteristike presude
Prosudba je oblik mišljenja u kojem se nešto potvrđuje ili poriče o postojanju objekata, vezama između objekta i njegovih svojstava ili odnosima između objekata. itd

Presuda i sugestija
Pojmovi u jeziku izražavaju se jednom riječju ili grupom riječi. Presude se izražavaju narativnim rečenicama koje sadrže neku vrstu poruke ili informacije. Na primjer, "Oluja prekriva nebo tamom",

Vrste jednostavnih presuda
1. Imovinske presude (atributivne). U prosudbama ovog tipa, pripadnost objekta poznatim svojstvima, stanjima i vrstama aktivnosti se potvrđuje ili negira. Primjeri: „Ruža ima ugodan

Distribucija pojmova u kategoričnim sudovima
U presudama, termini S i P mogu biti distribuirani ili neraspoređeni. Pojam se smatra distribuiranim ako je njegov opseg u potpunosti uključen u opseg drugog pojma ili je potpuno isključen

Složeno prosuđivanje i njegove vrste
Složeni sudovi se formiraju od jednostavnih sudova pomoću logičkih veziva: konjunkcija, disjunkcija, implikacija, ekvivalencija i negacija. Tablice istinitosti ove logičke logike

Načini poricanja presuda
Dvije tvrdnje nazivaju se negirajućim ili kontradiktornim ako je jedan od njih istinit, a drugi lažan (to jest, ne mogu biti i istiniti i lažni u isto vrijeme)

Poricanje teških presuda
Da bi se dobila negacija složenih sudova koji sadrže samo operacije konjunkcije i disjunkcije, potrebno je promijeniti predznake operacija u suprotne (tj. konjunkciju u disjunkciju i

Izražavanje logičkih veziva (logičke konstante) u prirodnom jeziku
U razmišljanju operiramo ne samo jednostavnim, već i složenim sudovima, formiranim od jednostavnih putem logičkih veza (ili operacija) - konjunkcija, disjunkcija, implikacija, ekvivalencija, poricanje

Odnosi između sudova prema vrijednostima istine
Sudovi se, kao i pojmovi, dijele na uporedive (imaju zajednički subjekt ili predikat) i neuporedive. Uporedivi sudovi se dijele na kompatibilne i nespojive. U matematici

Podjela presuda po modalitetu
U logici smo do sada razmatrali jednostavne propozicije, koje se nazivaju asertoričkim, kao i složene iskaze sastavljene od jednostavnih. Oni potvrđuju ili poriču

Koncept logičkog zakona
Osnovu materijalističke dijalektike - najdublje i najopsežnije doktrine razvoja - čine osnovni zakoni: zakon međusobnog prelaska kvantitativnih i kvalitativnih promjena, zakon

Zakon identiteta
Zakon identiteta je jedan od zakona ispravnog mišljenja, poštovanje ovog zakona garantuje sigurnost i jasnoću mišljenja. Zakon je formulisan na sledeći način: „U procesu određenog rasuđivanja

Zakon neprotivrečnosti
Dijalektika polazi od stvarnog ontološkog postojanja dijalektičkih kontradikcija u svim objektima stvarnosti. Ali postavljajući zadatak da ih prikažemo, moramo, na osnovu zakona refleksije, poučavati

Zakon isključene sredine
Za dvovrednosnu logiku, ontološki analog ovog zakona je da je specificirani atribut ili prisutan u objektu ili ne. U svojoj knjizi Metafizika Aristotel je formulisao zakon

Zakon dovoljnog razloga
Ovaj zakon je formuliran na sljedeći način: “Svaka prava misao mora biti dovoljno opravdana.” Govorimo o opravdanosti tačno i jedino istinitih misli; Lažne misli se ne mogu dokazati. Postoji x

Upotreba formalnih logičkih zakona u nastavi
Formalni logički zakoni djeluju u svim razmišljanjima, ali u nastavi je njihova svjesna upotreba posebno neophodna, jer je nastava usmjerena na razvijanje pravilnog mišljenja kod učenika.

Opšti koncept zaključivanja
Oblici mišljenja su koncepti, sudovi i zaključci. Indirektno, uz pomoć različitih vrsta zaključivanja, možemo doći do novih saznanja. Konstruirajte zaključak m

Koncept logičke posljedice
Izvođenje posljedica iz datih premisa je široko rasprostranjena logička operacija. Kao što znate, uslovi za istinitost zaključka su istinitost premisa i logička ispravnost zaključka. U

Deduktivno zaključivanje
Deduktivni zaključci su oni zaključci u kojima postoji odnos logičke posljedice između premisa i zaključka. Definicija deduktivnog zaključivanja, data

Koncept pravila zaključivanja
Zaključak proizvodi istinit zaključak ako su premise tačne i ako su ispunjena pravila zaključivanja. Pravila zaključivanja ili pravila transformacije sudova omogućavaju da se od premisa (presuda) pređe na definiciju

Transformacija
Konverzija je vrsta direktnog zaključivanja u kojoj se mijenja kvalitet premise bez promjene njenog kvantiteta, dok je predikat zaključka negacija predikata premise.

Kontrast s predikatom
Ovo je takav direktan zaključak u kojem (u zaključku) predikat je subjekt, subjekt je koncept koji je u suprotnosti s predikatom izvornog suda, a veznik se mijenja u suprotno

Likovi kategoričkog silogizma
Likovi kategoričkog silogizma su oblici silogizma koji se razlikuju po položaju srednjeg pojma M u premisi. Razlikuju se četiri figure (sl. 44).

Načini kategoričkog silogizma
Načini figura u kategoričkom silogizmu su varijante silogizma koje se međusobno razlikuju po kvalitativnim i kvantitativnim karakteristikama svojih premisa i zaključka.

Pravila termina
1. Svaki silogizam mora imati samo tri termina (S, P, M). Greška se naziva "četvorostrukim terminima". Pogrešan zaključak: Kretanje je vječno. Hodanje

Skraćeni kategorički silogizam (entimem)
Entimem ili skraćeni kategorički silogizam je silogizam u kojem nedostaje jedna od premisa ili zaključka. Izraz "entimem" preveden sa grčkog

Složeni i složeni silogizmi (polisilogizmi, sorite, epicheireme)
Polisilogizam (složeni silogizam) su dva ili više jednostavnih kategoričkih silogizama međusobno povezanih na način da zaključak jednog od njih

Formalizacija esiheirema sa opštim prostorijama
Epicheyrema u tradicionalnoj logici je tako složen skraćeni silogizam, čije su obje premise skraćeni jednostavni kategorički silogizmi (entimemi). Cx

Uslovni zaključci
Čisto uslovni zaključak je takav indirektan zaključak u kojem su obje premise uvjetne propozicije. Propozicija se naziva uslovnom ako ima

Jednostavna dizajnerska dilema
Ovaj zaključak se sastoji od dvije premise. Prva premisa kaže da ista posljedica proizlazi iz dva različita razloga. U drugoj premisi, koja je disjunktivni prijedlog

Teška dizajnerska dilema
Ovaj zaključak se zasniva na dvije premise. U prvoj premisi postoje dva razloga, iz kojih proizilaze dvije posljedice; u drugoj premisi, koja je disjunktivna su

Kompleksna destruktivna dilema
Dilema ovog tipa sadrži jednu premisu koja se sastoji od dva uslovna predloga sa različitim osnovama i različitim posledicama; druga premisa je disjunkcija negacija obje posljedice; zaključak je

Trilemma
Trileme, kao i dileme, mogu biti konstruktivne ili destruktivne; svaki od ovih oblika može biti jednostavan ili složen. Jednostavna konstruktivna trilema se sastoji od dva

Logička priroda indukcije
Deduktivno zaključivanje omogućava izvođenje istinitih zaključaka iz istinitih premisa, podložno odgovarajućim pravilima. Induktivni zaključci nam obično ne daju pouzdane, već samo uvjerljive

Matematička indukcija
Jedna od najvažnijih metoda dokazivanja u matematici zasniva se na aksiomu (principu) matematičke indukcije. Neka 1) svojstvo A važi za n - 1; 2) iz pretpostavke da

Vrste nepotpune indukcije
Nepotpuna indukcija se koristi u slučajevima kada, prvo, ne možemo uzeti u obzir sve elemente klase pojava koja nas zanima; drugo, ako je broj objekata beskonačan

pogled. Uvođenje kroz analizu i odabir činjenica
U popularnoj indukciji, posmatrani objekti se biraju nasumično, bez ikakvog sistema. U indukciji, kroz analizu i selekciju činjenica, nastoje da eliminišu slučajnost generalizacija, budući da se sistematski proučavaju od

Koncept vjerovatnoće
Postoje dvije vrste koncepta “vjerovatnosti” – objektivna i subjektivna vjerovatnoća. Objektivna vjerovatnoća je koncept koji karakterizira kvantitativnu mjeru mogućnosti pojave nekog

pogled. Naučna indukcija
Naučna indukcija je zaključivanje u kojem se na osnovu saznanja o potrebnim karakteristikama ili potrebnoj povezanosti dijela objekata klase donosi opći zaključak o svim prethodnicima.

Koncept uzroka i posledice
Uzrok je pojava ili skup pojava koje direktno određuju ili dovode do neke druge pojave (posledice). Uzročnost je univerzalna, pošto sve pojave, da

Metode za utvrđivanje uzročnosti
Uzročno-posljedična veza među pojavama utvrđuje se nizom metoda, čiji opis i klasifikacija sežu do F. Bacona, a koje je razvio J. St. Millem. Metoda sličnosti. Recimo

Dedukcija i indukcija u obrazovnom procesu
Kao iu svakom procesu razmišljanja (naučnom ili svakodnevnom), tako su i u procesu učenja dedukcija i indukcija međusobno povezani. „Indukcija i dedukcija su međusobno povezane istim neophodnim

Zaključak po analogiji i njegovi tipovi. Korištenje analogija u procesu učenja
Termin “analogija” označava sličnost dvaju objekata22 (ili dvije grupe objekata) u nekim svojstvima ili odnosima. Zaključak po analogiji jedan je od najstarijih u

Stroga analogija
Karakteristična karakteristika koja razlikuje strogu analogiju od labave i lažne je postojanje nužne veze između zajedničkih karakteristika i prenosive karakteristike. Shema stroge analogije je sljedeća: Subjekt

Labava analogija
Za razliku od stroge analogije, nestroga analogija ne daje pouzdan, već samo vjerojatan zaključak. Ako je lažan sud označen sa 0, a istina sa 1, tada je stepen verovatnoće zaključaka n

Lažna analogija
Ako se gore navedena pravila prekrše, analogija može dati lažan zaključak, odnosno postati lažna. Vjerovatnoća zaključka zasnovanog na lažnoj analogiji je 0 (P (a) = 0). Ponekad se prave lažne analogije

Korištenje analogija u procesu učenja
Analogije se koriste u nastavi u svim školskim disciplinama. Navešćemo samo neke primere upotrebe analogija u nastavi istorije, fizike, astronomije, biologije i matematike. Na nivou

Koncept dokaza
Poznavanje pojedinačnih predmeta i njihovih svojstava odvija se kroz vidove čulnih spoznaja (osjeti i percepcije). Vidimo da ova kuća još nije završena, osjećamo okus gorkog lijeka itd.

Direktni i indirektni (indirektni) dokazi
Dokazi po formi dijele se na neposredne i indirektne (indirektne). Direktan dokaz dolazi od razmatranja argumenata do dokaza teze, odnosno istinitosti teze direktno

Koncept pobijanja
Pobijanje je logična operacija utvrđivanja lažnosti ili neutemeljenosti prethodno postavljene teze. Pobijanje mora pokazati da: 1) je pogrešno konstruisano

Kritika argumenata
Kritiziraju se argumenti koje je protivnik iznio u prilog svojoj tezi. Neistinitost ili nedosljednost ovih argumenata je dokazana. Pogrešnost argumenata ne znači laž

Otkrivanje neuspjeha demonstracije
Ova metoda pobijanja uključuje pokazivanje grešaka u obrascu dokaza. Najčešća greška je odabir argumenata iz kojih se pobija istinitost teze

Logičke greške pronađene u dokazu i pobijanju
Ako je barem jedno od dolje navedenih pravila prekršeno, može doći do grešaka u vezi s tezom koja se dokazuje, argumentima ili samim oblikom dokaza.

Greške napravljene u vezi sa tezom koja se dokazuje
1. “Zamjena teze.” Prema pravilima dokaznog rasuđivanja, teza mora biti jasno formulirana i ostati ista tokom cijelog dokazivanja ili pobijanja. At

Greške u osnovama (argumentima) dokaza
1. Pogrešnost osnova (“Osnovna zabluda”). Kao argumente uzimaju ne istinite, već lažne sudove koji se odaju ili pokušavaju da se proglase istinitim. Greška može biti nenamjerna

Greške u obrascu za dokaz
1. Imaginarno praćenje. Ako teza ne proizlazi iz argumenata koji su joj dati u prilog, tada se javlja greška koja se naziva “ne slijedi”. Ponekad, umjesto ispravnog dokaza, argumenti sa

Koncept sofizma i logičkih paradoksa
Nenamjerna greška koju je napravila osoba u razmišljanju naziva se paralogizam. Namerna greška (kao što je više puta primećeno) napravljena sa ciljem da se zbuni neprijatelj

Koncept logičkih paradoksa
Paradoks je obrazloženje koje dokazuje i istinitost i neistinitost određenog suda, drugim riječima, dokazuje i ovaj sud i njegovu negaciju. Paradoksi su bili poznati još u prošlosti

Paradoksi teorije skupova
U pismu Gottlobu Fregeu od 16. juna 1902., Bertrand Rasel je izvestio da je otkrio paradoks skupa svih normalnih skupova (normalan skup je skup koji ne sadrži sam sebe

Dokaz i diskusija
Uloga dokaza u naučnim saznanjima i raspravama svodi se na odabir dovoljnih osnova (argumenata) i na pokazivanje da teza dokaza slijedi s logičkom nužnošću.

Hipoteza kao oblik razvoja znanja
U nauci i svakodnevnom razmišljanju prelazimo od neznanja do znanja, od nepotpunog znanja do potpunijeg znanja; moramo napraviti i onda opravdati razne pretpostavke da bismo ih objasnili

Vrste hipoteza
U zavisnosti od stepena opštosti, naučne hipoteze se mogu podeliti na opšte, specifične i pojedinačne. Opšta hipoteza je naučno utemeljena pretpostavka o uzrocima, zakonima i odnosima

Izgradnja hipoteze i faze njenog razvoja
Hipoteze se konstruišu kada postoji potreba da se objasni niz novih činjenica koje se ne uklapaju u okvire ranije poznatih naučnih teorija ili drugih objašnjenja. Kao prvo

Načini potvrđivanja hipoteza
1. Najefikasniji način da se potvrdi hipoteza je otkrivanje navodnog objekta, fenomena ili svojstva koje uzrokuje dotičnu pojavu. Primjeri

Pobijanje hipoteza
Pobijanje hipoteza se vrši pobijanjem (falsifikovanjem) njihovih posljedica. U ovom slučaju može se ispostaviti da mnoge ili sve potrebne posljedice hipoteze koja se razmatra nisu

Logička struktura pitanja
Pitanje u znanju igra posebno važnu ulogu, jer svo znanje o svijetu počinje pitanjem, formuliranjem problema. Problemi prije znanja, uključujući i razne nauke.

Vrste pitanja
Obično postoje dvije vrste (vrste) pitanja: Tip I – pojašnjavajuća (definitivna, direktna ili pitanja „da li“). Na primjer: „Da li je istina da je I. S. Vasiliev uspješno odbranio doktorat?

Pozadinska pitanja
Premisa ili osnova pitanja je početno znanje sadržano u pitanju, čija se nepotpunost ili nesigurnost mora eliminisati. Ovu nepotpunost ili nesigurnost ukazuju opere

Pravila za postavljanje jednostavnih i složenih pitanja
1. Tačnost pitanja. Dakle, pitanja moraju biti ispravno postavljena, tačna. Provokativna i nejasna pitanja nisu prihvatljiva. 2. Predviđene alternative

Logička struktura i vrste odgovora
1. Odgovori na jednostavna pitanja. Odgovor na jednostavno pitanje prvog tipa (pojašnjenje, određeno, direktno, pitanje „da li“) zahtijeva jednu od dvije stvari: „da“ ili „ne“. Na primjer, „Da li je Aleksandar

Postavljanje pitanja u procesu problemskog učenja
Problemsko učenje je shvaćeno kao proučavanje gradiva koje izaziva u svijesti učenika kognitivne zadatke i probleme koji podsjećaju na naučna istraživanja3. Rješavanje ovih problema

U osnovnoj školi
Češki učitelj J. A. Komensky pridavao je veliku važnost logici u procesu učenja. Predložio je da se učenici upoznaju sa kratkim pravilima zaključivanja i da se ta pravila pojačaju jakim

Razvoj logičkog mišljenja mlađih školaraca
U procesu učenja rada sa pojmovima dodeljuje se vodeća uloga. U trećem razredu osnovne škole, na časovima prirodne istorije, učenicima se daju najjednostavnije stvari koje su pristupačne njihovom razumevanju.

Razvijeno logičko mišljenje na časovima matematike
Matematika podstiče razvoj kreativnog mišljenja, prisiljavajući učenike da traže rješenja za nestandardne probleme, razmišljaju o paradoksima, analiziraju sadržaj uslova teorema i suštinu njihovog dokaza.

Razvoj logičkog mišljenja na časovima istorije
IN osnovna škola Prilikom proučavanja gradiva iz istorije koriste se različite tehnike za poticanje razvoja mišljenja, prvenstveno vizuelna pomagala: slike, folije, crteži na tabli,

Logika u staroj Indiji
Istorija indijske logike povezana je sa razvojem indijske filozofije. Najstariji književni spomenik Indije su Vede (II - početak I milenijuma pre nove ere), a njen najstariji deo je Rig Veda. U svrhu

Logika u staroj Grčkoj
U staroj Grčkoj nalazimo logički oblik dokaza u obliku lanca deduktivnih zaključaka u Eleatskoj školi (kod Parmenida i Zenona). Heraklit iz Efeza govori o doktrini univerzalnosti

Logika u srednjem veku
Srednjovjekovna logika (VI-XV vijek) još nije dovoljno proučena. U srednjem vijeku teorijska potraga u logici razvijala se uglavnom na problemu tumačenja prirode općih pojmova. Takozvani re

Razvoj logike u vezi sa problemom potkrepljivanja matematike
Njemački matematičar i logičar Gottlob Frege (1848-1925) pokušao je svesti matematiku na logiku. U tu svrhu, u svom prvom djelu o matematičkoj logici, “Račun koncepata”,

Viševrijedna logika
Ako u dvovrijednoj logici izjava može biti istinita ili lažna, tada u viševrijednoj logici broj istinitih vrijednosti argumenata i funkcija može biti bilo koji konačan, pa čak i beskonačan. Present

Trocifreni sistem ocenjivanja
U dvovrednosnoj logici, iz zakona isključene sredine izvedeno je sljedeće: 1)2)

Logika beskonačnih vrednosti kao generalizacija Postovog sistema više vrednosti
Na osnovu Postovog Psh sistema, mi (A.G.) konstruišemo beskonačni sistem Gx0. Istine vrijednosti su 1 (tačno), 0 (netačno) i svi razlomci

Intuicionistička logika
Intuicionistička logika je izgrađena u vezi s razvojem intuicionističke matematike. Intuicionističku školu je 1907. osnovao holandski matematičar i logičar L. Brouwer (1881-196.

Konstruktivna logika
Konstruktivna logika, različita od klasične logike, duguje svoje rođenje konstruktivnoj matematici. Konstruktivna matematika se može ukratko opisati kao nauka o

Konstruktivni račun izjava V. I. Glivenka i A. N. Kolmogorova
Prvi predstavnici konstruktivne logike bili su naši domaći matematičari - A. N. Kolmogorov (1903-1987) i V. I. Glivenko (1897-1940). Prvi račun koji ne sadrži zakon isključenih

Konstruktivna logika A. A. Markova
Problem konstruktivnog razumijevanja logičkih veza, posebno negacije i implikacije, zahtijeva upotrebu posebnih preciznih formalnih jezika u logici. Zasnovano na konstruktivnom matematičkom

Modalna logika
U klasičnoj dvovrijednoj logici razmatrani su jednostavni i složeni asertorički sudovi, odnosno oni u kojima nije utvrđena priroda veze između subjekta i predikata. Na primjer

Pozitivna logika
Pozitivne logike su logike konstruirane bez operacije negacije. Mogu se podijeliti u dvije vrste: 1) pozitivne logike u širem smislu riječi ili kvazi-pozitivne logike. O

Parakonzistentna logika
Ova logika predstavlja jedan od pravaca moderne neklasične matematičke logike. Objektivna osnova za nastanak parakonzistentne logike je želja za refleksijom

§ 7.

USLOVI ZAKLJUČCI IN LOGIC

Čisto uslovno zaključak je takav indirektan zaključak u kojem su obje premise uvjetne propozicije. Kondicionalni prijedlog je onaj koji ima strukturu: „Ako A, Tob». Njegova struktura je ovakva:

Akoa, TobŠema:

Akob, Toca-> b, b-> c

____________ ______________

Akoa, Toca-> c

Prema definiciji logičke posledice formulisane u okviru propozicionog računa, ako A->With je logička posljedica iz ovih premisa, onda povezivanjem premisa sa znakom konjunkcije i dodavanjem zaključka im preko znaka implikacije, moramo dobiti formulu koja je zakon logike. Formula će biti:

Dokaz identične istinitosti ove formule može se izvesti tabelarnom metodom. Ova vrsta zaključivanja se često koristi u školi, posebno na časovima matematike, fizike itd. Dajemo primjer.

Ako električna struja prolazi kroz provodnik, oko vodiča se formira magnetsko polje.

Ako se oko vodiča formira magnetsko polje, tada se željezne strugotine nalaze u tom magnetskom polju duž linija sile.

Ako električna struja prolazi kroz provodnik, tada se željezne strugotine nalaze u njegovom magnetskom polju duž linija sile.

U čisto uslovnom zaključivanju, postoje njegove varijante (modovi). To uključuje, na primjer:

Formula:

Formula je zakon logike. U ovom zaključku presudab istinito bilo potvrđeno ili poricanoA.

Primjer takvog zaključka je sljedeće rezonovanje:

Ako je lijepo vrijeme, beremo.

Ako vrijeme nije dobro, beremo.

Hajde da beremo.

Navedimo primjer iz fikcije. Jedan od heroja Agathe Christie, koji se našao na ostrvu, tvrdi: „General MacArthur je bio u sumornoj sanjarenji. Prokletstvo, kako je sve čudno! Nimalo ono što je očekivao... Da je bila i najmanja prilika, otišao bi pod bilo kojim izgovorom... Ne bi ostao ni minut... Ali motorni čamac je otišao. Dakle h Svidjelo se to tebi ili ne, morat ćeš ostati.”

Uslovno kategoričan zaključak je deduktivni zaključak u kojem je jedna od premisa uslovna, a druga jednostavna kategorička tvrdnja.

Ima dva ispravna načina, dajući zaključak koji nužno proizlazi iz premisa.

I.Afirmativni način(modusponens).

Formula (1): - je zakon logike.

Možete izgraditi pouzdane zaključke od izjave o osnovi do izjave o posljedicama. Navedimo dva primjera.

Ako želite uživati ​​u umjetnosti, onda morate biti umjetnički obrazovana osoba.

Želite da uživate u umetnosti.

____________________________________

Morate biti umjetnički obrazovana osoba.

Da bismo konstruirali još jedan primjer, poslužimo se zanimljivom tvrdnjom velikog ruskog učitelja K. D. Ušinskog: „Ako je osoba oslobođena fizičkog rada i nije navikla na mentalni rad, brutalnost je obuzima” 2 . Koristeći ovu izjavu, konstruisaćemo uslovno kategorički zaključak.

Ako je osoba oslobođena fizičkog rada i nije navikla na mentalni rad, tada je obuzima brutalnost.

Ova osoba je oslobođena fizičkog rada i nije navikla na mentalni rad.

_________________________________________

Ovaj čovjek je savladan brutalnošću.

Svaka upotreba pravila u ruskom jeziku, matematici, fizici, hemiji i drugim školskim disciplinama zasniva se na afirmativnom načinu koji daje pouzdan zaključak, stoga nalazi najširu primjenu u praksi mišljenja.

Ako je ovaj metal natrijum, onda je lakši od vode.

Ovaj metal je natrijum.

____________________________

Ovaj metal je lakši od vode.

II.Negativan mod(modustollens).

Formula (2): - takođe je zakon logike

(ovo se može dokazati pomoću tabele).

Moguće je graditi pouzdane zaključke od negacije posljedice do negacije osnove.

Navedimo dva primjera.

Ako se rijeka izlije iz korita, voda poplavi okolna područja.

Riječna voda nije poplavila okolna područja.

____________________________

Rijeka se nije izlila iz korita.

Za konstruiranje drugog uslovno kategoričkog zaključka koristit ćemo se sljedećim iskazom: „...podo je onaj koji je ljut ako je svjedok tuđinske hrabrosti.“ (Dante). Zaključak je konstruisan na sledeći način:

Ako se osoba razbjesni pri pogledu na tuđu hrabrost, onda je podla.

Ovaj čovjek nije zao.

__________________________________

Ovaj čovjek se ne razbjesni pri pogledu na tuđu hrabrost.

Prvi način, koji ne daje pouzdan zaključak.

Formula (3): - nije zakon logike.

Nemoguće je doći do pouzdanog zaključka prelazeći od iskaza posljedice do iskaza osnove. Na primjer, u zaključku

Ako je zaljev zamrznut, onda brodovi ne mogu ući u zaljev.

Plovilima nije dozvoljen ulazak u zaliv.

_____________________________

Zaljev je vjerovatno zaleđen.

zaključak će biti samo vjerovatna prosudba, odnosno zaljev je vjerovatno zaleđen, ali moguće je da je jak vjetar ili da je zaljev miniran ili postoji neki drugi razlog zašto brodovi ne mogu ući u zaljev.

Vjerovatni zaključak bi bio otprilike ovako:

Ako je ovo tijelo grafit, onda je električno provodljivo.

Ovo tijelo je električno provodljivo.

_____________________________

Ovo tijelo je vjerovatno grafitno.

Drugi način, koji ne daje pouzdan zaključak.

Formula (4): - nije zakon logike.

Nemoguće je doći do pouzdanog zaključka prelazeći od poricanja osnove ka negiranju posljedice. Na primjer:

Ako osoba ima temperaturu, onda je bolesna.

Ova osoba nema temperaturu.

_____________________________________

Ova osoba vjerovatno nije bolesna.

Ljudi ponekad prave logičke greške kada donose zaključke. Mogli bi zaključiti ovako:

Ako je tijelo podvrgnuto trenju, ono će se zagrijati.

Tijelo nije bilo podvrgnuto trenju.

_____________________

Telo se nije zagrejalo.

Ali zaključak je ovdje samo vjerojatan, a ne pouzdan, jer se tijelo moglo zagrijati iz nekog drugog razloga (od sunca, u pećnici, itd.).

Imajte na umu da je navođenje primjera ove vrste sasvim dovoljno da pokaže da su oblici zaključivanja izraženi formulama (3) i (4) netačni. Ali nijedan broj primjera upotrebe oblika koji odgovaraju formulama (1) i (2) ne može – ako operiramo samo primjerima – da opravda njihovu logičku ispravnost. Za takvo opravdanje potrebna je neka logička teorija. Takva teorija, koja je gotovo odsutna u tradicionalnoj logici, sadržana je u algebri logike. Ako formula u kojoj su konjunkcija premisa i namjeravani zaključak povezani znakom implikacije nije identično istinita, odnosno ne izražava zakon logike, onda zaključak u zaključivanju nije pouzdan. Tabela istinitosti (tabela 9) pokazuje da su kolone koje odgovaraju formulama (1) (modusponens) i 2) (modustollens), sastoje se samo od znakova “I” (“tačno”); dakle, formule (1) i (2) izražavaju zakone logike, što znači damodusponensImodustollenspredstavljaju logički ispravne oblike zaključivanja.

Čitaocu ostavljamo da napravi tabelu za pogrešne modove. U njemu ćemo pored znakova “I” vidjeti i znakove “L” (“lažno”), što znači da su izrazi

To nisu identično istinite izjave, tj. zakoni logike.

Ako se zaključak gradi od iskaza posljedice do iskaza razloga, onda se zbog mnoštva uzroka iz kojih može slijediti ista posljedica može doći do pogrešnog zaključka. Na primjer, kada se otkrije uzrok bolesti, potrebno je proći kroz sve moguće uzroke: bio je prehlađen, bio je preumoran, bio u kontaktu sa nosiocem bakterija itd.

Uslovni kategorički silogizam i njegovi ispravni modusi. Afirmativni način (modus ponens), negirajući način (modus tollens). Razdjelno-kategorički silogizam

Silogizam je oblik zaključivanja u kojem treći nužno slijedi iz dva suda, a jedan od dva data suda je općenito potvrdan ili općenito negativan. Silogizam je, dakle, zaključak iz opšteg. Rezultirajuća presuda ni u kom slučaju neće biti opštija od presuda iz kojih je izvedena Bocharov V.A., Markin V.I. Uvod u logiku: udžbenik. - M.: FORUM: INFRA-M, 2008. Str.87.

Na primjer, date su nam dvije presude:

Sve biljke su organizmi.

Borovi su biljke.

Iz njih proizlazi da su „borovi organizmi“.

Ovaj primjer pokazuje da ako nam se daju dva suda, iz njih se nužno dobija novi sud. Ne ulazimo u razmatranje da li su ove presude istinite ili ne, ali kada ih priznamo, odmah slijedi nova presuda.

Čisto uslovni silogizam sastoji se od dva uslovna predloga, od kojih je struktura svakog od njih već poznata: uslovni predlog se sastoji od osnove, posledice i logičke zajednice između njih.

Označavajući jednostavne propozicije uključene u uslovni prijedlog posebnim simbolima, dobivamo formulu za uvjetnu tvrdnju: Ako je B, onda C. Koristeći simbol i za logičku konjukciju, dobivamo još skraćenu notaciju: „B -> C”

Koristeći ovu skraćenu notaciju, čisto uslovni silogizam se može predstaviti na sljedeći način:

• · Ako je B, onda C B ->C
• · Ako je C, onda D C ->D
• · Ako je B, onda D B ->D

Zaključak u čisto uslovnom zaključivanju zasniva se na pravilu: posljedica posljedice je posljedica razloga.

Na primjer:

• 1. Ako je ovo djelo krađa (B), onda je krivično djelo (C)
• 2. Ako je ovo djelo krivično djelo (C), onda je kažnjivo po zakonu (D)
• 3. Ako je ovo djelo krađa (B), onda je kažnjivo po zakonu (D)

Lako je uočiti da ulogu srednjeg pojma u čisto kondicionalnom silogizmu igra jednostavan prijedlog, koji je posljedica u prvoj premisi, au drugoj premisi osnova ovog uvjetnog prijedloga.

Uslovno kategoričan naziva se zaključak u kojem je jedna od premisa uslovna, a druga premisa i zaključak su kategorički sudovi. Logična osnova za takav zaključak je određena veza između osnove i posljedice (prethodne i posljedične) Baturin V.K. Logika: udžbenik. - M.: PREDMET: INFRA-M, 2012. Str.129.

U uslovno kategoričnom zaključivanju, misao, uopšteno govoreći, može teći u sledeća četiri pravca: 1) od iskaza razloga do iskaza posledice; 2) od poricanja osnova do poricanja posledice; 3) od odobravanja posledice do odobrenja osnova; 4) od negacije posledice do negacije osnove.

Od četiri načina uslovno kategoričkog zaključivanja, koji iscrpljuju sve moguće kombinacije premisa, dva daju pouzdane zaključke: afirmativni (modus ponens) (1) i negirajući (modus tollens) (2). U afirmativnom modusu, kada se misao kreće od iskaza temelja do izjave o posljedicama. U načinu negiranja, misao teče od negacije posljedice do negacije temelja.

Oni izražavaju zakone logike i nazivaju se ispravnim načinima uslovno kategoričkog zaključivanja. Ovi modusi podliježu pravilu: afirmacija razloga vodi afirmaciji posljedice, a negacija posljedice vodi negaciji razloga. Druga dva načina (3 i 4) ne daju pouzdane zaključke. Oni se nazivaju nepravilnim modusima i poštuju pravilo: negacija razloga ne vodi nužno negaciji posljedice, a afirmacija posljedice ne vodi nužno afirmaciji razloga.

Ako je B, onda C B -> C

Ovaj zaključak je afirmativni način (modus ponens) uslovno kategoričnog silogizma (od iskaza osnove do iskaza posledice).

Ako se u uslovno kategoričnom silogizmu misao kreće od poricanja posledice (prepoznavanje, konstatacija njene nesaglasnosti sa stvarnošću, tj. lažnosti) uslovnog predloga u sporednoj premisi, onda je neophodno u zaključku silogizma poreći sama osnova uslovnog predloga:

Ako je B, onda C B -> C

Ovaj zaključak je negirajući modus (modus tollens) uslovnog kategoričkog silogizma (od negacije posljedice do negacije osnove).

Oba načina - afirmativna i negirajuća - jamče nužnost i istinitost zaključka s obzirom na istinitost premisa. Druga dva modusa ove vrste silogizma ne daju nužno pravi zaključak, jer njihove strukturne karakteristike ne odgovaraju pravilima i zakonima logike. Ovi načini se nazivaju netačnim, neovlaštenim, problematičnim, vjerodostojnim. Oni pružaju saznanja koja u jednom slučaju (koja je određena sadržajem premisa) mogu biti lažna, u drugom istinita. Formule za ove modove su napisane na sljedeći način:

• · B ->C B ->C
• · Ne - B C
• · (moguće ne - C) (moguće B).

B v C B v C B v C B v C

B nije - B C nije - C

Ne - C C ne - B B

Međutim, lako je otkriti da zapravo postoje samo dvije vrste njih, jer svaka od njih ima svoj par. Stoga se obično kaže da razdjelno-kategorički silogizam ima samo dva ispravna modusa: afirmativno-negirajuće i poričuće-potvrdno Kirillov V.I., Starchenko A.A. Logika: udžbenik. - M.: Jurist, 2008. P.104.

uslovno zaključak je takav indirektan zaključak u kojem su obje premise uvjetne propozicije. Kondicionalni prijedlog je onaj koji ima strukturu: „Ako A, To b„Struktura čisto uslovnog zaključka je sljedeća:

Ako je a, onda b Šema:

Ako je b, onda c.

Ako je a, onda c a→b, b→c

Prema definiciji logičke posledice formulisane u okviru propozicionog računa, ako je formula a → c je logičku posledicu iz ovih premisa, onda, povezivanjem premisa sa znakom konjunkcije i dodavanjem zaključka im preko znaka implikacije, moramo dobiti formulu koja je zakon logike, tj. identično istinita formula. U ovom slučaju, formula će biti:

((a→c)^ (b→c))→(a→c).

Uslovni prijedlog ima oblik: ako je A B, onda je C D, na primjer: Ako se Zemlja okreće oko svoje ose, dolazi do promjene dana i noći. Prva presuda je osnova ( antecedent), a druga je posljedica ( konsekventno).

Postoje dva načina uslovno kategoričnih zaključaka. Prvi se zove modus ponens, odnosno uspostavljanje, afirmisanje, konstruktivni način; drugi se zove modus tolens, odnosno uništavanje, negiranje, destruktivno način rada.

Konstruktivni način rada ima sljedeći oblik.

Ako je A B, onda je C D;

A je B;

Stoga je C D.

• U uslovno kategoričkom zaključivanju u konstruktivnom načinu

Destruktivni način rada ima sljedeći oblik.

Ako je A B, onda je C D;

C nije D;

Stoga A nije B.

• U uslovno kategoričnom zaključivanju u destruktivnom modusu, konsekvent se negira.

Kraj rada -

Ova tema pripada sekciji:

Istorija i predmet logike

Irelevantna analiza pojma kvadratnog subjekta u značenju.. logičke operacije sa obimom pojma.. generalizacija pojma je logička operacija prelaska sa pojma manjeg obima, ali sa više sadržaja u koncept..

Ako vam je potreban dodatni materijal na ovu temu, ili niste pronašli ono što ste tražili, preporučujemo da koristite pretragu u našoj bazi radova:

Šta ćemo sa primljenim materijalom:

Ako vam je ovaj materijal bio koristan, možete ga sačuvati na svojoj stranici na društvenim mrežama:

Tweet

Sve teme u ovoj sekciji:

Istorija i predmet logike
U svom razvoju logika je prošla kroz dvije faze: 1) od 4. vijeka. BC e. do 19. veka n. e. U tom periodu se pojavila formalna logika čiji se autor tradicionalno smatra

Jezik i logika. Ime
Predmet proučavanja logike su oblici i zakoni ispravnog mišljenja. Razmišljanje je funkcija ljudskog mozga koja je neraskidivo povezana s jezikom.

Jezik propozicijske logike
Jezik je znakovni informacioni sistem koji obavlja funkciju formiranja, pohranjivanja i prenošenja informacija u procesu razumijevanja stvarnosti i komunikacije među ljudima. With

Koncept
Koncept – jednostavan oblik apstraktno mišljenje, koje obuhvata bitne karakteristike objekta ili klase predmeta. Logičke karakteristike pojma kao oblika apstraktnog mišljenja.....

Nebitno
Analiza pojma Pojam: kvadrat. Značenje predmeta: geometrijska figura. Termin Pr

Metode rješavanja logičkih problema
Postoji nekoliko različitih načina rješavanja logičkih problema. Nazovimo ih ovako: § Metoda zaključivanja; način rasuđivanja je najprimitivniji način. Ova metoda rješava najteže probleme

Vrste jednostavnih presuda
Pošto jednostavni sudovi izražavaju bezuslovnu vezu između komponenti misli, oni se nazivaju i kategoričkim. Poseban značaj u logici pridaje se podjeli jednostavnih sudova na vrste

Relacije jednostavnih kategoričkih sudova. Logički kvadrat
Logički kvadrat

Složena presuda
Složeni prijedlozi se formiraju od jednostavnih njihovim kombiniranjem. Složeni prijedlozi mogu biti istiniti ili lažni, čija istinitost ili neistinitost ovisi prvenstveno o istinitosti ili neistinitosti kompozicije

Logička analiza problema. Vrste
Pitanje je uslov za pronalaženje odgovora koji predstavlja istinitu tvrdnju. Pitanje ne izražava sud zbog činjenice da sud kao oblik mišljenja sadrži iskaz ili

Zaključak
Zaključak je oblik mišljenja u kojem se novi sud dobiva iz jednog ili više sudova zasnovanih na određenim pravilima zaključivanja. Struktura svakog uma

Silogizam
Kategorički silogizam je zaključak u kojem se iz dva kategorička iskaza izvodi novi kategorički iskaz. Logička teorija ove vrste zaključivanja

Kratki oblik silogizma
Silogizam, kao i svaki ispravan zaključak, ne može sadržavati informaciju koja nije sadržana u premisama. Zaključak samo proširuje informacije o prostorima, ali ne može uvesti nove informacije.

Induktivno rezonovanje
Indukcija je zaključak od znanja manjeg stepena uopštenosti do novog znanja većeg stepena opštosti. Premise induktivnog zaključivanja su sudovi u kojima

Zaključci po analogiji
Analogija je zaključak o pripadnosti objekta određenoj osobini na osnovu sličnosti karakteristika sa drugim objektom. Analogija ne daje strogo pouzdanu, ali istinitu

Osnovni zakoni logike
Zakon logike je opća norma rasuđivanja koja regulira procese verbalne komunikacije i prevođenja značenja. Zakoni: 1. Zakon

Argumentacija
Argumentacija je potpuna ili djelomična potkrijepljenost iskaza korištenjem drugih iskaza. Svrha argumentacije je razviti uvjerenje ili

Vrste neevidentne argumentacije
Postoje tri vrste nedokaznih (tačnih) argumenata. Prvo: argumenti, barem neki od njih, nisu pouzdani, već samo uvjerljive izjave.

Direktne i indirektne metode opravdanja
Teza je sud koji iznosi predlagač, a koji on potkrepljuje u postupku argumentacije. Teza je glavni strukturni element argumentacije i odgovara na pitanje:

Pobijanje. Struktura i forma
Pobijanje je argument uperen protiv iznesenog prijedloga koji ima za cilj utvrđivanje njegove zablude ili nedostatka dokaza. Najčešće

Greške u vezi sa tezom koja se dokazuje
1. “Zamjena teze.” Teza mora biti jasno formulirana i ostati ista tijekom cijelog dokazivanja ili pobijanja - to su pravila u odnosu na tezu

Greške u osnovama (argumentima) dokaza
1. Pogrešnost osnova („osnovna zabluda“) Kao argumenti se uzimaju netačni, već lažni sudovi koji se iznose ili pokušavaju da budu predstavljeni kao istiniti. Greška može biti neočekivana