神的舞蹈

经历的道

知识的房子

神的调查

redaguoti

Mintys.Logika istorija

Paslėpti nežymius pakeitimus - Rodyti kodo pakeitimus

2018 gegužės 24 d., 08:55 atliko AndriusKulikauskas -
Pakeista 1 eilutė iš:
į:
2017 spalio 28 d., 13:02 atliko AndriusKulikauskas -
Pakeista 1 eilutė iš:
į:
2017 spalio 12 d., 19:39 atliko AndriusKulikauskas -
Pakeistos 1-15 eilutės iš

Septynerybė

Logika ir aibės Eugenijus Paliokas

Frege išskyrė filosofiją/logiką ir psichologiją.

Logikoje: Frege - logicists ir neologicists (truth). Carnap - conventionalists, syntactical (rules, syntax). Pluralists. Nihilists. Chomsky (recursion, minimalist) vs. Daniel Everett (tribe without recursion).

Kažkaip nebuvau suvokęs kaip sutampa logikos santykiai ir aibių santykiai. Apie tą mąstydamas, pastebėjau, kad ir vienur ir kitur yra labai ryškus dualizmas, dvilypiškumas. Aibių teorijoje galima teoremose sukeisti sąjungas ir sankirtas ir jos liks teisingos, ir visai panašiai, logikoje galima sukeisti sąvokas "ir" bei "ar". Supratau, kad būtent tai, mano manymu, yra logikos esmė. Jinai labai tiksliai sustato tokį dvilypiškumą, pavyzdžiui, tarp buvinių (išsakančių tai, kas yra) ir būklių (išsakančių tai, ko nėra). Logikos tikslas yra sustatyti tobulą priešingybę, užtat suskaldyti požiūrį į dvi lygias dalis. Logika kaip vairininkas nutaiko savo vairą taip, kad tas padalinimas būtų nepriekaištingas, kad dalys būtų lygiavertės. Logika atskiria turinį ir pavidalą, taip kad turinys gali būti neiginys ar teiginys, ir tai pavidalo neturės reikšmės, tai yra, logika išsako išvedžiojimo pavidalą, jį atskiria nuo turinio.

Taip supratus, kas yra logika, galima susigaudyti matematikoje. Juk matematikos žymiausios teoremos būtent išsako tokius dvylipiškus atitikimus. Kitas pavyzdys būtų projektyvinė geometrija, kur teoremose galima sukeisti tieses ir taškus. Taip pat matematikoje yra labai svarbūs maži nukrypimai nuo to dvilypiškumo. Topologijai lemtingas atviros aibės apibrėžimas remiasi skirtumu, jog išlaikant atvirumą, sankirtos privalo būti baigtinės, tuo tarpu sąjungos neribojamos.

O gyvenime tarp kitų priešingybių - tiesa ir netiesa, gėris ir blogis, iškyla ir moteriškumas bei vyriškumas. Čia atsiranda galimybė iškelti lygiaverčių priešingybių svarbą, kad galima suvo vienaip (pavyzdžiui, būklėmis - meile) arba kitaip (buviniais - gyvybe) ir būtent logikos prasme tai bus lygiavertis pasirinkimas. Tik aišku, gyvenimas nesiriboja vien logika, nes iš karto kyla klausimas, kuri priešingybė (pavyzdžiui, gerumas, tiesa) bus priskirta tam Dievui, esančiam už logikos?

Matyt, logikoje dvilypiškumas yra pabrėžtinai svarbus nes šiaip filosofijoje siekiame vienareikšmiškumo ar tiesiog taupumo.

į:
2017 spalio 06 d., 22:05 atliko AndriusKulikauskas -
Pridėtos 1-2 eilutės:
Pakeistos 7-15 eilutės iš

Logikoje: Frege - logicists ir neologicists (truth). Carnap - conventionalists, syntactical (rules, syntax). Pluralists. Nihilists. Chomsky (recursion, minimalist) vs. Daniel Everett (tribe without recursion).

į:

