Mantiqa formel û yasayên bingehîn xwe

Logic - zanyarîya rêbazên, qanûn û formên ramana. mantiqa fermî ji aliyê Yewnaniyên kevnar pêşxistin hatiye, dirêj berî serdema me. Ev cara yekemîn miletên din ji bo avakirina civakeke demokratîk de, li cihê ku biryar û qanûnên di civîneke giştî de hat pejirandin bû. Ew zanist primitive meşandina afirandin darizandinên. A demborîk favorite yên ciwanan arîstokrat, gotûbêjên bi fîlozofên hebû. Ji ber vê yekê ji hezkirina gerdûnî ya pêşketina zanistî ya teorîk. Yewnaniyan tenê fędeya ser ku çawa bibin delîlên zanistî hebû.

Ya yekem, helbet li ser bingeha mantiqa pêşvebirin ji aliyê Arîstoteles. Wî bal kişand ser wê yekê ku hemû argumanan bi ser qanûnên giştî li wan bû, ku binpêkirina ku ber bi encamên xelet bidin. The fermî mantiqa Arîsto jî, li ser van qanûnên bingeha bû:

1. Heger li ser biryara affirmative, ku çi ji wan re ye, wê encamê ne dikare bibe neyînî.
2. Eger yek ji daxuyaniyên neyînî ye, û di encamê de bi giştî her tim neyînî.

Ji ber vê yekê, wisa dixuye ku mantiqa formel - zanîna e ji prensîbên û qanûnên bi bandor, çêkirina baş li minaqeşeyên bi Sebaret bi şiklê çêkirina wan (bi awayên ji bo girêdana beşên şexsî ji berjewendîyên giştî).

Hemû diyardeyên û hêmanên xwedî têkiliyeke. Links dikare bibe armanca an subjektîf, giştî an taybet, pêwîst an ne teseduf. The herî girîng ev zincîr bi qanûnên kir. ew hemû bi navkirin, rastiya heman demê de, ji ber vê yekê, qet nikarin hev û din bisekinin. Hemû qanûnên ramana mirovan re têkildar bi qanûnên xwezayê.

Di qanûnan de ji bo raman girêdana navxweyî ye, bi îstîqrar di navbera raman in. Eger mirovek dikarin ramanên xwe girêde ne, ew ji bo wê encamê mafê bêm ne û ne jî wê bikaribin bînin ji bo yên din.

Yasayên bingehîn yên mantiqê fermî - qanûnên hevgirtî, nasname, navîn hiştin û qanûn ji sedemên têrker. Ber bi pêşvebirina sê yekemîn endamên Arîstoteles û Platon, dawîn - Leibniz. Binpêkirina ji van qanûnên (bi taybetî ya yekemîn sê) dibe sedema nakokîyên, ev jî wisa ji hev rastîyê ji hev derxe. qanûna Last qanûnên kêmtir û bikaranîna bisînor in.

qanûnên Non-core mentiq - van qaîdeyên ji pêşniyarek xebatê û têgehan, bi destxistina encamê rastîn di amper in, zêdekirina sîlahan yên minaqeşeyên Inductive û encamên traduktivnogo character.

Di Şerîetê de, hevgirtî tê wateya ku aqil de ne, divê bibe gengeşiyê, di heman demê de divê ku kalîteya hin tiştên hisandin.

Qanûna navîn derveyî nivîsandine ne ku li navbera du daxuyaniyê de nakok lê rast a sêyem e, û ji bo ku karibe rastiya bi tenê yek ji wan. Yek ji pêkhatên nakokîyên - Bi rastî ev rast e.

qanûna nasnameya mantiqa formel û şiroveyên xwe wek qeyde ramana azmûn dike, ango di bin ti dema ku pêwîstîya we bi diqet fêm pênase û wateya wê. Karê têgehên û dîwankirina ne dikarin bi vîna Baykal.

ji qanûna yekê jî bes e, ku tu ramana rast pêwîst ji bo rewakirina ramanên rast e, ya din de, û ramanên din yên çewt bi xwe rastdar be. Di pêşvebirina ji dadbariyên divê têkiliyeke Marcolini hisandin. Tenê di vê rewşê de dikarin bên îsbat îtîbar.

Forma herî maqûl ji bo raman û rêbazên ji teref formên hemû ramanên xwe dîyar destê mercên mentiqî de, ku tê de peyva "û", "an", "heger ... paşê jî ..." înkar "ne rast e ku" ( "na") de, peyva "hin", "hemû" ( "no"), ji gelek çivîkan "naveroka" (di wateya "e"), û hwd. Identify forma vacî, ku dîwana dikare ji wateya ku mercên lojîk, bi ya ku di îfadeya devkî ya vê dîwanê de mam. Bi gotineke din, mantiqa fermî îfade dike, tê de avahiya ramana. Forma herî maqûl e tim agahîdar û watedar.

konseptên, Mentiq û dîwanê: Dimîne li ser formên xwe yên ramanê bi nav çînên de dabeş dibe. Concept - fikra ku generalizes tiştên ku li ser bingeha taybetiyên bingehîn xwe. Qiyametê de - fikira, ku dibêje, bi amadebûna (nebûna) li ser rewşa. Analîzên - guman, ev stendina zanîn, li dadbariyên ji zanîna din anîn ziman.