Ậỡnh nghỵa vộ ệẳc ệiÓm chung cựa chụng minh

Một phần của tài liệu Tài liệu LOGIC HỌC ĐẠI CƯƠNG ppt (Trang 78 - 79)

1.1. Chụng minh vộ tÝnh bỡ quy ệỡnh phữ biạn cựa cịc ệèi t−ĩng Sù xuÊt hiỷn vộ bờn chÊt cựa chụng minh.

Khờ nẽng khịch quan cựa chụng minh gớn liÒn chẳt chỳ vắi tÝnh bỡ quy

ệỡnh phữ biạn cựa cịc ệèi t−ĩng hiỷn thùc, vắi tÝnh phô thuéc nhẹn quờ cựa chóng. Khềng cã gừ ra sinh tõ h− về: tÊt cờ ệÒu cã cể sẻ tõ ẻ cịc ệèi t−ĩng khịc, mải biạn ệữi ệÒu diÔn ra trến cể sẻ vộ do tịc ệéng cựa cịi gừ ệã. Vộ ệiÒu nộy cho phĐp trong t− duy phờn ịnh vÒ hiỷn thùc cã mét sè t− t−ẻng dùa cể sẻ trến nhọng t− t−ẻng khịc, mét sè t− t−ẻng quy ệỡnh nhọng t− t−ẻng khịc.

Khờ nẽng lềgÝc cựa chụng minh gớn liÒn vắi sù hiỷn tăn cựa cịc chẹn lý

ch−a ệ−ĩc xịc minh mang tÝnh khẻi ệiÓm. Khi từm ra chẹn lý con ng−êi cã ý h−ắng truyÒn nã cho nhọng ng−êi khịc. Mộ ệÓ lộm ệ−ĩc ệiÒu ệã ng−êi ta phời tù tin vộo nã.

Ngoội ra cưn cã cờ nguyến nhẹn nhẺn thục luẺn. Nạu nh− tÊt cờ mải chẹn lý ệÒu ệở tù râ rộng, thừ chớc ệở khềng cẵn ệạn chụng minh. Trong thùc tạ chử cã mét sè rÊt Ýt cịc chẹn lý lộ hiÓn nhiến khềng ệưi hái chụng minh. Tr−ắc tiến ệã lộ loỰi sù kiỷn, mộ mẫi ng−êi ệÒu cã thÓ mớt thÊy, tai nghe.

Tiạp theo lộ cịc tiến ệÒ (HylỰp: axios Ờ ệịng tin cẺy, xịc thùc), mộ ệèi vắi con ng−êi tÝnh chẹn thùc cựa chóng ệ−ĩc thuyạt phôc bẻi toộn bé thùc tiÔn tõ tr−ắc ệạn nay cựa nhẹn loỰi.

Cuèi cỉng, lộ cịc ệỡnh ệÒ (Latinh: postulatum) Ờ cịc luẺn ệiÓm ệ−ĩc lÊy lộm niÒm tin (lộ nhọng ệiÒu gẵn gièng nh− quy −ắc vắi nhau cựa con ng−êi).

Cưn lỰi phẵn lắn cịc chẹn lý ệÒu khềng râ rộng nh− vẺy, vộ do ệã, ệưi hái phời ệ−ĩc chụng minh. Viỷc chụng minh tÝnh chẹn thùc cựa nhọng phịn

ệoịn nộy lỰi giờ ệỡnh chụng minh tÝnh giờ dèi cựa cịc phịn ệoịn khịc mẹu thuÉn vắi nã, vừ chẹn thùc vộ giờ dèi nỪm trong quan hỷ phự ệỡnh lÉn nhau.

TÊt cờ nhọng cịi ệã xịc ệỡnh bờn chÊt cựa chụng minh: ệã lộ hừnh thục

t− duy, mộ nhê ệã trến cể sẻ mét sè tri thục chẹn thùc ng−êi ta xịc lẺp tÝnh chẹn thùc hay giờ dèi cựa cịc tri thục khịc.

Hừnh thục ngền ngọ thÓ hiỷn chụng minh lộ cịc kạt cÊu ngền ngọ t−ểng ệèi phục tỰp ệ−ĩc cÊu thộnh tõ mét sè cịc mỷnh ệÒ liến hỷ vắi nhau theo cịch xịc ệỡnh ệÓ chuyÓn tời chuẫi cịc suy luẺn.

1.2. Vai trư vộ ý nghỵa cựa chụng minh. Nh− tõng suy luẺn riếng rỳ,

chụng minh còng nhỪm môc ệÝch mang lỰi tri thục giịn tiạp. Nh−ng nạu sụ mỷnh cựa suy luẺn lộ rót ra tri thục mắi, thừ chụng minh lỰi chuyÓn trảng tẹm

sang viỷc xịc ệỡnh tÝnh chẹn thùc hoẳc giờ dèi cựa tri thục ệang cã.

Chụng minh cã mẳt ẻ mải khoa hảc. Nhiỷm vô cựa mải khoa hảc Ờ khềng chử khịm phị ra vộ lắn tiạng tuyến bè vÒ chẹn lý ệ−ĩc từm ra, mộ cưn phời chụng minh chóng. Toịn hảc lộ hừnh mÉu tiếu biÓu cựa mền khoa hảc chẳt chỳ, mộ trong ệã hẵu nh− tÊt cờ ệÒu phời ệ−ĩc chụng minh. Toịn hảc lộ toộ lẹu ệội ệă sé cịc chụng minh dùa cể sẻ trến khềng nhiÒu cịc tiến ệÒ, ệỡnh ệÒ.

Cã nhọng luẺn ệiÓm tõ bÊy lẹu nay ch−a thÓ ệ−ĩc coi lộ chẹn thùc hay giờ dèi, khi ch−a cã chụng minh t−ểng ụng.

Một phần của tài liệu Tài liệu LOGIC HỌC ĐẠI CƯƠNG ppt (Trang 78 - 79)