BÀI GIẢNG LOGIC HOC

Lời nói đầu Dạy nghề đào tạo cho ngời học kiến thức, kỹ kỹ xảo chuyên môn nghề nghiệp trình độ định, đồng thời giáo dục cho họ phẩm chất nghề nghiệp nh: lòng yêu nghề, đạo đức nghề nghiệp, ý thức tổ chức kỷ luật lao động sản xuất để họ sống làm việc theo nghề sau tốt nghiệp Đó phẩm chất, lực tạo nên nhân cách ngời lao động mà ngời giáo viên dạy nghề phải rèn luyện cho ngời học trình đào tạo nghề Nhằm góp phần nâng cao chất lợng đào tạo đội ngũ giáo viên dạy nghề vững lý thuyết, giỏi tay nghề, có lực s phạm kỹ thuật nghề nghiệp đáp ứng đợc yêu cầu đòi hỏi đổi giáo dục, biờn son tập tài liệu logic học hình thức Tp bi ging Logic học biên soạn theo chơng trình đào tạo s phạm dạy nghề Tổng cục dạy nghề nhằm chuẩn bị cho giáo sinh, giáo viên dạy nghề kiến thức logic học đại cơng, sở lý lun chung phơng pháp nhận thức khoa học giúp ngời đọc nắm đợc toàn kiến thức phơng pháp cần thiết để nhận thức tri thức khoa học, cách thức ứng dụng khuynh hớng phát triển logic học Trong trình biên soạn nhận đợc giúp đỡ mặt giáo s, giảng viên cán quản lý cấp Chúng trân trọng ý kiến đóng góp quý báu Do biên soạn lần đầu, chắn bi ging ny không tránh khỏi thiếu sót Chúng mong nhận đợc ý kiến đóng góp độc giả để bi ging ngày hoàn thiện Nhóm tác giả CHNG I KHI NIM, I TNG V í NGHA CA LễGC HC 1.1 i tng v ý ngha ca logic hc 1.1.1 Khỏi nim v logic hc hỡnh thc Thut ng logic bt ngun t ting Hy lp Logos Thut ng ny c s dng ch: - Tớnh quy lut ca th gii khỏch quan: Logic ca s vt, logic ca s kin, logic ca s phỏt trin xó hi Theo ngha ú, logic c hiu l Logic khỏch quan õy chớnh l i tng nghiờn cu ca logic bin chng - Tp hp cỏc quy lut ca t duy, nhng qui tc v nhng hỡnh thc ca s lp lun m ngi phi tuõn theo nhm phn ỏnh ỳng n th gii khỏch quan Theo ngha ny logic c hiu l Logic ch quan õy chớnh l i tng nghiờn cu ca logic hc hỡnh thc Logic hc hỡnh thc l khoa hc nghiờn cu v cỏc quy lut v hỡnh thc ca t nhm nhn thc ỳng n th gii khỏch quan 1.1.2 i tng nghiờn cu ca Lụgớc hc hỡnh thc Bt k mt khoa hc no cng u cú i tng nghiờn cu, phng phỏp nghiờn cu, h thng cỏc khỏi nim, phm trự v kinh nghim hot ng sỏng to ca lnh vc khoa hc ú i tng nghiờn cu ca lụgớc hc hỡnh thc l cỏc hỡnh thc v cỏc quy lut logic ca t 1.1.3 Nhim v ca lụgớc hc Nhim v c bn ca lụgớc hc hỡnh thc l lm sỏng t nhng iu kin nhm t ti tri thc chõn thc, phõn tớch kt cu ca quỏ trỡnh t duy, vch thao tỏc lụgớc ca t v phng phỏp lun nhn thc ỳng n 1.2.4 í ngha ca vic nghiờn cu lụgớc hc Mi bn (vn bn núi cng nh bn vit) u l mt th thng nht bao gm hai mt: ni dung v hỡnh thc V phng din hỡnh thc, ngoi ngụn ng, lụgớc l mt yu t quan trng Xột hỡnh thc ngụn ng ca mt bn l xột xem ngh thut s dng ngụn t bn ú nh th no, cú tinh vi, iờu luyn v chun xỏc khụng Cũn xột hỡnh thc lụgớc ca bn ú l xột xem cỏch thc t chc liờn kt t tng bn ú sao, cú cht ch nht quỏn, giu sc thuyt phc khụng Nh vy, vic nghiờn cu lụgớc nhm nm vng cỏc hỡnh thc, cỏc quy lut, quy tc v cỏc thao tỏc t cú ý ngha rt ln: - i vi ngi v mi hot ng núi chung: + To thúi quen suy ngh thụng minh hn gúp phn vo vic nõng cao tớnh chớnh xỏc, tớnh liờn tc v trit , cỏc lp lun cú c s, cú cn c, tng cng hiu qu v nim tin ca li núi + H tr tt cho vic tip thu tri thc mi, nghiờn cu khoa hc, khụng phm phi sai lm vit v núi, phỏt trin t duy, phỏt hin nhng mõu thun + Lụgớc hc cú ý ngha ln giao tip: - i vi hot ng giỏo dc + Giỳp cho giỏo viờn la chn ni dung mt cỏch hp lý, xõy dng cu trỳc bi ging, chng trỡnh mt cỏch khoa hc, truyn th kin thc mt cỏch chớnh xỏc v la chn phng phỏp dy hc ti u cho bi ging + Bi dng nng lc t lụgớc cho hc sinh, phỏt trin nng lc nhn thc v tớch cc húa quỏ trỡnh hc ca hc sinh 1.2 Khỏi nim v hỡnh thc lụgớc v quy lut lụgớc, tớnh chõn thc ca t tng v tớnh ỳng n ca hỡnh thc lp lun 1.2.1 Khỏi nim v hỡnh thc Lụgớc ca t Trong quỏ trỡnh t duy, ni dung v hỡnh thc ca t tng liờn kt cht ch vi nhau; khụng cú hỡnh thc lụgớc thiu ni dung v cng khụng cú ni dung tỏch hỡnh thc Tuy nhiờn, lụgớc hc hỡnh thc ch trung nghiờn cu hỡnh thc ca t tng Hỡnh thc lụgớc ca mt t tng c th l cu trỳc ca t tng ú l phng thc liờn kt gia cỏc thnh phn ca t tng Phng thc liờn kt ú phn ỏnh cu trỳc ca cỏc mi liờn h, cỏc quan h gia cỏc s vt, hin tng hay gia cỏc s vt, hin tng vi cỏc thuc tớnh ca chỳng Cu trỳc ca t tng thng c biu din bng cỏc ký hiu Vớ d: A l mt sinh viờn Mt s sinh viờn l sinh viờn gii Cú th biu din nh sau: Tt c S l P Mt s S l P => Cu trỳc hai tin ging (u l cõu n) => hỡnh thc lụgớc l nh nhng cú ni dung t tng khỏc 1.2.2 Khỏi nim v quy lut lụgớc ca t * Quy lut lụgớc ca t l mi liờn h bn cht, tt yu ca cỏc t tng quỏ trỡnh t * Cỏc quy lut ca lụgớc hỡnh thc c gi l cỏc quy lut c bn, gm: - Quy lut ng nht; - Quy lut khụng mõu thun (quy lut mõu thun); - Quy lut lut loi tr cỏi th ba (quy lut bi trung); - Quy lut lớ y 1.2.3 Tớnh chõn thc ca t tng v tớnh ỳng n v hỡnh thc ca lp lun Nu ni dung ca phỏn oỏn phn ỏnh chớnh xỏc hin thc thỡ phỏn oỏn l chõn thc, õy l iu kin cn thit t ti cỏc kt qu chõn thc quỏ trỡnh lp lun Ngoi ra, tớnh ỳng n lụgớc ca lp lun (do cỏc quy tc ca t duy/cỏc quy lut khụng c bn ca t quy nh) cng l iu kin cn thit cú phỏn oỏn chõn thc Tớnh ỳng n th hin s tuõn theo cỏc quy lut v quy tc ca lụgớc hc; cũn tớnh chõn thc th hin s phự hp ca nú vi hin thc Vớ d1: Tt c kim loi l cht rn Thu ngõn khụng phi l kim loi Thu ngõn khụng phi l kim loi => Kt lun l gi di vỡ tin th nht khụng chõn thc (vỡ thc t s cú nhng kim loi khụng phi l cht rn) Vớ d 2: V mỡnh l ngi ta Con mỡnh v Suy i tớnh li chng b chi (Con mỡnh l ngi ta) => Kt lun l gi di vỡ vi phm quy tc lp lun CHNG II CC HèNH THC C BN CA T DUY Đ 2.1 KHI NIM 2.1.1 Hỡnh thc ngụn ng biu th khỏi nim 2.1.1.1 nh ngha Tt c cỏi gỡ ngi suy ngh ti gi l i tng ca t duy, mi i tng cú cỏc du hiu nht nh Du hiu ca i tng l cỏc thuc tớnh, cỏc quan h, cỏc trng thỏi giỳp cho ngi nhn thc ỳng n, tỏch s vt hin tng hp cỏc s vt hin tng Cỏc du hiu ca i tng c chia thnh du hiu c bn v khụng c bn : - Du hiu c bn : nhng du hiu quy nh bn cht bờn trong, c trng ca s vt hin tng + Du hiu c bn tn ti nhiu i tng hay mt lp s vt hin tng gi l du hiu c bn chung + Du hiu c bn ch tn ti mt s vt gi l du hiu c bn n nht; + Cú s vt ch cú mt du hiu c bn n nht, cú s vt li cú nhiu hn mt du hiu c bn n nht -> du hiu c bn n nht cũn gi l du hiu khỏc bit + Du hiu c bn khụng khỏc bit l cỏc du hiu ch thuc cỏc s vt cựng mt lp s vt xỏc nh Vớ d: Lp in 34 trng CNCHN cú 30 sinh viờn -> sinh viờn A cú du hiu c bn n nht khỏc sinh viờn B, núi cỏch khỏc sinh viờn A cú du hiu c bn n nht khỏc bit khỏc vi sinh viờn B (cú th du hiu c bn n nht õy l mt hoc mt vi) -> Gia 30 sinh viờn ny li cú cỏc du hiu ging nhng khụng ging vi bt k sinh viờn no lp khỏc, õy chớnh l nhng du hiu c bn khụng khỏc bit - Du hiu khụng c bn : nhng du hiu khụng quy nh bn cht bờn trong, cht lng ca s vt hin tng Cỏc du hiu c bn khỏc bit ca s vt c nhn thc ca ngi phn ỏnh mt cỏch xỏc nh to thnh cỏc du hiu ca khỏi nim biu th s vt ú Khỏi nim: L hỡnh thc ca t ú phn ỏnh cỏc du hiu c bn khỏc bit ca mt s vt n nht hay lp cỏc s vt ng nht v c din t bng t hoc cm t 2.1.1.2 c im ca khỏi nim Khỏi nim cú cỏc c im sau : * c im phn ỏnh : Khỏi nim phn ỏnh nhng du hiu bn cht khỏc bit ca cỏc s vt, hin tng th gii khỏch quan Vớ d : Khỏi nim tc ỏnh sỏng l 300.000 km/giõy, nh ú cú th phõn bit tc ỏnh sỏng vi mi tc khỏc * c im phỏt trin : Khỏi nim phn ỏnh nhng du hiu bn cht khỏc bit ca cỏc s vt, hin tng th gii khỏch quan m s vt, hin tng ú li khụng ngng ng v phỏt trin, nờn khỏi nim cng luụn ng v phỏt trin Mt khỏc, s ng ú cũn ph thuc vo trỡnh nhn thc ca ngi * c im v giỏ tr : Trong nhng khỏi nim m ngi ó lnh hi c thỡ cú nhng khỏi nim chõn thc v khỏi nim gi di Tớnh chõn thc v gi di ca khỏi nim c xỏc nh bi s phự hp hay khụng phự hp ca khỏi nim vi hin thc khỏch quan Khỏi nim l mt hỡnh thc ca t tru tng : Bt k mt hnh ng t no ca ngi cng mang c trng ca t khỏi nim, t da trờn khỏi nim t ti nhng khỏi nim mi gii quyt tỡnh cú , ngi phi huy ng tri thc, kinh nghim ó cú phỏt hin cỏc mõu thun v gii quyt cỏc mõu thun ú 2.1.1.3 Hỡnh thc ngụn ng biu th khỏi nim T l c s vt cht ca ngụn ng Khỏi nim ch cú th c biu th bng t v cm t -> nu khụng cú t v cm t thỡ khụng th hỡnh thnh v s dng khỏi nim - Nu dựng mt t biu th khỏi nim ta gi ú l thut ng : Vớ d: cõy, - Nu dựng nhiu t biu th khỏi nim, vớ d: quỏ trỡnh giỏo dc ta gi ú l nh ngha - Cựng mt khỏi nim cú th cú nhiu cỏch biu th bng cỏc tờn gi khỏc + T ng õm ch nhiu ngha, nhiu i tng khỏc nhau: Vớ d: logic + T ng ngha : cựng mt i tng li cú nhiu t din t: Vớ d: Tu ho, xe la - Hoc cỏc t nh nhng c sp xp theo th t khỏc cng biu th khỏi nim khỏc Vớ d: vụi tụi v tụi vụi ; ngụn ng v ng ngụn - Trong lnh vc khoa hc k thut khỏc ngi ta s dng h thng ngụn ng riờng bit biu th chớnh xỏc khỏi nim Vớ d : a m, RAM, c cu bỏnh rng 2.1 Phng phỏp c bn thnh lp khỏi nim - Cỏc thao tỏc t (phõn tớch, so sỏnh, tru tng hoỏ, khỏi quỏt hoỏ) cú din hay khụng ngi nhn thc v th gii l iu kin tiờn quyt cú th thnh lp khỏi nim + So sỏnh: L thao tỏc logic, nh ú m xỏc lp c s ging hay khỏc ca mt s vt hin tng khỏch quan + Phõn tớch: L thao tỏc logic chia nh m x mt i tng thnh nhiu mt hay nhiu b phn, nhiu giai on, nhiu phng din xem xột v nghiờn cu + Tng hp: L thao tỏc logic liờn kt cỏc b phn , cỏc du hiu thuc tớnh riờng l thnh mt chnh th trn + Khỏi quỏt hoỏ: L thao tỏc logic ú ngi ta tỡm cỏi chung cỏ s vt hin tng ca hin thc ri trờn c s ú li liờn kt chỳng li vi + Tru tng hoỏ: L thao tỏc gt b, trc xut nhng mt khớa cnh thuc tớnh du hiu th yu, riờng bit, khụng bn cht i tng kho sỏt cỏi chung ó tỡm c - Vic thnh lp khỏi nim chớnh l vic ngi ó cú s din cỏc thao tỏc t tru tng m sn phm ca nú l: phỏt hin s ging gia cỏc i tng, chia chỳng thnh cỏc thnh phn, tỏch cỏc du hiu c bn, kt hp cỏc du hiu c bn, a cỏc i tng cú hiu c bn nh ú vo thnh mt lp v biu th nú bng tờn gi 2.2.3 Kt cu lụgic ca khỏi nim - Mi khỏi nim bao gi cng cú ni hm v ngoi diờn + Ni hm: Ni hm ca khỏi nim l hp cỏc du hiu c bn ca i tng hay lp i tng c phn ỏnh khỏi nim ú Ni hm phn ỏnh mt cht ca khỏi nim Nú tr li cho cõu hi i tng l gỡ Vớ d: Phn ng húa hc l quỏ trỡnh bin i cht ny thnh cht khỏc Khỏi nim Ni hm + Ngoi diờn: L i tng hay hp i tng c khỏi quỏt khỏi nim Ngoi diờn th hin mt lng ca khỏi nim Nú tr li cho cõu hi i tng gm nhng gỡ Vớ d: Sụng - Tt c cỏc sụng trờn trỏi t Khỏi nim Ngoi diờn - Ni hm v ngoi diờn ca khỏi nim liờn h cht ch, biu th t tng thng nht, phn ỏnh hp i tng cú du hiu c bn chung Mi quan h gia ni hm v ngoi diờn l mi quan h ngc (nghch bin): Ni hm ca khỏi nim cng hp thỡ ngoi diờn ca nú cng rng v ngc li Vớ d: Gh: khỏi nim ny cú ni hm rt hp vt dựng ngi nú s gm rt nhiu loi gh lm bng cỏc cht liu khỏc nhau, mu sc, kớch thc khỏc -> ngoi diờn ca khỏi nim rt rng vỡ ni hm khụng xỏc nh c th nú lm bng cht liu gỡ, mu sc, kớch thc Nu khỏi nim l: Gh g -> ni hm rng hn vỡ lng thụng tin khỏi nim rng hn -> ngoi diờn hp hn -> s cỏi gh thuc khỏi nim s ớt hn - Nu khỏi nim c trỡnh by bi cõu thỡ mt s trng hp khỏi nim cũn cú th cú cỏc t gi vai trũ l cỏc lng t v cỏc t gi vai trũ l cỏc t quan h lm cho khỏi nim tng minh hn Vớ d: Phn ln sinh viờn hc cao ng l lng t ngi chm hc t quan h * Lu ý: Cú khỏi nim ging v khỏi nim loi: thụng thng mt khỏi nim ging cú nhiu khỏi nim loi, mt khỏi nim loi cú nhiu lp thuc nú => Khỏi nim ging l khỏi nim cú ngoi diờn phõn chia c thnh cỏc lp con; cỏc khỏi nim thuc cỏc lp ú gi l khỏi nim loi => Lp l hp i tng xỏc nh cú du hiu chung no ú => Vic phõn chia ging loi ch cú tớnh cht tng i Vớ d: Cõy lan (khỏi nim ging) gm cỏc loi lan: a lan, lan chn, lan bỏo (khỏi nim loi) 10 Quy tc loi hỡnh IV: Nu mt tin l phỏn oỏn ph nh, thỡ tin ln l phỏn oỏn chung Nu ti loộn l phỏn oỏn khng nh thỡ tin nh l phỏn oỏn chung Nu tin nh l phỏn oỏn khng nh thỡ kt lun l phỏn oỏn riờng Trong thc tin t loi hỡnh III v loi hỡnh IV ớt c s dng Ngi ta thng a loi hỡnh IV v loi hỡnh I bng cỏch bin i cỏc tin theo suy din trc tip (phộp o ngc) Vớ d : Cú nhng danh t l danh t chung (1) P- - M+ Danh t chung l t (2) M+ - S+ Vỡ th, mt s t l danh t" (3) S+ - P- a v loi hỡnh I chỳng ta cú: Danh t chung l danh t (1) M+ - P- Mt s t l danh t chung (2) S+ - M+ Mt s t l danh t" S+ - (3) P- C CC PHNG THC CA TAM ON LUN Cỏc tam on lun c chia thnh cỏc dng khỏc cn c vo cht l lng ca cỏc phỏn oỏn tin v cỏch thc kt hp gia cỏc tin nhiờn ch cú 19 phng thc tho quy tc: Loi hỡnh I: aaa, eae, aii, eio; Loi hỡnh II: eae, aee, eio, aoo; Loi hỡnh III: aai, iai, aii, eao, oao, eio; Loi hỡnh IV: aai, aee, iai, eao, eio Mt s trng hp ngoi l: Trong thc tin t cú nhng trng hp, mc dự vi phm quy tc chung ca tam on lun, nhng kt lun chõn thc c rỳt mt cỏch tt yu logic ú l tớnh chu diờn ca cỏc thut ng c bo m 38 Vớ d 1: Mt s kim loi l kim loi kim (1) Mt s nguyờn t hoỏ hc l kim loi (2) Mt s nguyờn t hoỏ hc l kim loi kim (3) Hai tin l phỏn oỏn riờng, nhng kt lun chõn thc vỡ M tin nh chu diờn (ngoi diờn ca M nm ngoi diờn ca S) Vớ d 2: ng vt cú xng sng l ng vt (1) Mt s ng vt cú xng sng l ng vt n tht (2) Tt c ng vt n tht l ng vt (3) Suy lun khụng vi phm quy tc loi hỡnh m vi phm quy tc Nhng kt lun c suy tt yu, vỡ thut ng gia chu diờn mt cỏc tin v thut ng nh S chu diờn tin nh Cỏc bc kim tra lõn on Bc 1: Xỏc nh loi phỏn oỏn t hp Bc 2: Xỏc nh cỏc thut ng (S - M - P) v loi hỡnh Bc 3: Xỏc nh quan h gia cỏc thut ng (nu cú) v xột tớnh chu diờn Bc 4: i chiu vi h thng cỏc quy tc Bc 5: Kt lun chung Mt s suy lun d lm tng l lun on - Nu tiờn l phỏn oỏn quan h thỡ khụng xột ú l lun on: - Nu tiờn l phỏn oỏn phc thỡ khụng xột ú l lun on - V hỡnh thc cú nhng suy lun m kt lun mi nhỡn tng l rỳt t tiờn nhng thc t nhiu tiờn - Cú nhng suy lun, suy din khụng phi l lun on nhng chng minh v thc tin nú cú vai trũ quan trng Tam on lun rỳt gn hay lun hai on l tam on lun ú cỏc tin hoc kt lun ca nú b b qua 39 Vớ d : Cu l ngi quõn t, phi lng ch (Tam on lun rỳt gn b qua tin ln) Ta cú th khụi phc li tam on luõn ú nh sau: Mi ngi quõn t l ngi lng (1) Cu l ngi quõn t (2) Cu phi l ngi lng (3) Chỳ ý : Khi s dng lun hai on d gp sai lm, vỡ vy, phỏt hin sai lm cn a lun hai on v lun ba on y 2.3.4 Suy lun quy np 2.3.4.1 Bn cht ca suy lun quy np nh ngha: l suy lun ú kt lun v ton b mt lp i tng kt qu ca vic nghiờn cu nhng i tng riờng bit thuc lp ú 2.3.4.2 Cỏc loi quy np (5 loi) a Quy np hon ton: l loi quy np rỳt kt lun chung v nhng du hiu (P) cho ton lp i tng (S) nh kt qu nghiờn cu mt b phn i tng ca lp Cụng thc : S1 l P S2 l P Sn l P S1,S2,S3Sn thuc S S l P Vớ d: ng l dn in Nhụm dn in St dn in ng, nhụm, chỡ, st thuc kim loi Kim loi dn in 40 b Quy np khụng hon ton: l loi quy np ú khng nh rng tt c cỏc i din ca lp ang xột (S) cú thuc tớnh (P) trờn c s bit mi i din ca lp ny thuc tớnh P Cụng thc: S1 l P S2 l P S3 l P M S1,S2,S3 hp thnh lp S S l P c Quy np ph thụng: l loi quy np khụng gn vi suy din ch lit kờ n gin d Quy np khoa hc: l phộp quy np c s dng gn trờn vi suy din Trong quy np ny, suy din cú th cú vai trũ khỏc tu theo vai trũ ca suy din, ngi ta phõn bit thnh cỏc hỡnh thc sau - Quy np qua vic la chn cỏc trng hp, loi tr khỏi quỏt hoỏ ngu nhiờn - Quy np ú kt lun rỳt nh quy np khụng hon ton c lý gii bng suy din - Quy np ú kt lun sinh nh phộp tng t c lý gii trc tip nh suy din ú bn thõn quỏ trỡnh xỏc nh s tng t ó da trờn s phõn tớch t m cỏc du hiu c so sỏnh Phộp tng t: l suy lun quy np ú hai i tng ging mt s du hiu ta rỳt kt lun rng cỏc i tng ny cng cú nhng du hiu khỏc ging CU HI V BI TP A Cõu hi Cú my loi suy lun? Th no l suy lun, suy din, suy din trc tip, suy din giỏn tip? kt cu ca suy lun sao? Th no l phộp chuyn hoỏ, phộp o ngc, phộp i lp v ng? 41 Th no l lun on nht quyt n? Kt cu ca nú sao? Trỡnh by tin ca lun ba on nht quyt n Trỡnh by cỏc quy tc ca lun ba on nht quyt n Cho bit loi hỡnh v phng thc ca lun ba on nht quyt n Trỡnh by cỏc quy tc ca loi hỡnh I, II, III Th no l lun hai on? B Bi Thc hin phộp i lp v ng thụng qua phộp chuyn hoỏ v phộp o ngc cỏc phỏn oỏn sau: a Tt c sinh viờn l hc sinh b Khụng phỏn oỏn chung no l phỏn oỏn n nht d Thc hin phộp i lp v ng thụng qua phộp chuyn hoỏ v phộp o ngc kt lun ca lun ba on trờn Xõy dng cỏc phỏn oỏn cũn li theo hỡnh vuụng logic t kt lun ca lun ba on trờn Hóy lp mt lun ba on bt k Cho cỏc lun hai on: Anh l cụng dõn, nờn anh phi tuõn theo phỏp lut ca Nh nc, S ny l s chia ht cho 2, vỡ nú l s chn a Khụi phc lun ba on ỳng t cỏc lun hai on trờn b Cho bit loi hỡnh v phng thc ca chỳng c Xỏc nh quan h v mụ hỡnh hoỏ quan h gia ba thut ng lun ba on va c xõy dng d Xỏc nh tớnh chu diờn ca cỏc thut ng lun ba on ú Cho suy lun: Nu mt s chia ht cho thỡ nú chia ht cho 3, vỡ th s ny khụng chia ht cho a Khụi phc suy lun trờn thnh suy lun hon chnh b Xỏc nh phng thc ca suy lun c Phõn tớch sai lm suy lun 42 CHNG III GI THUYT CHNG MINH 3.1 Gi thuyt 3.1.1 c im chung ca gi thuyt - G thuyt l quỏ trỡnh t tng phc gm vic xõy dng cỏc gi nh v nguyờn nhõn ca hin tng cn quan sỏt v vic chng minh cỏc gi nh ú - Trong logic hc gi thuyt c hiu theo ngha th nht: Gi thuyt c dựng ch bn thõn gi nh v nguyờn nhõn ca hin tng cn tỡm Th gi thuyt ch l quỏ trỡnh t tng dn n vic xõy dng v kim tra gi nh - i vi khoa hc gi thuyt cú vai trũ c bit quan trng bi vỡ nú chớnh l phng tin a ngi ti chõn lý ti khoa hc Mi quy lut, nh lý, mi lý thuyt khoa hc khụng th bt u t cỏi gỡ khỏc ngoi gi thuyt Gi thuyt cũn giỳp ngi khụng ngng khỏm phỏ nhng quy lut ca hin thc khỏch quan v t ú ngi ngy cng chinh phc c v ci to c th gii 3.1.2 Cu trỳc logớc ca gi thuyt 3.1.2.1 Xõy dng gi thuyt (nờu gi thuyt) Gm cú bc - Nờu gi thuyt trờn c s cỏc d kin ó c phõn tớch, tng hp; - Rỳt tt c cỏc h qu cú th cú t gi thuyt; - So sỏnh tt c cỏc h qu ú vi cỏc kt qu quan sỏt, thớ nghim, vi cỏc lý thuyt khoa hc ó c tha nhn; 43 - Chuyn gi thuyt thnh tri thc tin cy hoc lý lun khoa hc, nu tt c cỏc h qu u c khng nh l ỳng v khụng cú mõu thun no vi khoa hc thc tin 3.1.2.2 Xỏc nh gi thuyt L khng nh ỳng n ca gi thuyt cú ý ngha l i chiu gi thuyt vi hin thc, xem gi thuyt ú cú phự hp hay khụng phự hp vi hin thc Xỏc nhn gi thuyt cú th tin hnh bng nhiu cỏch + Phng phỏp c bn ph bit l tm thi coi gi thuyt l chõn thc + Phng phỏp th hai l trc tip nghiờn cu i tng, dựng quan sỏt khoa hc kim nghim gi thuyt 3.1.2.3 Bỏc b gi thuyt Trc mt s vt hin tng mi l, hng lot gi thuyt c t Nhng gi thuyt mi l y khụng th cựng chõn thc m nú phi loi tr ln nhau.Vỡ vy ngi ta cn phi xỏc nh mt s gi thuyt, mt s lun im no dú l gi di Cụng vic ú chớnh l bỏc b gi thuyt 3.2 Chng minh 3.2.1 c trng chung ca chng minh L tỡm tũi nhng lun chng, lý l logic cho lun im cn chng minh 3.2.2 Cu trỳc logớc ca chng minh a Lun : L lun im ũi hi phi chng minh, cn thit phi lm sỏng t, phi tỡm c s xỏc minh tớnh chõn thc hay gi di ca nú Lun phi tr li cho cõu hi Chng minh cỏi gỡ b Lun c - L nhng phỏn oỏn m da vo ú ta chng minh lun Nhng phỏn oỏn ny phi l nhng phỏn oỏn chõn thc Tớnh chõn thc ca nú dn n ngi ta phi cụng nhn tớnh chõn thc ca lun 44 - Lun c cng cú th l nhng phỏn oỏn, cng cú th l nhng tiờn , nhng iu lp i lp li hng triu ln nhng ỳng Lun c cũn l cỏc nh c Lun chng: L tr li cho cõu hi Chng minh l cỏi gỡ? 3.2.3 Phng phỏp chng minh Chớnh l vic sp xp b trớ hp lý tng lun im lun chng cú mi liờn h cht ch, logớc nhm mc ớch rỳt c tớnh chõn thc hay gi di ca lun 3.2.3.1 Chứng minh trực tiếp Chứng minh trực tiếp phơng pháp chứng minh tính chân thực luận đề dựa trực tiếp vào luận Sơ đồ phơng pháp chứng minh trực tiếp có dạng: P ? (a, b, c) suy (k, l, m) p Trong có a, b, c luận cứ, k,l,m phán đoán chân thực suy diễn từ a, b, c luận đề cần chứng minh Ví dụ : Cho hai đờng thẳng a, b song song với Một cát tuyến cắt hai đờng thẳng a,b tạo nên góc 1, 2, (nh hình vẽ) Chứng minh góc Chng minh: Góc 1, tính chất đối đỉnh Góc góc tính chất đồng vị Vy góc góc 3.2.3.2 Chứng minh gián tiếp Chứng minh gián tiếp phơng pháp chứng minh theo đờng vòng, qua khâu trung gian chứng minh ngợc lại (còn gọi chứng minh đảo hay phản chứng) Nói cách khác, chứng minh phản chứng đa luận đề trái với luận đề cần chứng minh (gọi phản đề) Sau phản đề đợc chứng minh sai có nghĩa luận đề cần chứng minh đợc chứng minh Ví dụ: Chứng minh hai đờng thẳng m,n vuông góc với đờng thẳng thứ song song với nhau? 45 Theo phơng pháp phản chứng trình tự sau: Đa phản đề: Giả sử m,n không song song với Luận lập luận: Khi m, n cắt l tạo thành tam giác, tam giác có góc vuông góc nhọn -> điều trái định luật tổng góc tam giác Vậy m,n phải song song với Luận đề đợc chứng minh 3.2.4 Bỏc b chng minh 3.2.4.1 Định nghĩa Bác bỏ phơng pháp t có đặc trng thờng liền với chứng minh nhằm chứng minh tính chất giả dối luận đề Bác bỏ phép chứng minh đặc biệt: chứng minh tính sai lầm, tính vô ca luận đề 3.2.4.2 Các cách bác bỏ Mọi phép chứng minh có ba phận: luận đề, luận cứ, luận chứng Mục đích bác bỏ tìm đợc phận không chân thực đủ a Bác bỏ luận đề: Là việc chứng minh phản luận đề Để đạt đợc mục đích ta tính không sở kiện nêu luận đề cần bác bỏ, tính không sở kiện nêu luận đề cần bác bỏ, tính giả dối hệ rút từ luận đề Ví dụ: Bác bỏ luận đề: Tri thức đội ngũ phi sản xuất b Bác bỏ luận cứ: Là tính giả dối không chắn luận Ví dụ: Tại ngỗng kêu? Vì ngỗng có cổ dài Tại ếch cổ mà kêu? c Bác bỏ luận chứng: Là vạch tính không logic trình chứng minh 3.2.5 Nhng quy tc chng minh v bỏc b - nhng sai lm thng gp 46 3.2.5.1 Cỏc quy tc i vi lun - Lun phi c phỏt biu rừ rng, chớnh xỏc, trỏnh mp m nhiu ngha Mun vy phi xỏc nh c ni hm v ngoi diờn ca cỏc khỏi nim - Lun phi c gi vng sut quỏ trỡnh chng minh, vi pham quy tc ny l vi phm li logớc ỏnh trỏo lun , vi phm lut ng nht 3.2.5.2 Cỏc quy tc i vi lun chng - Cỏc lun chng phi l chõn thc, khụng c ly cỏi gi di chng minh cỏi chõn thc Vi phm quy tc ny dn n sai lm gi l lun chng gi di - Lun chng phi l lun im ó c chng minh Sai lm vi phm quy tc ny gi l s vt qua c s - Lun chng phi rừ rng, khụng c lun qun vũng quanh - Lun chng phi l lý y i vi lun 3.2.5.3 Cỏc quy tc i vi phng phỏp chng minh - Trong phộp chng minh phi tuõn theo quy tc suy lun - Cỏch chng minh phi m bo tớnh h thng cht ch, khoa hc 3.2.5.4 Nhng sai sút chng minh v bỏc b - Vụ tỡnh vi phm (ng bin) - C ý vi phm (ngu bin) Câu hỏi Và BàI tập Chứng minh gì? Kết cấu lôgic chứng minh? Thế chứng minh trực tiếp chứng minh gián tiếp? Cho ví dụ minh họa CHNG IV NHNG QUY LUT C BN CA T DUY HèNH THC 47 Quy luật t mối liên hệ tất yếu, chất, phổ biến ổn định, đợc lặp lặp lại t tởng Quy luật lô gic hình thức Quy luật lô gic hình thức quy luật chi phối tới tất hình thức t duy, điều kiện bắt buộc ngời phải tuân theo trình t Đặc điểm quy luật: - Chúng tồn cách khách quan, không phụ thuộc vào ý chí ngời - Mang tính chất phổ biến Các qui luật lôgic hình thức chung cho tất ngời, không phụ thuộc vào tính giai cấp, tính dân tộc kết cấu t ngời nh - Phản ánh mối quan hệ chất, tất yếu hình thức t tởng - Mang đặc điểm tiên đề, tức tình chân thực chúng không cần phải chứng minh Tính chân thực chúng đợc kiểm nghiệm hoạt động thực tiễn ngời Các qui luật : Gồm qui luật đồng nhất, qui luật không mâu thuẫn, quy luật laọi trừ thứ quy luật lý đầy đủ 4.1.1 Quy lut ng nht Ni dung quy lut ng nht: Mi t tng phi ng nht vi chớnh nú Yờu cu ca quy lut ng nht: Trong quỏ trỡnh suy lun, tranh lun, bin lun v mt gỡ ú, ta phi bỏm sỏt i tng, phi núi chớnh v nú, khụng c thay th khỏi nim (i tng) ny bng khỏi nim khỏc; phi xỏc nh rừ khỏi nim dựng lm c s; mi khỏi nim phi dựng mt ý ngha Nh chỳng ta va núi trờn, s vt hin tng lun luụn ng, bin i v phỏt trin Vỡ vy lut ng nht ch yờu cu no chuyn t i tng ny sang i tng khỏc thỡ chỳng ta phi cú ý thc v s chuyn bin ú v yờu cu 48 t tng ó chuyn sang bc khỏc thỡ bc ny, t tng v i tng phi gi nguyờn Nghiờn cu quy lut ny chỳng ta phi lu ý mt im l dự ta xột s vt trng thỏi n nh tm thi nhng phi cú cỏch nhỡn rng, phi m bo s phỏt trin ca t tng, nhanh chúng thy c s phỏt trin ca i tng, trỏnh cỏch nhn xột ỏnh giỏ s vt mt cỏch cng , mỏy múc dn n hin tng thiu khỏch quan ỏnh giỏ Vi phm lut ny ta d mc sai lm l ỏnh trỏo khỏi nim Trong thc t, cú nhiu trng hp c ý trỏi lut ng nht m ta gi l ngy bin Trong thc t thng gp hai li logic sau: - ỏnh trỏo t tng ng nht thnh hai t tng khỏc bit - ỏnh trỏo t tng hai t tng khỏc bit thnh hai t tng ng nht Vớ d v loi li th nht: Vớ d : Tờn nh giu hi ngi y t: - Nghe núi thiờn h bo ta ging mt kh lm h? - õu cú, h ch bo rng cú mt kh ging ngi thụi ! - Cú th ch! Núi xong, nột mt tờn nh giu khụng cũn gin gj nh trc na Vớ d v loi li th hai: Chớnh tr gia hi mt chin s:: - Cha ca anh cht nh th no? - ễng y cht mt trn chin - Th ngi anh ca anh? - Cng vy - Vy thỡ ti anh li cũn dỏm tham gia quõn i? Chin s hi li chớnh tr gia: - Thõn sinh ca ngi cht nh th no? - ễng y cht trờn ging - Th ụng ni ca ngi? 49 - Cng vy - Vy thỡ ti ngi cũn dỏm ng trờn ging? (Bn c t phõn tớch li lụgớc bn trờn) 4.2.2 Quy lut cm mõu thun: Ni dung quy lut: Hai phỏn oỏn, ú mt phỏn oỏn khng nh v mt phỏn oỏn ph nh v cựng mt i tng t tng, thỡ khụng th ng thi l chõn thc Quy lut cm mõu thun núi lờn tớnh nht quỏn ca t tng Núi n mõu thun ta thng ngh ú l s bt ng ý kin L s khụng thng nht vi v mt gỡ ú hoc l s i lp ca s vt hin tng Nghiờn cu lụgớc hc chỳng ta cn nhn bit mõu thun thc t v mõu thun lụgớc Mõu thun thc t l mõu thun t tng v s vt Lut mõu thun c phỏt trin nh sau: - i vi mt s vt cựng mt thi gian, mt quan h khụng th cú ý kin i lp u ỳng c Mt hai ý kin ú phi sai - Mun xỏc nh phỏn oỏn ny mõu thun vi phỏn oỏn thỡ chỳng ta phi cn c vo cựng mt thi gian, mt mi quan h Vớ d: Anh A l on viờn Anh A khụng phi l on viờn Trong hai phỏn oỏn trờn nht nh mt phỏn oỏn l chõn thc Tuy nhiờn, xỏc nh phỏn oỏn no l chõn thc ta phi xột cựng mt thi gian Vớ d trờn l trng hp n gin Trong thc t t duy, nhiu hin tng vi phm quy lut ny khú nhn din hn Quy lut mõu thun lụgớc khụng nhng c s dng t suy lun m c chng minh v bỏc b 4.2.3 Quy lut bi trung (quy lut loi tr cỏi th ba) Quy lut ny núi lờn tớnh rừ rng, minh bch ca t tng 50 Ni dung quy lut: Trong phỏn oỏn ph nh ln cựng phn ỏnh mt du hiu ca mt i tng nhng iu kin xỏc nh thỡ phỏn oỏn l ỳng, phỏn oỏn l sai, khụng th cú cỏi th va ỳng va sai c C lut mõu thun v lut bi trung u th hin yờu cu: ú l tớnh mõu thun ca t tng, nhng cú ch khỏc C th l lut mõu thun ch nờu c ni dung: Gia t tng mõu thun, nht nh l cú cỏi sai, khụng cho bit cỏi cũn li l sai hay ỳng Cũn lut bi trung vch sõu hn l phỏn oỏn ph nh ln cú cỏi sai, cỏi ỳng Gia t tng khng nh v ph nh vi mt s vt, gia cỏi ỳng v cỏi sai phi chn ly Vớ d: Cú mt ln Sụcrỏt núi vi mụn ca mỡnh rng ta v v ta u l nhng nh thiờn hc ti ba, d oỏn ca mt hai ngi khụng bao gi sai Hc trũ khụng tin, xin thy cho vớ d minh chng ễng núi: Thỡ y, c mi ln mõy mự kộo n, nu ta núi tri ma thỡ v ta núi tri khụng ma Lut bi trung cú ý ngha vụ cựng to ln Nú giỳp ta la chn t tng, tỡnh cm, hnh ng qua trỡnh hot ng Nú ch rừ ng suy ngh chớnh xỏc, thoỏt trng thỏi mõu thun hn lon ca t tng Nú a ch da vng chc qu quyt t tng tỡm kt qu chớnh xỏc 4.2.4 Quy lut lý y Quy lut ny núi lờn tớnh cht cú cn c v tớnh cú th chng minh c ca t tng S vt hin tng th gii khỏch quan liờn h vi bng nhiu mi quan h ú cú mi quan h nhõn qu Khụng cú kt qu no khụng cú nguyờn nhõn, khụng cú cn c Ni dung ca quy lut: Mi lun im, mi phỏn oỏn mun c tin cy cn phi cú y lý xỏc ỏng lm cn c cho nú Theo quy lut ny mi t tng ỳng n chớnh xỏc phi cú c s l nhng t tng khỏc ó c chng minh l ỳng n Nhng t tng ny gi l c s 51 lụgớc Cũn t tng c rỳt t c s lụgớc gi l h qu lụgớc hay kt lun lụgớc Lut lý y cú ý ngha rt ln Trong lun bin m khụng cú lý y thỡ khụng th lm cho ngi ta tin phc li núi ca mỡnh Trong suy lun m khụng tuõn th hoc phỏ hoi lut lý y thỡ khụng th no i n kt lun chớnh xỏc phỏn oỏn ca mỡnh Núi phi cú sỏch, mỏch phi cú chng Khụng nờn vi a nhng nhn xột nhng kt lun thiu cn c hay tin v nhng nhn xột, nhng kt lun thiu cn c CÂU HỏI Và BàI TậP Trình bày nội dung quy luật đồng Phân tích nội dung quy luật không mâu thuẫn Phân tích nội dung quy luật loại trừ thứ ba Trình bày quy luật lý đầy đủ 52 ... nghĩa logic học 1.1.1 Khái niệm logic học hình thức Thuật ngữ logic bắt nguồn từ tiếng Hy lạp “Logos” Thuật ngữ sử dụng để chỉ: - Tính quy luật giới khách quan: Logic vật, logic kiện, logic phát... phải tuân theo nhằm phản ánh đắn giới khách quan Theo nghĩa logic hiểu Logic chủ quan” Đây đối tượng nghiên cứu logic học hình thức Logic học hình thức khoa học nghiên cứu quy luật hình thức... quan: Logic vật, logic kiện, logic phát triển xã hội Theo nghĩa đó, logic hiểu Logic khách quan” Đây đối tượng nghiên cứu logic biện chứng - Tập hợp quy luật tư duy, qui tắc hình thức lập luận