|
|
zhù yīn luóji
1. sī wéi de guī lǜ。； 2. kě guān de guī lǜ。 3. zhǐ chǔlǐ shì qíng de fāng shì、 guīju de yì sī。 |
|
luó ji shì rén de yī zhǒng chōu xiàng sī wéi， shì rén tōng guò gài niàn、 pàn duàn、 tuī lǐ、 lùn zhèng lái lǐ jiě hé qū fēn kè guān shì jiè de sī wéi guò chéng。
luó ji shì zài xíng xiàng sī wéi hé zhí jué dùn wù sī wéi jī chǔ shàng duì kè guān shì jiè de jìn yī bù de chōu xiàng， suǒ wèi chōu xiàng shì rèn shí kè guān shì jiè shí shěqì gè bié de、 fēi běn zhì de shǔ xìng， chōu chū gòng tóng de、 běn zhì de shǔ xìng de guò chéng， shì xíng chéng gài niàn de bì yào shǒu duàn。
logic zuì zǎo bèi qīng mò de yán fù fān yì chéng hàn yǔ luó ji ， shǔ yīn yì yì yì xiāng jié hé de gōng rèn bǐ jiào wán měi de fān yì， dāng rán zhù yào shì yīn yì， hòu yóu zhōng guó chuán rù rì běn， dàn zài rì yǔ zhōng zé zhù míng zhǐ shì duì logic de zhù yīn， logic zài rì yǔ zhōng de zhèng shì hàn yǔ fān yì cí wéi “ lùn lǐ ”。 |
|
yī duì fū qī dài zhe zì jǐ de hái zǐ . lù guò yī jiā wán jù diàn . hái zǐ xiǎng yào mǒu yī gè wán jù . yú shì duì mā mā tí chū yào qiú . mā mā jù jué liǎo . yú shì duì bà bà shuō . mā mā bù hǎo . bà bà hǎo . bà bà gěi wǒ mǎi wán jù .
zhè jiù shì luó ji zuì jī běn de gōng shì liè . luó ji shì yī zhǒng róng hé liǎo máo dùn de dōng xī . suǒ yǐ bù guǎn shì wán měi de luó ji . hái shì bù wán měi de luó ji . zài shí jiān miàn qián yǒng yuǎn zhàn bù zhù jiǎo .
luó ji chéng wéi yī mén kē xué， nà shì cóng yà lǐ shì duō dé kāi shǐ de， zhè kǒng pà huái yí de rén hěn shǎo。 wǒ men zhī dào yà shì bìng méi yòu bǎ tā de yán jiū jiào zuò“ luó ji ”， dàn tā míng què zhǐ chū tā de yán jiū duì xiàng shì“ sān duàn lùn”， ér zhè shì guān yú cóng yī gè zhēn de qián tí“ bì rán dì” tuī chū yī xiē jié lùn de kē xué。 tā de sān duàn lùn yòu liǎng zhǒng， yī shì yùn hán sān duàn lùn， èr shì guī nà sān duàn lùn。 qián zhě wǒ men bù bì shuō， hòu zhě shí jì shàng shì yī zhǒng wán quán guī nà， yīn 'ér yě shì yǎn yì xìng de。 yīn cǐ， yà lǐ shì duō dé yì yì shàng de“ luó ji ”， jiù shì guān yú“ bì rán tuī lǐ guī zé”， huò“ bì rán zhèng míng huò lùn zhèng guī zé” de kē xué。 tā jìn guǎn tí dào guò jiǎn dān méi jǔ guī nà， dàn bìng bù shì cóng“ luó ji ” yì yì shàng lái shuō de， zhǐ shì wèile hé“ luó ji ” jìn xíng duì bǐ 'ér cóng lùn biàn de yì yì shàng 'ér yán de。
cóng cí yuán lái shuō： hè lā kè lì tè zuì zǎo shǐ yòng logos yě shì zhǐ yǔ yán zhōng tǐ xiàn de“ kè guān cì xù”， yě shì zài“ bì rán” yì yì shàng jiǎng de。 yīn cǐ，“ luó ji ” de běn yì bù jǐn jǐn shì zhǐ“ tuī lǐ guī zé”， ér qiě shì zhǐ“ bì rán tuī lǐ guī zé”。 luó ji xué hé qí tā xué kē fēn kē de yì yì， shí jì shàng jiù zài zhè lǐ。 rú tóng dāng jīn zhōng guó xǔ duō rén zhǐ zé jīng jì xué méi yòu yán jiū“ shēng chǎn lì” yī yàng， yìng yào luó ji xué qù yán jiū tā de nèi róng shì fǒu wéi zhēn， běn lái jiù bù hé fēn kē de yuán lǐ。 rú guǒ luó ji xué shénme dōukě yǐ yán jiū， jiù yīnggāi jiào“ zhī shí xué”。 |
shénme shì guī nà luó ji？ |
péi gēn tí chū kē xué de“ guī nà fǎ” de shí hòu， bìng méi yòu shuō zhè jiù shì luó ji ； ér shì dào liǎo mù lè cái bǎ“ guī nà fǎ” xiě jìn liǎo tā de《 luó ji tǐ xì》 zhōng。 dàn shì， tā bù shì zài“ bì rán tuī lǐ” de jiǎo dù lái shǐ yòng“ luó ji ” gài niàn de， tā de luó ji shì zhǐ jiàn lì zài yī tào“ chéng xù huà guī zé” de“ tuī lǐ”， zhì yú shǐ yòng zhè gè guī zé shì fǒu dé chū bì rán de jié lùn， nà shì wú guān jǐn yào de。 tā rèn wéi， fán shì tuī lǐ dōuyòu quán jiào luó ji 。 kě jiàn， jiù shì mù lè zì jǐ yě rèn wéi， gēn jù běn lái de luó ji dìng yì， yán jiū guī nà qí shí bù néng suàn luó ji xué。
zhí dé zhù yì de shì xǔ duō xiàn dài guī nà luó ji de dà jiā， rú kǎ 'ěr nà pǔ děng gēn běn bù rèn wéi péi gēn、 mù lè de“ guī nà fǎ” shì shénme“ luó ji ” ér zhǐ rèn wéi tā shì yī zhǒng“ fāng fǎ”， yě bù rèn wéi xiàn dài guī nà luó ji qǐ yuán yú tā men liǎng gè， ér shì qǐ yuán yú gàilǜ lùn； ér zuì xiān yán jiū de gàilǜ de mùdì， gēn běn bù shì wèile fǎn duì shénme“ wéi lǐ zhù yì”， ér shì wèile jiě jué dǔ bó de wèn tí。 gàilǜ lùn chuàng shǐ rén pà sī kǎ běn rén jiù shì wéi lǐ zhù yì zhě。
dàn shì， xiàn dài guī nà luó ji zhī suǒ yǐ jiào luó ji ， yě bù shì yīn wéi tā yǐ jīng biàn chéng liǎo yī mén guān yú“ bì rán xìng guī zé” de kē xué， ér shì yīn wéi tā běn shēn yǐ jīng“ yǎn yì huà”。 dàn shì， zhè bìng bù néng gǎi biàn guī nà luó ji shì guān yú“ gài rán xìng” de xué kē。 tā hé“ luó ji ” xué yào yán jiū de lǐng yù gēn běn bù tóng。 yī gè“ yǎn yì huà” de tǐ xì néng fǒu jiù shì“ luó ji xué”？ xiàn dài de yī xiē kē xué， rú bó yì lùn nèi bù yě shì yǎn yì huà de， néng gòu yīn cǐ jiù jiào zuò“ luó ji xué” má？ |
shénme shì biàn zhèng luó ji？ |
wǒ men shuō， xiàn dài luó ji yī bān shì bǎ“ guī nà fǎ” hé“ guī nà luó ji ” yán gé qū fēn。 tóng yàng， biàn zhèng fǎ hé biàn zhèng luó ji yě bù yī yàng。 zài hēi gé 'ěr zhī qián de yīnggāi jiào biàn zhèng fāng fǎ（ ér bù shì yáo dà zhì shuō de shì shénme luó ji ）， ér zài hēi gé 'ěr zhè lǐ díquè shì yào yòng“ biàn zhèng fǎ zhè zhǒng sī wéi fāng shì”， lái jiàn lì“ xīn de luó ji xué”。 yīn cǐ， tā suǒ wèi de biàn zhèng fǎ jiù shì zhǐ biàn zhèng luó ji 。 tā de sī lù zhù yào yòu liǎng gè： yī、 jiě jué luó ji xué de jī chǔ wèn tí， jí shì yòng luó ji xué lái zì jǐ zhèng míng zì jǐ de qián tí wéi zhēn（ zhù yì， jué bù shì cóng wài miàn yǐn yī gè shénme“ guī nà fǎ” lái zhèng míng zì jǐ de qián tí wéi zhēn）， zhè jiù shì yī gè yuán juàn shì sī wéi fāng shì， ér yǐ qián de luó ji zé shì zhí xiàn xìng sī wéi fāng shì， suǒ yǐ wú fǎ jù yòu fǎn shēn xìng。 èr、 shǐ dé luó ji xué bù shì jiàn lì zài tóng yī lǜ， ér shì jiàn lì zài duì lì tǒng yī lǜ shàng。 wǒ men zhī dào， zài hēi gé 'ěr shí dài， suǒ wèi“ xíng shì luó ji ” de tóng yī lǜ zhè gè gēn běn qián tí běn shēn shì méi yòu jīng guò zhèng míng de guī lǜ， suǒ yǐ xíng shì luó ji zuò wéi guān yú“ bì rán xìng guī zé” de kē xué běn shēn jiù shì bù bì rán de。 rú guǒ bǎ luó ji xué jiàn lì zài duì lì tǒng yī lǜ shàng， jiù kě yǐ shuō míng tóng yī lǜ de gēn jù， cóng 'ér shǐ luó ji xué de gè guī zé zhī jiān de xiāng hù tuī yǎn zhēn zhèng jù yòu“ wán quán xìng” hé“ bì rán xìng”。 jiù hēi gé 'ěr shuō de zhè diǎn 'ér yán， tā shì tú chuàng lì de biàn zhèng luó ji díquè kě yǐ shuō shì bǐ chuán tǒng xíng shì luó ji gèng gāo jí。
zhì yú hēi gé 'ěr zhè zhǒng sī lù shì fǒu jiù zhēn néng jiàn lì qǐ liǎo tā de biàn zhèng luó ji ， zhè gè kě yǐ huái yí、 tàn tǎo hé yán jiū。 dàn shì kě yǐ kěn dìng， zhè lǐ de luó ji hán yì yě shì cóng bì rán xìng lái shuō de。 hēi gé 'ěr shuō：“ biàn zhèng fǎ ... shì zài kē xué nèi róng lǐ yóu yǐ dá dào nèi zài lián xì hé bì rán xìng de wéi yī yuán zé。” tā jiù shì yào chǎn shù zhè yī“ dá dào nèi zài lián xì hé bì rán xìng de wéi yī yuán zé”。
yīn cǐ， zhè lǐ tí xǐng yī xià qí tā cānyù tǎo lùn de péng yǒu， jiù shì“ biàn zhèng luó ji ” hé“ xíng shì luó ji ” de qū bié bù shì zài suǒ wèi“ nèi róng” hé“ xíng shì” de qū bié。 ér shì wǒ men shàng miàn shuō de nèi róng。 suǒ wèi“ xíng shì luó ji ” zhǐ de zhǐ luó ji xué zhǐ yán jiū luó ji cháng xiàng， zhè diǎn biàn zhèng luó ji yě yī yàng。 zuò wéi yī mén kē xué bù kě néng qù yán jiū nà xiē biàn dòng wú cháng、 bù kě bǎ wò de dōng xī。 hēi gé 'ěr shuō：“ nèi róng bù rú shuō shì zài zì shēn nà lǐ jiù yòu zhe xíng shì， shèn zhì kě yǐ shuō wéi yòu tōng guò xíng shì， tā cái yòu shēng qì hé shí zhì； ér qiě， nà jǐn jǐn zhuǎn huà wéi yī gè nèi róng xiǎn xiàn de， jiù shì xíng shì běn shēn。” yīn cǐ， biàn zhèng luó ji yě zhǐ yán jiū“ biàn zhèng luó ji cháng xiàng”， jí luó ji de xíng shì。
shuō hēi gé 'ěr de biàn zhèng luó ji shì yào yán jiū jù tǐ nèi róng de， nà shì cóng luó sù kāi shǐ de wú jī zhī tán。 |
biàn zhèng luó ji hé guī nà de guān xì |
| biàn zhèng luó ji yě shì guān yú bì rán xìng guī zé de kē xué， yīn 'ér hé péi gēn、 mù lè de suǒ wèi guī nà fǎ méi yòu shénme guān xì。 guī nà hé yǎn yì（ luó ji ） gè yòu xiāng hù bù kě tì dài de zuò yòng。 guī nà zhù yào yòng yú sōu suǒ fā xiàn， luó ji yòng yú zhèng chéng； guī nà yán jiū zài bù chōng fēn tiáo jiàn xià de kě néng guò chéng， luó ji yán jiū chōng fēn tiáo jiàn xià de bì rán guò chéng。 yīn cǐ， biàn zhèng luó ji kǒng pà hěn nán jiàn lì zài“ guī nà 1... yǎn yì 1... guī nà 2... yǎn yì 2...” de jī chǔ shàng。 yìng yào zhǎo yī gè gōng shì， bù rú shuō shì： fēn xī ... zōng hé ....。 zhè lǐ de fēn xī hé zōng hé dōushì luó ji xué yì yì shàng（ rú yà lǐ shì duō dé bǎ tā de sān duàn lùn jiù jiào zuōfēn xī）， ér bù shì fāng fǎ yì yì shàng de。 fāng fǎ yì yì shàng de zhè gè gōng shì qí shí zài bólātú de biàn zhèng fǎ lǐ miàn jiù yǐ jīng yòu liǎo。 |
|
héng héng chuán tǒng luó ji yǔ xiàn dài luó ji de yòu jī jié hé ( dāng dài luó ji de xīn lǐng yù： zhì yuē luó ji )
èr qiān sān bǎi nián qián， gǔ xī là de wěi dà sī xiǎng jiā yà lǐ shì duō dé (Aristotelés qián 384 héng qián 322 nián ) yǐ《 gōng jù lùn》 chuàng lì liǎo chuán tǒng xíng shì luó ji ， wéi luó ji fā zhǎn shǐ shù qǐ liǎo dì yī zuò fēng bēi。 cóng 19 shì jì zhōng yè dào 20 shì jì chū， jīng guò yīng guó shù xué jiā bù 'ěr、 dé guó shù xué jiā fú léi gé、 yīng guó zhé xué jiā、 shù xué jiā luó sù děng rén jiē lián bù duàn de nǔ lì， xī shōu lāi bù ní cí de chéng guǒ， jiàn lì liǎo hòu lái zuò wéi diàn zǐ jì suàn jī lǐ lùn jī chǔ de“ zhèng tǒng shù lǐ luó ji ” de xiàn dài gōng lǐ xì tǒng， zhè shì luó ji xué fā zhǎn shǐ shàng de dì 'èr zuò lǐ chéng bēi。
1968 nián， zhōng guó xíng shì luó ji yán jiū huì lǐ shì、 běi jīng kāi guān chǎng gōng chéng shī lín bāng jǐn chuàng lì liǎo yī mén xīn de luó ji xué shuō héng héng zhì yuē luó ji ， xiàng qián liǎng zuò fēng bēi tí chū liǎo tiǎo zhàn。 1978 nián， zài wǒ guó luó ji xué jiè yuán lǎo shěn yòu dǐng jiào shòu de jǔ jiàn xià， jīng huá yì měi jí luó ji xué jiā wáng hào jiào shòu tuī jiàn， lín bāng jǐn zài měi guó shù xué huì kān wù《 wén zhāi》 shàng fā biǎo lùn wén《 zhì yuē luó ji jiǎn jiè》。 1985 nián 12 yuè， lín bāng jǐn de zhuān zhù《 zhì yuē luó ji 》 zài guó nèi zhèng shì chū bǎn。 zhì yuē luó ji dú shù yī zhì， zhèn dòng liǎo luó ji xué jiè， yǐn qǐ liǎo guó nèi wài xué zhě de guān zhù。
zhì yuē luó ji shì chuán tǒng de xíng shì luó ji yǔ zhèng tǒng shù lǐ luó ji ( xiàn dài luó ji ) yòu jī jié hé de chǎn wù， tā yùn yòng xiàn dài luó ji tí gōng de yán gé jīng mì de shù xué fāng fǎ， qù gòu zào yī gè néng què qiē dì tǐ xiàn chuán tǒng xíng shì luó ji de shēn kè zhèng què de zhù dǎo sī xiǎng de fēi zhèng tǒng de luó ji zhì yuē xì tǒng。 lín bāng jǐn rèn wéi， chuán tǒng xíng shì luó ji mìqiè jié hé rén lèi pǔ tōng sī wéi hé zì rán yǔ yán shí jì， bǎ cóng yǐ zhī jìn rù wèi zhī de tuī lǐ gé shì zuò wéi zì jǐ de zhù yào yán jiū duì xiàng， jiān chí guàn chè bù xǔ xún huán lùn zhèng， zhè shì tā de shēn kè 'ér zhèng què de zhù dǎo sī xiǎng。 dàn tā duì yī xiē jí jiǎn dān de tuī lǐ què bù néng cóng lǐ lùn shàng jiā yǐ fēn xī， yǎn suàn jì shù yě shí fēn jiǎn lòu、 chén jiù， yuǎn bù néng mǎn zú xiàn dài de xū yào。 zhèng tǒng shù lǐ luó ji xì tǒng dì cǎi yòng liǎo xiàn dài shù xué fāng fǎ， lùn zhèng yán jǐn， yǎn suàn jīng mì， dàn tā què shè qì liǎo tuī lǐ gé shì zhōng qǐ jué dìng zuò yòng de fēi shù xué de luó ji hán yì zhè yī jīng suǐ， jiāng qí chǔlǐ chéng zhēn zhí hán shù、 gè tǐ héng zhēn zhí hán shù guān xì， yīn 'ér yuǎn lí liǎo chuán tǒng xíng shì luó ji de zhù dǎo sī xiǎng。 lín bāng jǐn dà dǎn dì zōng hé róng huì liǎo shàng shù liǎng zhǒng luó ji de yōu diǎn 'ér bìn qì 'èr zhě zhī quē xiàn， chuàng zào chū zì wài yú chuán tǒng liǎng jiā de xīn luó ji tǐ xì héng héng zhì yuē luó ji xué shuō， jí jì chéng xíng shì luó ji de zhèng què zhù dǎo sī xiǎng hé yòu xiào de tuī lǐ gé shì， bìng cǎi yòng shù lǐ luó ji suǒ tí gōng de shù xué fāng fǎ lái chǔlǐ kē xué yán jiū hé shè huì shēng huó zhōng de gè zhǒng luó ji wèn tí。 tā shì jiǔ shèng bù shuāi de chuán tǒng xíng shì luó ji de xiàn dài fā zhǎn。
zhì yuē luó ji xué shuō zhǐ chū， zhì yuē guān xì jiù shì kè huá qīng chǔ hòu de chōng fēn tiáo jiàn guān xì。 zhì yuē guān xì shì shí shàng gòu chéng liǎo chuán tǒng xíng shì luó ji zhōng kě jù yǐ jìn xíng bù xún huán lùn zhèng de tuī lǐ gé shì de lǐ lùn hé xīn： tuī lǐ shì de qián hòu jiàn zhī jiān bì dìng mǎn zú pǔ biàn yòu xiào de zhì yuē guān xì， ér zài qián jiàn huò hòu jiàn zhōng yě bì dìng chū xiàn zhì yuē guān xì。 zhì yuē luó ji tǐ xì yóu yǔ yì xué、 yǔ gòu xué、 yǔ yòng xué sān zhě zǔ chéng。 zhì yuē luó ji yǔ yì xué yán jiū kè guān shì jiè de luó ji jié gòu hé luó ji guī lǜ， ér yǐ qí zhōng de kè guān de zhì yuē guān xì hé yòu guān zhì yuē guān xì de kè guān de luó ji guī lǜ wéi zhù yào yán jiū duì xiàng。 zhì yuē luó ji yǔ gòu xué yán jiū kè huá kè guān de luó ji jié gòu hé guī lǜ de biǎo yì de rén gōng fú hào de jī xiè de pái liè jié gòu hé biàn xíng guī zé。 zhì yuē luó ji yǔ yòng xué yán jiū zài zhǐ wèi tóng yī de yuán zé xià fú hào yǔ yán yǔ zì rán yǔ yán de hù xiāng fān yì。 zǒng de shuō lái， zhì yuē luó ji suǒ yán jiū de lǐng yù shì： guān shí shì jiè duì xiàng yù shàng de gè tǐ、 jí、 yī yuán huò duō yuán hán shù、 yī yuán： huò duō yuán guān xì、 guān xì jiān de zhí zhí hán shù guān xì、 guān xì jiān de chōng fēn tiáo jiàn ( jí zhì yuē ) guān xì， hé shàng shù zhǒng zhǒng guān xì de kè guān guī lǜ， yǐ jí tā men zài yì shí zhōng de fǎn yìng héng héng gài niàn ( cí )、 mìng tí hé tuī lǐ。 qí zhōng， zhì yuē ( chōng fēn tiáo jiàn ) guān xì wéi yán jiū hé xīn。
lín bāng jǐn zài shēn rù fēn xī rén lèi pǔ tōng de luó ji sī wéi shí jì de jī chǔ shàng， yùn yòng shù lǐ luó ji de yǎn suàn jì qiǎo， tí chū liǎo mìng tí yǎn suàn Cm xì tǒng hé míng cí yǎn suàn Cn xì tǒng。 Cm zhōng de“ zhì yuē” mìng tí xī p → q gēn p hé q de zhēn jiǎ gòng yòu qī zhǒng， p→ q yě huò dé sān zhēn sì jiǎ de jì lù。 zhè， diǎn yǔ lāi wéi sī (Lewis) de yán gé yùn hán yī zhì。 dàn Cm gēn lāi wéi sī de mó tài xì tǒng shì yòu qū bié de。 Cm xì tǒng yòu yǐ xià zhù yào tè zhēng： (1) zài Cm zhōng， suǒ wèi“ bì rán”， bìng fēi mǒu 'èr mìng tí de xìng zhì， ér zhǐ néng shì liǎng gè mìng tí jiān de lián xì。 p→ q biǎo shì p hé q zhī jiān yòu mǒu zhǒng " bì rán " lián xì。 (2) chú liǎo wéi yī bān mó tài xì tǒng suǒ bì miǎn de xiàng p→ (q→ p) děng zhù gè de yùn hán guài lùn yǐ wài， Cm hái bì miǎn liǎo xiàng Tp→ q zhè yī lèi zuì nán bì miǎn yīn 'ér wéi yī bān mó tài xì tǒng suǒ róng nà de yùn hán guài lùn。 (3) gēn yī bān mó tài xì tǒng bù tóng， Cn yòu xiàng [p→ (q→ r)]→ [q→ (p→ r)] zhè yī lèi gōng shì。 (4) xiāng dāng yú zài yī bān xíng shì luó ji shū zhōng liè chū de chuán tǒng mìng tí luó ji tuī lǐ shì de dìng lǐ tā dū jù yòu。 (5) méi yòu xiàng T(pVq) héng >q zhè yī lèi gōng shì。 (6) fán shì zài chuán tǒng xíng shì luó ji zhōng kàn qǐ lái hǎo xiàng shì yòng liǎo xiāng dāng yú bèi C ｍ pái chú liǎo de 'èr zhí xì tǒng zhōng de dìng lǐ de dì fāng， Cm dōuyòu hěn hǎo de chǔlǐ fāng fǎ。 zài Ｃｍ xì tǒng de jī chǔ zhī shàng jiàn lì de C ｎ xì tǒng， zhǐ shì kuò chōng xíng shì yǔ yán（ yǐn bā gè tǐ biàn yuán、 hán shù cí hé wèi cí）， ér bù yòng liàng cí。 zhè yàng bù jǐn zài jì qiǎo shàng kě bì miǎn ná yòu liàng cí de xíng shì xì tǒng suǒ bù kě bì miǎn de xǔ duō má fán， shǐ yǎn suàn de jìn chéng yuán zé shàng shì mìng tí yǎn suàn， ér qiě gèng jiē jìn yú pǔ tōng luó ji sī wéi shí jì。 tóng shí， Cｎ xì tǒng jiāng duì jiě jué pàn dìng wèn tí tí gōng míng lǎng de qián jǐng。
lín bāng jǐn zài yǎn yì tuī lǐ wèn tí shàng tí chū liǎo liǎng gè dú lì xìng， jù yòu luó ji xìng zhì“ kě dú lì yú qián hòu jiàn de zhēn jiǎ què dìng bù huì shì qián zhēn 'ér hòu jiǎ” de zhì yuē shì dìng lǐ chēng wéi dì yī dú lì xìng。 jù yòu luó ji xìng zhì“ kě zài wú xū què dìng hòu jiàn wéi zhēn de qíng kuàng xià què dìng qián jiàn wéi zhēn” de tuī lǐ shì dìng lǐ chēng wéi dì 'èr dú lì xìng。“ liǎng gè dú lì xìng” shì wéi zài lùn zhèng zhōng chū xiàn de tuī lǐ shì suǒ bì jù de què bǎo lùn zhèng bù xún huán de luó ji jīng suǐ。 zhè shì shēn kè de luó ji lǐ lùn guān diǎn。 guó nèi wài yī xiē zhuān jiā xué zhě rèn wéi zhì yuē luó ji zài xué shù hé kē xué shí jiàn děng fāng miàn yòu zhòng dà de yì yì： (1) tā kě yǐ fēn xī、 chǔlǐ yī xì liè luó ji shǐ shàng qì jīn zhēng lùn bù xiū、 jiǔ xuán mò jué de nán tí。 duì mìng tí de zhēn jiǎ duì cuò、 zhù cí cún zài、 bīn cí zhōu yán hé yǎn yì tuī lǐ néng fǒu tuī chū xīn zhī， yǐ zhèng míng de jié lùn shì fǒu yǐ zhèng shí， yǐ jí zài shù xué shǐ shàng yǐn qǐ dì sān cì shù xué wēi jī de bèi lùn děng wèn tí， dōukě néng gěi chū què dìng de jiě jué。 (2) yǐ tā wéi luó ji jī chǔ jiàn lì de chū děng shù lùn de xíng shì xì tǒng N， dāng Cn。 de pàn dìng wèn tí yī jīng jiě jué， jiù kě néng wéi zuì zhōng jiě jué gē dé bā hè cāi xiǎng tí gōng xīn de sī lù。 zhè zhǒng shù lùn xì tǒng hái kě néng mǎn zú xiāng róng xìng hé wán quán xìng ( yǔ gē dé 'ěr bù wán quán dìng lǐ zhèng hǎo xiāng fǎn ) ． (3) zhì yuē luó ji xíng shì huà gōng lǐ xì tǒng， wéi jì suàn jī yǔ yán chuàng zào liǎo fú hào yǔ yán tǐ xì。 yǐ tā zuò wéi jì suàn jī kē xué de luó ji lǐ lùn jī chǔ， kě wéi yán jiū、 shè jì xīn lán dài de nèi hán zhì néng jī； ruǎn jiàn kě kào xìng què rèn、 chéng xù zhèng què xìng zhèng míng děng fāng miàn tí gōng xīn de tú jìng。 (4) yǐ tā lái fēn xī kē xué lǐ lùn hé kē xué chuàng zào zhōng de luó ji jī zhì， kě shǐ kē xué gōng zuò zhě zhǎng wò yòu xiào 'ér shí yòng de kē xué fāng fǎ。
guó jì luó ji xué jiè hé jì suàn jī xué jiè duì zhì yuē luó ji lǐ lùn fēi cháng mǐn gǎn。 dāng lín bāng jǐn de jiǎn duǎn lùn wén《 zhì yuē luó ji jiǎn jiè》 zài měi guó gāng fā biǎo bù jiǔ， lián bāng dé guó hé jiā ná dà de dà xué jiù jī jí zǔ zhì zhuān jiā yán jiū bān jìn xíng fān yì hé tǎo lùn， tā men rèn wéi lín bāng jǐn“ gòu zào de zhè zhǒng luó ji tǐ xì shì zhòng yào de， yīn wéi zhè zhǒng luó ji yǔ jì suàn jī， kē xué， tè bié shì ‘ pàn dìng chéng xù ' guān xì mìqiè”。 měi guó shù xué huì mì shū cháng lì fú kù bó shì tuī jiàn《 zhì yuē luó ji 》 yīng wén zhāi yào gěi xià jiè guó。 jì luó ji tǎo lùn huì。 dì bā jiè。 guó jì luó ji tǎo lùn huì dì yī fù zhù xí、 ào dì lì lán cí bǎo dà xué jiào shòu wǎ yīn jiā tè nà bó shì zhèng shì yāo qǐng lín bāng jǐn cān jiā 1987 nián zài mò sī kē jǔ xíng de guó jì luó ji xué shù huì yì， bìng jiāng zuò zhuān tí fā yán。 zài guó nèi， lín bāng jǐn de zhì yuē luó ji xiàn yǐ yǐn qǐ xué shù jiè zhù yì， guó jiā kē wěi yú 1986 nián zài qīng huá dà xué zǔ zhì liǎo gāo céng cì yán tǎo bān duì zhì yuē luó ji jìn xíng pōu xī、 tàn tǎo。
duì《 zhì yuē luó ji 》 de pī píng yě shì jiào jiān ruì、 jī liè de（ guō shì míng、 dǒng yì nóng： píng《 zhì yuē luó ji 》 zhōng de jǐ gè xíng shì xì tǒng，《 zì rán biàn zhèng fǎ tōng xùn》 1987， No． 3)。 tā men rèn wéi zhì yuē luó ji de Cm xì tǒng yǔ 'èr shí jǐ nián qián guó wài fā biǎo de xiāng gān luó ji de mìng tí yǎn suàn R xì tǒng xíng shì děng jià， ér R shì bù kě pàn dìng de， nà me Cn xì tǒng yì jiù shì bù kě pàn dìng de ( lín bāng jǐn rèn wéi Cm hé Cn shì kě pàn dìng de）。 jí shǐ jiǎ ruò Cn kě pàn dìng， Cn de pàn dìng fāng fǎ yòng dào shù lùn xì tǒng Ⅳ shàng qù yě wú jì yú shì， yīn wéi yī jiē shù lùn shì bù néng yòu qióng gōng lǐ huà de， yīn cǐ yào xiǎng zài Cn jī chǔ shàng gòu zào yī gè mǎn zú wán quán xìng de chū děng shù lùn de xíng shì xì tǒng N lái jiě jué gē dé bā hè cāi xiǎng děng wèn tí， shì wán quán bù kě néng de。 Cm méi yòu yǔ yì xué， gèng wú yǔ yì kě kào xìng hé wán quán xìng。 Cn wú fǎ dìng yì“ bì rán”、“ kě néng” zhè lèi gài niàn。 Cn méi yòu shí yòng jià zhí， bù kě néng zhèng míng rèn hé yī gè yòu yì yì de bì rán mìng tí hé kě néng mìng tí。 N xì tǒng jì bù yī zhì， yě wú zú gòu de biǎo dá néng lì， dāng rán yě bù kě néng wán quán， ér qiě méi yòu kě pàn de gōng lǐ jí。 N xì tǒng wú fǎ dìng yì“ zhěng shù”、“ sù shù”、“ jiǎn” zhī lèi de jī běn shù lùn gài niàn， wú fǎ biǎo shì xiàng gē dé bā hè cāi xiǎng zhè lèi de mìng tí。 yīn cǐ， N xì tǒng shì yī gè hǎn jiàn de bǎi bìng chán shēn de xì tǒng。
nà me , zhì yuē luó ji hé chù wéi zhēn lǐ， hé chù shì miù wù； duì tā de xué shù xìng dì wèi jiāng zěn yàng zuò chéng lì shǐ xìng de píng jià； jiū jìng huì yòu duō dà zuò wéi； shì bù shì luó ji xué shàng de yī cì gé mìng； tā néng fǒu jīng shòu dé zhù shè huì shí jiàn de kǎo yàn； xiāng xìn shí jiān zhōng jiāng huì jǐyǔ wǒ men què qiē de dá 'àn。 |
luó ji zhèng míng de liǎng zhǒng fāng fǎ |
yī， zhí jiē zhèng míng。
zhí jiē zhèng míng jiù shì cóng lùn jù de zhēn shí zhí jiē tuī chū lùn tí de zhēn shí de yī zhǒng zhèng míng fāng fǎ。
èr， jiànjiē zhèng míng。
jiànjiē zhèng míng yòu chēng fǎn zhèng fǎ， tā shì tōng guò zhèng míng fǎn lùn tí de xū jiǎ， cóng 'ér pàn míng wǒ men suǒ yào zhèng míng de lùn tí zhēn shí de yī zhǒng zhèng míng fāng fǎ。
yùn yòng jiànjiē zhèng míng fāng fǎ jìn xíng zhèng míng， yī bān yòu sān gè bù zhòu： (1) shè lì fǎn lùn tí ( jí yǔ wǒ men suǒ yào zhèng míng de lùn tí xiāng máo dùn de lùn tí )； (2) zhèng míng fǎn lùn tí shì xū jiǎ de； (3) gēn jù pái zhōng lǜ， tuī chū wǒ men suǒ yào zhèng míng de lùn tí de zhēn shí。 cóng jiànjiē zhèng míng de zhè gè tè diǎn lái kàn， jiànjiē zhèng míng shí zhì shàng shì xuǎn yán tuī lǐ de fǒu dìng kěn dìng shì de yùn yòng， jí cóng fǒu dìng fǎn lùn tí zhēn shí， ér tuī chū wǒ men suǒ yào zhèng míng de lùn tí zhēn shí。 kě jiàn， wèile jìn xíng jiànjiē zhèng míng， zuì guān jiàn de shì yào zhèng míng fǎn lùn tí de xū jiǎ ( jí fǒu dìng fǎn lùn tí de zhēn shí )。 wèicǐ tōng cháng cǎi yòng liǎng zhǒng fāng fǎ： guī miù fǎ hé qióng jǔ fǎ。
guī miù fǎ shì yī zhǒng xiān jiǎ dìng fǎn lùn tí wéi zhēn， bìng cóng zhōng yǐn chū miù wù de tuī duàn， rán hòu， gēn jù jiǎ yán tuī lǐ de fǒu dìng shì， cóng fǒu dìng miù wù de tuī duàn dào fǒu dìng fǎn lùn tí de zhēn shí de yī zhǒng fāng fǎ。 jì rán fǒu dìng liǎo fǎn lùn tí de zhēn shí， nà me， gēn jù pái zhōng lǜ， zì rán yě jiù zhèng míng liǎo wǒ men suǒ yào zhèng míng de lùn tí shì zhēn shí de。 hái yòu yī zhǒng jīng cháng yùn yòng de fǎn zhèng fǎ shì qióng jǔ fǎ。 qióng jǔ fǎ jiù shì liè jǔ chū chú wǒ men suǒ yào zhèng míng de lùn tí wài hái kě néng chéng lì de qí tā gè zhǒng bù tóng lùn tí， rán hòu gēn jù shì shí huò tuī lǐ jiāng zhè xiē bù tóng lùn tí yī yī yú yǐ fǒu dìng， cóng 'ér zhèng míng wǒ men suǒ yào zhèng míng de lùn tí wéi zhēn de yī zhǒng fāng fǎ。 kě jiàn， qióng jǔ fǎ shí zhì shàng shì xuǎn yán tuī lǐ de fǒu dìng kěn dìng shì hé wán quán guī nà tuī lǐ de lián hé yùn yòng。
xià miàn jǔ yī lì；
■ zài bā jī sī tǎn yǐngpiān《 rén shì jiān》 zhōng， nǚ zhù rén gōng lā jī yǎ de zhàng fū 'è guàn mǎn yíng， zuì hòu bèi rén qiāng shā。 xiōng shǒu shì lā jī yǎ？ lā jī yǎ què shí shì kāi liǎo qiāng de yā！ lǎo lǜ shī màn suǒ 'ěr bǎ zhè gè shàn liáng de fù nǚ cóng jué jìng zhōng jiě tuō chū lái。 zhè wèi zhèng zhí de lǜ shī gēn jù chōng fēn de lǐ yóu zhèng míng liǎo lā jī yǎ bù shì shā sǐ tā zhàng fū de xiōng shǒu， tā shì wú gū de。 màn suǒ 'ěr shì zhè yàng zhèng míng de：
rú guǒ lā jī yǎ shì xiōng shǒu， nà me tā shǒu qiāng zhōng de wǔ kē zǐ dàn bì rán zuì shǎo yòu yī fā dǎ zhōng liǎo tā de zhàng fū。 ér xiàn zài jīng guò xiàn chǎng jiǎn chá， tā shǒu qiāng zhōng de wǔ fā zǐ dàn dū dǎ zài duì miàn de qiáng shàng， dǎ zài qiáng shàng， dāng rán méi yòu dǎ zhōng tā zhàng fū。 zài yòu， rú guǒ lā jī yǎ shì shā sǐ tā zhàng fū de xiōng shǒu， nà me， zǐ dàn yī dìng shì cóng zhèng miàn dǎ jìn tā zhàng fū de shēn tǐ de， yīn wéi lā jī yǎ shì miàn duì miàn dì duì tā zhàng fū kāi liǎo qiāng。 dàn shì， jīng guò fǎ yī jiǎn chá， shī tǐ shàng de zǐ dàn shì cóng bèi hòu dǎ jìn qù de。
zài zhè gè lì zǐ zhōng， lǎo lǜ shī màn suǒ 'ěr yòng liǎo liǎng gè chōng fēn tiáo jiàn jiǎ yán tuī lǐ de fǒu dìng hòu jiàn shì， tōng guò zhè liǎng cì yǎn yì lùn zhèng， zhèng míng liǎo " lā jī yǎ bù shì xiōng shǒu " zhè gè lùn tí。 |
|
shū míng : luó ji ( dì sì bǎn )( quán guó sī fǎ yuàn xiào fǎ xué jiào cái )
zuò zhě： yōng qí
chū bǎn shè： zhōng guó zhèng fǎ dà xué chū bǎn shè
chū bǎn shí jiān： 2007
ISBN:9787562006039
kāi běn： 16
dìng jià :23.00 yuán |
|
《 luó ji 》 shì zài《 luó ji 》（ xiū dìng běn）（ 1997 nián chū bǎn） de jī chǔ shàng gǎi xiě 'ér chéng de， jī běn shàng yán yòng liǎo yuán shū de biān xiě tǐ lì， dàn zuò liǎo bì yào tiáozhěng， nèi róng yě yòu jiào dà biàn huà。《 luó ji 》 wú lùn shì zài tǐ xì 'ān pái shàng， hái shì zài nèi róng jí mǒu xiē luó ji lǐ lùn xìng wèn tí de chǎn shì shàng， dōuyòu bié yú xiàn xíng de xǔ duō luó ji jiào cái。
《 luó ji 》 jì jiǎng shù liǎo luó ji jī chǔ zhī shí， yòu jiǎng shù liǎo yòu guān luó ji zhī shí zài fǎ xué lǐng yù de yìng yòng。 quán shū gòng fēn wéi bā zhāng， jí xù lùn、 gài niàn、 mìng tí（ shàng）、 mìng tí（ xià）、 yǎn yì tuī lǐ、 guī nà tuī lǐ、 lèi bǐ tuī lǐ yǔ jiǎ shuō、 lùn zhèng。 gè zhāng hòu miàn jūn fù yòu zuò yè tí。 |
|
| yōng qí， xī nán zhèng fǎ dà xué jiào shòu， zhōng guó luó ji xué huì fǎ lǜ luó ji zhuān yè wěi yuán huì míng yù huì cháng。 jìn jǐ nián lái de zhù yào lùn zhù yòu《 shí yòng sī fǎ luó ji xué》（ fǎ lǜ chū bǎn shè 1999 nián chū bǎn）、《 fǎ lǜ shì yòng zhōng de luó ji 》（ zhōng guó zhèng fǎ dà xué chū bǎn shè 2002 nián chū bǎn）、《 fǎ lǜ luó ji xué》（ fǎ lǜ chū bǎn shè 2004 nián chū bǎn）。 |
|
dì yī zhāng xù lùn
dì yī jié luó ji kē xué de chǎn shēng yǔ fā zhǎn
dì 'èr jié luó ji xué de yán jiū duì xiàng jí qí xìng zhì、 tè diǎn
dì sān jié sī fǎ gōng zuò zhě xué xí luó ji xué de yì yì
fù： zuò yè tí
dì 'èr zhāng gài niàn
dì yī jié gài niàn de gài shù
dì 'èr jié gài niàn de nèi hán yǔ wài yán
dì sān jié gài niàn de fēn lèi
dì sì jié gài niàn lǘ de guān xì
dì wǔ jié gài niàn nèi hán de jiē shì héng héng dìng yì
dì liù jié gài niàn wài yán de jiē shì héng héng liè jǔ yǔ huàfēn
fù： zuò yè tí
dì sān zhāng mìng tí（ shàng）
dì yī jié mìng tí de gài shù
dì 'èr jié xìng zhì mìng tí de tè zhēng yǔ fēn lèi
dì sān jié xìng zhì mìng tí zhēn jiǎ de pàn dìng yǐ jí bù tóng xìng zhì mìng tí zhī jiān de luó ji guān xì
dì sì jié xìng zhì mìng tí de yǐn hán mìng tí yǐ jí jiē shì qí yǐn hán mìng tí de fāng fǎ
fù： zuò yè tí
dì sì zhāng mìng tí（ xià）
dì yī jié fù hé mìng tí de gài shù
dì 'èr jié fù hé mìng tí de jī běn xíng shì jí qí luó ji xìng zhì
dì sān jié fù hé mìng tí de děng zhí shì jí qí yìng yòng yì yì
dì sì jié mó tài mìng tí
fù： zuò yè tí
dì wǔ zhāng tuī lǐ yǎn yì tuī lǐ
dì yī jié guān yú tuī lǐ de yī bān zhī shí
dì 'èr jié yǎn yì tuī lǐ de diǎn xíng xíng shì héng héng sān duàn lùn
dì sān jié fù hé mìng tí tuī lǐ
fù： zuò yè tí
dì liù zhāng guī nà tuī lǐ
dì yī jié guī nà tuī lǐ gài shù
dì 'èr jié guī nà tuī lǐ de jī běn lèi xíng
dì sān jié tàn qiú yīn guǒ lián xì de luó ji fāng fǎ
fù： zuò yè tí
dì qī zhāng lèi bǐ tuī lǐ yǔ jiǎ shuō
dì yī jié lèi bǐ tuī lǐ
dì 'èr jié jiǎ shuō
fù： zuò yè tí
dì bā zhāng lùn zhèng
dì yī jié lùn zhèng de tè zhēng
dì 'èr jié lùn zhèng de fāng fǎ
dì sān jié fǎn bó jí qí fāng fǎ
dì sì jié lùn zhèng zhōng bì xū zūn xún de luó ji sī wéi guī lǜ
fù： zuò yè tí
…… |
|
luoji
luó ji
logic
yī mén yǐ tuī lǐ xíng shì wéi zhù yào yán jiū duì xiàng de kē xué。 tuī lǐ shì yǐ yī gè huò jǐ gè mìng tí wéi gēn jù huò lǐ yóu yǐ dé chū yī gè mìng tí de sī wéi guò chéng。 zuò wéi gēn jù huò lǐ yóu de nà yī gè huò jǐ gè mìng tí shì tuī lǐ de qián tí， yóu qián tí dé chū de nà gè mìng tí shì tuī lǐ de jié lùn。
mìng tí zhōng yòu liǎng zhǒng cí xiàng， yī zhǒng shì luó ji cí xiàng， lìng yī zhǒng shì fēi luó ji cí xiàng。 rú guǒ bǎ yī gè mìng tí zhōng de fēi luó ji cí xiàng dū huàn wéi biàn xiàng， jiēguǒ jiù dé dào zhè gè mìng tí de xíng shì。 rú guǒ bǎ yī gè tuī lǐ zhōng de fēi luó ji cí xiàng dū huàn wéi biàn xiàng， jiēguǒ jiù dé dào zhè gè tuī lǐ de xíng shì。
tuī lǐ kě fēn wéi yǎn yì tuī lǐ hé guī nà tuī lǐ。 duì yú yī gè zhèng què de yǎn yì tuī lǐ xíng shì , bù lùn qí zhōng de biàn xiàng dài rù rèn hé fēi luó ji cí xiàng , rú guǒ qián tí dōushì zhēn de , zé jié lùn yě shì zhēn de。 zài cǐ yì yì shàng , zhèng què de yǎn yì tuī lǐ xíng shì yòu bì rán xìng（ jiàn xíng shì luó ji ）。 zhèng què de guī nà tuī lǐ xíng shì què bù jù yòu bì rán xìng 'ér zhǐ jù yòu huò rán xìng。 yī gè yìng yòng liǎo zhèng què guī nà tuī lǐ xíng shì de guī nà tuī lǐ， qí huò rán xìng de dà xiǎo bù jǐn jué dìng yú tā suǒ yìng yòng de guī nà tuī lǐ xíng shì， ér qiě hái jué dìng yú tā duì suǒ shè jí de xiàn xiàng de fēn xī hé zhè zhǒng fēn xī suǒ gēn jù de zhī shí de kě kào chéng dù。 yóu yú yòu liǎng zhǒng bù tóng de tuī lǐ， luó ji jiù kě fēn wéi yǐ yǎn yì tuī lǐ wéi zhù yào yán jiū duì xiàng de yǎn yì luó ji hé yǐ guī nà tuī lǐ wéi zhù yào yán jiū duì xiàng de guī nà luó ji 。 luó ji àn qí lì shǐ fā zhǎn de bù tóng jiē duàn， yòu kě fēn wéi chuán tǒng luó ji hé xiàn dài luó ji 。 xiàn dài luó ji de zhù liú shì shù lǐ luó ji ， tā shì xíng shì luó ji de xiàn dài xíng shì。
luó ji zuò wéi yī mén kē xué， bù jǐn yán jiū gè bié de zhèng què tuī lǐ xíng shì， ér qiě hái yán jiū gè zhǒng zhèng què tuī lǐ xíng shì zhī jiān de guān xì hé tí chū guān yú zhèng què tuī lǐ xíng shì de xì tǒng lǐ lùn。 yà lǐ shì duō dé de sān duàn lùn lǐ lùn， jiù shì yī gè guān yú sān duàn lùn de gōng lǐ xì tǒng。 xiàn dài luó ji zé yìng yòng gèng jiā yán gé de xíng shì xì tǒng de fāng fǎ lái yán jiū luó ji ， tí chū liǎo xǔ duō guān yú luó ji xì tǒng de yuán dìng lǐ hé yuán lǐ lùn。
cí yuán
“ luó ji ” yī cí yuán yú gǔ xī là yǔ“ □□□ о□”。 zài hàn yǔ zhōng，“ luó ji ” zhè gè míng chēng shì lā dīng yǔ xì de“ logic”、“ logik” hé“ logique” de yīn yì。 yà lǐ shì duō dé zài dìng yì sān duàn lùn shí suī rán céng yòng guò“□□□ о□” zhè gè xī là zì， dàn tā zhǐ shì zài“ yì lùn” huò“ lùn zhèng” de yì yì shàng shǐ yòng tā。 tā méi yòu yòng“□ о□□□□” zhè gè xī là zì biǎo shì luó ji , tā shì yìng yòng“□□□□□□□□□”（ yì jí fēn xī huò fēn xī xué） biǎo shì guān yú tuī lǐ de lǐ lùn。 guān yú tuī lǐ de lǐ lùn shì luó ji de hé xīn bù fēn， yīn 'ér kě yǐ shuō tā shì yòng“ fēn xī” huò“ fēn xī xué” biǎo shì luó ji de。 gēn jù jiànjiē shǐ liào , gōng yuán qián 3 shì jì sī duō 'ā xué pài de chuàng shǐ rén jī dǐ 'ēn de zhī nuò rèn wéi， luó ji bāo kuò biàn zhèng fǎ hé xiū cí xué。 dàn yóu yú sī duō 'ā xué pài de yuán shǐ zī liào zǎo yǐ yí shī， tā shì fǒu zhēn zhèng shǐ yòng guò xī là wén de“ luó ji ” zhè gè zì yǐ wú fǎ què dìng。 gēn jù xiàn yòu shǐ liào， gōng yuán qián 1 shì jì de M.T. xī sài luó zuì zǎo yòng“□ о□□□□” zhè gè zì biǎo shì luó ji 。 gōng yuán 2 shì jì yà fú luò dì xī yà de yà lì shān dà yě zài tóng yàng yì yì shàng shǐ yòng zhè gè zì。 gǔ luó mǎ de luó ji xué jiā zé yòng“ dialectica” biǎo shì bāo kuò luó ji hé xiū cí de kē xué。 zhōng shì jì de luó ji xué jiā yòu shí yòng“ logica” , yòu shí yòu yòng“ dialectica” biǎo shì luó ji 。 jīng yuàn de bì xiū kè“ qī yì” zhōng de“ dialectica”， jiù shì zhǐ luó ji huò bāo kuò liǎo yī xiē biàn lùn shù de luó ji 。 dào jìn dài , xī fāng cái tōng yòng“ logic”、“ logik”、“ logique” děng biǎo shì luó ji 。
zài zhōng guó gǔ dài hé jìn dài， céng yòng“ xíng míng zhī xué”、“ míng xué”、“ biàn xué”、“ míng lǐ”、“ lǐ zé xué”、“ lùn lǐ xué” děng biǎo shì luó ji 。 dào 20 shì jì cái tōng yòng“ luó ji ” zhè yī yì míng。
yǔ xiāng lín xué kē de guān xì
luó ji de xiāng lín xué kē yòu yǔ fǎ xué、 shù xué hé zhé xué。 luó ji hé tā men zhī jiān de guān xì shì fēi cháng mìqiè de， shèn zhì yòu xiē luó ji zhù zuò zhōng huò duō huò shǎo dì bāo hán liǎo tā men de mǒu xiē nèi róng。
luó ji yǔ yǔ fǎ xué sī wéi xíng shì zǒng shì yìng yòng yǔ yán biǎo dá de， tè bié zài luó ji fā zhǎn de zǎo qī zǒng shì yìng yòng zì rán yǔ yán biǎo dá de， yīn 'ér luó ji yǔ yǔ fǎ xué yòu mìqiè de lián xì。 dàn tā men réng rán shì liǎng mén jù yòu bù tóng xìng zhì de xué kē。 chuán tǒng de yǔ fǎ xué yán jiū zì rán yǔ yán zhōng yǔ cí、 duǎn yǔ hé yǔ jù jié gòu de guī zé hé guī lǜ。 luó ji zhǐ yán jiū yìng yòng zì rán yǔ yán huò rén gōng yǔ yán lái biǎo dá de mìng tí xíng shì hé tuī lǐ xíng shì de luó ji xìng zhì。 20 shì jì 50 nián dài |
|
luó ji - shù xué yǎn suàn
logico-mathematicalcalculus
【 bǔ zhù】“ luó ji yī shù xué yǎn suàn” yī shù yǔ zài xī fāng kē xué jiè zhōng
bìng bù tōng yòng : duì gāi gài niàn xī fāng yòng de míng chēng shì“ ( yī jiē ) lǐ
lùn” (( lì t rèn chuān er) shān yìn ry).
luó ji yī shù xué yǎn suàn 〔 yáng xiāng。 é .‘ yuē yáng‘ kǒu .Od liú tiáo ;JIOr。 -
shān” shān cè e~ yān ~“ ]， yìng yòng yǎn suàn (aPp huí cal-
eulus)
shù xué lǐ lùn de xíng shì huà . yī gè xíng shì huà de shù xué lǐ lùn yóu tā
de yǔ yán jí yī zǔ jiǎ shè zǔ chéng . zhè liǎng bù fēn zǔ chéng liǎo xíng shì huà lǐ lùn
de yǔ fǎ . tōng cháng tā hái pèi zhì liǎo yī gè yǔ yì . yī gè xíng shì huà de shù
xué lǐ lùn jí yī gè tōng cháng yì yì xià de gōng lǐ huà lǐ lùn zhī jiān de qū bié zài
yú :l) tōng cháng luó ji zhōng de gōng jù hé fāng fǎ bèi yòng dào gōng lǐ de gōng shì huà
jí tuī lǐ guī zé de xiàn zhì shàng， zhè yàng， rén men kě yǐ xíng shì huà dì yóu yī
gè mìng tí tuī dǎo zhì lìng yī gè mìng tí .2) hòu zhě de fēi xíng shì yǔ yán zhuǎn
huàn chéng yī gè jīng què de xíng shì yǔ yán (fbrmallangua luó ). luó ji -
shù xué yǎn suàn de jī chǔ tōng cháng shì yī gè luó ji yǎn suàn ( tuò mù calcalculus)
( jī běn luó ji yǎn suàn (hasicfogicaicalcl xí wèi )). tā de yǔ yán
bāo kuò gāi luó ji yǎn suàn de yǔ yán， zài jiā shàng yī xiē tè shū de hán shù fú hào
jí wèi cí fú hào ( yòu shí pái chú wèi cí biàn yuán ; yòu xiē hán shù bù hán biàn
mù ). tā de jiǎ shè bāo kuò gāi luó ji yǎn suàn de jiǎ shè ( yǐ xīn yǔ yán de
biǎo dá shì biǎo shì )， zài jiā shàng yī xiē yòng yǐ miáo shù xīn zēng jiā hán shù fú hào jí
xīn zēng jiā wèi cí fú hào bù tóng xìng zhì de jiǎ shè . lì rú， xíng shì huà de chū
děng qún lùn， qí yǔ yán bāo kuò dài děng shì de wèi cí yǎn suàn de yǔ yán， zēng jiā
fú hào ·( chéng fǎ )， inv( nì ) yǐ jí。 ( héng děng yuán )， bǎo liú
děng hào， chú qù suǒ yòu qí tā de wèi cí fú hào . zēng jiā de jiǎ shè
yā x yā y yā :(e·x 'èr x%26inv(x)·x“
=e%26(x·y)·Z=x·(y·:))
duàn yán。 shì héng děng yuán， inv(x) shì x de nì yuán， ér chéng fǎ mǎn zú jié
hé lǜ .
jī yú dài děng shì de wèi cí yǎn suàn 'ér gòu zào qǐ lái de luó ji yī shù xué
yǎn suàn yòng yǐ miáo shù dà bù fēn shú zhī de shù xué jié gòu . zhè xiē yǎn suàn bāo
kuò : xíng shì suàn shù ( shuò thi chì tic， fonnal)， dài yī jiē jí 'èr jiē liàng
cí de xíng shì fēn xī， gōng lǐ jí hé lùn (~ma shí csetth” ry)，
děng děng . luó ji yī shù xué yǎn suàn de yǔ yì gěi chū guān yú biàn yuán shù xué fú hào
( hán shù fú hào， wèi cí fú hào )， luó ji yùn suàn de jiě shì . zhè xiē jiě shì
jué dìng liǎo gāi luó ji yī shù xué yǎn suàn de mó xíng (m《 liú Cofthefogico-
n zǔ t】 le dīng yǐ ticalcalculus). yóu C yì mù wán quán xìng dìng lǐ (Gbdel
comPleten jì the~)， yī gè gōng shì zài suǒ yòu gāi luó ji yī shù
xué yǎn suàn de mó xíng zhōng wéi zhēn， zé cǐ gōng shì kě yǐ yóu gāi yǎn suàn xíng shì tuī
dǎo chū lái，
zuì jiǎn dān de yī zhǒng luó ji yī shù xué yǎn suàn shì wú liàng cí luó ji yī shù
xué yǎn suàn (quantiJ jì r.lh fàn 10glco rèn bì shān gǎi jiē ticalcalc wū ).
tā men tōng cháng yòng lái miáo shù gè zhǒng kě jì suàn hán shù lèi de bù tóng xìng zhì . zhè
lèi yǎn suàn de yǔ yán de gòu zào huò zhě shì jī yú dài děng shì de mìng tí yǎn suàn de
yǔ yán， huò zhě shì jī yú ruò gān gè děng shì . zài dì yī zhǒng qíng xíng， yǎn suàn
de luó ji shè zhì shì gǔ diǎn de mìng tí yǎn suàn ; zài dì 'èr zhǒng qíng xíng， yǎn suàn
běn shēn jǐn shì yī gè děng shì yǎn suàn . wú lùn rú hé， yǎn suàn dū bāo kuò rú xià
de jiǎ shè :I) guān yú hán shù de yī xiē děng shì ( rú x·0=O，
‘ ’ y’ =x’ y+x);2) děng shì de yī xiē jī běn xìng zhì ;3)
shù xué guī nà fǎ de shè zhì ( zuì cháng yòng de mó shì shì“ yóu f(O)=g(O)，
f(x’ ) èr h(;， f(x))， o(x‘ ) |
|
《 luó ji 》
L rì ojl
《 luó ji 》 zhōng guó zhé xué jiā、 luó ji xué jiā jīn yuè lín zhù de yī bù xíng shì
luó jiě jiào kē shū。 chéng shū yú 2D shì jì 30 nián dài chū， yuán wéi qīng huá dà xué jiǎng
yì， 1937 nián 2 yuè yóu shāng wù yìn shū guǎn shōu rù《 dà xué cóng shū》 zhèng shì chū
bǎn。 1961 nián yóu shēng huó · dú shū · xīn zhī sān lián shū diàn shōu rù《 luó ji cóng kān》
zài bǎn， céng xiān hòu duō cì chóngyìn。
gāi shū yuē 2 tòu wàn zì， fēn wéi 4 gè bù fēn。 dì 1 bù fēn jiè shào chuán tǒng
de yǎn yì luó ji 。 zuò zhě rèn wéi luó ji yǔ zhī shí lùn bù néng bù fēn kāi， gù shè
jí zhī shí lùn yǔ xīn lǐ xué de dì fāng jūn tè bié cóng jiǎn。 tóng shí， tǎo lùn cí xiàng
de piān fú yě jí shǎo。 zuò zhě zài zhè yī bù fēn jiè shào liǎo jìn dài luó ji xué jiā duì
zhí yán mìng tí suǒ zuò de yī xiē xīn bǔ chōng， bìng yòng wén 'ēn tú jiě fēn xī liǎo zhí jiē
tuī lǐ hé sān qí yòu lún， zhǐ chū chuán tǒng luó ji bù néng bāo kuò guān xì tuī lǐ。 dì 2 bù
fēn shì duì chuán tǒng luó ji de pī píng。 zuò zhě zhù yào zhuóyǎn yú zhù xiàng cún zài wèn tí，
zhǐ chū chuán tǒng luó ji zhōng de duì dāng guān xì、 zhí jiē tuī lǐ hé sān duàn lùn， yòu xiē shì
bù néng chéng lì de。 dì 3 bù fēn zhāi yào jiè shào A.N. huái tè hǎi hé B. luó sù
de《 shù xué yuán lǐ》 dì 1 juàn zhōng de luó ji xì tǒng， bìng fù jiā liǎo xǔ duō jiě shì。
dì 4 bù fēn de biāo tí wéi“ guān yú luó ji xì tǒng zhī zhǒng zhǒng”， tǎo lùn liǎo luó ji
xì tǒng de xìng zhì， rú“ gòu yòng wèn tí” ( jí wán quán xìng ) shǎo yī zhì wèn tí’， hé
“ dú lì wèn tí’ yì jí gōng lǐ de dú lì xìng ) děng， bìng zhǐ chū zhè sān gè tiáo jiàn zhī
mǎn zú yǔ fǒu， sì hū dū zhǐ néng cóng xì tǒng yǐ wài de fāng fǎ biǎo shì 'ér bù néng yǐ
xì tǒng zhī nèi de fāng fǎ zhèng míng。 zhè yī bù fēn hái tǎo yī lún liǎo yī xiē luó ji zhé xué
wèn tí， rú tóng yī lǜ、 máo dùn lǜ hé pái zhōng lǜ de yì yì， yǐ jí shénme shì luó
ji de bì rán děng。 zuò zhě zài xù zhōng shēn míng， guī nà yǔ yǎn yì dà bù xiāng tóng， tā
men zhōng jiǔ shì yào fēn jiā de， suǒ yǐ shū zhōng méi yòu tǎo lùn guī nà wèn tí。
gāi shū jiào quán miàn dì fǎn yìng liǎo huái tè hǎi hé luó sù de《 shù xué yuán lǐ》 chū
bǎn zhī hòu， zhí dào D. xī 'ěr bó tè tí chū xíng shì xì tǒng yán jiū zhī qián de yǎn yì
luó ji de jī běn nèi róng， duì zhōng guó dāng shí de luó ji jiào xué hé xiàn dài luó ji zài
zhōng guó de chuán bō， qǐ liǎo zhòng yào zuò yòng。 ( zhū gé yīn tóng )
|
|
- : logical
- n.: conclusion, converse, logic, universal, universe
|
|
- n. logique
|
|
| zhōng yī | zhé xué | zhōng yī xué | zhōng yī yào | biàn lùn | gōng sūn lóng | bǎi kē cí diǎn | luó ji xué jiā | | luó ji xué | tuī lǐ | kē xué | zōng jiào | bèi lùn | tiān zhù jiào | lún lǐ | shù xué | | xué kē | shù xué fāng fǎ | fú hào xì tǒng | shè huì kē xué | zhēn tàn xiǎo shuō | shù lǐ luó ji | xíng shì luó ji | xíng shì zhēn chá luó ji | | gèng duō jiēguǒ ... |
|
|
| A luó ji | luó ji tú | luó ji xué | luó ji yǔ | hé luó ji | |
|