Fairly Modern Scholasticism

Chapter I

Mon, 01 Jan 0001 00:00:00 +0000

Merlin’s school in Carmarthen accepted anyone who managed to find it, step inside, locate Professor Merlin, and answer his question. This question, scribbled on a worn examination ticket, was always the same. Merlin would fish it out from the folds of his robe each time, and anyone would be right to assume it hadn’t changed in decades. The other widely known requirements—being sixteen years old, knowing Latin, not having a runny nose, and keeping a clean handkerchief in the left breast pocket—were strictly optional.

How many angels can dance on the head of a pin?

Mon, 01 Jan 0001 00:00:00 +0000

A typical if not prototypical question: How many angels can dance on the head of a pin?

Let’s see if we can make any sense of it…

Firstly, we can use Sorbonna’s authority:

“The sixth, that an angel can at the same moment be in different places and can be omnipresent if he chooses. We condemn this error, for we firmly believe that an angel is in one definite place; so that, if he is here, he is not elsewhere at the same moment; for it is impossible that be should be omnipresent, for this is peculiar to God alone.”

Rabelais: Excerpts

Mon, 01 Jan 0001 00:00:00 +0000

Rabelais: Excerpts.

In the original/Oригинал:

click to show/показать

“For here you will find an individual savour and abstruse teaching which will initiate you into certain very high sacraments and dread mysteries, concerning not only our religion, but also our public and private life.”

Rabelais: Lettres de Gargantua

Mon, 01 Jan 0001 00:00:00 +0000

Rabelais: Lettres de Gargantua

In the original/Oригинал #

Comment Pantagruel estant à Paris receupt lettres de son pere Gargantua, et la copie d’icelles.

click to show/показать

Алиса: от уксуса — куксятся (ru)

Mon, 01 Jan 0001 00:00:00 +0000

От уксуса — куксятся

Не мое. Заимстованно с livelib.ru:https://www.livelib.ru/story/11973-alice-in-wonderland-lyuis-kerroll (https://www.livelib.ru/selection/18241-zapiski-knizhnogo-zanudy)

Обычно в связи с «Алисой» рассуждаешь о каламбурном английском языке и отсутствии аналогов в русском. Но один раз русский язык выгодно отличился, а Демурова это отличие нашла и использовала. Вот этот гениальный эпизод:

— От перца, верно, и начинают всем перечить… Алиса очень обрадовалась, что открыла новое правило. — От уксуса — куксятся, — продолжала она задумчиво, — от горчицы — огорчаются, от лука — лукавят, от вина — винятся, а от сдобы — добреют. Как жалко, что никто об этом не знает… Все было бы так просто. Ели бы сдобу — и добрели!

Винни Пух: Бог, Демиург или игра художественных ребусов? (ru)

Mon, 01 Jan 0001 00:00:00 +0000

Винни Пух: Бог, Демиург или игра художественных ребусов?

Оригинал взят у kirill_kuzmin в Божественное в советских мультфильмах: Винни Пух! и здесь

Вам никогда не казалось, что стол, за которым обедают Винни Пух, Пятачок и Кролик какой-то странный? Выглядит так, как будто его собирали неправильные пчелы. Ведь, казалось бы, в соответствии с правилами перспективы, ребро поверхности стола, которое находится ближе к наблюдателю должно быть длиннее, а то которое дальше от него - короче.

Chapter II

Mon, 01 Jan 0001 00:00:00 +0000

Gwydion was from the north, and Llywelys from the south, and at first, their accents were so incomprehensible to each other that they had to speak in Latin. However, after about two weeks, they adapted, and Welsh once again became their primary language of communication.

Llywelys was from Aberystwyth and, like Gwydion, decided to go to Merlin’s school in Carmarthen-on-Usk upon reaching the proper age. Most of his relatives and neighbors could not fathom how anyone could leave their hometown even three miles behind without risking their health and life. However, realizing that their kinsman was determined to undertake this perilous journey, the entire clan of Llywelys decided to accompany him. Thus, Llywelys arrived in Carmarthen with a retinue of sixty people, including forty armed men, all bearing their family emblems, coats of arms, and dressed in their finest clothes. Llywelys merely waved dismissively when questioned about this.

What’s the French for fiddle-de-dee?

Mon, 01 Jan 0001 00:00:00 +0000

What’s the French for fiddle-de-dee?

[AL]: Since childhood I wanted to learn the answer to the Red Queen’s question: “What’s the French for fiddle-de-dee?” (Actually, I read it in Russian, and the question was: “Как по-французски «фу ты, ну ты»?”.)

This not about translating a regular word or a regular expression, and not even about translating an idiomatic expression - Red Queen asks for translating a totally nonsensical word, something that seems to have no meaning at all! In response Alice demands what language is “fiddle-de-dee”, which seems to be pointless: so, OK, let’s say she’s told it was Shqip (=Albanian, for our Russian-speaking reader) - how’s it going to help? Inevitably, the next question should be: What does it mean in Shqip? Interestingly, that Demurova (Russian translator), skips the first step: in Russian translation Alice asks for the meaning, not for the language (“quote”). There is an interested twist in Belorussian translation: Alice asked to translate “Люлі-лялі-лей” into English. Then, she says, she would be able to translate it in French. Well, we can translate it in English: “fiddle-de-dee”, even though “fiddle-de-dee” is not English… Is it helpful?

Винни Пух: Летопись Олександра Милна (ru)

Mon, 01 Jan 0001 00:00:00 +0000

Летопись Олександра Милна

Оригинал взят у grozamolo4nikov.

Исправленая версия (fixed by chatGPT 5.6):

Лѣтопись о Венеполкѣ и дружинѣ его #

В лѣто 6430 #

Иде Венеполкъ на пчелы, и изгнаша его пчелы, и не даша ему дани. И поиде къ Христофору Робиничу, и рече медвѣдь: «Лѣса наша велика и обильна, а оружия у мене нѣсть». И дасть ему Христофоръ пря лазорева и оружие. И поидоста на пчелы, творящеся акы туча велика. Пчелы же имъ вѣры не яша, и затворишася въ градѣ своемъ, и възвратистася.

Alice: Translating cultural differences

Mon, 01 Jan 0001 00:00:00 +0000

[AL]:

What makes Alice a great learning example is that it is not just about translating some idiomatic expressions, or even total nonsense (see previous section for translation of “fiddle-dee-dee” into French). It is also about translating cultural differences.

There exists so many translations of the text, that the translators just had to take cultural differences into account.

Example:

Alice’s Adventures in Wonderland, John Tenniel, 1866

Chapter III

Mon, 01 Jan 0001 00:00:00 +0000

“What are you writing, my child?” came a venomous voice from behind Gwydion. “‘…causing great harm to the native population of the British Isles…’” “Remember, young man: the native population of the British Isles—that’s me. Everyone else came along much later. And this? ‘Our knowledge of this time is quite scant and approximate, and these events mostly belong to the realm of the unknown.’ Hmm… If you have nothing to say, cut it down, cut it down with mathematical symbols. Our knowledge of this ( t o 0 ), and these events ( \in X ). Otherwise, you’re just wasting parchment. Writing, writing—they don’t even know what they’re writing about. The only thing I can do for you, as a witness and not a minor participant in those events, is to keep you after class. Instead of studying the entire history of Britain, you’ll be mopping the floor. With this rag. Oh, oh, oh. I see horror on your face. This is an old, honorable rag. It was gifted to me in Annwn. Its name is… well, it wouldn’t mean anything to you anyway.”

Tao & Te

Mon, 01 Jan 0001 00:00:00 +0000

Alice: Translating to exotic languages

Mon, 01 Jan 0001 00:00:00 +0000

[AL]: Well, like really exotic…

Emoji Translation:

from here – I think it sucks.

Blissymbolics:

Alice (in Wonderland): [blissname] + [girl] + [curiosity,curiousness,inquisitiveness])

from here

from here– and I think it sucks, too.

Chapter IV

Mon, 01 Jan 0001 00:00:00 +0000

Dio Chrysostom of Bithynia, a wandering sophist with Cynic tendencies, taught Ancient Greek at the school. Although he enjoyed sophistic disputes, various tricks, and provocative antics, and his senior-level classes usually stretched into the evening and ended with all-male feasts, it must be acknowledged that at these feasts not a word of Welsh was permitted. All bawdy jokes were invariably delivered in the Attic dialect of Greek, and the wines were exclusively from southern regions and of genuine vintage.

Test

Mon, 01 Jan 0001 00:00:00 +0000

Button example:

Get Home Contribute

{{< button relref="/" [class="..."] >}}Get Home{{< /button >}}
{{< button href="https://github.com/alex-shpak/hugo-book" >}}Contribute{{< /button >}}

Mermaid example:

stateDiagram-v2 State1: The state with a note note right of State1 Important information! You can write notes. end note State1 --> State2 note left of State2 : This is the note to the left.

{{< mermaid [class="cl"] >}}
{{< /mermaid >}}

Katex example:

$f(x) = \int_{-\infty}^\infty\hat f(\xi)\,e^{2 \pi i \xi x}\,d\xi$

Pi inline: @@ \pi @@

Alice: Translating Jabberwocky (ru)

Mon, 01 Jan 0001 00:00:00 +0000

https://author.today/reader/420061/4174545

https://vad-nes.livejournal.com/838865.html

Chapter V

Mon, 01 Jan 0001 00:00:00 +0000

Mac Carthy always arrived precisely at the beginning of his lessons, glancing at his left hand, where he had written in black marker the names of the towers and classrooms where he was scheduled to teach that day. It should be mentioned that Mac Carthy loved one woman—quietly and faithfully. Yet, he avoided showing her the magical birthmark on his cheek, invariably covering it with a bandage and explaining it away as cuts, abscesses, or insect bites. This was because it was crucial for him that this woman loved him just as he was, without the birthmark.

Chapter VI

Mon, 01 Jan 0001 00:00:00 +0000

Berwyn, son of Eilonwy, the seventh son of a miller from near Cardiff, sat with his head propped in his hands, staring out the window overlooking the courtyard, watching distant black specks in the sky. Ever since he had met Mac Carthy, any crow flying far away filled him with a vague sense of reverence.

Below the window, Dr. Blodwedd, the botany instructor for the senior classes, had rolled up one sleeve and was watering the nasturtiums. Beyond her, on the stones of the courtyard, a small crowd was debating whether to play “Three Ages” or “The Metamorphoses of the Bard Taliesin.”

History

Mon, 01 Jan 0001 00:00:00 +0000

Turchin. Cliodynamics, Петр Валентинович Турчин. Историческая динамика
Asimov’s Psychohistory.
Popper on unpredictability based on science discoveries.

Дьяконов, Игорь Михайлович. Философия истории. Пути истории: от древнейшего человека до наших дней

Problems:

Сергей Георгиевич Смирнов. Задачник по истории древнего мира
Сергей Георгиевич Смирнов. Задачник по истории средних веков
Сергей Георгиевич Смирнов. Задачник по истории средних веков
Анатолий Александрович Гин,Татьяна Владимировна Белякова. Открытые задачи. ИСТОРИЯ: сильное мышление через открытые задачи

Quines

Mon, 01 Jan 0001 00:00:00 +0000

Quine #

I wrote this quine in CA Clipper in or before 1990:

p:="p:=;p:=substr(p,1,3)+chr(34)+p+chr(34)+substr(p,4);Qout(p)";p:=substr(p,1,3)+chr(34)+p+chr(34)+substr(p,4);Qout(p)

in order to “prove” (or demonstrate) Tarski’s Theorem

Chapter VII

Mon, 01 Jan 0001 00:00:00 +0000

Snow-haired and hawk-nosed, Professor Fintan, with the collar of a thickly knit Aran sweater visible beneath his sturdy cloak, sat in the middle of the courtyard, squinting against the northern wind as he wove a fishing net. His hands moved with mesmerizing speed, and the coarse wooden amulet around his neck, set with a piece of amber, swayed in rhythm with his movements. Around him sat the first-year students.

“If the mountains to the south wear their caps in the morning, it means the ocean is off-limits by evening,” he explained, his voice carrying over the wind. “But if Manannán, son of Ler, stretches his fingers from behind the clouds at sunset toward the shallows of Finntra, then at dawn, from Sron Brin to Ive Rathach, you can gather dark red seaweed and pearl moss. However, if in the evening, the roof tiles clatter as if someone’s fingers are running across them, then a storm will rage for four days, so fierce that herring will fly ten miles through the air.”

Law

Mon, 01 Jan 0001 00:00:00 +0000

The Paradox of Self-Amendment

Chapter VIII

Mon, 01 Jan 0001 00:00:00 +0000

In the lessons on the language of beasts and birds, taught by Doctor Rhiannon, silence was broken only by the clicking of blackbirds that flew through the windows and the sighs of awestruck students who could not concentrate. Llewellys, being a sociable creature, was simultaneously a member of the Rhiannon Fan Club, the Society of Heritage Studies (the most mysterious of student organizations), the unruly crowd of disciples and followers of Dio Chrysostom, and, generally, any chaotic group that formed in the corridors, staircases, and galleries, whether in the evenings or during breaks. In short, during the lessons on the language of beasts and birds, he would run both hands through his hair, gape wide-mouthed, and follow every subtle change in the delicate and wondrous features of the teacher. Gwydion was one of the few male students who more or less kept his wits about him.

Fairly Modern Scholasticism Website in making

Mon, 05 May 2025 00:00:00 +0000

Phonosemantics et al.

2025-05-05: Added “Phonosemantics” section. Minor additions: Psychology/Other; Arrow’s; Logia.

2025

Waking up

Waking up…. A lot of work in 2025. I will add more later - I hope.

2025

Demonology & Quotes

2021-03-22: Adding Demonology draft. “Ladder” quotes draft.

2021

Alice

2021-03-21: More international Alice.

2021-03-21: Alice in really exotic languages.

2021

Website created

2021-03-04: created the site with Hugo.

2021

Cusdra gloca

Mon, 01 Jan 0001 00:00:00 +0000

Translations: Глокая Куздра

"Borrowed" from Перевести можно всё - jic the post suddenly disappears (it happened before). See also Glokaya kuzdra and Gostak.

Переводы известной фразы акад. Л. В. Щербы "Глокая куздра штеко будланула бокра и курдячит бокренка" на разные языки мира.
Открыты для дополнений, изменений и дискуссий. Начало этому списку положила tyazhelo, за что ей вечная благодарность.

Всего языков в списке: 94.

1. Романские

Венетский (ar_mire)
Na cusdra gloa la ga stecamente budle on bucor e la steo za cudrisendo on bucrin

Испанский (autumnburn, i_shmael )
Una custra gloca ha estecamente budlado al bocre y está cudrando al bocrenito.
(Вариант от allimak)
La gloca cusdra ha budlanudo estecamente al bocre y cudrache al bocrenito

Итальянский (tenrek с поправкой messala)
La cusdra gloca ha stecamente budlanato il bocro e sta curdiacciando il bocrino

