Sergey Budaev

Nov 07, 2024

The omnipotence paradox reduces to the omniidiota dilemma

…sed evanuerunt in cogitationibus suis et obscuratum est insipiens
cor eorum dicentes enim se esse sapientes stulti facti sunt.
— Rom 21-22

There is an old—perhaps ancient—“puzzle” or “paradox” that is quite often used by atheists—even today—to prove that the concept of omnipotence is self-contradictory; ergo the existence of omnipotent being is logically impossible. One of the cornerstones of this reasoning is the paradox of the stone.

https://budaev.info/images/rock.jpg

The paradox of the stone

Can God create a stone so heavy that He cannot lift it?

  • If He can, then He is not omnipotent because of inability to lift such a stone.

  • If He cannot create such a stone, then He is not omnipotent because of inability to create such a huge object

In either case, the conclusion is straightforward: an omnipotent being (God) cannot exist, it is a logically contradictory concept.

St Thomas Aquinas did not address the paradox of the stone directly. Hist treatment of the omnipotence (Summa Theologiae I Q XXV) is much more abstract, detailed and deeper than the stone paradox caricature. Nonetheless, St Thomas concedes that “Sed rationem omnipotentiae assignare videtur difficile.” (It is difficult to account omnipotence). Moreover, St Thomas considers whether negation capacities like “deny Himself” are consistent with omnipotence, e.g. (2) "… Sed Deus non potest peccare, neque seipsum negare, ut dicitur II Tim. 2,13. Ergo Deus non est omnipotens.” (… But God cannot sin, nor deny Himself as it is said in 2 Tim. 2:13. Therefore He is not omnipotent), and further, in (5) “Utrum Deus possit facere quae non facit” (Can God do what He does not?).

Moreover, further, he clearly states “Hoc enim omnipotentiae non subditur, non propter defectum divinae potentiae; sed quia non potest habere rationem factibilis neque possibilis. Quaecumque igitur contradictionem non implicant, sub illis possibilibus continentur, respectu quorum dicitur Deus omnipotens. Ea vero quae contradictionem implicant sub divina omnipotentia non continentur: quia non possunt habere possibilium rationem. Unde convenientius dicitur quod non possunt fieri, quam quod Deus non potest ea facere …” (For this is not submitted to omnipotence, not because of a lack of divine power; but because it cannot have a reason that is feasible or possible. All things, therefore, which do not imply a contradiction, are contained under those things which are possible, in respect of which God is said to be omnipotent. But those things which imply a contradiction are not contained under the divine omnipotence: because they cannot have the reason of the possible. Hence it is more appropriate to say that they cannot be done, than that God cannot do them.) Incidentally, there is a close similarity between this omnipotence attribute following St. Thomas and the concept of positive qualities—purely positive qualities that are not limited or negated—used by Kurt Gödel as the principal element in hist modal version of the “ontologisk bevis” (see Gödel, 1995, pp. 389, 401, 403).

The paradox of the stone stone has been considered by many modern philosophers, including Mavrodes (1963), Frankfurt (1964), Cowan (1965,1974), Plantinga (1967), Schrader (1979), Anderson (1984) and more recently Cogburn (2004), Hill (2014), Beall & Cotnoir (2017), Wreen (2022), Bassford (2023). The treatment of the paradox by these authors seems overtly inkhorn, over-complicated, confusing and deliberately verbose. The Wikipedia (2024) description of the “omnipotence paradox” follows the confusing line of the modern philosophy. It looks like the philosopher’ job is to make trivial things fully unintelligible. Basically, if one dares to make a winding way through the thicket of quantum entangled reasoning, the principal argument nearly repeats that in the St. Thomas’ wording: omnipotence does not entail arbitrary, logically impossible and contradictory things: inability to do a self-contradictory task does not imply that the agent is limited. [An alternative is the Cartesian view that God is above and not subject to logic, so free from any contradiction, (see Bassford, 2023), but this position is incoherent (Geach, 1973)].

Some go much further by arguing that there must be truth-value gaps not accounted for by classical logic (Beall & Cotnoir, 2017), that the omnipotence concept is useless in theology (Cowan, 1974), that the solution to the stone paradox is that “it proves nothing” (Schrader, 1979) or that God is not omnipotent even if we do not deny His perfections and power (Hill, 2014).

However, the simplest and best solution to the stone paradox in my view was provided by (Savage, 1967): “God can create stones of any poundage, and God can lift stones of any poundage” (p. 79). Strangely, this transparent phrase does not look like the conclusions most philosophers like to come to.