Logikoje: Frege - logicists ir neologicists (truth). Carnap - conventionalists, syntactical (rules, syntax). Pluralists. Nihilists. Chomsky (recursion, minimalist) vs. Daniel Everett (tribe without recursion).

Kažkaip nebuvau suvokęs kaip sutampa logikos santykiai ir aibių santykiai. Apie tą mąstydamas, pastebėjau, kad ir vienur ir kitur yra labai ryškus dualizmas, dvilypiškumas. Aibių teorijoje galima teoremose sukeisti sąjungas ir sankirtas ir jos liks teisingos, ir visai panašiai, logikoje galima sukeisti sąvokas "ir" bei "ar". Supratau, kad būtent tai, mano manymu, yra logikos esmė. Jinai labai tiksliai sustato tokį dvilypiškumą, pavyzdžiui, tarp buvinių (išsakančių tai, kas yra) ir būklių (išsakančių tai, ko nėra). Logikos tikslas yra sustatyti tobulą priešingybę, užtat suskaldyti požiūrį į dvi lygias dalis. Logika kaip vairininkas nutaiko savo vairą taip, kad tas padalinimas būtų nepriekaištingas, kad dalys būtų lygiavertės. Logika atskiria turinį ir pavidalą, taip kad turinys gali būti neiginys ar teiginys, ir tai pavidalo neturės reikšmės, tai yra, logika išsako išvedžiojimo pavidalą, jį atskiria nuo turinio.

Taip supratus, kas yra logika, galima susigaudyti matematikoje. Juk matematikos žymiausios teoremos būtent išsako tokius dvylipiškus atitikimus. Kitas pavyzdys būtų projektyvinė geometrija, kur teoremose galima sukeisti tieses ir taškus. Taip pat matematikoje yra labai svarbūs maži nukrypimai nuo to dvilypiškumo. Topologijai lemtingas atviros aibės apibrėžimas remiasi skirtumu, jog išlaikant atvirumą, sankirtos privalo būti baigtinės, tuo tarpu sąjungos neribojamos.

O gyvenime tarp kitų priešingybių - tiesa ir netiesa, gėris ir blogis, iškyla ir moteriškumas bei vyriškumas. Čia atsiranda galimybė iškelti lygiaverčių priešingybių svarbą, kad galima suvo vienaip (pavyzdžiui, būklėmis - meile) arba kitaip (buviniais - gyvybe) ir būtent logikos prasme tai bus lygiavertis pasirinkimas. Tik aišku, gyvenimas nesiriboja vien logika, nes iš karto kyla klausimas, kuri priešingybė (pavyzdžiui, gerumas, tiesa) bus priskirta tam Dievui, esančiam už logikos?

Matyt, logikoje dvilypiškumas yra pabrėžtinai svarbus nes šiaip filosofijoje siekiame vienareikšmiškumo ar tiesiog taupumo.

2017 rugsėjo 11 d., 18:46 atliko AndriusKulikauskas -
Pridėta 1 eilutė:

Logika ir aibės Eugenijus Paliokas

2017 rugsėjo 06 d., 15:39 atliko AndriusKulikauskas -
Pridėtos 1-4 eilutės:

Frege išskyrė filosofiją/logiką ir psichologiją.

Logikoje: Frege - logicists ir neologicists (truth). Carnap - conventionalists, syntactical (rules, syntax). Pluralists. Nihilists. Chomsky (recursion, minimalist) vs. Daniel Everett (tribe without recursion).

Logika


Naujausi pakeitimai


靠真理

网站

Įvadas #E9F5FC

Klausimai #FFFFC0

Teiginiai #FFFFFF

Kitų mintys #EFCFE1

Dievas man #FFECC0

Iš ankščiau #CCFFCC

Mieli skaitytojai, visa mano kūryba ir kartu visi šie puslapiai yra visuomenės turtas, kuriuo visi kviečiami laisvai naudotis, dalintis, visaip perkurti. - Andrius

redaguoti

Puslapis paskutinį kartą pakeistas 2018 gegužės 24 d., 08:55