Каталанский (viric при посредстве onjo)
La cudra geloca ha botllat el bocre restecament i està crodant el bocret
(Вариант от great_secret)
La cusdra gloca va budlar el bocre estecament i està curdant el bocaret

Латынь (с поправкой fregimus)
Cusdra gloca bocrum steciter budlavit et bocrellum curdecit
ку́здра гло́ка бо́крум стэ́китер будлА́{уи}т эт бо́кре{й/л}ум курдЭ́кит (заглавные обозначают долготу)

Португальский (chalona)
Uma cusdra glouca budelanou estecamente o bocre e está a curdar o bocrinho

Румынский (mafusail)
Cuzdra glocată a budlat ştec bocrul şi curdează bocreţelul

Старофранцузский (loki_0)
La cousedre glokeuse chtekienz boudlat ung bokuer et courdist le bokuerin

Французский ( i_shmael и remi_jakovlevic)
Une coustre glaque a stèquement boudlonné le bocre et courdoie le bocreau

2. Германские

Американский английский, с южным акцентом (nightblade_)
A glawkish cusdruh had steackly bouthled a bockre, and then is curdashing a bockrelet

Английский (с поправками i_shmael , stoshagownozad, pelipejchenko, fregimus, bukvoyeditsa)
A glock coozdre has steckly boodled a boker and is curding a bokеrlet
(Вариант от ptitza)
The glocky kouzdress steckly brutted the bock and is cuddering the bocklet

Aфрикаанс ( tiomkin )
Die gloke koesdra boedlaat bokker stekinig en koerd bokkerie

Голландский (p_olechka)
Een glokke koesdra heeft een bokker geboedlaneerd en koerdeert een bokkertje
(все “g” читаются как жесткое горловое “х”)

Готский (wiederda)
Gluka kuzdrō stēkiba gabauþlida bukr kaúrþreiduh bukrein
Kuzdra sō glukō stēkiba gabauþljandei þana bukr kaúrþreiþ bukrilan is (библейско-готский)

Датский (ice_below)
En glok kustra budlede stækt bokkeren og kurder den lille bokker

Древнеисландский (wiederda)
Koddr in glokka hefir steggliga buðlat til bokrar ok kyrðir bøkringinn
коддр ин глОкка hЭвир стЭгглиγа бУðлат тиль бОкрар ок кЮрðир бЁкрингин

Идиш (anu_sag с поправкой nomen_nescio)
Di gloke kuzdre hot a bokr a bodle geton shtekerhejt un kurdjachevet a bekrele

Немецкий (с поправками i_shmael , feles_gracilis, afuchs)
Eine gloke Kusdra hat den Bokren steckenhaft gebudlet und kürdelt das Bökerchen
(Вариант от qwertz)
Eine glockliche Kuser hat einen Bocker stecklich gebudelt und kürdelt den Jungbocker
(Вариант от izmajlovo)
Die glöckigе Kusdra hat einen Bocker stecktig gebudlet und kurdelt das Böckerchen

Норвежский (_glav_ с поправками sjevn)
Den gloke kuzdra budlante bokren stekt og kurdjatjer den lille bokren

Прагерманский (wiederda)
Kuzðurō glukjō bokran stēkōð uzbuðilōðēþ anþī bukrungan korðatīþi

Шведский (ar_mire с поправкой edricson)
Den glocka kusdran budlade bökren schtekt och kudrar bökriten
(Вариант от sveaman)
Den glocka kusdran har budlat båckeren sneppt och kudrar båckerungen

3. Славянские

Белорусский (maksim_l)
Глокая куздра штэка будланула бокра і курдзячыць бакраня

Болгарский (начато primaler и завершено iad)
Глоката куздра щеко избудли бокъра и курдячи бокърчето

Польский (emcia)
Głoka kuzdra szteko budłanęła bokra i kurdziaczy bokrzę/bokrzątko

Русский
Глокая куздра штеко будланула бокра и курдячит бокренка

Сербский (uglydog с поправками freedomcry и kcmamu)
Глока куждра штеко будланула бокра и курђачи бокрице
Gloka kuždra šteko budlanula bokra i kurđači bokrice

Словацкий (twbuster)
Hloká kúzdra šteko búdla bokra, a kurďačie bokratko.

Старославянский (petrark)
коуздра глока штеко боуланоувъши бокръ коудрячитъ бокря

Украинский (pelipejchenko)
Глока куздра штеко будланула бокра i курдячить бокреня

Чешский (fenikso)
Gloka kuzdra štěko budlanula bokra a kurd'ači bokře
(вариант от freedomcry)
Hloká kuzdra štěce budlanula bokra a kurděcuje bůkře
(вариант от twbuster)
Hloká kouzdra štěce boudla bokra, a kurděčí bokře

Церковнославянский (kcmamu)
Ку́здро гло́кая, бо́кра ште́кw/ште́цѣ будлану́ла є̓сѝ: и̓ сѐ, бокря̀/бо́кричищь курдя́чиши!

4. Балтийские

Латышский (bazdor с поправками allefm1)
Glokā kūzdra stēki sabuldināja bokru un kūdrina bokrēnu

Литовский (ibicvs)
Glokioji kūzdra štėkiai pabudlino bokrą ir kurdinėja bokriuką

5. Кельтские

Бретонский (anna_muradova)
Boudlanet chtek d'ur bokr he deus ar gouzdra glok hag emañ -hi o kourdakiñ ar bokrig

Валлийский (anthar)
Budlodd cusdr loc bocr yn dec a mae hi’n curdu bocryn
быдлоð кыздр лок бокр эн дек а май хин кырды бокрин

Галльский (wiederda)
Cuđra gloca bocron steco budlasit etic bocricnon purdeti

Современный ирландский (great_secret с поправкой sych_mohnonog)
Bhodlain an chusdra ghloca an bocar go steice agus tá sí ag curdeamh an bhocairin
водлан' ан хусдъръ γлокъ ан бокър гъ ш'т'ек'ь агъс таа ш'и э курд'ьв ан вокар'ин' (γ - фрикативный "г", апостроф означает смягчение предыдущего согласного, а "ъ" и "ь" - редуцированные (сверхкраткие) гласные)

6. Индоиранские

Мазандеранский (мазандаранский) (Хамед, при посредстве anoushe)
گلوک ِ کوزدرا بُکر رِ شتِک شتِک بودلا بَکردِ او بُکر کــُت ِ ر ِ کورداک کـُـند
Glok-e kouzdrā bokr re shtek shtek boudlā bakerde o bokrekote re kourdāk konde

Oсетинский / иронский (wiederda с помощью slvk_q)
Gwyllag sylgwydzyr buqyry styqæj babyğta ’mæ buqyræn jæ læppyny qwyrd kæny
Гуыллаг сылгуыдзыр бухъыры стыхъæй бабыгъта ’мæ бухъырæн йæ лæппыны хъуырд кæны

Oсетинский / дигорский (wiederda с помощью slvk_q)
Gullag silgudzuræ boğuri ustuğæj babuğta ma i boğuræn æ bædoli qurd kænuj
Гуллаг силгудзурæ богъури устугъæй бабугъта ма и богъурæн æ бæдоли хъурд кæнуй

Санскрит (afuchs)
kūdrā gloka ṣṭakam bokram babadla bokrakamca carīkordīti (cakurdati/kurdati)
(вариант galenel)

glokā kūdrā ṣṭekaṃ bokraṃ bubodra bokrakaṃ corkudrīti ca
глокА кУдрА штекам бокрам бубодра бокракам чоркудрИти са

Таджикский (farhad)
Кудра-и глок бокр-ро штик будланд во бокр-и кучик-ро курдач микунад

Фарси (Хамед, при посредстве anoushe)
کوزدرای ِ گلوک شتِکوانه بُکر را بودلا کــَرد وَ بُکرَک را کورداک می کــُنـَد
Kouzdrā-ie glok shtekvāne bokr rā boudlā kard va bokrak rā kourdāk mikonad.

Цыганский (gipsylilya)
Э глоко куздра штэкос будланискирдя о бокрэс тэ курдяскирэла бокрорэс

7. Прочие индоевропейские

Армянский (в русской транскрипции)
Глокан куздру штэкох бодлец бокрин у курдумэ бокрикин.
(Вариант от nm_work) Գլոկան կուզդրու շտեկող բոդլեց բոկրին ու կուդրում է բոկրիկին։
Глокук куздран штекич бодлец бокрин у курдум э бокрикин

Грабар (Древнеармянский) (arsen_marajian)
Գլոկեալ զկուզդր շտեկովին բուդլանեավ զբոկր և կուրդյացանէ զբոկրիկ
Глокеал зкуздр штековин будланеав збокр ев курдяцане збокрик

Древнегреческий (alphyna с поправкой oaristes)
Ή κούζδρα γλόκη τόν βόκρον στηκῶς εβούδλοσεν καί τόν βοκρίδην κουρδίζει
γэ куздра глокэ тон бокрон стекос эбудлосен кай тон бокридэн курдидзей (γ - фрикативный "г", ударения - см. оригинал)
(вариант ksenofanes) Ἡ γλόκη κούσδρα τὸν βόκρον στηκῶς ἐβούδλωσε καὶ τὸν βοκρίδην κουρδίζει.
Хээ глОкээ кУздра тон бОкрон стээкОос эбУдлоосэ кай тон бокрИдээн курдИдзэй (hrecj)

Новогреческий (nectarius)
Η γλόκη κούζντρα μπουντλάνησε στεκώς τον μπόκρο και κουντρίζει το μποκρόπουλο
и глоки куздра будланисе стекос тон бокро ке кудризи то бокропуло

Праиндоевропейский (anthar)
Keusd^hreh₂ seh₂ g^hloh₃keh₂ tom b^hokrom stekm h₁eb^heudljot tom b^hokrelom k^weurdetik^we
кеус'дреh ceh гхло'кеh бхо'кром стекм hебхеу'длейот бхо'крелом квеу'рдетикве

8. Семитские

Аккадский (afuchs)
Quzudartu galiktu shatqam bukram tibdul mukarradat-ma bukranam

Арабский (freedomcry)
بضلت قزدرة اغلوكة البكر بإشتيك وتتقرض البكر الصغير
Badalat quzdura ughlûka al-bukr bi-ishtîk wa-tataqarrad al-bukr as-saghîr.

Библейский иврит (tehnomage)
וַתִּבְדַּל קָזְדֶּרֶת גְּלוֹקָה אֶת הַבּוֹקַר שָׁטֵק וְאֶת הַבְּקַרְקַר קֹדֶרֶת
Ва-ттивдаль коздерет г^елока эт hа-ббокар шатек - в^е-эт hабб^екаркар кодерет.

Вавилонский арамейский (nomen_nescio)
Quzdra gloka badlat la-bukra ve-ka-kordat la-bukrira

Дарижа (drunklord)
واحد كوزدرة گلوكة بودلنت شطك واحد بوكر و كا — يكودر بويكر
wāhad kūzdra glōka būdlenet chtek wāhad bōkr w ka-ykudr bwīkr.
(Уахад куздра глока будленет штек уахед бокр у кайкудр бвикр)

Иврит (sirin с поправкой lugovsa)
Kuzdra gloka badla beshtekut et ha-buker vekuderet et bukrono
(вариант от afuchs) Куздра гелока бадла бе-штекут эт hа-бекор у-мекардедет эт ha-букрон
(вариант от vcohen) hа-кзерА hа-глокА бильдА эт hа-барАм билУд шатИк у-мекарЕдет эт hа-брамрАм
(вариант от sergei_belousov) ʰa-kazdarít ʰa-gᵉluká šivdᵉlá bᵉ-šatkút et ʰa-baxkár vᵉ-xorédet et ʰa-baxkarón

9. Тюркские

Aзербайджанский (fatih_irevanli) (см.)
Glokalı kuzdra bokru ştökcəsinə budlatdıraraq bokrəcəni kürdədir
Глокалы куздра бокру штёкджясиня будлатдырараг бёкряджяни кюрдядир

Башкирский (автор - Азамат Галлямов , при посредстве nevmenandr)
Два варианта:
Ғолаҡ ҡуздыр боҡорҙо шатыҡ будланы ла боҡорсоҡто ҡурҙалай.
Гәкел гүзерә бүкерҙе шәтек бүҙәне лә бүкерсекте күрҙәләй.

Казахский (автор - Дана Шаймерденова, при посредстве loki_0)
Глокалы куздра бокрды штектеп будлады және бокр баласыны курдалайды
(Вариант от yerbol) Глокiлi куздра бокрды штектеп будлады да бокрдын баласын кудрялап жатыр

Каракалпакский (автор - Азиз Муртазаев, при посредстве allegecityrat)
Glokalı kuzdra bokranı shteklep budladı, al bokrashanı kurdaladı
Глокалы куздра бокраны штеклеп будлады, ал бокрашаны курдалады

Татарский (ty_214)
Бер гөлкән күздрә бокурны шеткеп бодланган hәм бокурнын баласына күрдә-күрдә итә
Ber gölkän küzdrä boqurnı şetkep bodlanğan häm boqurnıñ balasına kürdä-kürdä itä
(Вариант от steal_kill) Бер гөлкән күздрәбикә ата бокырны шетек кенә бодлап алды да бокыр баласын күрдәләп тора

Турецкий (fatih_irevanli)
Glokalı kuzdra bokru ştökcesine budlatdıraraq bokreceni kürdediyor
Глокалы куздра бокру штёкджeсинe будлатдырараг бёкрeджeни кюрдедийор
(Вариант от sych_mohnonog)
Goluklu kuzdura bokru şitekçe budlayıp bokurcuğu kürdeleştiriyor
Голуклу́ куздура́ бокру́ шите́кче будлайы́п бокурджуу́ кюрделештири́йор

Узбекский (автор - Хамза Давлетов, при посредстве allegecityrat)
Glokali kuzdra bokrani shtekchasiga budlantirib, bokrachani kurdyachtirmoqda
Глокали куздра бокрани штекчасига будлантириб, бокрачани курдячтирмокда

Чувашский (ice_below)
Кăлăклă кустăра пăккăра шăттеклĕ путланă пăккăр çурине та куртат

10. Финно-угорские

Венгерский (yettergjart)
Egy glókai kuzdra stékán megbudlanta a bokrot és kurdítja a kisbokrot
Эдь глокаи куздра штекан мегбудланта а бокрот эш курдитьа а кишбокрот

Марийский луговой (railer79)
Klokan küströ pokrym shtekan vutlalyn da pokrigym kurtitla

Мокшанский (автор - Оксана Федосейкина, при посредстве ironau_ru)
Глокай куздрась штекаста бурландазень бократнень и курдячендай бокренкать эса.

Финский (autumnburn при участии paraxboct и link0ff)
Klokas kustari putlai pokrin tekisti ja kydrää pokrikkoa
Клокас кустари путлай покрин текисти я кюдряя покриккоа

Эстонский (lanfir, juzzz, link0ff)
Glokkine kustra on steksti pudlanud pokri ja kurdjab pokrikest
Глоккинэ кустра он стэксти пудлануд покри я курдяб покрикэст

