调查

Andrius

Įvadas E9F5FC

Juodraštis? FFFFFF

Užrašai FCFCFC

Klausimai FFFFC0

Gvildenimai CAE7FA

Pavyzdžiai? F6EEF6

Šaltiniai? EFCFE1

Duomenys? FFE6E6

Išsiaiškinimai D8F1D8

Pratimai? FF9999

Dievas man? FFECC0

Pavaizdavimai? E6E6FF

Miglos? AAAAAA

Asmeniškai? BA9696

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

Įranga

redaguoti

Mintys.Logika istorija

Paslėpti nežymius pakeitimus - Rodyti galutinio teksto pakeitimus

2018 gegužės 24 d., 08:55 atliko AndriusKulikauskas -
Pakeista 1 eilutė iš:
Žr. [[Septynerybė]], [[Logikos ratelis]]
į:
Žr. [[http://www.ms.lt/sodas/Book/Logic | Logic]], [[Septynerybė]], [[Logikos ratelis]]
2017 spalio 28 d., 13:02 atliko AndriusKulikauskas -
Pakeista 1 eilutė iš:
Žr. [[Septynerybė]]
į:
Žr. [[Septynerybė]], [[Logikos ratelis]]
2017 spalio 12 d., 19:39 atliko AndriusKulikauskas -
Pakeistos 1-15 eilutės iš
[[Septynerybė]]

[[http://paliokas.blogspot.lt/2011/05/logika-ir-aibes.html | 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.
į:
Žr. [[Septynerybė]]
2017 spalio 06 d., 22:05 atliko AndriusKulikauskas -
Pridėtos 1-2 eilutės:
[[Septynerybė]]
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ė:
[[http://paliokas.blogspot.lt/2011/05/logika-ir-aibes.html | 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


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