Related papers: On Theodorus' lesson in the Theaetetus 147d-e
Moores Paradox is a test case for any formal theory of belief. In Knowledge and Belief, Hintikka developed a multimodal logic for statements that express sentences containing the epistemic notions of knowledge and belief. His account…
For rational functions, we use simple but elegant techniques to strengthen generalizations of certain results which extend some widely known polynomial inequalities of Erd\"os-Lax and Tur\'an to rational functions R. In return these…
This paper belongs to the research on the limit of the first incompleteness theorem. Effectively inseparable theories (EI) can be viewed as an effective version of essentially undecidable theories (EU), and EI is stronger than EU. We…
In this short note we show, providing counterexamples, that the "two important theorems" in the recent paper [Y, Yuan, Global optimization solutions to a class of non-convex quadratic minimization problems with quadratic constraints, in…
In several papers, John Norton has argued that Bayesianism cannot handle ignorance adequately due to its inability to distinguish between neutral and disconfirming evidence. He argued that this inability sows confusion in, e.g., anthropic…
This paper deals with Student t-processes as studied in (Cufaro Petroni N 2007 J. Phys. A, Math. Theor. 40(10), 2227-2250). We prove and extend some conjectures expressed by Cufaro Petroni about the asymptotical behavior of a Student…
We revisit the flatland paradox proposed by \cite{ston1976} which is an example of non-conglomerability. The aim of the paper is to show that the improperness of the prior is not directly involved in the inconsistency. First, we show that…
We study issues related to F-theory on Calabi-Yau fourfolds and its duality to heterotic theory for Calabi-Yau threefolds. We discuss principally fourfolds that are described by reflexive polyhedra and show how to read off some of the data…
Arrow's Impossibility Theorem is a seminal result of Social Choice Theory that demonstrates the impossibility of ranked-choice decision-making processes to jointly satisfy a number of intuitive and seemingly desirable constraints. The…
This paper revisits Buridan's Bridge paradox (Sophismata, chapter 8, Sophism 17), itself close kin to the Liar paradox, a version of which also appears in Bradwardine's Insolubilia. Prompted by the occurrence of the paradox in Cervantes's…
The main aim of this paper is to make a remark about the relation between (i) dualities between theories, as `duality' is understood in physics and (ii) equivalence of theories, as `equivalence' is understood in logic and philosophy. The…
We investigate several technical and conceptual questions. Our main subject is the investigation of independence as a ternary relation in the context of non-monotonic logic. In the context of probability, this investigation was started by…
This article critically reappraises arguments in support of Cantor's theory of transfinite numbers. The following results are reported: i) Cantor's proofs of nondenumerability are refuted by analyzing the logical inconsistencies in…
The pros and cons of various forms of atomism and holism that are applicable both in physical science and today's philosophy of nature are evaluated. To this end, Lewis' thesis of Humean supervenience is presented as an important case study…
These are lecture notes from a course I gave at the University of Wisconsin during the Spring semester of 1993. Part 1 is concerned with Borel hierarchies. Section 13 contains an unpublished theorem of Fremlin concerning Borel hierarchies…
The problem of induction has persisted since Hume exposed the logical gap between repeated observation and universal inference. Traditional attempts to resolve it have oscillated between two extremes: the probabilistic optimism of Laplace…
The work concentrates on relations, which are general and model independent in chaotic system, between time averages of a few (typically {\it very few}) observables. Equilibrium thermodynamics provides a guide and here is attempted to argue…
Tarski initiated a logic-based approach to formal geometry that studies first-order structures with a ternary betweenness relation (\beta) and a quaternary equidistance relation (\equiv). Tarski established, inter alia, that the first-order…
For parameters $n,\delta,B,C$, we obtained a sharp asymptotic formula for the number of $(n+\lfloor n^\delta\rfloor)^2$-dimensional binary contingency tables with non-uniform margins taking values of $\lfloor BCn\rfloor$ and $\lfloor…
Liouville theorem (LT) reveals robust incompressibility of distribution function in phase space, given arbitrary potentials. However, its quantum generalization, Wigner flow, is compressible, i.e., LT is only conditionally true (e.g., for…