11. Синотибетские

Китайский (malinxi с поправкой lynxlynx)
Гоулокэ коуцзыдэлэ бодолэ лэ бокэлэ, бодолэ дэ секоу, цзай коудэлэцзя та дэ сьяо бокэлэцзы

Классический тибетский (o_jovem_louco)

ku-sdra-mos glok bo-kar ste-kor buds-la bo-kar-ru kur-das-so.

Тибетский (free_2_decide при посредстве skylump)

kuz dra mas glok shte ldar bokr la bud lan dang bokr la chung chung kur da

12. Индейские североамериканские и мезоамериканские

Крик юго-восток США, подробнее (luke_vilent):
Сustаrv kvlŏkēt pokvrŏn cvtikēn puhtîles, pokvrucen kurvtet os
Чустаръ кълŏки:т покърŏн чътэки:н пухтэлис, покъручин курътит ос

Науатль (классический) Мезоамерика XV—XVI вв. подробнее (wiederda)
Colocihualotztli ixtachtica oquipotlan in pocohuatl ihuan quicoltachihuatimani in pocohuatontli
Колосиўалоцтли иштачтика окипотлан ин покоўатль иўан кикольтачиўатимани ин покоўатонтли (ударение везде на предпоследнем слоге)

13. Прочие неиндоевропейские

Аварский (Omar Ganiev)
Иглокаб куздараца бокра иштекго будланабуна ва бокрако курдабулеб буго

Адыгейский (petrark)
кузыдрэ глокъэм бокърыр штэкъэу ыбыдлэгъи, бокъры цIыкIум екудрэ

Баскский (great_secret)
Kuzdra glokak bokra esteki budlatu eta bokritxoa kurdaten du

Грузинский merienn
გლოკმა კუზდრამ შტეკად უბოდლანა ბოკრს და კურდაჩობს ბოკრიკოს
Glokma kuzdram shtekad ubodlana bokrs da kurdachobs bokrikos.
Глокма куздрам штекад убодлана бокрс да курдачобс бокрикос.

Древнегрузинский (kimss)
შთექად კუზრდამან გლოკაურმან ბოკრაჲ გარდაბუდალა და ბოკრიკსა მიმოჰკურდებს
шт’ек’ад кузрдаман глакаурман бокрай гардабудала да бокрикса мимохкурдебс

Древнеегипетский (среднеегипетский период) (nekula)

bwdrn.n kwzdr grk bkr Stk kdrT.s bkr

Гавайский (bdag_med)
Ua putula hekeka ke kuhukuka kolokaia i ka pokola, e kulakaka ana ia i ka pokola iki

Исиндебеле ( tiomkin )
Isikuzidra iglokelu umbokora inshuwateko la quwrda umbokorawani

Кабардинский ( kpaxx)
Къуздрэ глокъэр щтэчу бокрэм ебудлауэ бокрэжьейр екурдэ

Кхмерский ( Natalia Reutova)
គូស្ត្រាហ្ក្លក់មួយបានបូដ្លាបករសយ៉ានស្តេក ហើយកំពុងកូរដរកូនបករស។
[kustra glok muey ba:n boudla bokro: jan stec hayiy kompon kourdo koun bokro:]

Суахили (elmaljan, fumbu, inner_flower87)
Mama kuza mgloka amembudla mboka seko na anamkudra mboka mdogo
(ударение в суахили падает на предпоследний слог и читается, как пишется)

Японский (dzimitori с поправкой anna_werish)
Гуроку на кудзудора ва бокуру о сутэко ни будуро о ситэ, бокуру-тян о курудо о ситэ имасу
(вариант от the_failed_poet)

Гуроку на кузудора ва бокеру о сутеку ни будоро о шитэ, кобокеру о курудо о шитеиру

14. J. R. R. Tolkien’s Conlangs

Черное наречие или орочий язык (на котором была сделана надпись на Кольце Всевластья) (helce)
Ash khúzdrum gloghosh shakhú bûdl-ta ash bokhrum agh khûd-ub-ta ash bokhrum-glob
аш кхуздрум глогхош шакху будл-та аш бокхрум агх кхуд-уб-та аш бокхрум-глоб

Эльфийский (Квенья) (hyyudu, helce, wiederda)
I ñolocёa cuistarё tehyavё upuldiё i porсо ar curdёa i porсincё
и нголОкэа кУйстарэ тЭхьявэ упУлдиэ и пОрко ар кУрдэа и поркИнкэ

Эльфийский (Синдарин) (anthar)
iGusdar ‘locui budlant tec i-vocer ar curdia i-vocreg
иГусдар локуй будлант тек и-вокер ар курдиа и-вокрег

15. Прочие искусственные языки

Джарбанский (yettergjart)
Ere kuzdre glokhare ejbudlanode sxtekharaga irwe bokarwe lo kurdejgе irwe ugubokarwe
Эре кУздре глОкхаре эйбУдланоде штЕкхарага Ирвэ бОкарвэ ло кУрдэйгэ Ирвэ угубОкарвэ

Логлан (slobin)
Lo gloku kuzda napa cteki budlu lo bokro, e nazu kurdu lo bokri

Ложбан (fregimus)
ba'o lenu le gloki kuzra ze'i cu cteki budla le bokru kei le go'i cu kurda le panzi pe ri
ба́hо лэ́ну лэ гло́ки ку́зра зэ́hи шу ште́ки бу́дла лэ бо́кру кэй лэ го́hи шу ку́рда па́нзи пэ ри

Темноэльфийский (hyyudu)
glok'urn kuzdra sshtekne bodlatus bokr lueth ol curdache bokringlul

Токипона (kostikvento)
Кuta loka li puta teko e poko li kutu e poko lili

Эсперанто (с поправками meta_mouse, kostikvento и dmych)
Gloka kuzdrino ŝteke kurnobafis bokron kaj kurdaĉas bokridon
(вариант от miram)
Zozega zozajxo zozece ekzozis la zozon kaj zozumas zozidon

На правах компьютерной шутки — C# (allegecityrat)



void Process(Bocker bocker)
{
    if (kuzdra == null)
    {
        kuzdra = new Kuzdra(KuzdraType.Glock);
    }
    else
    {
        kuzdra.Type = KuzdraType.Glock;
    }
    kuzdra.Boodle(bocker, BoodlingMode.Shteck);
    kuzdra.BeginCourd(new AsyncCallback(EndingCourd), bocker.FirstChild);
}

Basic (izmajlovo)

10 CLS
20 INPUT KUSDRA
30 INPUT BOKR
40 KUSDRAGLOCK = KUSDRA * 10
50 BOKRLITTLE = BOKR ^ 10
60 BOKR = KUSDRAGLOCK * (BOKR – BOKR)
70 Print "Bokr posle Kusdra =" BOKR
80 FOR I = 1 TO KUSDRAGLOCK
90 KURDJACH = BOKRLITTLE ^ KUZDRAGLOCK
100 BOKRLITTLE = BOKRLITTLE – KURDJACH
110 Print "Bokrenok:" BOKRLITTLE
120 NEXT I
Пояснения:
10-30 наверное понятно ;)
40: глокая куздра явно круче чем просто куздра. допустим, что она круче в 10 раз.
50: допустим также, что бокренок мельче бокра тоже в 10 раз. Конечно можно и не 10, а 5 или 20.
60: что бы с бокром не произошло, это произошло за один раз, после чего он исчез из ситуации. т.е. превратился в ноль.
в 60 описан данный процесс, причем бокр превращается в ноль с помощью куздры, независимо от значений бокра, куздры и глокой куздры.
70: покажем сие стороннему наблюдателю ;)
80-120: глокая куздра явно делает с бокренком что-то долгое, наблюдатель может наблюдать этот процесс. явно чем круче (больше) глокая куздра, тем круче (дольше) этот процесс происходит.
90: коэффициент курдячения, причем коррелирующий со значением глокой куздры и – каждый раз заново – самого (оставшегося) бокренка.
100: описан процесс курдячения. бокренку от курдячения явно нехорошо. пожалуй, с каждым разом его сущность уменьшается
110: покажем (каждый раз заново) стороннему наблюдателю несчастного бокрёнка ;)

Постоянный адрес этой статьи: http://arno1251.livejournal.com/301421.html

Extraterrestrial

Mon, 01 Jan 0001 00:00:00 +0000

SETI #

Fermi Paradox & Drake Equation #

Paradox Fermi #

The Fermi paradox is the discrepancy between the lack of conclusive evidence of advanced extraterrestrial life and the apparently high likelihood of its existence.

Drake Equation #

$$ N = R_* \times f_p \times n_e \times f_l \times f_i \times f_c \times L $$

@@N@@ - the number of civilizations currently transmitting signals, depends on seven factors:

@@R_* @@ is the yearly formation rate of stars hospitable to planets where life could develop

Introduction

Mon, 01 Jan 0001 00:00:00 +0000

Overall, it’s better to use multi-dimensional ontology, not a flat typology:

(a) Locus/topic/operator being stressed: Truth (T), Belief (B), Knowledge (K), Provability (Prov), Obligation (O), Probability (Pr), Utility (U), Reference (Ref), Computation (Comp), Time (Temp), Set/∞.

(b) Mechanism: Self-reference, diagonalization, fixed point, vagueness, aggregation, infinity/size, dominance/expectation, conditioning, causal loop, underspecification/context-shift.

Many paradoxes use the same schema (or mechanism), but vary by degree and topic.

For example, “Liar Paradox” (fixed point/diagonalization):

Laws & Theorems

Mon, 01 Jan 0001 00:00:00 +0000

Electoral systems & party/seat maps #

Duverger’s law (plurality in single‑member districts → two effective parties, via mechanical + psychological effects). (Wikipedia)
Micromega rule (“the large prefer the small; the small prefer the large” institutions), incl. its link to party incentives and SPM. (Wikipedia)
Cox’s M+1 rule (in an M-seat district, equilibrium yields ≤ M+1 viable candidates; formalized for SNTV). (Cambridge University Press & Assessment, JSTOR)
Cube rule (cube law) (FPTP seat–vote elasticity ~ cubic in two‑party settings). (Wikipedia)
Seat‑product model (SPM) (expected effective number of parties N≈(M·S)^{1/6}). (Wikipedia)
Cube‑root law of assembly size (assembly size ≈ population^{1/3}). (Wikipedia)
Penrose square‑root rule (voting weights ∝ √population to equalize citizen power). (Wikipedia)
Second‑order election theory (EP elections behave as “second‑order” to national contests). (Wikipedia)
Effective number of parties (Laakso–Taagepera) (ENP as an inverse‑HHI; widely used). (Wikipedia)

Arrow’s impossibility theorem (no SWF meets UD+IIA+Pareto+non‑dictatorship for ≥3 options). (Stanford Encyclopedia of Philosophy, Wikipedia)
Gibbard–Satterthwaite theorem (every resolute ordinal single‑winner rule with ≥3 options is manipulable or dictatorial). (Wikipedia)
Duggan–Schwartz theorem (for set‑valued rules, strategy‑proofness + mild surjectivity ⇒ weak dictatorship / manipulability). (Wikipedia)
May’s theorem (majority rule uniquely satisfies anonymity, neutrality, and positive responsiveness for two options). (Overview) (Stanford Encyclopedia of Philosophy)
Condorcet jury theorem (under independence and p>0.5, majority accuracy → 1 as n grows). (math.chalmers.se)

Legislatures, coalitions, and agenda power #

McKelvey–Schofield chaos theorem (in multidimensional policy spaces, majority rule is generically unstable; agenda control can reach almost any point). (Wikipedia)
Riker’s size principle (coalitions tend to be minimal winning under standard assumptions). (Wikipedia)
Veto player theory (Tsebelis) (more veto players/greater ideological spread ⇒ higher policy stability). (Wikipedia)
Pivotal politics (Krehbiel) (gridlock and lawmaking hinge on pivotal legislators relative to filibuster/veto pivots). (University of Chicago Press)

Collective action, parties, & political sociology #

Iron law of oligarchy (Michels) (organizational tendencies toward oligarchic control). (Wikipedia)
Selectorate theory (Bueno de Mesquita et al.) (incentives from selectorate vs. winning coalition sizes). (Wikipedia)
May’s law of curvilinear disparity (party activists more extreme than voters and leaders). (Wikipedia)
Democratic peace (empirical regularity) (mature democracies rarely fight each other; various mechanisms posited). (electowiki.org)

Mechanism design & incentives (governance‑relevant) #

Holmström (1979) “informativeness principle” (any signal informative about action should enter optimal contracts). (Duke People, NBER)
Holmström (1982) “moral hazard in teams” (team production ⇒ free‑riding; budget‑balance typically incompatible with first‑best incentives). (Duke People, JSTOR)
Myerson–Satterthwaite theorem (bilateral trade with private values cannot be efficient, budget‑balanced, IR, and IC simultaneously). (Wikipedia)

Opinion dynamics & learning #

DeGroot learning (iterated weighted‑average updates converge to a consensus weighted by eigenvector centrality under connectivity/aperiodicity). (Wikipedia)
(Related pointers) Mathematical models of social learning overview; information cascades. (Wikipedia)

Magic

Mon, 01 Jan 0001 00:00:00 +0000

Magic:

adj. As yet unexplained, or too complicated to explain; compare automagically and (Arthur C.) Clarke’s Third Law: “Any sufficiently advanced technology is indistinguishable from magic.” “TTY echoing is controlled by a large number of magic bits.” “This routine magically computes the parity of an 8-bit byte in three instructions.”
adj. Characteristic of something that works although no one really understands why (this is especially called black magic).
n. [Stanford] A feature not generally publicized that allows something otherwise impossible, or a feature formerly in that category but now unveiled.

Modal Logic

Mon, 01 Jan 0001 00:00:00 +0000

…

Ontological Argument(s)

Mon, 01 Jan 0001 00:00:00 +0000

Anselm: Context, His Work, and the Ontological Arguments [Draft] #

Anselm of Canterbury: Life and Context #

Anselm of Canterbury (1033–1109) was a Benedictine monk, philosopher, and theologian from Aosta (in modern-day Italy). He became the Archbishop of Canterbury and was an influential thinker during the 11th century. Anselm is often regarded as the father of scholasticism due to his rigorous application of reason to theological concepts. His most celebrated work is the Proslogion (Discourse on the Existence of God), where he formulates the ontological argument for the existence of God.

PIE

Mon, 01 Jan 0001 00:00:00 +0000

PIE (Proto-Indo-European Language) #

is the reconstructed common ancestor of the Indo-European language family.

“PIE is hypothesized to have been spoken as a single language from approximately 4500 BCE to 2500 BCE[4] during the Late Neolithic to Early Bronze Age, though estimates vary by more than a thousand years.”

Schleicher’s fable #

“Schleicher’s fable is a text composed as a reconstructed version of the Proto-Indo-European (PIE) language, published by August Schleicher in 1868. At later dates, various scholars have published revised versions of Schleicher’s fable, as the idea of how PIE should be presented and pronounced has changed over time.”