However, the paradox of the stone can be reduced to a trivial form which I call “the omniidiota dilemma,” with an instructive corollary. The argument is as follows.

The omniidiota dilemma

Definition. Idiot is defined as someone suffering from (in certain cases, perhaps enjoying) extreme intellectual disability, primarily an utmost form of acalculia.

Comments. Dyscalculia describes a deficit in processing numerical information, learning and recalling arithmetic, as well as making calculations (American Psychiatric Association, 2022). Its extreme form is well described in the psychiatric and psychological literature as acalculia (Dehaene, 1997; Nieder, 2025). A person with acalculia suffers from extreme challenges with even the most basic arithmetic operations, often as a consequence of severe brain damage or extreme developmental disorder. For example, if asked to add one to a given number, the he/she is unable to do such elementary calculation. It is important to note that the term “idiot” should not be understood pejoratively. The original meaning of ἰδιώτης in Greek is just a normal person. There is also a large literature on idiot savants who combine extreme deficit in one cognitive capacity or many diverse capacities with much above the average achievement in certain specific intellectual domain (Dehaene, 1997).

The omniidiota dilemma:

Can a person make such a big number that he/she cannot imagine a number greater than that?

  • If he/she can imagine such a number, then it proves he/she is an idiot, since the task of guessing a number that is greater than the given number (without any other conditions or restrictions) is trivial. It can be solved in any of many different ways, e.g. adding one or two to the big number, or just doubling this number. Incapacity to increase a number (big or small) points to severe cognitive deficit.

  • If he/she cannot imagine such a number, then he/she is an idiot, because just imagining any number is a trivial task: take any number and then imagine an even bigger number using any of the elementary arithmetic operations. Incapacity to create a number therefore points to severe cognitive deficit.

It follows from the omniidiota dilemma that you (the reader) and I (the writer) are all idiots: Being not an idiot is a logically contradictory proposition. The dilemma is then simple: everyone is either an idiot or … an idiot: tertium non datur.

Corollary. It follows from The paradox of the stone and The omniidiota dilemma that, if God’s omnipotence is considered self-contradictory, then everyone is necessarily an idiot.

References

  • American Psychiatric Association, ed (2022). Diagnostic and statistical manual of mental disorders: DSM-5-TRTM. American Psychiatric Association Publishing, Washington, DC, Fifth revised edition.

  • Anderson, C.A. (1984). Divine omnipotence and impossible tasks: An intensional analysis– Int J Philos Relig 15: 109–124.

  • Bassford, A.D. (2023). God and the problem of logic. Cambridge University Press.

  • Beall, J. & Cotnoir, A.J. (2017). God of the gaps: a neglected reply to God’s stone problem– Analysis 77: 681–689.

  • Cogburn, J. (2004). Paradox lost– Can. J. of Philosophy 34: 195–216.

  • Cowan, J.L. (1965). The paradox of omnipotence– Analysis 25: 102–108.

  • Cowan, J.L. (1974). The paradox of omnipotence revisited– Can. J. of Philosophy 3: 435–445.

  • Dehaene, S. (1997). The number sense: how the mind creates mathematics. Oxford University Press.

  • Frankfurt, H.G. (1964). The logic of omnipotence– Philosophical Review 73: 262–263.

  • Geach, P.T. (1973). Omnipotence– Philosophy 48: 7–20.

  • Gödel, K. (1995). Collected Works: Volume III: Unpublished essays and lectures– (S. Feferman, J. W. D. Jr., W. Goldfarb, C. Parsons, & R. Solovay, Eds.). Oxford University Press

  • Hill, S. (2014). Giving up omnipotence– Can. J. of Philosophy 44: 97–117.

  • Mavrodes, G.I. (1963). some puzzles concerning omnipotence– The Philosophical Review 72: 221.

  • Nieder, A. (2025). The calculating brain– Physiological Reviews 105: 267–314.

  • Plantinga, A. (1967). God and other minds. Cornell University Press.

  • Savage, C.W. (1967). The paradox of the stone– The Philosophical Review 76: 74-79.

  • Schrader, D.E. (1979). A solution to the stone paradox– Synthese 42: 255–264.

  • Wikipedia (2024, November 7). Omnipotence paradox. https://en.wikipedia.org/wiki/Omnipotence_paradox.

  • Wreen, M. (2022). The contradiction approach to solving problems about omnipotence– TheoLogica 6: 52533.

Feb 06, 2023

XMPP: en ideell direktemeldingssystem for et familie

