Kategorijos archyvas: logika

kažkas panašaus į paradoksą

2012-01-30 parašė

Klaipėdoje girdėjau dar ir vieną galvosūkį, kuris iš pažiūros panašus į rimtą paradoksą, nors apie tai kol kas nieko negaliu pasakyti. Tai galvosūkis apie netikėtą egzaminą. Perkėliau jį į forumą, taip bus patogiau - gal kam nors pavyks išnarplioti šį dalyką.

Kategorija logika | Raktažodžiai: , | Komentuoti

grakštus loginis uždavinys

2012-01-15 parašė

Klaipėdoje galima išgirsti įdomių dalykų, tik reikia žinoti, kur ieškoti :) Taigi išgirdau ten tokį loginį uždavinį, kurį supaprastintu pavidalu pateikiu (o formuluočių yra įvairių, bet jos neesmingai skiriasi).

Saloje gyvena 100 tam tikros genties žmonių, iš kurių 2 yra mėlynos akių spalvos, o 98 - rudos akių spalvos. Ten galioja tokios (keistokos) taisyklės: yra uždrausta žinoti savo akių spalvą; aišku, jie mato kitų gentainių akių spalvą, bet niekas nepasako kitiems, kokia jų akių spalva (saloje nėra jokių veidrodžių); jei kas nors sužino savo akių spalvą, tas privalo tos dienos pabaigoje (vidurnaktį) išvykti iš salos (ir visi apie išvykimą žino). Visi gentainiai griežtai laikosi šių taisyklių, t.y. sužinoję savo akių spalvą, jie tikrai išvyksta iš salos. Be to, jie puikiai logiškai mąsto, t.y. sugeba daryti logines išvadas iš turimos informacijos. Vieną dieną į salą atvyko svetimšalis, kuris nesuprasdamas genties kultūrinių subtilybių padarė tokį neapdairų žingsnį: išvykdamas jis pasakė "ir čia sutikau mėlynos akių spalvos žmogų" ir tai girdėjo visi salos gyventojai. Kas po to atsitiko saloje?

Šiek tiek sudėtingesnis variantas būtų toks: sąlygos tos pačios, tik saloje yra 1000 gyventojų, iš kurių 100 mėlynos akių spalvos ir 900 rudos akių spalvos. Uždavinyje nėra jokių apgavysčių. Internete mačiau daug komplimentų šiam uždaviniui ir net girdėjau, kad tai uždavinys-šedevras. Pirma mintis, kuri šauna, yra tai, kad uždavinio sąlyga yra nekorektiška: svetimšalis esą jokios naujos informacijos gentainiams nepranešė. Bet šuva čia yra giliau pakastas.

Aišku, paguglinus viską galima surasti, bet įdomu nors šiek tiek pačiam pagalvoti. Atrodo, kad sprendžiant turi būti atliktas įdomus kūrybinis veiksmas.

Kategorija logika | Raktažodžiai: | 7 komentarai

naujas logikos vadovėlis lietuviškai

2011-09-25 parašė

Vilniaus universiteto leidykla išleido Virginijos Klenk vadovėlio "Kas yra simbolinė logika" lietuviškas vertimą. Knyga bus naudinga studijuojantiems logikos įvado kursą Lietuvoje, o tokių studentų, kaip žinia, yra daug. Pravers ji ir dėstytojams, be abejo. Tai maždaug standartinio tipo įvadas į simbolinę logiką, nereikalaujantis iš skaitytojo turėti ankstesnių logikos žinių. Knyga apima teiginių logiką, vienviečių ir daugiaviečių predikatų logiką, taip pat ir daugiaviečių predikatų logiką su tapatybe. Didelis privalumas - gausu pratimų. Vadovėlyje nėra kai kurių dalykų, kurie neretai įtraukiami į logikos kursus: neformalios logikos klaidos, terminų prasmė ir apibrėžimai, indukciniai samprotavimai ir kt. Knyga skirta tik deduktyviai logikai.

Kaip skelbiama, knygą galima įsigyti Vilniaus universiteto filosofijos fakulteto filosofijos katedroje (311 kab.)

Kategorija logika | Raktažodžiai: | Komentuoti

loginis apibendrinimas

2009-03-18 parašė

Emilija jau pradeda loginius apibendrinimus: neseniai ji tarė "jei ne no, tai yes."

Apskritai, loginės taisyklės pradedamos įvaldyti mokantis tam tikrų (su logika susijusių) žodelių.

Kategorija logika | Raktažodžiai: , | Komentuoti

logikos dėstymas

2006-02-28 parašė

Kartais kyla įtarimai, kad dauguma studentų turėtų daugiau naudos, jei logikos kursuose būtų mažiau formalaus teiginių ir predikatų skaičiavimo, o daugiau neformaliosios logikos (informal logic): vadinamieji sofizmai (fallacies), tinkamas terminų naudojimas, apibrėžimų rūšys ir kt.

Yra net toks žurnalas “Informal Logic”.

Kategorija logika | Raktažodžiai: | 2 komentarai

Kleene apie objektinę logiką ir tyrinėtojo logiką

2006-02-24 parašė

Logikas Stephen C. Kleene savo įvadiniame matematinės logikos vadovėlyje taip rašo:

visą laiką reikia atsiminti perskyrą tarp logikos, kurią mes studijuojame (objektinė logika) ir logikos panaudojimo ją studijuojant (tyrinėtojo logika). Tiems, kurie tam nepasiruošę, siūlau iš karto užversti šią knygą ir paieškoti kito užsiėmimo, tarkime, šaradų sudarinėjimo ar bitininkystės.
(iš "Mathematical logic", p. 3-4)

Kategorija logika | Raktažodžiai: | 2 komentarai