Formala logika eta bere oinarrizko legeak

Logika - metodo, lege eta pentsamendu forma zientzia. Formala logika izan da antzinako greziarren garatutako luzea gure aroa baino lehen. Lehenengo greziarren zen gizarte demokratiko batean, non erabakiak eta legeak jendaurreko bilera batean hartutako eraikitzeko. realización zientzia primitibo bat sortu dute epaiketak. gazteen aristokratiko zaletasun gogoko filosofo eztabaidak izan zituen. Hori dela zientzia teorikoaren garapena maitasuna unibertsala. Greziarrek bakarrik nola froga zientifikoak izan behar irakaspenak izan.

logika oinarriak Aristoteles garatutako lehenengo ikastaroa. Drew arreta Izan ere, argumentuak guztiek lege orokorrak oinarritzen zen, eta hori urratuz ondorio okerrak dakar. formalak Aristotelesen logikaren legeek hala nola oinarritzen zen:

1. epaia baiezko, zer horiek egiteko badago ondorioa ezin da negatiboa.
2. esaldietako bada negatiboa, eta ondorio orokor beti negatiboa.

Hori dela logika formal hori dirudielako - ezagutza da printzipio eta lege eraginkortasunez, arrazoibide eraikitzea egoki beren eraikuntza (moduak gogoetak orokorraren zati banakako konektatu) forma dagokienez.

fenomeno eta objektu guztiak harreman bat. Loturak objektiboa edo subjektiboa, orokorra edo pribatuak, beharrezkoa edo nahi gabe izan daiteke. gehien bonu horiek esanguratsuak dira legeak esaten zaie. ziren denak errealitate bera islatu, beraz, ezin da inoiz kontraesanean elkarrengandik. naturaren legeak lotutako giza pentsamenduaren lege guztiak.

pentsamenduaren legeak pentsamenduak arteko barruko erresistenteak konexio daude. Gizon batek ezin badu gorbata bere pentsamenduak, ez zuen eskuineko ondorio etorri eta ezin izango da ekartzea, beste batzuk gai izango.

logika formal oinarrizko legeak - koherentzia, identitatea, baztertutako erdiko eta legeak nahikoa arrazoi-legea. Leibniz - Lehen hiru garapena Aristoteles eta Platon, azken dagozkio. lege horiek (batez ere lehenengo hiru) urraketa kontraesanak eramaten, egia ezinezkoa bereizteko falsehood from egiteko. Azken lege araudiak gutxiago eta erabilera mugatuagoa.

Ez-core logikaren legeen - horiek eragile proposamenak eta kontzeptuak, silogismo batean egia ondorio lortzeko arauak dira, arrazoibide induktiboa probabilitatea handituz eta ondorioak traduktivnogo pertsonaia.

koherentzia legeak esan pentsamendu ez luke polemikoa, baina zenbait gauza kalitatea islatu behar.

Baztertutako erditik Zuzenbide agintzen ez kontraesankorra baina egia da bi adierazpen artean bilatzen hirugarren bat da, eta horietako bat bakarrik egia aitortu. kontraesanak osagai bat -, zalantzarik gabe egia.

identitatearen logika formal legean zehaztasun pentsatzeko baldintza bat, edozein epe zehaztasunez ulertu bere definizioa eta esanahia behar duzu pean alegia gisa interpretatzen. kontzeptuak eta epaiak funtsa ezin borondatea desitxuratu.

nahikoa arrazoi legean dago edozein egia pentsamendu beharrezkoa dela bestearen egia pentsamenduak justifikatzeko, eta ideia faltsu ezin dira justifikatu. epaiak garapenean kausazko harreman bat islatu behar. Bakarrik kasu honetan frogatu ahal izango da bere fidagarritasuna.

pentsamendu eta adierazitako terminoetan logikoa, horien artean, hitzaren bidez pentsamenduak guztien forma zehazteko metodoak forma logikoa "eta", "edo", "bada ... orduan ..." ukatzea "ez da egia" ( "ez") , hitza "batzuk", "guztiak" ( "ez"), "esentzia" mordo bat (esanahia barruan "da"), etc. Identifikatu epaia forma logikoa izango ilogikoa baldintzapean dira, hitzezko epaiketa honetan adierazpen sartutako esanahia arreta daiteke. Bestela esanda, logika formala pentsamendu egitura adierazten. forma logikoa da beti informatiboak eta esanguratsua.

kontzeptuak, arrazoibide eta epaia: bere pentsamenduaren forma arabera dira klaseak banatuta. Kontzeptua - ideia beren oinarrizko ezaugarriak oinarri hartuta objektuak generalizes hori. Epaiketaren - ideia, presentzia (eza) egoeraren baieztatuz. Inferentzia - pentsatu, ezagutza eskuratzea islatuz, beste jakintza-epaiak adierazten da.