Forskjellige meldingssystemer ble populær de siste tiårene. Den meste kjente eksempler er Whatsapp, Facebook Messenger, Snapchat eller Discord. Mange bruker dem uten å tenke bare fordi de ser praktiske ut og er gratis. Kostnadene er imidlertid alvorlig: den er personvernkatastrofe. Brukere har ingen egenkontroll, så eieren kan endre alle funksjoner uten at brukerne vilje. Disse tjenstene (platformene) er laget og fullstendig kontrollert av store monopoler fokuserte på å suge alle slags av brukerdata. Personvernkostnaden til store kommersielle direktmeldingssystemer av er mye høyere enn brukervennligheten. De er bevisst laget for å være gjensidig uforenlige. En bruker av Whatsapp kan ikke sende en melding til noen på Telegram eller Facebook. Bare se for deg at du hadde Telenor men kunne ikke sende sms til noen på Telia, kun til sin eget system Telenor. Eller se hvis du kunne ikke sende en epost fra Gmail til Yahoo. Det er helt dumt.

Nå, blant de populære systemene er det bare epost det eneste systemet på internett som har ikke vært monopolisert. Og det er fortsett fordi epost ikke er en plattform (eller 'ecosystem'), men åpen og federert protokoll etter eget design. Alle kan konfigurere og kjøre egen mailserver og meldinger skal sendes mellom evt. Alle kan velge mellom mange epost apper. Alle kan legge til ytterligere funksjonalitet, slik at ende-til-ende kryptering, men interoperabilitet opprettholdes.

Protokoll betyr et sett med regler og konvensjoner for interoperabilitet, ikke et enkelt komplett produkt.

xmpp logo

Men, det finnes en direktemeldingssystem som er like enkel å bruke som Whatsapp, men mangler de fleste av problemene. Faktisk, er det XMPP. Det er en åpen og federert protokoller som epost. Alle kan ha egen server, så kan ha kontakt med noen på alle serverer som helst, akkurat som epost eller mobil. I tillegg, kan alle også velge mellom ulike app etter vilje: foretrekker du funksjonalitet, eller skjønnhet eller bare det å være veldig lett... Det finnes også flere XMPP serverer programvare å velge mellom, de fleste er gratis og åpen kildekode. Med XMPP kan du få alt: direktemeldinger, filer, tale, video, gruppechat, flere enheter. Det er også flere typer av ende-til-ende kryptering (OMEMO, GPG, OTR) og mye mer. Det finnes enda en XMPP-basert sosialnettverk: Movim.

XMPP er ikke alene. Det finnes også en alternativ åpen og federert protokoll: Matrix. Men sammenlignet med XMPP, har den flere mangler: (a) problemer med personvern (selv om mange ikke bryr seg om det), (b) alvorlige ytelsesproblemer: mens XMPP fungerer fint selv på den minste og billigste VPS, Matrix server krever mange gigabyter med RAM og stor diskplass, på denne grunn er det dyrere i drift, også krever Matrix mye mer oppmerksomhet (f.eks. se her). Det kan være berettiget i bedrifts- eller stororganisasjonsbruk, men ikke i hjemmebruk.

Så XMPP er ideell for å lage et helt privat kommunikasjonssystem for et familie. Du trenger bare dette: (a) en server: billigste VPS eller enda en Rasberry Pi boks vil fungere fint (f.eks ejabberd skal støtte hundrevis brukere med dette nivå); (b) server programvare som kjøres alt: sjekke ut flere og velge selv, de mest populære er ejabberd og Prosody; (c) domenenavn slik at brukere kan konnektere til: domenenavn er også en del av brukernavn, som i epost, f. eks alexander@johansson.me (enkelt DNS oppsett trenges for å støtte tale og video); (d) hver bruker kan velge hvilken klientapp som skal brukes (f. eks Monal eller Siskin IM på iPhone). Og det er det.

Nå må serveren konfigureres. Så kontrollerer du systemet fullt ut! Du kan registrere så mange brukere at du trenger, men for en familieserver anbefaler jeg ikke å tillate åpen registrering av alle som helst. For eksempel du kan registrere flere kontoer for en enkelt bruker hvis nyttig (å bruke med forskjellige formål). Ingen mobilnummer kreves: f.eks. trenger du ikke fem SIM-korter for fem brukere, faktisk ingen er nødvendig. Det også anbefales å konfigurere ‘Shared roster group’ (delt brukerliste) for å unngå å legge til familiekontakter manuelt for alle familiemedlemmer. Ende-til-ende kryptering er ikke avgjørende for din egen private server fordi transportkryptering (TLS) brukes alltid; men det er lettere å konfigurere hvis du bruker flere enheter (mobil, nettbrett, desktop, laptop, web-basert). Men det er bedre og sikrere å bruke ende-til-ende kryptering til å kommunisere med noen på andre offentlige servere.

