Pormal nga pangatarungan ug ang iyang nag-unang mga balaod

Katarungan - ang siyensiya sa mga pamaagi, mga balaod ug mga matang sa panghunahuna. Pormal nga pangatarungan nga naugmad sa sa karaang mga Grego, dugay sa atubangan sa among panahon. Kini mao ang unang mga Grego sa pagtukod sa usa ka demokratiko nga katilingban, diin ang mga desisyon ug mga balaod nga gisagop sa usa ka publiko nga miting. Sila gibuhat sa usa ka karaang siyensiya sa pagdumala sa mga pagsulay. Usa ka paborito nga kalingawan sa aristocratic mga batan-on may mga diskusyon uban sa mga pilosopo. Busa ang universal gugma sa sa pagpalambo sa theoretical siyensiya. Gresyanhon lang ang mga pagtulun-an kon sa unsang paagi nga mahimong siyentipikanhong ebidensiya.

Ang una nga kurso sa mga patukoranan sa katarungan og sa Aristotle. Siya nanag-ibut pagtagad ngadto sa kamatuoran nga ang tanan nga mga argumento gibase sa kinatibuk-ang mga balaod, ang paglapas sa nga mosangpot ngadto sa sayop nga mga konklusyon. Ang pormal nga katarungan sa Aristotle gibase sa maong mga balaod:

1. Kon ang paghukom anaa sa positibong, unsa aron sa paghimo kanila sa konklusyon dili mahimo nga negatibo.
2. Kon ang usa sa mga pamahayag mao ang negatibo, ug sa kinatibuk-ang konklusyon mao ang kanunay nga negatibo.

Busa mopatim-aw nga pormal nga pangatarongan - mao ang kahibalo sa mga baruganan ug mga balaod sa epektibong paagi, husto nga pagtukod sa pangatarungan bahin sa sa porma sa ilang pagtukod (nga paagi nga makonektar indibidwal nga mga bahin sa kinatibuk-ang konsiderasyon).

Ang tanan nga mga butang katingalahan ug mga butang adunay usa ka relasyon. Links mahimong tumong o suhetibong, sa kinatibuk-o pribado, nga gikinahanglan o aksidente. Ang labing mahinungdanon nga sa niini nga mga gapos gitawag balaod. ang tanan nga sila nagpakita sa sama nga kamatuoran, busa, dili gayud mahimong magkasumpaki sa usag usa. Ang tanan nga mga balaod sa tawhanong hunahuna nga nakig-uban sa mga balaod sa kinaiyahan.

Ang mga balaod sa hunahuna mao ang mga lig-on nga internal nga koneksyon tali sa mga hunahuna. Kon ang usa ka tawo dili ihigot sa iyang mga hunahuna, siya wala moabut sa hustong konklusyon ug dili makahimo sa pagdala niini ngadto sa uban.

Ang nag-unang mga balaod sa pormal nga katarungan - sa mga balaod sa pagkamakanunayon, pagkatawo, iapil tunga-tunga ug sa balaod sa igo nga rason. Ang kalamboan sa unang tulo ka mga iya sa Aristotle ug Plato, sa katapusan - Leibniz. Paglapas sa niini nga mga balaod (ilabi na sa unang tulo ka) padulong sa mga kontradiksyon, nga naghimo niini nga imposible sa pag-ila sa kamatuoran gikan sa kabakakan. Last nga balaod dili kaayo regulasyon ug mas limitado nga paggamit.

Non-core balaod sa katarungan - kini mao ang mga lagda sa operating sugyot ug mga ideya, angkon sa matuod nga konklusyon sa usa ka syllogism, sa pagdugang sa kalagmitan sa pangagpas nga pangatarungan ug mga konklusyon traduktivnogo kinaiya.

Ang balaod sa pagkamakanunayon nagpasabot nga ang panghunahuna kinahanglan nga dili kontrobersyal, apan kinahanglan nga nagbanaag sa kalidad sa pipila ka mga butang.

Iapil sa tunga-tunga sa Balaod gipatuman ang dili sa pagpangita sa duha ka nagkasumpaki apan tinuod nga pamahayag mao ang usa ka ikatulo, ug sa pag-ila sa kamatuoran sa usa lang kanila. Usa sa mga sangkap sa mga kontradiksyon - sa pagkatinuod tinuod.

sa balaod sa pagkatawo pormal nga lohika nagahubad ingon nga usa ka kinahanglanon sa katukma panghunahuna, ie ubos sa bisan unsa nga termino nga kamo kinahanglan nga tukma nga makasabut sa iyang kahulugan ug kahulogan. Ang kahulugan sa mga konsepto ug mga tulomanon dili tuison sa kabubut-on.

balaod sa igo nga rason mao nga sa bisan unsa nga tinuod nga hunahuna nga gikinahanglan aron hatagag-rason ang uban sa tinuod nga mga hunahuna, ug sayop nga mga ideya dili pagapakamatarungon. Sa pagpalambo sa mga paghukom kinahanglan nga pagpamalandong sa usa ka causal relasyon. Lamang sa niini nga kaso kini nga napamatud-an sa iyang kasaligan.

Ang lohikal nga porma sa hunahuna ug mga pamaagi sa pagtino sa matang sa tanan nga mga hunahuna nga gipahayag sa mga makataronganon termino, nga naglakip sa mga pulong nga "ug", "o", "kon ... unya ..." paglimod "dili tinuod nga ang" ( "dili") , ang pulong nga "sa pipila", "tanan" ( "dili"), usa ka hugpong sa "diwa" (sa sulod sa kahulogan sa "ang"), ug uban pa Ilha ang lohikal nga porma sa paghukom mahimo nga malinga gikan sa kahulogan sa mga termino sa makataronganon, nga gilakip sa verbal nga pagpahayag sa paghukom niini. Sa laing mga pulong, pormal nga pangatarungan nagpahayag sa istruktura sa hunahuna. Ang makataronganon porma mao ang kanunay nga matulon-anon ug makahuluganon.

Depende sa ilang mga matang sa hunahuna gibahin ngadto sa klase: ang mga konsepto, pangatarungan ug paghukom. Konsepto - ang ideya nga generalizes sa mga butang nga sa basehan sa ilang mga nag-unang kinaiya. Paghukom - ang ideya, sa pagpasabot sa atubangan (pagkawala) sa sitwasyon. Inference - naghunahuna, pagpamalandong sa pag-angkon sa kahibalo, nga gipahayag sa mga paghukom sa uban nga mga kahibalo.