Prerequisits

Mon, 01 Jan 0001 00:00:00 +0000

Cf. Ontological Argument(s) & Topological Theology

Set Theory: Classes vs Sets #

[In my humble opinion ] a Set is something that can exists, at least potentially; exists possibly, in a possible world [cf. Modal Logic above]; assumption of it’s existence doesn’t lead to a logical contradiction.

A Class - is something that exists in name only, something that necessarily doesn’t exist, something that involves a logical contradiction and thus doesn’t occur in any possible world [excepting fictional/artistic/illogical ones].

Quotations/Centos/Цитаты/Центоны (mostly ru)

Mon, 01 Jan 0001 00:00:00 +0000

Цитаты и центоны #

Originally compiled by LAD, Jul 03 1997 (yes, a long time ago). Updated.

I like to think about some pieces of this collections as of centos. Мне нравится думать, что (некоторые) части этой коллекции представляют собой центоны.

The quotations do rhyme. Цитаты перекликаются между собой.

Reflection

“Perché vi sia specchio del mondo occorre che il mondo abbia una forma.”

“Чтобы существовало зерцало мира, мир должен иметь форму.”

Self-reference

Mon, 01 Jan 0001 00:00:00 +0000

Liar paradox #

Prisoner’s Dilemma #

Lawvere’s ideas may have corollaries for Prisoner’s Dilemma (worth of reviewing, I think):

You can differentiate pretty much everything

Mon, 01 Jan 0001 00:00:00 +0000

You can differentiate pretty much everything: #

Integers
Fractional Derivatives
Strings - actually, Sets of Strings
Five (and a Half) Derivatives in Language Theory. Including Brzozowski Derivative.
Regular Expressions
Data Types. Also see Zippers. Also see a long discussion in Enumerative combinatorics

Laws & Theorems (TODO)

Mon, 01 Jan 0001 00:00:00 +0000

Electoral & party-system regularities #

Duverger’s law (mechanical + psychological effects). Plurality/SMD tends toward two parties; PR toward multiparty systems. Refs: Wikipedia; Cox’s classic book. (Wikipedia, Cambridge University Press & Assessment)
Cox’s M+1 rule. In district magnitude M, ≤ M+1 viable lists/candidates. Refs: Cox (book); discussion/simulation. (Cambridge University Press & Assessment)
Cube law (seats–votes). In two-party plurality, seat share is a nonlinear (often ~cubic) function of vote share. Refs: Wikipedia; classic BJPS treatment. (Electowiki, Wikipedia)
Seat-product model. Assembly size × district magnitude predicts party fragmentation & largest party (“Votes from Seats”). Refs: CUP book page; book frontmatter PDF. (Cambridge University Press & Assessment, Cambridge Assets)
Micro–mega rule. Small institutional tweaks can have large (“mega”) party-system effects. Ref: Wikipedia. (Electowiki)
Cube-root law of assembly size. Lower-house size ≈ cube root of population. Refs: Wikipedia; Taagepera (2008) article. (Study.com, Wikipedia)
Penrose square-root rule. Two-tier voting weights ∝ √population equalize a-priori power. Refs: Wikipedia (method); Wikipedia (square-root law). (Wikipedia)
Second-order election theory. EU & other “SOE” contests show lower turnout/“punish government” patterns. Refs: Reif & Schmitt (1980) EJPR; follow-up EJPR piece. (Emerging Infectious Diseases Journal, SpringerLink)
Apportionment paradoxes & impossibility. Alabama/new-state/etc.; Balinski–Young impossibility. Refs: Wikipedia (apportionment paradox); Wikipedia (Balinski–Young theorem). (Wikipedia)
Effective number of parties; disproportionality. Laakso–Taagepera ENP; Gallagher index. Refs: Wikipedia (ENP); Wikipedia (Gallagher index). (IIASA PURE, Wikipedia)

Arrow’s impossibility theorem. No rank-order rule satisfies unrestricted domain, Pareto, IIA, non-dictatorship. Refs: SEP; Wikipedia. (Stanford Encyclopedia of Philosophy, Wikipedia)
Gibbard–Satterthwaite. Any onto, strategy-proof, deterministic rule with ≥3 options is dictatorial. Ref: Wikipedia. (Wikipedia)
Duggan–Schwartz (set-valued rules). For ≥3 options, any onto social choice correspondence that isn’t dictatorial is manipulable (weak dictators otherwise). Ref: arXiv overview. (Stanford University)
May’s theorem (2 options). Anonymity + neutrality + positive responsiveness ⇒ simple majority is unique. Ref: Wikipedia. (Wikipedia)
Condorcet jury theorem. With independent competence >.5, larger juries more likely correct. Refs: Wikipedia; SEP survey. (Wikipedia, Stanford Encyclopedia of Philosophy)
Sen’s “Paretian liberal” paradox. Minimal rights can conflict with Pareto + transitivity. Ref: Sen (1970 JPE, Harvard DASH). (Harvard Dash)
Median voter theorem. With single-peaked preferences in 1-D, the median is a Condorcet winner. Ref: Wikipedia. (Wikipedia)
Judgment aggregation / discursive dilemma. Issue-by-issue majority can yield inconsistent collective judgments. Refs: SEP “Judgment Aggregation”; Wikipedia (discursive dilemma). (Stanford Encyclopedia of Philosophy, Wikipedia)

Legislatures, bargaining, and agendas #

McKelvey–Schofield chaos theorem. In multidimensional majority rule, agenda control can reach (almost) any outcome; instability without structure. Ref: Wikipedia. (Wikipedia)
Plott’s necessary conditions. Characterizes when a multidimensional majority-rule equilibrium can exist. Ref: Plott (1967 AER, Caltech record/PDF). (authors.library.caltech.edu)
Structure-induced equilibrium (Shepsle/Weingast). Institutions/committees/agenda rules create stability where pure preferences don’t. Refs: Public Choice article; PDF reprint. (IDEAS/RePEc, edegan.com)
Romer–Rosenthal “setter model.” An agenda setter vs. status quo can tilt outcomes under referenda. Refs: Public Choice (1978); accessible PDF. (IDEAS/RePEc, edegan.com)
Riker’s size principle. Office-seeking coalitions tend to be minimal winning. Refs: Wikipedia (book); full book scan. (Wikipedia, ia600708.us.archive.org)
Veto players theory (Tsebelis). More/ideologically distant veto players → greater policy stability. Refs: Wikipedia (book); seminal BJPS article. (Wikipedia, Cambridge University Press & Assessment)
Pivotal politics (Krehbiel). Gridlock zones from filibuster/override pivots explain policy inertia beyond party control. Refs: UChicago Press book page; Stanford GSB page. (University of Chicago Press, Stanford Graduate School of Business)

Collective action, parties, and regimes #

Olson’s logic of collective action. Free-riding in large groups; selective incentives/organization as solutions. Ref: Wikipedia. (Wikipedia)
Tullock’s paradox of revolution. High social returns but low individual incentive to revolt. Ref: Tullock (1971, Public Choice). (JSTOR)
Michels’ iron law of oligarchy. Organizations—even democratic—tend toward oligarchic control. Ref: Wikipedia. (Emerging Infectious Diseases Journal)
May’s curvilinear disparity (intra-party). Activists often more extreme than leaders/electorate. Ref: Wikipedia. (Wikipedia)
Selectorate theory. Leader survival depends on winning-coalition size vs. selectorate; predicts policy/regime patterns. Ref: Wikipedia. (Academia)
Democratic peace program. Democracies rarely fight each other; mechanisms debated. Ref: Wikipedia. (SpringerLink)

Federalism & policy dynamics #

Tiebout sorting. Mobility + local public goods ⇒ “vote with your feet.” Ref: Wikipedia. (Wikipedia)
Oates’s decentralization theorem. With heterogeneous preferences/no spillovers, decentralization (weakly) dominates uniform central provision. Ref: Wikipedia. (disp.web.uniroma1.it)
Thermostatic public opinion. Public preferences move opposite to recent policy change; policymakers respond. Ref: Wlezien (1995 AJPS). (Wikipedia)
Richardson’s conflict regularities. Event sizes of war/violence are heavy-tailed. Ref: Wikipedia. (Emerging Infectious Diseases Journal)

Voting power & measurement #

Banzhaf & Shapley–Shubik power indices. Measures of a-priori power in weighted voting games. Refs: Wikipedia (Banzhaf); Wikipedia (Shapley–Shubik). (Wikipedia, SciSpace)
Penrose limit/square-root results. Individual power ~ 1/√N under simple majority; links to square-root rule. Ref: Wikipedia (square-root law). (Wikipedia)

Mechanism design & incentives for governance #

Holmström’s Informativeness Principle. In moral-hazard contracts, use any performance signal informative about the agent’s action (balancing risk/measurement costs). Ref: Holmström (1979, Bell J. Econ.). (Wikipedia)
Holmström’s “Moral Hazard in Teams.” With unobservable individual effort in teams, can’t get budget balance + Nash equilibrium + Pareto efficiency simultaneously. Refs: JSTOR entry; author PDF. (arXiv, SpringerLink)

Opinion dynamics / learning in networks (bonus) #

DeGroot learning. Iterated averaging → consensus/learning conditions. Ref: Wikipedia. (Wikipedia)
Friedkin–Johnsen model. DeGroot with stubbornness (initial-opinion anchoring). Ref: Wikipedia. (Study.com)
Persuasion bias. Social influence can overweight repeated signals; network structure matters. Ref: DeMarzo–Vayanos–Zwiebel (QJE 2003). (X (formerly Twitter))
Golub–Jackson “wisdom of crowds.” Sufficient conditions (e.g., bounded influence) for learning in large networks. Ref: AER 2010. (People Math Wisconsin)
Hegselmann–Krause bounded-confidence. Opinion clusters with local averaging within confidence bounds. Ref: Wikipedia. (Wikipedia)

Gesta Romanorum

Mon, 01 Jan 0001 00:00:00 +0000

Let’s start with a few links. Ссылки:

Cap. 170.

De revocacione peccatoris ad viam penitentie. (Оригинал: Латынь/Original Latin)

click to show/показать

Gödel’s version

Mon, 01 Jan 0001 00:00:00 +0000

Gödel’s Ontological Argument [Draft] #

Overview #

Gödel’s proof is a formalization of Anselm’s idea (that God’s existence follows from the very concept of God), but cast in modal logic and second-order logic — with a heavy dose of mathematical elegance.

Instead of starting with “God exists,” Gödel starts with a very abstract idea:

Some properties are positive, and being God-like means having all positive properties.

Then the argument unfolds like this:

Nemo, vir perfectus

Mon, 01 Jan 0001 00:00:00 +0000

Nemo, vir perfectus

Nemo, vir perfectus, взято из Поэзия Вагантов, «Наука» Москва, 1975. См. также [1], [2], [3],

Печатается по «Anzeiger für Kunde der deutschen Vorzeit», 14 (1867), p. 208, публикация В. Ваттенбаха [4]. Образец «Никто-писаний», широко распространившихся в пародической литературе, начиная с конца XIII в.; наряду со стилизацией под житие (как здесь), существовали стилизации под проповеди, трактаты и пр., до сих пор полностью не изданные и нигде не собранные. Начало этому положил некий Радульф (француз, по предположению Лемана), написав «Историю о муже Никто» — пародию на богословско-эксегетическую литературу XIII в., вычитывавшую в словах Писания все, что возможно (ок. 1290); пародия имела такой успех, что (будто бы) некто Петр Лиможский с товарищами даже учредили секту «неминиан» (от слова nemo, «никто»). Нашелся, однако, богослов Стефан от св. Георгия, который принял это всерьез и написал целый трактат против этого сочинения и этой секты, доказывая, во-первых, что на самом деле «никто» в цитируемых текстах есть лишь местоимение и ничего больше, и, во-вторых, что есть не меньшее число библейских мест, свидетельствующих, что названный Никто был злодей и враг божий. Это лишь подлило масла в огонь и повело к широчайшей популярности «Никто-писаний» на протяжении всего XIV–XV вв.; а в 1500 г. они дошли и до печатного станка — была издана «Проповедь бедного Генриха о святом Никто» с приложением приписанного святому Никто стихотворного рецепта от облысения (тоже одна из популярных средневековых пародий) и портрета — пустого прямоугольника в рамке, под которым было подписано «Здесь изображен Никто».

Enumerative combinatorics (ru)

Mon, 01 Jan 0001 00:00:00 +0000

Enumerative combinatorics/Перечислительная комбинаторика: #

Topological Theology

Mon, 01 Jan 0001 00:00:00 +0000

“The truth is so gentle that as soon as you depart from it, you fall into error; but this error is so subtle that you only have to deviate a little from it, and you find yourself in the truth.” Attributed to Blaise Pascal

Topological Theology: Toward a Geometry of Belief and Necessity [Draft] #

1. Introduction: The Geometry of Belief #

What does it mean to say that a belief is “stable” or that a truth is “necessary”? Philosophers, theologians, and logicians have long sought answers to these questions, often through separate traditions. Yet, there is a deep intuition shared across disciplines: that belief and truth are not merely static statements, but are shaped by context, relation, and structure. They move, persist, collapse, and unfold much like geometric or topological forms.

AI Koans

Mon, 01 Jan 0001 00:00:00 +0000

Koans #

These are some of the funniest examples of a genre of jokes told at the MIT AI Lab about various noted hackers. The original koans were composed by Danny Hillis, who would later found Connection Machines, Inc. In reading these, it is at least useful to know that Minsky, Sussman, and Drescher are AI researchers of note, that Tom Knight was one of the Lisp machine’s principal designers, and that David Moon wrote much of Lisp Machine Lisp.

By formalization degree

Mon, 01 Jan 0001 00:00:00 +0000

Classification by formalization degree. The idea is: the more formal it becomes the easier it is to transition from “cheap talk” to paradoxes, from paradoxes to theorems, from theorems to theories.

Degrees:

FA) Unformalized Semantic / Natural Language Level: linguistic or conceptual paradoxes.

“Talk is cheap, it takes money to buy whiskey”.

Example: “This sentence is false”

Problem: no stable semantics, unrestricted reference.
Outcome: Paradoxes reveal flaws in ordinary language reasoning.

FB) Semi-formal Semantic Level (via labeling or name indirection)

Gates

Mon, 01 Jan 0001 00:00:00 +0000

Gates of Paradise #

Gates of Paradise

Gates of Hell #

Gates of Hell

Logia (ru)

Mon, 01 Jan 0001 00:00:00 +0000

Логии (в основном Евангелие от Фомы):

Иисус сказал: Не хлебом единым жив человек, но всяким словом исходящим из уст божьих.

Иисус сказал: Пусть тот, кто ищет, не перестанет искать до тех пор, пока не найдет, и, когда он найдет, он будет потрясен, и, если он будет потрясен, он будет удивлен, и он будет царствовать над всем.

Иисус сказал: Познай то, что перед лицом твоим, и то, что скрыто от тебя, - откроется тебе. Ибо нет ничего тайного, что не будет явным.

