Upload
peterattilamarco
View
11
Download
0
Embed Size (px)
DESCRIPTION
nem formalis logika
Citation preview
Logika
Nem formlis logika1
Formlis nem formlisFormlis logikaA logikai vizsglat trgyt s a kvetkeztetsek rvnyessgnek alapjt kizrlag az lltsok logikai szerkezete s az azokban szerepl logikai szavak jelentse kpezheti
Nem formlis logikaNemcsak ezek, hanem az intenzin is tlmenen a nyelvi kifejezsek jelentse, tartalma is. nem formlis logika informlis logika materilis logika2
1. Nem monologikus logikaMonologikus logikamono-logoszmonolgmonologikaanalitikaArisztotelszNon-monologikus logikadia-logoszdialgusdialogikadialektikaSzkratsz diskurzus rvels vita3
DialektikaBizonyt kvetkeztetsek felttelei:1. igazknt elfogadott premisszk,2. rvnyesknt elfogadott logikai rendszer.Ezek megvitatsa a logikai rendszeren kvl.Eszkze a dialektika (= materilis logika).A dialektika mdszerei:reductio ad absurdum: a jzan sz szmra val elfogadhatatlan kvetkezmny kimutatsareductio ad impossibile: a premissznak a lehetetlen vagy ellentmond konklzin keresztl val cfolsa: { pq; q } p4
DialektikaA bizonytalan premisszkbl val kvetkeztets majd az rvnyes rvels tudomnya.Az rvels nem igaz lltsokbl, hanem ltalnosan elfogadott vlemnyekbl indul ki. 5
Dialektikus szillogizmusArisztotelsz: Topika ( platni dialektika)A premisszkbl szksgszeren kvetkez konklzi de a premisszk nem igazak, csak igazknt elfogadottak: valsznek.A kvetkeztets alapjul szolgl llts itt : vitattel (toposz).A cl: az igaz, a helyes meglelse vita sorn.A kvetkeztets: gyenge szillogizmus6
Dialektika s JOGGYAKORLATformlis logika nyelv gyakorlat nyelvfilozfia, gyakorlati filozfia, letfilozfia A tuds, az igazsg termszete az, ami dialogikus.A jogi logosz is kt fl dialgusbl bontakozik:A tt: a konklzi elfogadhatsga,Az eszkz: a premisszk megvltoztatsa A premisszk sttusza: llts, llspontA mrce: rvnyessg + helyessgeA keret: a jogvita7
DialogikaA dialogikus logika diskurzv logika.A dialektika ltalnostsa termszetes nyelvi diskurzusokraKvetkeztetsek megalapozsa : monologikus formlis smkaz lltsok tartalmnak dialogikus vizsglataA premisszk fellltsa nem a formlis, hanem a dialogikus logika szerint trtnik.Ha mr megvan a fels ttel s az als ttel, akkor semmi akadlya a szillogisztikus kvetkeztets levonsnak.
8
KrdslogikaA dialgus = a krdsfelelet dinamikja.Egy krds nem lehet igaz vagy hamis sem az alethikus, sem a formlis logika.A kijelents (llts) ott kezddik, ahol a krds vget r: az lltsok krdsekre adott vlaszok, melyek igazsga csak a krdsekhez viszonytva rtelmezhet, vizsglhat.A jogban: a jogszablyok elvontan megfogalmazott lehetsges vlaszok a feladat: a nekik megfelel krdsek megfogalmazsa a konkrt esetekben.
9
Krds vlaszAz llts nyelvi kifejezdse a kijelent mondatA krds nyelvi kifejezdse a krd mondatA krds egy hinyos llts, amely a hinyz elem a datum questionis beillesztsvel nyeri el igazsgrtkt.Nem csak az igaz vlasz felel meg a krdsnek! Az igazsg problmja fennmarad!Megfelelsg : a krds s a vlasz logikai szerkezetnek viszonyaIgazsg : a vlasz s a valsg kztti viszony
10
Krdsek tpusaiTpusok a krdsek logikai szerkezete szerint :Eldntend krds : egy llts (a bzismondat) igazsgrtke az ignyelt informci.Kiegsztend krds : a bzismondat hinyz elemnek megadst, az res helyek kitltst kri.Alternatv krds : kt vagy tbb bzismondat kzl az igaz megjellst kri.Mirt-krds :a bzismondat igazolsra, vagyis az ok vagy a cl megjellsre szlt fel.Defincis krds : egy (ismeretlen) sz jelentse, defincija utn rdekldik.11
Krdezsi hibkTl ltalnos krdsTl komplex krdsTl leegyszerst krdsBjtatott an llt krdsSugall krdsLtszlagos krds12
Nem-formlis rtkekFormlis logika szablyaival rvnyessg rvnytelensg tves levezets, valamely szably megsrtse vagy mellzse.A helyessg ezen tlmutat minsg : a kvetkeztets elfogadhatsga. A kvetkeztets megalapozottsga : igaz premisszkra tmaszkodik (rvnyessg = ha a premisszk igazak, akkor a konklzi is szksgszeren igaz).13
Nem-formlis rtkekrvnyessg :ha igazak a premisszk igaz lesz a konklzis a logika szablyait betartjuk
Megalapozottsg : Helyessg :igazak a premisszk elfogadhat a konklzi(tnylegesen) (nem csupn igaz)14
Logica maiorLogica minor : A formlis logika a deduktv kvetkeztetsek rvnyessgnek biztostsra alkalmasLogica maior : A nem-formlis logika nem tagadja, csupn elgtelennek nyilvntja formlis logika hatkrt, ahol a kvetkeztetsekhez nem levezets tjn jutnak el, hanem rvelsselAz rvek nem valamely formlis-deduktv rendszer elemei, nem is formlis-mestersges nyelven fogalmazdnak eredmnyk sem puszta demonstrci, hanem tbb-kevsb mindig magban foglalja a dnts mozzanatt15
Nem-formlis logika s a jogKlasszikus logika : egy kvetkeztets vagy rvnyes, vagy rvnytelen (ellentmondsos).Nem-formlis logika : megenged egy harmadikat is kontingens kvetkeztets = rvels. A nem-formlis logika legjellegzetesebb terlete ppen a jog szfrja: sokan a materilis (a nem-formlis) logikt a jogi logikval azonostjk.A jog kvl ide tartoznak a gyakorlati let azon szfri, ahol a kvetkeztetseket rvekkel kell altmasztani: a morlis, politikai, eszttikai, gyakorlati stb. llsfoglalsok s dntsek. 16
Informlis logikaVita argumentatv logika, diskurzv logikaA vita fajti :VeszekedsEgyeztetsTudomnyos vitaRacionlis vitaSzablyozott vitaTerepe : szabad, korltozsmentes diskurzusEszkze : racionlis rvhttp://www.uni-miskolc.hu/~bolantro/informalis17
A racionlis rv struktrjaRacionlis rv logikai alapszerkezete = kvetkeztets konklzijaLogikai rekonstrukci = premissza + konklziSzervez kzp magmondatExplicit implicit szerkezeti elemekKvetkeztetsek fajtidedukci klasszikus logikai kvetkeztetsindukciabdukci 18
IndukciDedukci = igazsgfeltrIndukci = ismeretbvt kvetkeztetsrtke : induktv er fokozatosInduktv rvek:ltalnosts AnalgiaValsznstsStatisztikai rvelsOktulajdonts19
rvelsi hibkKrbenforg rvelsIrrelevns premisszaRossz ltalnostsRossz analgiaOk elvtseTves oktulajdontsSzalmabbKtmrgezsCssztats stb. stb. stb. stb. stb. stb. stb. stb.
20
AbdukciArisztotelsz : visszavezetsCh. S. Peirce : a legjobb magyarzatra val kvetkeztets hipotzis felfedezs modellls programozs Kvetkeztets a konklzibl a premisszraEredmnye : igazolt, de vitathat lltsok21
2. Nem monotonikus logikaMonotonikusFggvnyaz A halmazhoz B igazsg-rtket rendel fggvny rtke megmarad a halmaz szktse/bvtse utn isLogikaigazsgmegrz konklziPl.: A madarak tudnak replni; Tweety egy madr; teht Tweety tud replni
Non-monotonikusFggvny rtke nem marad megPl.: Kt r r kt ember r Kt r r kt regr r Logikaigazsgrtk megvltozhat
kivve, ha Tweety pingvin
22
Esend (defeasible) logika Hinyos/ellentmondsos premisszkHinyok kitltse esend szablyokkalA szablyok is hinyosak/ellentmondsosakSzksg van meta-szablyokraA kvetkeztets bizonyossga felfggesztveEsend logika elemei :Tnyekbl ll premisszahalmaz = (facts : F)Kvetkeztetsi szablyok halmaza (rules : R)Szablyokat rangsorol metaszablyok : 23
A szablyok tpusai1. sztrikt (abszolt) szably; jellse : A p ahol A = eltag (antecedent); p = konklziPl.: Az emu madr : emu(x) madr(x) 2. esend szably; jellse : A p Sem premissza, sem konklzi nem bizonyossgi Pl.: A madarak replnek : madr(x) repl(x)3. rvnytelent szably (defeater): A pAz esend szably fellrsa kivtellelPl.: Ha nehz, nem repl nehz(x) repl(x) 4. flrendel szably; jellse : r2 r1az alrendelt szablyt rvnytelentse24
Pl. r4 r3, r3 r2, r2 r1SZABLYMAGYARZATr1 : bnsAz rtatlansg vlelmer2 : bizonytk bnsA bnssg bizonytsar3 : indtk bnsAz indtk hinya az rtatlansgra utalr4 : alibi bnsAz alibi rtatlansgra utal
25
Nonmonotonikus logika s jogA helyes kvetkeztetseknek csak rsze a formlisan helyes kvetkeztetsek halmazaLehet materilis helyessg isLehet vitathatsg, tmadhatsg isIlyen az abduktv s esend kvetkeztets isAz j premisszk kpesek rvnytelenteni az rvnyes kvetkeztetseketMindennek kitntetett terepe a jog26