An dlí ar leorchúis. Ábhar i gcomhréir leis an loighic tuarascála

Dlí leorchúis - an ceathrú agus deireanach dhlí an loighic foirmiúil. Go stairiúil, tá sé chomh maith an ceann is déanaí, agus tá sé aon chomhtharlú. Chun comparáid a dhéanamh, is féidir leat a fheiceáil go bhfuil an dlí trí roimhe foirmliú ag Arastatail chomh luath leis an 4ú haois RC.

Go dtí an 18ú haois, mar gheall ar a sainiúlacht, an dlí nach bhfuil in úsáid sa loighic clasaiceach. Is é an chúis atá leis an moill seo ar an bhfíric stairiúil na chéad.

Tugadh isteach an dlí paraidím loighciúil ag Leibniz, agus a chosc ar roinnt mhíchruinneas i ndáil leis an loighic an-.

Leibniz cur síos ar an ngá atá le staidéar féidearthachta maidir le matamaitic, rud a chiallaíonn fianaise, ráitis fhoirmiúil amháin teoiriciúil. Mar sin féin, síneadh sé an ceanglas maidir le provability foirmiúil an t-iomlán an dúlra, rialacháin nach féidir linn aontú.

An diúltú an deis ann an-cruthúnais ostensive, ie. E. Fianaise trí thaithí eimpíreach, cúngú ar Leibniz an raon le hinfheidhmeacht na dlí.

Ar an láimh eile, is é an dlí na leorchúis an léiriú iarbhír ar an bhfíric go bhfuil gach rud ar fud an domhain cúis agus éifeacht, gach rud a bhaineann le gach ceann eile, imíonn rud ar bith gan rian agus ní bheidh le feiceáil ar a chuid féin.

Sa léirmhíniú ar an dlí Thángthas ag Democritus níos mó i 5-4 haois RC. An feiniméan na idirchaidreamh a chomhlánú agus idirspleáchas laistigh den ordú domhanda thosaigh daoine ag tabhairt "determinism".

Is é an dlí ar leorchúis é gur shíl nó an breithiúnas féin ná fíor ná bréagach. A bhfuil na dearbhuithe deis mar gheall ar an fhírinne nó bréag, ní mór dúinn a bheith ar fáil dó le cruthúnas dian.

Cruthúnais a aithneofar le nós imeachta speisialta, ar féidir a úsáid chun a chinneadh an bhfuil an smaoineamh na réaltachta.

Mar shampla, an ráiteas "Sa lá atá inniu Grianmhar" Is féidir a mheas go leor fíor, más rud é chun breathnú amach an fhuinneog agus, trusting na céadfaí, a chinntiú go cruinneas an bhreithiúnais.

Mar sin féin, tá na forálacha sin gearrthéarmacha agus nach bhfuil uileghabhálach ar an bhfianaise go léir.

Tá nós imeachta níos casta a fháil amach an fhírinne - is cruthúnas ina bhfuil achomharc chuig an orgáin nach féidir ciall. Mar shampla, ghlac ócáid cheana féin san am atá caite nó a bheidh ar siúl san aimsir fháistineach.

Bheadh Breithiúnas an aimsir Mostly fuaime sna cásanna, mar a leanas: ". Beidh will Mostly" "Inné bhí sé grianmhar",

Sa chéad chás, tá an fhianaise ann, mar is féidir leat bheith ag brath ar a n-chuimhne féin.

Sa dara cás, ní féidir breithiúnas gan chruthúnas agus dá bhrí sin ná fíor ná bréagach. Maidir leis an réamhaisnéis na haimsire don lá amárach amháin, is é an toimhde is féidir. Tá an cruthúnas bunaithe ar dóchúlacht, ní suntasach.

Nuair a iarraidh a dhlisteanú an falsity nó fírinne na smaointe agus ar na breitheanna, ní mór duit an chéad a iarraidh ar an turgnamh, tomhas, monatóireacht, staidéar - ie rudaí thuiscint ina gnéithe modheolaíochta.

Ar an láimh eile, má tá sé le fáil i an taithí eolas teoiriciúil, is féidir nach foláir, ar a ghinearáltacht agus an cruthúnas a chur san áireamh fíor, seiceáil ansin ar bhailíocht an bhreithiúnais a bheith, iad a chur i gcomparáid leis an teoiric. dlí na leorchúis in loighic ní féidir ach amháin den sórt sin an deis ann, ach freisin is féidir leat a chóireáil sé mar ghníomhartha coincheapúil tábhachtach. Sa chás seo, is gá a leanúint le caidreamh foirmiúil, an chomhtharlú i bhfoirm idir bhreithiúnas agus a cruthúnais teoiriciúil.

Ar fhéadfadh an t foirmiúla a ligean isteach ar aon smaointe a bhaineann chor ar bith lena chéile, mar tá siad ar fad curtha le chéile. Mar sin féin, níl feidhm ag prionsabal na leorchúis a cheadú a stopadh ag an bpointe seo. Aitheantas na smaointe bhaineann bonn fianaise coitianta nach dtugann sé dodhéanta um fhíorú eimpíreach ná dheimhnigh ná Shéan go bhfuil siad cruthaithe. Agus dá bhrí sin, go bhfuil sé dodhéanta a fhíorú go bhfuil siad fíor nó bréagach.