Math: interesting topics/misc.

Mon, 01 Jan 0001 00:00:00 +0000

Interesting Topics (relevant stuff): #

Famous dissident, mathematician/logician/follower of intuitionistic approach, and son of Sergey Esenin) was once asked whether he believed in numbers. What number specifically? Let’s say “three”. Esenin-Volpin quickly said “yes”. What about “ten”? E-V said “yes” after a short pause. What about “100”? E-V said “yes” after a long pause…

Middle Egyptian

Mon, 01 Jan 0001 00:00:00 +0000

The conversation I had with ChatGPT regarding a certain phrase that I found in #

“Метод Витгенштейна”. Рассказ. by Catpad.

Catpad’s translation looked slightly weird to me: “Iw nbw xpr m pt Hwa=f Xnn nHH” (“Золотое превращение на небе поражает нарушителя вечности”), so I decided to investigate…

Chat:

Can you translate this one from middle egyptian: 𓇋𓅱 𓈖𓃀𓅱 𓐍𓂋𓇳 𓅓 𓊪𓏏 𓎿𓄿𓆑𓆑 𓈙𓈖𓈖 𓈖𓉔𓉔

The Middle Egyptian text you’ve provided reads as follows when transliterated:

Paradoxes

Mon, 01 Jan 0001 00:00:00 +0000

Condorcet cycle (Condorcet’s paradox) — pairwise majorities can be cyclic (A>B, B>C, C>A). References: Stanford Encyclopedia overview; original tradition. (Stanford Encyclopedia of Philosophy)
Condorcet winner/loser paradoxes — some rules can ignore a Condorcet winner or elect a Condorcet loser. Reference: SEP survey of method criteria and paradoxes. (Stanford Encyclopedia of Philosophy)
Arrow’s impossibility — no rank-ordering rule can satisfy unrestricted domain, Pareto, IIA, and non-dictatorship simultaneously. References: SEP overview; Arrow’s book. (Stanford Encyclopedia of Philosophy, Wikipedia)
Gibbard–Satterthwaite — every “reasonable” single-winner rule is manipulable when ≥3 options. References: Gibbard (1973); Satterthwaite (1975). (ScienceDirect, Stanford Encyclopedia of Philosophy)
No-show (participation) paradox — a voter can make their preferred outcome lose by turning out. Reference: Moulin (1988). (ScienceDirect)
Monotonicity paradox (IRV/STV) — raising a candidate on some ballots can make them lose (and lowering can make them win). References: Woodall (1997); short explainer. (ScienceDirect, ia802809.us.archive.org)
IIA/Spoiler effect — adding or removing a non-winning option can flip the winner (failure of Independence of Irrelevant Alternatives). Reference: Arrow overview. (Stanford Encyclopedia of Philosophy)
Ostrogorski paradox — majority agrees with Party A on most issues yet, via party voting, elects Party B (or vice-versa). References: Nurmi’s treatment; aggregation-paradox taxonomy. (SpringerLink, arXiv)
Discursive dilemma / doctrinal paradox — majority voting on logically related propositions can yield collectively inconsistent judgments. References: List & Pettit (2002); Mongin (2012) review. (Stanford Encyclopedia of Philosophy, SpringerLink)

Apportionment & seat-allocation paradoxes #

Alabama paradox — increasing the total number of seats can make a state/party lose a seat under largest remainders. References: Balinski & Young (book); overview. (Michigan Law Scholarship Repository, Wikipedia)
Population paradox — a faster-growing unit can lose a seat to a slower-growing one under some methods. References: Balinski & Young; overview. (Michigan Law Scholarship Repository, Wikipedia)
New-states paradox — adding a new state and seats can reshuffle others’ seats counterintuitively. References: Balinski & Young; overview. (Michigan Law Scholarship Repository, Wikipedia)
Balinski–Young impossibility — no apportionment method can satisfy both quota and population monotonicity once there are enough units. References: classic exposition; lecture notes statement. (IIASA PURE, dominik-peters.de)

Turnout & collective-action paradoxes #

Paradox of voting (Downs/Riker–Ordeshook) — for an individual, expected instrumental benefits rarely exceed costs, yet people vote. References: Downs (1957/1957 article excerpt); Riker & Ordeshook (1968). (rochelleterman.com, Cambridge University Press & Assessment)
Tullock’s paradox of revolution — mass participation in risky revolt should be rare under standard rational-choice assumptions, yet revolutions happen. References: Tullock (1971); journal record. (Cooperative Individualism, SpringerLink)

Two-tier systems & voting-power paradoxes #

Referendum (two-tier) paradox — a national majority can lose when outcomes are aggregated by districts/units. References: Nurmi (book); Lahrach & Merlin (2012). (SpringerLink)
Bloc/weight paradoxes in power indices — merging voters or increasing nominal weight can reduce measured power (and vice-versa). References: Felsenthal & Machover (monograph); “product paradox” note. (Elgar Online, JSTOR)
Penrose square-root insight — in two-tier systems, equalizing individual influence suggests weighting representatives ≈√population (counter-intuitive at first glance). References: Kirsch (survey); Zyczkowski et al. (EU applications). (fernuni-hagen.de, London School of Economics)

Legislative choice, agendas & cycling #

Majority cycles / chaos theorem — with ≥2 policy dimensions, majority rule can reach (almost) any point by agenda setting; no stable Condorcet point generically. References: McKelvey/Schofield overview; Plott’s equilibrium conditions. (Wikipedia, JSTOR)
Agenda-setter/status-quo paradoxes — the same voters can be led to radically different outcomes by sequencing and status-quo control. Reference: Romer & Rosenthal (1978). (Ed Egan)

Data & inference paradoxes that bite politics #

Simpson’s paradox — associations reverse when data are aggregated vs. stratified (classic in voting/inequality analysis). References: SEP overview; Simpson (1951). (Stanford Encyclopedia of Philosophy, math.bme.hu)
Ecological fallacy — correlations across areas need not reflect individual behavior (e.g., inferring individual vote from precinct patterns). Reference: Robinson (1950). (digamo.free.fr)

Normative-political paradoxes #

Sen’s “Paretian liberal” paradox — minimal individual rights can conflict with Pareto efficiency under social choice aggregation. References: Sen (1970); Harvard DASH copy. (Chicago Journals, Dash)
Popper’s paradox of tolerance — unbounded tolerance can enable intolerance to destroy tolerance itself. Reference: The Open Society and Its Enemies. (cdn.oujdalibrary.com)

Paradox	Setup / Assumptions	Striking Result	Classic Example	Typical Fix / Mitigation
Arrow’s “Impossibility”	Rank aggregation; unrestricted domain; Pareto; IIA; non-dictatorship; ≥3 options	No rule satisfies all criteria	Textbook 3-candidate profiles	Relax IIA; restrict domains (single-peaked); use scoring rules
Condorcet (Voting) Paradox	Majority rule; ≥3 options	Collective preferences can be cyclic	A≻B, B≻C, C≻A cycles	Agenda control; Condorcet methods; restrict to single-peaked
Condorcet Winner Paradox	Some voting rules (e.g., Borda)	Candidate beating all others head-to-head can lose	CW loses under Borda	Use Condorcet-consistent rules
Condorcet Loser Paradox	Some rules	Candidate losing to all others can win	CL wins under certain profiles	Condorcet-loser elimination
Gibbard–Satterthwaite	Onto, non-dictatorial rule; ≥3 options	Every such rule is manipulable	Strategic misreporting	Restricted domains; randomized mechanisms (Gibbard 1977)
No-Show (Participation) Paradox	Certain rules (e.g., STV)	A voter can help their preference by abstaining	STV counterexamples	Use participation-respecting rules (trade-offs elsewhere)
Monotonicity Paradox	Certain rules (e.g., STV)	Raising a candidate can make them lose	Classic STV profiles	Choose monotone rules (but may forfeit other properties)
Spoiler / IIA Failure	Plurality & many rules	Non-winning “clone” entry/removal flips the winner	Vote-splitting	Runoffs, IRV, Condorcet, fusion, primaries
Ostrogorski Paradox	Party vs issue aggregation	Party winner opposed by issue-by-issue majorities	Two-party issue bundles	Issue-based referenda; PR with multidimensional parties
Discursive Dilemma / Doctrinal	Judgment aggregation	Proposition-wise vs platform-wise yields inconsistency	Court panels, committees	Impose logical constraints; use premise- or conclusion-based rules

Apportionment & seat allocation #

Paradox	Setup / Assumptions	Striking Result	Classic Example	Typical Fix / Mitigation
Alabama Paradox	House size increases	A state loses a seat when total seats rise	19th-c. US apportionment	Divisor methods (Hill/Huntington, Webster)
Population Paradox	Differential growth	Faster-growing state loses to slower-growing	US historical cases	Use population-monotone methods (but see impossibility)
New States Paradox	Add state + seats	Existing states’ seats reshuffle unexpectedly	Admission scenarios	Adopt divisor methods; stability targets
Quota Violations	Some methods	Allocations fall outside lower/upper quota	Hamilton’s method	Prefer divisor methods; accept mild violations
Balinski–Young “Impossibility”	Desire quota + population monotonicity	No method satisfies both for all profiles	General theorem	Pick which axiom to relax; be transparent

Turnout & collective action #

Paradox	Setup / Assumptions	Striking Result	Classic Example	Typical Fix / Mitigation
Paradox of Voting (Downs)	Tiny pivotality; positive cost	Rational turnout ≈ 0, yet people vote	Mass elections	Civic duty/expressive benefits; selective incentives
Tullock’s Paradox of Revolution	High social benefit; high risk	Under-participation despite big stakes	Revolts & protests	Coordination, focal points, selective incentives
Olson’s Collective Action	Large groups; public goods	Bigger groups do worse absent incentives	Lobbying vs. mass goods	Entrepreneurs; selective/club goods; institutions

Two-tier systems & power indices #

Paradox	Setup / Assumptions	Striking Result	Classic Example	Typical Fix / Mitigation
Referendum (Two-Tier) Paradox	District vs national majority	National majority loses under district rule (or vice versa)	US Electoral College-like cases	Weighting schemes; runoffs; proportional aggregation
Voting-Power / Bloc Paradoxes	Weighted voting; coalitions	Adding members/weight can reduce power; blocs can backfire	EU Council, shareholder votes	Square-root weighting; power-aware design

Legislative choice & agenda #

Paradox	Setup / Assumptions	Striking Result	Classic Example	Typical Fix / Mitigation
Agenda / Path Dependence	Majority rule with cycles	Order of votes changes the winner	Pairwise sequencing	Restrict agendas; germaneness; closed rules
McKelvey “Chaos” Phenomenon	≥2 policy dimensions; open agenda	Majority can reach “almost anywhere”	Continuous policy spaces	Structure-induced equilibrium (committees, jurisdictions)

Data & inference #

Paradox	Setup / Assumptions	Striking Result	Classic Example	Typical Fix / Mitigation
Simpson’s Paradox	Heterogeneous subgroups	Aggregates reverse subgroup trends	Turnout, admissions, policing	Stratify; causal models; beware ecological fallacy

Normative–political #

Paradox	Setup / Assumptions	Striking Result	Classic Example	Typical Fix / Mitigation
Sen’s Liberal Paradox	Minimal rights + Pareto + unrestricted prefs	Rights can conflict with Pareto efficiency	“Prude” vs “Lewd” toy model	Restrict domains; redefine rights/efficiency
Paradox of Tolerance (Popper)	Unlimited tolerance	Tolerance empowers intolerant to end tolerance	Extremist speech cases	Conditional tolerance; militant democracy tools

Pragmatics

Mon, 01 Jan 0001 00:00:00 +0000

Pragmatics: #

Pragmatics Rational Speech Act Illocutionary Act

Rational Speech Act Framework #

Probabilistic language understanding. An introduction to the Rational Speech Act framework Introducing the Rational Speech Act framework

Pushkin in Africa

Mon, 01 Jan 0001 00:00:00 +0000

Transpositions: African transpositon of Pushkin’s bio #

“Borrowed” from Африканское воплощение биографии Пушкина

Автор Андрей Тимофеевич Кузнецов (1966) — российский художник-постановщик анимационного кино, иллюстратор.

10 клейм как на житийных иконах:

Арина Родионовна и младенец Пушкин (“Выпьем с горя, где же кружка”)
Царскосельский лицей (лицейский период творчества)
Южная ссылка (см. стихотворение “К морю”)
Выступление перед светской публикой (петербургский период)
Восстание на Сенатской площади
Казнь декабристов
Ссылка в Михайловское.
Болдинская осень (был создан “Евгений Онегин”)
Женитьба на Наталье Гончаровой.
Дуэль с Дантесом.

Revelation

Mon, 01 Jan 0001 00:00:00 +0000

Chaitin’s constant or Omega number #

by Gregory Chaitin

“In the computer science subfield of algorithmic information theory, a Chaitin constant (Chaitin omega number) or halting probability is a real number that, informally speaking, represents the probability that a randomly constructed program will halt. These numbers are formed from a construction due to Gregory Chaitin.

…

Each halting probability is a normal and transcendental real number that is not computable, which means that there is no algorithm to compute its digits.

Self-reference: Liar, Russel etc.

Mon, 01 Jan 0001 00:00:00 +0000

Self-referential paradoxes #

I’d like to present paradoxes in different forms - or, mejor dicho, use different “languages” to represent them.

The options are:

Casual/informal/verbal - pretty meaningless but the most popular. Essentially, this is the goal of the website: use formal methods for foggy utterances, and see what we can get. There is no guarantee that the translation would be faithful, but, otherwise, there is not much to discuss either :))

Topology

Mon, 01 Jan 0001 00:00:00 +0000

Topological Theology

…

Works of V.Lefebvre

Mon, 01 Jan 0001 00:00:00 +0000

Vladimir A. Lefebvre. THE ANTHROPIC PRINCIPLE IN PSYCHOLOGY AND HUMAN CHOICE

Anatol Rapoport. HUMAN REFLEXION AND THE ANTHROPIC PRINCIPLE. Commentary on Lefebvre on Human-Choice

Ancient Languages

Mon, 01 Jan 0001 00:00:00 +0000

Textbooks, books, channels in Latin, Ancient Greek, Hebrew etc.

There are way too many of those, so I’m planning to record the sources that influenced me personally.

Latin #

Textbooks #

Попов, А. Н. Пособие по латинскому языку для студентов-заочников. Москва: МГУ, 1951 г.

… (a few more textbooks that I don’t remember)

ACT

Mon, 01 Jan 0001 00:00:00 +0000

Applied Category Theory #

Not sure if it’s even useful for my goals :))

Nevertheless, a few links for future purposes:

…

By topic/modality

Mon, 01 Jan 0001 00:00:00 +0000

Classification by topic/modality.

Topics:

