Fòmèl lojik ak lwa debaz li yo

Lojik - syans nan metòd lwa, ak fòm nan panse. te Fòmèl lojik te devlope pa moun Lagrès yo ansyen, depi lontan anvan epòk nou an. Li te moun peyi Lagrès yo an premye yo bati yon sosyete demokratik, kote desizyon ak lwa adopte nan yon reyinyon piblik. Yo te kreye yon syans primitif nan fè tras yo. Yon moun al pran plezi pi renmen nan jèn aristocrate te gen diskisyon yo ak filozòf yo. Pakonsekan renmen a inivèsèl nan devlopman nan nan syans teyorik. Moun peyi Lagrès jis te gen ansèyman yo sou ki jan yo dwe prèv syantifik.

kou nan premye nan fondasyon yo nan lojik devlope pa Aristòt. Li pwoche atansyon a lefèt ke tout agiman yo ki baze sou lwa yo jeneral, vyolasyon an nan ki mennen nan konklizyon inègza. fòmèl Lojik la nan Aristòt te baze sou lwa sa yo:

1. Si jijman an se nan afimatif lan, ki sa yo fè nan yo konklizyon an pa kapab negatif.
2. Si youn nan deklarasyon sa yo an negatif, ak yon konklizyon an jeneral se toujou negatif.

Pakonsekan li parèt ke lojik fòmèl - se konesans nan nan prensip yo ak lwa efektivman, bon konstriksyon nan rezònman ki gen rapò ak fòm nan nan konstriksyon yo (fason yo konekte pati moun nan konsiderasyon jeneral yo).

Tout fenomèn ak objè gen yon relasyon. Lyen kapab objektif oswa subjectif, jeneral oswa prive, nesesè oswa aksidan. ki pi enpòtan an nan chenn sa yo rele lwa yo. yo tout reflete reyalite a menm, Se poutèt sa, pa janm ka kontredi youn ak lòt. Tout lwa yo nan te panse imen ki asosye ak lwa yo nan lanati.

Lwa yo nan te panse yo ki estab koneksyon entèn ant panse. Si yon moun pa ka mare panse li, li pa t 'vini ak konklizyon an dwa epi yo pa yo pral kapab pote l' bay lòt moun.

lwa debaz yo nan lojik fòmèl - lwa yo nan konsistans, idantite, eskli mwayen ak lwa nan ase rezon. Devlopman nan nan twa nan premye pati nan Aristòt ak Platon, dènye - Leibniz la. Vyolasyon lwa sa yo (sitou twa nan premye) mennen nan kontradiksyon yo, ki fè li enposib yo fè distenksyon ant verite soti nan manti. Dènye lalwa mwens règleman epi sèvi ak plis limite.

lwa ki pa Peye-debaz nan lojik - sa yo, se règleman yo nan pwopozisyon opere ak konsèp, jwenn vre konklizyon nan yon silojis, ogmante pwobabilite ki genyen pou rezònman endiktif ak konklizyon traduktivnogo karaktè.

Lwa a nan konsistans vle di ke panse pa ta dwe kontwovèsyal, men yo ta dwe reflete bon jan kalite a nan sèten bagay sa yo.

Ekskli lalwa mitan preskri pa al chache ant de kontradiktwa men vre deklarasyon ki yon twazyèm, ak yo rekonèt verite a nan se sèlman youn nan yo. Youn nan eleman yo nan kontradiksyon - sètènman vre.

lalwa ki bay idantite lojik fòmèl entèprete kòm yon kondisyon nan panse presizyon, sa vle di nan okenn tèm ou bezwen avèk presizyon konprann definisyon li yo ak siyifikasyon. Sans la nan konsèp yo ak jijman pa ka defòme nan volonte.

lwa nan ase rezon ki fè se ke nenpòt panse vre nesesè yo jistifye lòt la panse vre, ak fo lide pa ka jistifye. Nan devlopman nan jijman ta dwe reflete yon relasyon kòz ak efè. Se sèlman nan ka sa a li kapab pwouve fyab li yo.

Fòm nan lojik nan panse ak metòd pou detèmine fòm yo nan tout panse yo eksprime nan kondisyon ki lojik, ki enkli ladan pawòl Bondye a "ak", "oswa", "si ... Lè sa a ..." refi "se pa vre ke" ( "pa gen okenn") , pawòl Bondye a "kèk", "tout" ( "pa gen okenn"), yon pakèt moun sou "sans" (nan sans "se"), elatriye Idantifye ka fòm nan ki lojik nan jijman an dwe distrè soti nan siyifikasyon an nan kondisyon ki nan lojik, ki fè yo enkli nan ekspresyon ki vèbal sa a jijman. Nan lòt mo, fòmèl lojik eksprime estrikti a nan panse. Fòm nan lojik se toujou enfòmatif epi siyifikatif.

Tou depan de fòm yo nan te panse yo divize an klas: konsèp, rezònman an ak jijman. Konsèp - lide ki fè konnen jeneralize objè yo sou baz la nan karakteristik debaz yo. Jijman - lide a, revandike prezans la (absans) nan sitiyasyon an. Enferans - te panse, reflete akizisyon ki fè moun konnen, ki eksprime nan jijman ki soti nan lòt konesans.