Og nå, når flere grupper har sine egne private servere, kan de kommunisere fritt og sikkert. For eksempel, det er nå lett for pappa@johansson.me å sende melding (eller video-ringe) til mattias@johansson.me (samme familier og på samme privat server) eller til en venn john@dowfamily.info eller enda alle som bruker hundrevis av åpne gratis offentlige serverer f. eks maria@jabber.no (på Jabber Norge), christian@jabber.de, oyvindharaldsson@tigase.org eller nikolaibode@riseup.net.

Federated network

Se her for litt mer informasjon om XMPP.

Lenker

Oct 23, 2020

Using Subversion to manage Office files

Because Subversion works best (and can track) plain text files, it is not well adapted for versioning normal Microsoft Office or LibreOffice/OpenOffice documents. However, both are actually zipped XML files. Therefore, it is possible both directly (binary) and using flat XML text (full version control/merge support).

Microsoft Office

For Microsoft Office, there are extensions for Subversion: Msofficesvnf, OfficeSVN and MagnetSVN.

Also, TortoiseSVN can use native Microsoft Word "compare versions" tool to check for differences between versions. Check out the Diff-Scripts in the TortoiseSVN installation directory. Note that these scripts are js and can be blocked by corporate or university security policy: ask the IT!

Subversion keywords

Subversion keywords (properties) can be managed in Microsoft Word files using SvnProperties4MSOffice.

For more information see https://gotomation.info/2019/01/svn-version-control-office-documents/.

If special software for adapting Office files is not used, it is recommended to use Microsoft uncompressed XML formats for all outputs. While they take more disk space (because it is unzipped), these are plain text XML, so Subversion treats them very efficiently. Also, svn keywords/tags can be used within the text without any additional tools.

LibreOffice or OpenOffice

For LibreOffice, the easiest way is to use .fodt format for saving the document (instead of .odt or .docx), FODT is a flat XML format. A drawback is that it is unzipped and takes much more disk space. But Subversion does not store all versions of the whole file, it saves effectively differences between the versions. Therefore, there is little or no overhead within the version control system of working with fodt files.

Quite importantly, it is then trivial to add keywords to the fodt file on the svn system. Then, it is easy to include normal svn keywords/tags] such as $Revision 1234$ into whenever needed into the fodt file and it will autoupdate on every commit without any additional tools. But note that the whole tag $Revision 1234$ must have the same formatting (i.e. no bold/italic/other font within and including the $ $ delimiters).

For more information see https://wiki.documentfoundation.org/Libreoffice_and_subversion and https://wiki.documentfoundation.org/Svn:keywords.

Conflicts

To avoid conflicts when several people are working concurrently with svn-tracked files, use svn locks. This is because the files are like binary and cannot be easily merged, unlike normal plain text code. In fact, they could be merged, but do not always expect merge to work as expected because the text file includes complex tags and these may be broken at merge.

It is also difficult to resolve conflicts visually. A useful trick is to set this property on the file: svn propset svn:needs-lock "true" file_name.fodt. Then, any svn update will result this file becoming read-only. To allow editing, file lock must be enabled. This ensures that only one user can edit the file at a time.

How differences between versions can be checked?

Because the Libreoffice files are not just text, checking differences is not trivial. Normal diff tool will result in lots of messy XML differences.

But there is a Linux bash script that helps comparing the files through converting FODT to PDF and then running diffpdf utility:

There is also a Windows/DOS batch script that does this trick:

The script requires diffpdf program that is found in most Linux distributions. A Windows version is open source but id not normally distributed in the binary ".exe" form

How to use diffodt script

  • Compare working copy with the latest revision from svn: diffodt paper.fodt

  • Compare the working document with r9925: diffodt 9925 paper.fodt

  • Compare two specific versions of the document: diffodt 9925 9987 paper.fodt

Integrating Subversion into LibreOffice User Interface

Lo_SVN is a LibreOffice extension that adds a basic Subversion functionality into the LibreOffice interface. Then, basic svn commands are available from the LibreOffice menu.

Lo_SVN

posted at 09:47  ·   ·  Subversion  svn  wiki  Q&A