(MD) Doxastic (belief). (Lottery, Moore, Dutch book–style arguments.)
(ME) Epistemic (knowledge, evidence). (Knower, Fitch)
(MS) Truth-theoretic / meaning-theoretic (Liar, Yablo, Grelling).
(MP) Pragmatic (speech-act coherence). (Moore’s paradox in its assertion reading, Performative Contradictions, Kapitan’s paradoxes, etc.)
(MP’) Performative is a subtype of Pragmatic (Austin/Searle-inspired sub-class devoted to acts that fail by being performed, e.g., “I hereby forbid all forbiddings”.

Pragmatic paradoxes: the clash is with norms of assertion / conversation / belief avowal (e.g., Moore’s paradox: “p, but I don’t believe p”). The paradox arises from what you assert relative to your mental state or the conversational score.

Computational paradoxes

Mon, 01 Jan 0001 00:00:00 +0000

“Non-diagonizeable” paradoxes. Turing’s Halting Problem also belongs here, but, unlike Berry’s Paradox, it is obviously diagonizeable.

Berry’s Paradox #

Casual: Beckenbach
Logic: cf wiki
Comp: cf. Let me propose a candidate: “Kolmogorov complexity is not computable.” to Tao’s question.

Kolmogorov Complexity #

Halting to Kolmogorov

Chaitin’s Constant or Omega #

as Revelation

Gauss-Jordan-Floyd-Warshall-Kleene

Mon, 01 Jan 0001 00:00:00 +0000

A Very General Method of Computing Shortest Paths (and much more)

Quoting from there: “I would like to introduce you to a very general algorithm that I like to call the Gauss-Jordan-Floyd-Warshall-Kleene algorithm. With this simple algorithm (an algorithm whose implementation is not very much longer than its name) you can solve almost half of the problems you might encounter in computer science. For instance, this algorithm will let you:

Mise en abyme

Mon, 01 Jan 0001 00:00:00 +0000

Mise en abyme #

Mise en abyme

This painting of baby Jesus’ nativity with his crucifix in the background.

Ogham, Runes, 'I can eat glass'

Mon, 01 Jan 0001 00:00:00 +0000

Ogham #

Also, here

Ogham Translator

English	Irish	Ogham
Love	Grá	ᚌᚏᚐ
Family	Teaghlach	ᚈᚓᚐᚌᚆᚂᚐᚉᚆ
Strength	Neart	ᚅᚓᚐᚏᚈ
Peace	Síocháin	ᚄᚔᚑᚉᚆᚐᚔᚅ
I love you	Tá mé i ngrá leat	ᚈᚐ ᚋᚓ ᚔ ᚍᚏᚐ ᚂᚓᚐᚈ
Life	Saol	ᚄᚐᚑᚂ
Ireland	Éire	ᚓᚔᚏᚓ

Another Ogham Translator

Ogham Alphabet and many others.

I can eat glass it does not hurt me:

᚛᚛ᚉᚑᚅᚔᚉᚉᚔᚋ ᚔᚈᚔ ᚍᚂᚐᚅᚑ ᚅᚔᚋᚌᚓᚅᚐ᚜  (see below)

Problems #

Runes #

Rune Translator

Semiotics

Mon, 01 Jan 0001 00:00:00 +0000

Semiotics: #

Extensional vs. intensional
Шрейдер

etc. etc.

Three little pigs (Old Church Slavonic)

Mon, 01 Jan 0001 00:00:00 +0000

Translations: Three little pigs in Old Church Slavonic (Александр Лифшиц. Сказка “Три поросенка” на старославянский лад). #

“Borrowed” from Александр Лифшиц. Сказка “Три поросенка” на старославянский лад

Timeo hominem unius libri

Mon, 01 Jan 0001 00:00:00 +0000

Timeo hominem unius libri

“[Aquinas’s] words are generally quoted today in disparagement of the man whose mental horizons are limited to one book. Aquinas, however, meant that a man who has thoroughly mastered one good book can be dangerous as an opponent. The Greek poet Archilochus meant something like this when he said that the fox knows many things but the hedgehog knows one big thing.”

V.I.Arnold: Problems for children from 5 to 15 (en, ru)

Mon, 01 Jan 0001 00:00:00 +0000

V.I.Arnold: Problems for children from 5 to 15: #

Chernoff faces

Mon, 01 Jan 0001 00:00:00 +0000

Free Will/Choice

Mon, 01 Jan 0001 00:00:00 +0000

Free Will: #

Unexpected Hanging paradox, Crocodile paradox, Newcomb’s paradox:

Also:

“While it is not possible for the halting problem for a given computing language to be computable in that language, it is certainly possible that it is computable in a strictly stronger language. When that is the case, one can then invoke Newcomb’s paradox to argue that the weaker language does not have unlimited “free will” in some sense.”

Gateless Gate

Mon, 01 Jan 0001 00:00:00 +0000

Gateless Gate

Case 11 十一　州勘庵主 Jõshû Sees the Hermits

趙州、到一庵主處問、有麼有麼。

Jõshû went to a hermit’s cottage and asked, “Is the master in? Is the master in?”

Чжаочжоу пошел к некоему монаху, медитировавшему в затворничестве, и спросил его: “Что есть то, что есть?”

主、堅起拳頭。

The hermit raised his fist.

Монах поднял кулак.

州云、水淺不是泊舡處。便行。

Jõshû said, “The water is too shallow to anchor here,” and he went away.

Чжаочжоу сказал: “На мелководье корабли не смогут причалить”. С этими словами он ушел.

Logic

Mon, 01 Jan 0001 00:00:00 +0000

and so on.

Logics: #

Alethic
Causal
Connexive
Deontic
Deviant
Differential Linear logic - Rosetta stone (Baez) Differential Linear Logic enriches Linear Logic with additional logical rules for the exponential connectives, dual to the usual rules of dereliction, weakening and contraction. We present a proof-net syntax for Differential Linear Logic and a categorical axiomatization of its denotational models. We also introduce a simple categorical condition on these models under which a general antiderivative operation becomes available. Last we briefly describe the model of sets and relations and give a more detailed account of the model of finiteness spaces and linear and continuous functions.
Doxastic
Dynamic
Epistemic
Erotetic
Free
Fuzzy
Hybrid
Imperative
Linear logic Формальная логика обычно представляется системой оперирующей высказываниями, для которых мы можем установить их истинность (или ложность). Как правило, речь идет о высказываниях, для которых истинность может быть установлена раз и навсегда. Это величина константная и вечная. Высказывание нельзя потратить, израсходовать. Но для линейной логики это не совсем так. Она имеет дело как с высказываниями, так и с командами/действиями. Единожды совершённое действие не обязательно можно повторить. Таким образом, в линейной логике наличествуют величины расходуемые, временные.
Linear temporal logic
Modal logic
Monotonic
Multimodal
Noise-based logic
Non-monotonic
Paraconsistent logic
Partial logic
Provability
Quantum
Relevance
Spatial logic
Substructural logic
Temporal
Temporal logic of actions
Vector logic

and so on.

Metaphysics

Mon, 01 Jan 0001 00:00:00 +0000

Mathematical Universe Hypothesis #

by Max Tegmark

According to the hypothesis, the universe is a mathematical object in and of itself. Tegmark extends this idea to hypothesize that all mathematical objects exist, which he describes as a form of Platonism or Modal realism.

Georg Wilhelm Friedrich Hegel. “What is reasonable is real; and what is real is reasonable.” #

An illustration: Gödel’s Completeness Theorem. This theorem states that a theory has a model (it is real) if and only if it is consistent (reasonable: it is not possible to derive a contradiction from it).

More (TODO)

Mon, 01 Jan 0001 00:00:00 +0000

Arrow’s Theorem and Measure Theory: #

Means by Tom Leinster

“The problem of finding good voting systems has been studied at great length. For example, a quick browse reveals a bunch of impossibility theorems related to Arrow’s: the Gibbard–Satterthwaite Theorem, the Duggan–Schwartz Theorem, the Holmström Theorem, … . I know nothing about all this. But perhaps there’s something to be gained by thinking about means of structures.” + a few links there, e.g.:

Music

Mon, 01 Jan 0001 00:00:00 +0000

Phonosemantics

Mon, 01 Jan 0001 00:00:00 +0000

Phonosemantics #

or Sound Symbolism or Фоносемантика or Лингвистический ИКонизм/ЛИК

“Phonosemantics, also known as sound symbolism, is the study of how the sounds of words can be associated with their meanings or the concepts they represent. It explores the idea that certain sounds evoke specific feelings or impressions, influencing how we perceive words and their meanings”

Key Concepts #

Sound Symbolism:

The fundamental idea that sounds themselves can carry meaning or evoke associations, even beyond the specific semantic definition of a word.

Sound Laws

Mon, 01 Jan 0001 00:00:00 +0000

Some famous Indo-European sound laws #

Show the commentary:

“The discovery of several Laws that accounted to apparent exceptions to Grimm’s Law led to the Neogrammarian’s slogan:

Transfinite Programmuing

Mon, 01 Jan 0001 00:00:00 +0000

Transfinite programming TP @ Esolangs

Epistemic

Mon, 01 Jan 0001 00:00:00 +0000

Epistemic Paradoxes: #

and here

https://en.m.wikipedia.org/wiki/Knower_paradox
https://en.m.wikipedia.org/wiki/Fitch%27s_paradox_of_knowability
Lottery paradox
Meno’s paradox
https://en.m.wikipedia.org/wiki/Moore%27s_paradox
Preface paradox

Ice

Mon, 01 Jan 0001 00:00:00 +0000

Power of 2 choices

Mon, 01 Jan 0001 00:00:00 +0000

Power of 2 choices

Structural Linguistics

Mon, 01 Jan 0001 00:00:00 +0000

Structural Linguistics #

— А? — вскричал Вадим, простирая к нему руку. Потом он заявил:

Есть на всякий, есть на случай,
В "Корабле" специалист —
Ваш великий и могучий
Структуральнейший лингвист.

…

Все от ужаса рыдает
И дрожит как банный лист
Кораблем повелевает
Структуральнейший лингвист

Стругацкие. Попытка к бегству.

“Structural linguistics, or structuralism, in linguistics, denotes schools or theories in which language is conceived as a self-contained, self-regulating semiotic system whose elements are defined by their relationship to other elements within the system.”

0, 1, ∞

Mon, 01 Jan 0001 00:00:00 +0000

0-1 principle in sorting networks “While it is easy to prove the validity of some sorting networks (like the insertion/bubble sorter), it is not always so easy. There are n! permutations of numbers in an n-wire network, and to test all of them would take a significant amount of time, especially when n is large. The number of test cases can be reduced significantly, to 2n, using the so-called zero-one principle. While still exponential, this is smaller than n! for all n ≥ 4, and the difference grows quite quickly with increasing n.

Constructed Languages

Mon, 01 Jan 0001 00:00:00 +0000

Constructed Languages #

Пиперски. Конструирование языков: От эсперанто до дотракийского.

Classification: #

“The three basic types are engelangs (engineered languages), auxlangs (auxiliary languages), and artlangs (artistic languages).”

Engelangs (englangs):
- Philosophical languages - constructed to meet some philosophical goal (e.g. Wilkins’s philosophical language, Toki Pona)
- Logical languages - built around the structure of formal logic (e.g. Ithkuil, Loglan)
Auxlangs - designed to help ease communication between two or more linguistically diverse communities.:
- Lincos
- Esperanto, Volapük, Ido, Latino sine Flexione, Novial, Interslavic
- Solresol
Artlangs - fleshing out works of fiction, fun, experimentation, or even historical study
- Quenya, Sindarin, Khuzdul, Black Speeach of Mordor, etc.
- Klingon
- Dothraki (Game of Thrones)

Particular features of a conlang can be a posteriori — meaning borrowed from natural languages, rather than invented — or a priori, meaning invented rather than borrowed from natural languages.

Other

Mon, 01 Jan 0001 00:00:00 +0000

Black Swans and perception: #

Black Swans (quadratic vs exponential)
Weber-Fechner Law

Transactional Analysis: #

T.L. Saaty (??): #

Esoteric programming languages

Mon, 01 Jan 0001 00:00:00 +0000

General #

Distributed: #

Fizzbee

Visual programming languages: #

Piet program that prints ‘Piet’:

A “Hello World” program in Piet:

Snap!:

Visual Lambda Calculus #

Youtuber 2swap made a cool video What is PLUS times PLUS? featuring animated lambda diagrams.

Lambda Diagrams

Alligator Eggs is masquarading lambda calculus as a colorful puzzle game.

Prathyush Pramod compiled a catalogue of all known graphical notations.

Addenda

Mon, 01 Jan 0001 00:00:00 +0000

Also there:

Frattini subgroup (wheel of Fortune) - that was a joke “Frattini subgroup of the group of wheel of Fortune rotations.” - from where?
Le Chatelier principle
Eponymous laws
Rosetta Stone (Baez)
https://avva.livejournal.com/1948497.html (о красоте)
старое письмо Claire
Аналитическая философия
Patrick Grim et al.
Paradoxes of Prob, Th. and Stat.
Everett x-worlds

Demonology

Mon, 01 Jan 0001 00:00:00 +0000

Гелинанду из Фруамона принадлежит знаменитая сентенция:

Ecce quaerunt clerici Parisius artes liberales. Aurelianis auctores, Bononiae codices, Salerni pyxides, Toleti daemones, et nusquam mores.

“Школяры учатся благородным искусствам — в Париже, древним классикам — в Орлеане, судебным кодексам — в Болонье, медицинским припаркам — в Салерно, демонологии — в Толедо, а добрым нравам — нигде” (по “Поэзия Вагантов”).

«Patrologia latina», v. 212, р. 603. See also.

Замечание AL: что мне нравится в этом высказывании: демонология (справедливо) идет на уровне судебных кодексов и медицинских припарок. На самом деле перевод неточен - это не припарки:

Hugo - Ideas

Mon, 01 Jan 0001 00:00:00 +0000

Tools:

Napkin.ai (??)

Shortcodes:

Timeline shortcode for blog (??) https://metalblueberry.github.io/post/howto/2021-02-28_hugo_timeline_shortcode/
Leaflet (??)
Gallery (??)

Hugo addons, interesting shortcodes etc.:

Captions:

Linguistics Olympiads

Mon, 01 Jan 0001 00:00:00 +0000

Linguistics Olympiads #

IOL #

Problems #

База лингвистических задач #

Sources:

Традиционная олимпиада по лингвистике #

Традиционная олимпиада по лингвистике глазами её участников:

Первая олимпиада:

Monads

Mon, 01 Jan 0001 00:00:00 +0000

General #

The name #

Gottfried Leibniz. Monadology.

“Leibniz gives the name ‘monad’ to an absolutely simple substance. These absolutely simple substances must exist, because composite things exist.”

“In Leibniz’s system of metaphysics, monads are basic substances that make up the universe but lack spatial extension and hence are immaterial.”

“A monad is just a monoid in the caregory of endofunctors.” :))

What we talk about when we talk about monads

The History of the CPSU as Theology (ru, by Gemini)

Mon, 01 Jan 0001 00:00:00 +0000

