eisagoge ste mathematike logike - kostas drosos

[...]... eénai tỡso kajhmerin pou pern aparatrhth Afoễ ỡmwc edá uposqỡmaste na meletsoume me Majhmatikỡ trỡpo kai mốjodo orismốnec pleurốc tou trỡpou pou skeptỡmaste, na meletsoume tic protseic kai tic idiỡthtốc touc, ja prốpei na akoloujsoume th mejodologéa aut Ja sumbolézoume loipỡn me grmmata kai mlista ta kefalaéa tou Ellhnikoễ alfbhtou tic aploễsterec protseic 'Ena grmma dhlad, ốstw to A, ja sumbolézei mia... qaraktrac twn suntaktikán kanỡnwn Ti mac upagoreễei th seir me thn opoéa ja tejoễn oi frseic ste na dásoun apodektốc akoloujéec Ac exetsoume kpoia paradeégmata Ac upojốsoume ỡti, sqedizoume ốna fantastikỡ senrio gia na anoéxoume mia suzthsh gia touc kễknouc kai ỡti diatupánoume dễo eisagwgikốc frseic tic: 1 : Briskỡmaste sthn krh thc lémnhc 2 : 'Enac katleukoc kễknoc ốpese fterougézontac sto nerỡ H seir... opoéa ja diatupásoume tic frseic pou eénai foreéc thc skốyhc mac An kai ja eémaste se jốsh na exetsoume analutik tốtoia paradeégmata afoễ doễme orismốna stoiqeéa apỡ thn protasiak logik, ja anafốroume ốna tốtoio pardeigma Pỡte kpoioc eénai se jốsh na diatupásei tic frseic: Eénai mốra 'Eqei fwc qwréc na uprqei peréptwsh na diayeusteé? Fusik ỡtan th stigm pou tic diatupánei eénai mốra Poia eénai ỡmwc h antanklash... na shmeiásoume ỡti h fusik glássa diajốtei meglh ekfrastikỡthta all mikr akrébeia, ená oi tupikốc-teqnhtốc glássec ốqoun meglh akrébeia all mikr ekfrastikỡthta H poreéa apỡ tic fusikốc glássec stic tupikốc majhmatikốc glássec kai th majhmatik logik skiagrafeétai apỡ to akỡloujo sqma: Fusik Glássa tupopoéhsh-afaéresh Tupikốc Glássec Sqăma 2.1: Taxinỡmhsh Glwssán Tupikốc Glássec Majhmatikopoéhsh... prỡtash pnta yeudc, dhl mia antilogéa To {pnta} edá shmaénei opoiadpote kai na eénai h prỡtash A H dizeuxh H dizeuxh xeqwrézei, (dia-stốllei) ta gegonỡta me to édio trỡpo pou h sễzeuxh ta enánei, ốtsi to nốo gegonỡc jewreétai wc mh pragmatopoioễmeno mỡno an kanốna apỡ ta antidiastelámena gegonỡta den pragmatopoieétai: {aễrio ja brốxei} {aễrio ja qionései} H dizeuxh miac prỡtashc me thn rnhs thc, eénai... (ỡqi A)) epéshc diexodik: En to axéwma apoteleétai apỡ ốna arnhtikỡ mỡrio kai to kathgỡrhma ỡpwc to {oẻdeéc peripateỉ}, lốgetai arnhtikỡ, ená an apoteleétai apỡ sterhtikỡ onomatikỡ sễntagma kai to kathgỡrhma, ỡpwc {filnjrwpỡc õstin oịtoc}, lốgetai sterhtikỡ O nỡmoc thc diplc rnhshc (uperapofatikỡn axéwma) touc eénai epéshc gnwstỡc 'Omwc gia to jốma autỡ o Sốxtoc den anafốrei tépota ená o Diogốnhc o Biogrfoc... p.Q Kaneéc den mporeé wstỡso na qarakthrései wc toph kai yeud olỡklhrh th frsh aut Anloga kai gia thn (26) kaneéc den mporeé na isquristeé ỡti eénai antifatik kai yeudc, eénai logikỡtath parỡlo pou kai h E1 , kai h E2 dhlánoun gegonỡta pou den sumbaénoun Gia na eémaste loipỡn sumbatoé me th koin logik, me th logik dhlad thc kajhmerinc glássac jewroễme pwc h sunepagwg 1 2 eénai yeudc mỡno sthn peréptwsh... prốpei kai arkeé E2 H logik isodunaméa eénai alhjc kje for pou kai oi dễo sumballỡmenec eénai alhjeéc kai oi dễo yeudeéc 2.2.2 Askseic 1 Diatup ste tic arnseic twn frsewn 12, 12, 8, 6, 5, 9 2 Gia kje mia apỡ tic paraktw frseic breéte thn rnhs thc kai diatup ste analutik mia frsh pou na ốqei to édio perieqỡmeno me thn rnhsh aut: i) To sễnolo X ốqei toulqiston 5 stoiqeéa ii) To sễnolo X ốqei to polễ 5... Pardeigma 1) {O arijmỡc x eénai rtioc kai pollaplsio tou 3} H akoloujéa aut eénai méa frsh 2) {3 rtioc x tou kai o eénai arijmỡc pollaplsioi} H akoloujéa aut den eénai frsh, giaté oi lốxeic pou thn apart - zoun den ốqoun tejeé se mia seir problepỡmenh apỡ touc grammatikosuntaktikoễc kanỡnec, den eénai {domhmốnh} sễmfwna me touc kanỡnec thc glássac 3) {To trégwno enỡc tetragánou eénai diairốthc tou 3} H... organikỡ sustatikỡ thc {glwssik domhmốnhc nỡhshc} To glwssikỡ shmeéo, par th sumbatikỡtht tou, eénai ốna adispasto ỡlo, mia dom, me ton édio trỡpo pou eénai adispasto ốna mỡrio neroễ: ỡtan to nerỡ diaspasteé se udrogỡno kai oxugỡno, qnei ỡlec tic idiỡthtốc tou, ená gia pardeigma sbnei th fwti, ta proỡnta thc dispasc tou thn eunooễn afoễ to men udrogỡno kaégetai, to de oxugỡno, me thn ốnnoia ỡti h kaễsh