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