Рассмотрение истории КПСС (Коммунистической партии Советского Союза) как своего рода квазирелигиозной теологии — это популярный и глубокий подход в политической философии, социологии и истории. В советское время этот предмет был обязательным во всех вузах, и его преподавание, структура и функции практически полностью копировали религиозные институты, несмотря на официальный государственный атеизм.

Ниже приведено сравнение структуры «Истории КПСС» и классической христианской теологии.

📊 Прямое сравнение: Теология vs История КПСС #

Религиозная теология	«Теология» истории КПСС
Священное Писание (Библия, Коран)	Труды К. Маркса, Ф. Энгельса, В. И. Ленина, решения съездов партии.
Пророки и Мессия	Маркс — провидец, Ленин — земное воплощение идеала (культ «Ленин с нами»).
Священная история	Путь партии от подполья (кружков) к Октябрьской революции и победе.
Догматика	Непогрешимость партийной линии. Партия не может ошибаться в главном.
Ереси и расколы	Троцкизм, «правый уклон», ревизионизм, меншевизм.
Церковные соборы	Съезды КПСС, где принимались «судьбоносные» и неколебимые решения.
Царствие Божие / Эсхатология	Коммунизм — конечная, идеальная точка истории, где исчезнут страдания.

🧱 Основные теологические признаки истории КПСС #

Священная телеология (движение к цели): Вся история человечества в учебниках КПСС изображалась как линейный, предопределенный процесс. Общество неизбежно шло от первобытного строя через рабство и феодализм к капитализму, чтобы завершиться триумфом социализма и коммунизма. Это абсолютный аналог религиозного ожидания Спасения.

And more

Mon, 01 Jan 0001 00:00:00 +0000

Links:

Logic and Language etc.

Identity paradoxes

Also:

Intransitivity paradoxes

Decision making paradox

Curry’s paradox

“Curry’s paradox is a paradox in which an arbitrary claim F is proved from the mere existence of a sentence C that says of itself “If C, then F”. The paradox requires only a few apparently-innocuous logical deduction rules. Since F is arbitrary, any logic having these rules allows one to prove everything. The paradox may be expressed in natural language and in various logics, including certain forms of set theory, lambda calculus, and combinatory logic. "

Identification Guides

Mon, 01 Jan 0001 00:00:00 +0000

Rather quaint and outdated stuff now.. Who would need it?

Other

Mon, 01 Jan 0001 00:00:00 +0000

An alternative translation (also unfinished)

Mon, 01 Jan 0001 00:00:00 +0000

Original

To Merlin’s school in Carmarthen they accepted anyone who was able to find it, enter it, locate Professor Merlin there and respond to the question on the quiz sheet. The sheet (completely worn-out) that Merlin would winkle out of the folds of his cloak, was always the same, and one would be correct to surmise that it hadn’t changed for decades. Other well-known requirements – i.e. being at least 16 years old, knowledge of Latin, clean nose, and a clean hanky in the left breast pocket – were optional.

Names

Mon, 01 Jan 0001 00:00:00 +0000

Students:

Gwydion [wrong Gwidion] (http://en.wikipedia.org/wiki/Gwydion)

Llevelys son of Cynwarch (http://en.wikipedia.org/wiki/Llevelys)

Dilwyn, son of Olwen

Berwyn, son of Eilonwy

Ceridwen, daughter of Peblig - [wrong: Cerrydwen] (http://en.wikipedia.org/wiki/Ceridwen)

Morvydd (http://en.wikipedia.org/wiki/Morfydd) – Morvydd is fine

? Afarvy - Afarvi, the son Of Kentigern

? Shoned, the daughter of Teyrnion

? Teleri, the daughter of Tangwen

? Dwynwen

? Creary

? Enid, daughter of Elined,

? Goronwy, son of Ellery.

? Llywarch-ap-Cynfelyn

Teachers:

Merlin Ambrosius… Or Aurelius (Merlin Ambrosius, or Myrddin Emrys) (http://en.wikipedia.org/wiki/Merlin_(wizard) )

test

Fri, 29 Dec 2017 12:15:02 +0000

Welcome

test html content

Mon, 01 Jan 0001 00:00:00 +0000

Date: 1997/06/22


  Come on now little man, get away from your worldly  occupations
  for a while, escape from your tumultuous  thoughts.  Lay  aside
  your burdensome cares and put  off  your  laborious  exertions.
  Give yourself over to God for a little while, and  rest  for  a
  while in Him. Enter into  the  cell  of  your  mind,  shut  out
  everything except God and whatever helps you to seek  Him  once
  the door is shut. Speak now, my heart, and say to God, "I  seek
  your face; your face, Lord, I seek."

  Итак, малыш, оставь на время свои мирские занятия, отбрось свои
  суетные мысли. Отложи свои тяжкие заботы и труды. Предайся  не-
  надолго Господу и отдохни в нем. Войди в разум свой и выкинь за
  дверь все, кроме Господа и того, что помогает тебе  найти  его,
  когда дверь закрыта. А теперь, говори, мое сердце, и скажи Гос-
  поду, "Я ищу твое лицо; твое лицо, Господь, я ищу."

      Ансельм Кентерберийский. Proslogion.


1. Святой  Ансельм - архиепископ  Кентерберийский    (1033-1109).
 Автор доказательства Бытия Божьего, основанного, по сути, на мо-
 дальной логике (открытой, впрочем, несколько позже, в XX-м веке).

 Данная работа является,  сокращенным и переработанным,  обзором 
 статьи  профессора  Gary Mar'a  "The modal  unity  of  Anselm's 
 Proslogion".
   (http://www.sunysb.edu/philosophy/faculty/gmar/anselm.txt)
 К сожалению, уважаемый профессор сначала написал  статью  с  ис-
 пользованием каких-то развитых средств (обеспечивающих,  в  час-
 тности, работу с фонтами и построение диаграм), а затем сконвер-
 тировал ее  в  обычный  текст.  Поэтому  восстановление  доказа-
 тельств отняло у меня некоторое время.

                                      LAD

2. Модальная логика используется для работы с высказывания типа:

 возможно, что необходимо, что ...; я знаю,  что  я  предполагаю,
 что я знаю что ... или аналогичными.

 Строится она по следующему рецепту:
 Берем логику высказываний (например, a и не a = ложь,   a или (а
 и b) = а, и так далее и тому подобное). Добавляем к ней 2 опера-
 тора <> и []. Это связки, подобные связкам "для любого"  x  (Ax)
 или "существует" x (Ex). Разница в том, что они  не  зависят  от
 переменной x.

 Связка <>, обычно, обозначает возможность (в том или ином смысле), а
 связка [] - необходимость (или знание).
 Варианты: [] - всегда       <> - иногда
           [] - везде        <> - где-то
           [] - нужно        <> - допустимо
           [] - необходимо   <> - возможно
           [] - известно     <> - можно предположить
           [] - внутренне    <> - внутренне непротиворечиво
                противоречиво
                обратное

 На самом деле, во всех этих парах [] можно представить как  ~<>~
 (~ - отрицание), т.е. если <> - означает иногда, [] - означает - 
 неверно, что иногда выполняется обратное - т.е. всегда выполняет-
 ся это. То же самое верно и для Ax, Ex : Ax = ~ Ex ~ (для  любо-
 го x p(x) = неверно, что существует x для которого ~p(x)).  Ана-
 логично, <> = ~[]~.

 Далее добавляем аксиомы и правила вывода:

 1) Если p - тавтология (тождественная истина) в логике  высказы-
    ваний, то []p (скажем, q -> q и, следовательно, [](q -> q)).
 2) аксиома дистрибутивности (K): [](p->q) -> ([]p -> []q)  (т.е.
    если необходимо, что p->q,  то  из  необходимости  p  следует
    необходимость q)
 3) (modus ponens): p, p->q
                    -------
                       q
 4) другие аксиомы по вкусу (см.далее).

 Обычно, верна следующая цепочка импликаций:

 []p -> p -> <>p

 (примерный смысл: p необходимо истино -> p (случайно) истино ->
 p возможно истино)

 Упражнения:
 1) Перевести на русский язык высказывание:  []~<>~G,  где  <>  -
    возможно, G - Бог существует, и упростить его.
 2) Перевести на язык модальной логики фразу: "Высказывание  'ут-
    верждение, что Бог не существует, внутренне противоречиво'  -
    внутренне непротиворечиво", подходящим образом подобрав обоз-
    начения.
 3) Доказать: Ap : p -> []<>p  <=>  Ap: <>[]p -> p
    (Напоминаю, a -> b <=> ~b -> ~a).


3. Таким образом у нас есть формальный метод (формализм) обработ-
 ки сложных высказываний, позволяющий не запутаться  в  утвержде-
 ниях типа:

  For one can think there exists something that cannot be thought
  of as not existing, and that would be  greater  than  something
  which can be thought of as not existing. For  if  that  greater
  than which cannot be thought can be thought of as not existing,
  then that greater than which cannot  be  thought  is  not  that
  greater than which cannot be thought ...

  Поскольку можно подумать, что существует нечто,  о  чем  нельзя
  подумать, как о несуществующем, и это нечто, более великое, чем
  то, о чем можно подумать, как о несуществующем. Поскольку,  ес-
  ли об этом, величественнее которого нельзя придумать, можно по-
  думать, как о несуществующем, то это,  величественнее  которого
  нельзя придумать,  не  является  тем,  величественнее  которого
  нельзя придумать ...

 Ансельм  в  своем    доказательстве    определяет    Бога    как
 a-being-than-which-a-greater-cannot-be-thought (существо,  вели-
 чественне которого представить невозможно)

 Сократим утверждение
 a-being-than-which-a-greater-cannot-be-thought exists (существо,
 величественне которого представить невозможно, существует) до G.

 Далее, G can be thought (G мыслимо) обозначим, как G
  - это наш модальный оператор <>, но помеченный буквой с
 (conceivable - мыслимый).
 На самом деле, Ансельм, по-видимому,  имеет  в  виду  следующее:
 G = ничто не мешает представить, что G, т.е.  G  -  внутренне
 непротиворечиво (в.п.), иначе говоря, концептуально целостно.

 [c] - (естественно) равно ~~, т.е. [c]G = неверно, что  внут-
 ренне непротиворечиво ~G, т.е. внутренне противоречиво (в.п.) ~G.

 Итак, [c]G = утверждение, что Бога нет, в.п.
 (G = утверждение, что Бог есть, в.н.)

 ------------------------------------------------------------------------

  "Come on then, my Lord God, teach my heart  where  and  how  to
  seek you, where and how to find you. Lord, if you are not here,
  where shall I find you? If, however, you are everywhere, why do
  I not see you here? But certainly  you  dwell  in  inaccessible
  light. And where is that inaccessible light? Or how do I  reach
  it? "

  "Мой Господь Бог, научи мое сердце, где и как искать тебя,  где
  и как найти тебя. Господь, если ты не здесь, где я найду тебя ?
  Если же ты повсюду, почему же я не вижу тебя здесь ? Ну, конеч-
  но, ты сияешь недоступным светом. И где он - этот свет ? И  как
  мне достичь его ?"

      Ансельм Кентерберийский. Proslogion.


4. Теперь, у нас есть почти все, что  нужно,  для  доказательства
   Бытия Божьего.

   1-ая посылка Ансельма: G -> [c]G (из  Бытия  Божьего  следует,
   что утверждение, что Бога нет, в.п.) -  является  тавтологией,
   т.е. верно следующее:
                        [c](G -> [c]G)

   Я уклонюсь от обсуждения этой посылки под тем  предлогом,  что
   если G - истинно, то это как раз то, что хотелось бы доказать,
   а если G - то ложно, то "из лжи что угодно" (из лжи можно  до-
   казать что угодно, Вы этого еще не забыли ?).

   2-ая посылка Ансельма: G - это значит, что Бога можно  себе
   представить, не впадая в противоречие,  что  утверждение,  что
   Бог есть, в.н. (внутренне непротиворечиво). Gary Mar  обзывает
   человека,  придерживающегося  этой  посылки  notional   theist
   (приблизительно, умозрительный теист), в отличие  от  notional
   atheist'a (умозрительного атеиста), придерживающегося той точ-
   ки зрения, что ~G и notional agnostic'a (умозрительного аг-
   ностика), придерживающегося той точки зрения, что G & ~G
   (обе точки зрения: что Бог есть и что Бога нет вполне  возмож-
   ны).

   Дополнительная аксиома T: []p->p
   Если ~p - в.п., то p (очевидно).

   Дополнительная аксиома (CFPE): [](p->q) & <>p -> <>q
   Это очень естественная аксиома: если из p следует q, и p - в.н., то
   и q - в.н.

   Дополнительная аксиома (Брауэра): Ap p -> []<>p

   G -> [c]G (Из существования Бога следует,  что  утверждение
   ~G в.п.   т.е.  утверждение  "утверждение,  что  Бог  есть,
   в.п." - в.п.)

   Обоснование:
   В самом деле, если утверждение, что Бог есть, в.п., то  Бог  а
   не существует, что противоречит посылке  (G).  Таким  образом,
   утверждение "утверждение, что Бог есть, в.п." - в.п.

   Эту аксиому можно представить в дуальной форме:

   Ap <>[]p -> p

   Доказательство: Ap p -> [c]p <=> Ap ~~~p -> ~p  <=>
                   Ap ~~~~~p -> ~p  <=> Ap  ~~~p -> ~p <=>
                   Ap [c]~p -> ~p <=> Aq [c]q -> q (замена ~p на q,
                   поскольку для Ap).


   Доказательство Б.Б. (Бытия Божьего):
   ------------------------------------
   1) [c](G -> [c]G)   - 1-ая посылка
   2) G -> [c]G        - аксиома T
   3) G             - 2-ая посылка
   4) [c]G          - 3)+2)+CFPE
   5) G                - 4)+аксиома Брауэра в дуальной форме
     ===

  Вот и все !!!
  Попробуйте найти ошибку (в посылках, аксиомах, выводе).

  Примечание. Поскольку мы нигде  не  использовали  специфические
  особенности Господа нашего в доказательстве его  существования,
  из оного следует, что любой объект, утверждение  о  существова-
  нии которго в.н., существует, т.е., в частности, что все разум-
  ное - действительно (Гегель).

5. Доказательство неБытия Божьего.

 Ансельм ссылается на Безумца из Писания:

 'Сказал безумец в сердце своем: "нет  Бога".  Они  развратились,
 совершили гнусные дела; нет делающего добро.' (Пс.13 и 52).

 Формализуя подход к делу безумца можно сказать, что он придержи-
 вается, как минимум, позиции "умозрительного  атеиста"  (~G).
 Убедит ли его приведенное выше доказательство ? Нет, ибо ему  он
 противопоставит свое

   Доказательство неБ.Б.:
   ----------------------
   1) [c](G -> [c]G)   - 1-ая посылка Ансельма
   2) ~G            - 1-ая посылка Безумца
   3) G -> [c]G        - аксиома T
   4) ~[c]G            - ~G <=> ~[c]G
   5) ~[c]G -> ~G      - обращение 3)
   6) ~G               - 4)+5)+modus ponens
      ===

 На самом деле, Ансельм считает, что позиция Безумца противоречи-
 ва, ибо отвергая Бога, он тем самым отвергает  понятие  Бога  и,
 значит, сознает, что такое понятие существует  (имеет  право  на
 существование):

  "But certainly that same fool, having heard what I  just  said,
  "something greater than which cannot be  thought,"  understands
  what he heard, and what he understands is in his thought,  even
  if he does not think it exists. "

  "Но, конечно, этот безумец, услышав то, что я  сказал,  "нечто,
  величественнее чего нельзя представить", понимает  то,  что  он
  слышит, и то, что он понимает - в его помыслах, даже,  если  он
  не думает, что это нечто существует".

