Loġika formali u l-liġijiet bażiċi tiegħu

Loġika - l-xjenza ta 'metodi, liġijiet u forom ta' ħsieb. loġika formali ġiet żviluppata mill-Griegi tal-qedem, twil qabel l-era tagħna. Kien l-ewwel Griegi biex tinbena soċjetà demokratika, fejn id-deċiżjonijiet u l-liġijiet adottati f'laqgħa pubblika. Huma ħolqu xjenza primittiva ta jwettqu provi. A pastime favoriti ta 'żgħażagħ aristokratika kellhom diskussjonijiet ma' l-filosofi. Għalhekk l-imħabba universali tal-iżvilupp tax-xjenza teoretiku. Griegi biss kellhom l-tagħlim dwar kif tkun evidenza xjentifika.

L-ewwel kors ta 'l-pedamenti tal-loġika żviluppata mill Aristotli. Huwa ġibed l-attenzjoni għall-fatt li l-argumenti kollha huma bbażati fuq il-liġijiet ġenerali, il-ksur tagħhom iwassal għall-konklużjonijiet żbaljati. Il formali loġika ta Aristotle kien ibbażat fuq dawk il-liġijiet:

1. Jekk is-sentenza tkun fl-affermattiv, liema biex jagħmlu minnhom il-konklużjoni ma tistax tkun negattiva.
2. Jekk waħda mill-istqarrijiet huwa negattiv, u l-konklużjoni ġenerali hija dejjem negattiva.

Għalhekk jidher li l-loġika formali - hija l-għarfien tal-prinċipji u l-liġijiet effettiv, interpretazzjoni xierqa ta 'raġunament fir-rigward tal-forma tal-kostruzzjoni tagħhom (modi biex jgħaqqdu partijiet individwali tal-Kunsiderazzjonijiet Ġenerali).

Kollha fenomeni u oġġetti jkollhom relazzjoni. Rabtiet jistgħu ikunu oġġettivi jew suġġettiva, ġenerali jew privati, meħtieġa jew aċċidentali. L-aktar sinifikanti ta 'dawn il-bonds huma msejħa liġijiet. dawn kollha jirriflettu l-istess realtà, għalhekk, qatt ma tista jikkontradixxu lil xulxin. Il-liġijiet ta 'ħsieb tal-bniedem assoċjati mal-liġijiet tan-natura.

Il-liġijiet tal-ħsieb huma konnessjoni interna stabbli bejn il-ħsibijiet. Jekk raġel ma tista 'torbot ħsibijiet tiegħu, huwa ma jaslu għall-konklużjoni dritt u mhux se tkun tista' tressaq lill-oħrajn.

Il-liġijiet bażiċi ta 'loġika formali --liġijiet ta' konsistenza, l-identità, tan-nofs eskluż u liġi ta 'raġuni suffiċjenti. L-iżvilupp ta 'l-ewwel tliet jappartjenu għall Aristotli u Plato, l-aħħar - Leibniz. Ksur ta 'dawn il-liġijiet (speċjalment l-ewwel tliet) twassal għal kontradizzjonijiet, li jagħmilha impossibbli li tiddistingwi verità mill- falsità. liġi aħħar regolamenti anqas u użu aktar limitat.

liġijiet mhux prinċipali tal-loġika - dawn huma r-regoli ta 'propożizzjonijiet operattivi u kunċetti, kisba konklużjoni veru fil syllogism, tiżdied il-probabbiltà ta' raġunament induttiv u konklużjonijiet traduktivnogo karattru.

Il-liġi ta 'konsistenza ifisser li l-ħsieb m'għandux ikun kontroversjali, iżda għandu jirrifletti l-kwalità ta' ċerti affarijiet.

Liġi nofs esklużi tippreskrivi li ma jfittxux bejn żewġ dikjarazzjoni kontradittorja imma veru huwa terz, u biex jirrikonoxxu l-verità ta 'wieħed biss minnhom. Wieħed mill-komponenti ta 'kontradizzjonijiet - ċertament veru.

il-liġi ta 'identità loġika formali tinterpreta bħala rekwiżit ta' ħsieb preċiżjoni, jiġifieri taħt kull patt inti jeħtieġ li jifhmu b'mod preċiż definizzjoni tagħha u t-tifsira. L-essenza tal-kunċetti u s-sentenzi ma jistgħux jgħawġu fil-se.

liġi tar-raġuni suffiċjenti hija li ebda ħsieb veru neċessarju biex jiġġustifika ħsibijiet vera l-oħrajn, u l-ideat foloz ma tistax tiġi ġġustifikata. Fl-iżvilupp tas-sentenzi għandhom jirriflettu relazzjoni kawżali. Biss f'dan il-każ jista 'jiġi ppruvat affidabilità tagħha.

Il-forma loġiku tal-ħsieb u l-metodi tad-determinazzjoni l-forom ta 'l-ħsibijiet kollha espressi mill loġiċi, li jinkludu l-kelma "u", "jew", "jekk ... imbagħad ..." ċaħda "mhux veru li" ( "le") , il-kelma "xi", "kollha" ( "le"), mazz ta ' "essenza" (fis-sens ta' "huwa"), eċċ Identifika l-forma loġiku tas-sentenza jista 'jiġi distratt mill-tifsira tat-termini ta illoġiku, li huma inklużi fl-espressjoni verbali ta' din is-sentenza. Fi kliem ieħor, il-loġika formali jesprimi l-istruttura tal-ħsieb. Il-forma loġiku huwa dejjem informattiv u sinifikanti.

Jiddependi fuq forom tagħhom ta 'ħsieb huma maqsuma fi klassijiet: il-kunċetti, ir-raġunament u s-sentenza. Kunċett - l-idea li generalizes l-oġġetti fuq il-bażi tal-karatteristiċi bażiċi tagħhom. Sentenza - l-idea, tafferma l-preżenza (assenza) tas-sitwazzjoni. Deduzzjoni - ħasbu, li jirrifletti l-akkwist ta 'tagħrif, espressa fis-sentenzi ta' għarfien ieħor.