6. Какая отсюда следует мораль:

 Доказательство Б.Б. зависит от  того,  является  ли  утверждение
 "Бог существует" - в.н. или нет.

 Заметим, что поскольку G -> G, а ~G -> ~G позиция  G  &
 ~G (умозрительного агностика)  -  внутренне  противоречива  !
 Нельзя быть агностиком ! Все или ничего !

7. Далее, Ансельм доказывает необходимость того обстоятельства, что
 G -> G (т.е. утверждение [c](G -> G)). Здесь он существен-
 ным образом опирается на позитивные свойства  Господа,  упоминая
 их в своих посылках для нового доказательства:

 Обозначим, любое такое позитивное  свойство  Господа  (например,
 всеведение), как p. ("Ты знаешь, когда я сажусь и  когда  встаю;
 Ты разумеешь помышления мои издали" - Пс. 138).

 Ансельм выдвигает следующие предпосылки:

 1-ая посылка Ансельма: [c](G & ~G -> ~p)

 2-ая посылка Ансельма: [c]p

 3-ая посылка Ансельма: G

 Аксиома (позитивной интроспекции - S4): Ap []p -> [][]p
 (Использование этой аксиомы на совести Ансельма (или Gary Mar'a)).

   Доказательство
   ---------------
   1) [c]((G & ~G) -> ~p)   - 1-ая посылка Ансельма
   2) [c]p                        - 2-ая посылка Ансельма
   3) G                        - 3-ая посылка Ансельма
   4) [c]((G & ~G) -> ~[c]p)   - 1): ~p <=> ~[c]p
   5) [c]((G & [c]p) -> G)     - 4) p -> q <=> ~p или q
   6) [c][c]p                     - 2) + S4
   7) [c](G -> G)              - [c]p протащили под скобку м учли, что это
      ==============                истина

 Таким образом, из того, что G -в.н. следует G необходимым (обратное в.п.),
 образом.

8. Рассмотрим следующий пассаж из Ансельма:

  "In fact, it so undoubtedly exists that it cannot be thought of
  as not existing. For one can think there exists something  that
  cannot be thought of as not existing, and that would be greater
  than something which can be thought of as not existing. For  if
  that greater than which cannot be thought can be thought of  as
  not existing, then that greater than which cannot be thought is
  not that greater than which cannot be thought, which  does  not
  make sense. Thus that than which  nothing  can  be  thought  so
  undoubtedly exists that it cannot even be  thought  of  as  not
  existing. And you, Lord God, are this being."

  "На самом деле, он столь несомненно существует, что нельзя  да-
  же помыслить, что он не существует. Поскольку  можно  подумать,
  что существует нечто, о чем нельзя подумать, как о несуществую-
  щем, и это нечто, более великое, чем то, о чем можно  подумать,
  как о несуществующем. Поскольку, если об  этом,  величественнее
  которого нельзя придумать, можно подумать, как  о  несуществую-
  щем, то это, величественнее которого нельзя придумать,  не  яв-
  ляется тем, величественнее которого нельзя придумать, что  бес-
  смыслица. Таким образом, то, о чем ничего нельзя  подумать  так
  несомненно существует, что нельзя даже подумать о  нем,  как  о
  несуществующем. И ты, Господь, и есть это нечто".


 Обратите внимание на следующее:
  "... one can think there exists something that cannot be thought
  of as not existing ..." ("можно подумать, что существует нечто, о
  чем нельзя подумать, как о несуществующем")

 Это можно интерпретировать следующим образом: ~~G.

 На самом деле Ансельм, видимо, использует посылку:

 ~~G -> ~~G

 или упрощая: [c]G -> [c]G (что совпадает с аксиомой S5 -  ак-
 сиомой негативной интроспекции  модальной  логики.  Эта  аксиома
 весьма обременительная в том смысле,  что  выражает  совершенное
 понимание пределов нашего знания или веры, но это мы оставим  на
 совести Святого Ансельма Кентерберийского).

 В приведенном ниже доказательстве  эта  аксиома  используется  в
 дуальной форме: G -> [c]G (Истинность дуальной формы дока-
 зывается так же,  как  истинность  дуальной  формы  для  аксиомы
 Брауэра. Верно и более общее утверждение: дуальная форма  истин-
 ного утверждения - истинна. Дуальная форма утыерждения  A  ->  B
 равна d(B) -> d(A), где d - заменяет все [] на <> и наоборот.)

 Исходя из этой аксиомы, докажем [c]G - Господь не только  сущес-
 твует, но и существует необходимым образом, не может  не  сущес-
 твовать, поскольку утверждение "Бог не существует" - в.п.

   Доказательство
   ---------------
   1) G                        - посылка Ансельма
   2) [c](G -> G)              - доказано ранее
   3) G -> [c]G             - аксиома S5
   3) [c]G                     - 1)+S5
   4) [c]G -> [c]G             - 2)+K (аксиома дистриьутивности)
   5) [c]G                        - 3)+4)+modus ponens

9. Теперь о совершенстве Господнем.

 Докажем, что [c]p - Бог совершенен (в разных смыслах)

   1) [c]G                        - доказано
   2) [c](G <-> p)                - посылка
   3) [c]p
      ====

10.

  "Thank you, my good God, thank you,  because  what  I  believed
  earlier  through  your  gift  I  now  understand  through  your
  illumination in such a way  that  I  would  be  unable  not  to
  understand it even if I did not want to believe you existed."

  "Благодарю тебя, о благий Господь, благодарю тебя, ибо  то,  во
  что ранее верил я по дару твоему, теперь я понял  по  вразумле-
  нию твоему и так, что не был бы в силах не понимать, даже  если
  бы и не было бы у меня желания верить в существование твое".

      Ансельм Кентерберийский. Proslogion.

---------------------------------------------------------------------

 Я знаю, где ошибки в приведенных выше  доказательствах,  но  эти
 сведения я опубликую позже.

 Меня занимает действительно интересный вопрос: какие свойства  и
 определения Господа можно считать внутренне непротиворечивыми  в
 том смысле, что отрицание их недоказуемо (например,  всеведение,
 всемогущество и свобода воли для человечества,  в  совокупности,
 понимаемые в "разумном" смысле, внутренне противоречивы) и,  ка-
 ков уровень доказуемости этих свойств или их отрицаний  (я  счи-
 таю, что доказать (и опровергнуть !) существование  Бога  рацио-
 нальными средствами невозможно, но можно ли доказать  недоказуе-
 мость существования (и/или несуществования) или доказать недока-
 зуемость недоказуемости существования  или  доказать  недоказуе-
 мость ...).

    21.06.97                        LAD

Mon, 01 Jan 0001 00:00:00 +0000

Date: 1993/08/17

             Э П И Г Р А Ф Ы   К   К У Р С У


                                         " ... выделить из застывшего
                                           торгашества современного мира
                                           пьянящее молодое вино, нет,
                                           мед интеллектуального нонсенса."
                                           
                                                  Г.К. Честертон
                                                  
                                         " Интеллектуальная узость
                                           ширится."
                                           
                                                  С. Ежи Лец

                                         " ... Вам откроются истины 
                                           великие, а также узнаете Вы
                                           полезные сведения, касающиеся
                                           политики и домоводства ..."
                                            
                                                  Ф. Рабле
                                                   
                                         " Всякая истина абсолютно 
                                           бесполезна."
                                            
                                                  М.И. Альперин
                                            
                                         " Я знаю, о чем ты думаешь, -
                                           сказал Труляля - но это не
                                           так ! Ни в коем разе !" "И
                                           задом наперед, совсем наобо-
                                           рот", подхватил Траляля.
                                           "Если бы это было так, так
                                           могло бы быть, если бы было
                                           бы так, то так бы оно и было,
                                           но так, как это не так, так
                                           оно и не этак. В этом
                                           суть логики. "
                                             
                                                  Л. Кэрролл
                                              
                                         " Логика, оторванная от
                                           своего естественного
                                           носителя - человеческого
                                           мозга, заморожена в микро-
                                           схемах современных компью-
                                           теров. В человеческой голо-
                                           ве она живет совершенно
                                           иначе, и вечные попытки
                                           человечества понять самое
                                           себя постоянно возвращают
                                           нас к раздумьям, которым
                                           посвящена эта книжка.
                                           Модели, которые в ней 
                                           предлагаются, бывают смешны,
                                           то своей простотой, то
                                           эксцентричностью. Смех от
                                           души над собственной логи-
                                           кой целителен во многих
                                           конфликтах "
                                              
                                                Ю. И. Манин
                                                
                                               Из предисловия к "Прин-
                                               цесса или тигр" Р.Смаллиана


                                         " ... Если выполнение насто-
                                           ящего контракта отменяется 
                                           или откладывается, полностью
                                           или частично, в связи с 
                                           запретом на экспорт, стихий-
                                           ным бедствием, войной, эмбарго,
                                           мобилизацией, бунтом, общест-
                                           венными беспорядками, военным
                                           положением, забастовкой, лока-
                                           утом или другими трудовыми 
                                           конфликтами, нехваткой или
                                           отсутствием электрэнергии,
                                           чумой или другими эпидемиями,
                                           карантином, пожаром, наводнением,
                                           приливной волной (цунами), тай-
                                           фуном, землетрясением, взрывом,
                                           банкротством, ликвидацией пред-
                                           приятия или несостоятельностью
                                           производителей или поставщиков
                                           товаров, то Продавец не несет
                                           ответственности за невыполнение
                                           настоящего контракта ..."
                                              
                                            Из одного контракта покойного
                                              Хизунова Н.М.

                                         " ... Ибо есть много непокор-
                                           ных, пустословов и обманщиков,
                                           особенно из обрезанных, ко-
                                           торым должно заграждать уста:
                                           они развращают целые домы,
                                           уча, чему не должно ..."  
                                              
                                              Ап. Павел. Послание к Титу
                                              
                                         " Нонсенс, как любил повторять
                                           Г.К. Честертон, есть такой 
                                           способ видеть жизнь, в котором
                                           есть что-то от религиозного 
                                           смирения и восторга."
                                           
                                             М. Гарднер. 
                                             Аннотированная Алиса.

Mon, 01 Jan 0001 00:00:00 +0000

Date: 1997/06/08

Я честно хотел написать о Борхесе, но у меня не получилось. Что получилось, следует ниже. Я прекрасно понимаю, что я эгоист - пишу о том, что интересует, в первую очередь, меня. Правда, я надеюсь, что тебя это тоже, до некоторой степени, интересует - иначе бы не писал. Ну что ж, задай встречную тему, будем развлекаться в multithreading mode. Что же касается нижеследующего, то единственное, что я хотел бы знать, это интересно ли тебе было прочитать продолжение (т.е. конкретные темы: что-нибудь вроде “Свобода выбора для чайников” - шучу, “Парадоксы свободы выбора” или “Формальная психология”) ? Или это слишком сложно ? Или это слишком просто ? В принципе, я могу оставить лишь на чуть-чуть больше формализма, чем наблюдается в аналогичных эссе Борхеса.

Mon, 01 Jan 0001 00:00:00 +0000

Date: 1993/04/21

Слишком много громких слов.
Надо объяснения и примеры.

Ссылки на мат-мех - лишние. */

                                    " ... выделить из застывшего
                                      торгашества современного мира
                                      пьянящее молодое вино, нет,
                                      мед интеллектуального нонсенса."

                                             Г.К. Честертон

                                    " Интеллектуальная узость
                                      ширится."

                                             С. Ежи Лец

                    К У Р С   
                   ---------

                  СОВРЕМЕННАЯ       

              С Х О Л А С Т И К А

ЦЕЛЬ : #

Наслаждение бесплодным мудрствованием.

ТЕМЫ ЗАНЯТИЙ : #

КЛАССИЧЕСКИЕ ПАРАДОКСЫ

Fairly Modern Scholasticism

Chapter I

How many angels can dance on the head of a pin?

Rabelais: Excerpts

Rabelais: Lettres de Gargantua

In the original/Oригинал #

Алиса: от уксуса — куксятся (ru)

Винни Пух: Бог, Демиург или игра художественных ребусов? (ru)

Chapter II

What’s the French for fiddle-de-dee?

Винни Пух: Летопись Олександра Милна (ru)

Лѣтопись о Венеполкѣ и дружинѣ его #

В лѣто 6430 #

Alice: Translating cultural differences

Chapter III

Tao & Te

Alice: Translating to exotic languages

Chapter IV

Test

Alice: Translating Jabberwocky (ru)

Chapter V

Chapter VI

History

Quines

Chapter VII

Law

Chapter VIII

Fairly Modern Scholasticism Website in making

Cusdra gloca

Translations: Глокая Куздра

Extraterrestrial

SETI #

Introduction

Laws & Theorems

Electoral systems & party/seat maps #

Social choice & preference aggregation #

Legislatures, coalitions, and agenda power #

Collective action, parties, & political sociology #

Mechanism design & incentives (governance‑relevant) #

Opinion dynamics & learning #

Magic

Modal Logic

Ontological Argument(s)

Anselm: Context, His Work, and the Ontological Arguments [Draft] #

Anselm of Canterbury: Life and Context #

PIE

Prerequisits

Modal logic, Possible worlds, Necessary vs Possible etc. #

Set Theory: Classes vs Sets #

Quotations/Centos/Цитаты/Центоны (mostly ru)

Цитаты и центоны #

Self-reference

Prisoner’s Dilemma #

You can differentiate pretty much everything

You can differentiate pretty much everything: #

Laws & Theorems (TODO)

Electoral & party-system regularities #

Social choice & voting theory #

Legislatures, bargaining, and agendas #

Collective action, parties, and regimes #

Federalism & policy dynamics #

Voting power & measurement #

Mechanism design & incentives for governance #

Opinion dynamics / learning in networks (bonus) #

Gesta Romanorum

Gödel’s version

Gödel’s Ontological Argument [Draft] #

Overview #

Nemo, vir perfectus

Enumerative combinatorics (ru)

Enumerative combinatorics/Перечислительная комбинаторика: #

Topological Theology

Topological Theology: Toward a Geometry of Belief and Necessity [Draft] #

1. Introduction: The Geometry of Belief #

AI Koans

Koans #

By formalization degree

Gates

Gates of Paradise #

Gates of Hell #