Yuri Matiyasevich's theorem states that the set of all Diophantine equations which have a solution in non-negative integers is not recursive. Craig Smoryński's theorem states that the set of all Diophantine equations which have at most finitely many solutions in non-negative integers is not recursively enumerable. Let R be a subring of Q with or without 1. By H_{10}(R), we denote the problem of whether there exists an algorithm which for any given Diophantine equation with integer (...) coefficients, can decide whether or not the equation has a solution in R. We prove that a positive solution to H_{10}(R) implies that the set of all Diophantine equations with a finite number of solutions in R is recursively enumerable. We show the converse implication for every infinite set R \subseteq Q such that there exist computable functions \tau_1,\tau_2:N \to Z which satisfy (\forall n \in N \tau_2(n) \neq 0) \wedge ({\frac{\tau_1(n)}{\tau_2(n)}: n \in N}=R). This implication for R=N guarantees that Smoryński's theorem follows from Matiyasevich's theorem. Harvey Friedman conjectures that the set of all polynomials of several variables with integer coefficients that have a rational solution is not recursive. Harvey Friedman conjectures that the set of all polynomials of several variables with integer coefficients that have only finitely many rational solutions is not recursively enumerable. These conjectures are equivalent by our results for R=Q. (shrink)

Hawley introduced the idea of the client's perspective on knowledge, which she used to illuminate knowing-how and cases of epistemic injustice involving knowing-how. In this paper, I explore how Hawley's idea might be used to illuminate not only knowing-how, but other forms of knowledge that, like knowing-how, are often claimed to be distinct from mere knowing-that, focusing on the case studies of moral understanding and ‘what it is like’-knowledge.

This chapter explores the relationship between knowing-how and skill, as well other success-in-action notions like dispositions and abilities. I offer a new view of knowledge-how which combines elements of both intellectualism and Ryleanism. According to this view, knowing how to perform an action is both a kind of knowing-that (in accord with intellectualism) and a complex multi-track dispositional state (in accord with Ryle’s view of knowing-how). I argue that this new view—what I call practical attitude intellectualism—offers an attractive set of (...) solutions to various puzzles concerning the connections between knowing-how and abilities and skills to perform intentional actions. (shrink)

Is there a successful regress argument against intellectualism? In this article I defend the negative answer. I begin by defending Stanley and Williamson's (2001) critique of the contemplation regress against Noë (2005). I then identify a new argument – the employment regress – that is designed to succeed where the contemplation regress fails, and which I take to be the most basic and plausible form of a regress argument against intellectualism. However, I argue that the employment regress still fails. Drawing (...) on the previous discussion, I criticise further regress arguments given by Hetherington (2006) and Noë (2005). (shrink)

Paul (2014, 2015a) argues that one cannot rationally decide whether to have a transformative experience by trying to form judgments, in advance, about (i) what it would feel like to have that experience, and (ii) the subjective value of having such an experience. The problem is if you haven’t had the experience then you cannot know what it is like, and you need to know what it is like to assess its value. However, in earlier work I argued that ‘what (...) it is like’-knowledge comes in degrees, and I briefly suggested that, consequently, some instances of Paul’s argument schema might commit a fallacy of equivocation. The aim of this paper is to further explore and strengthen this objection by, first, offering a new argument—the modelling argument—in support of it, and then by evaluating a range of replies that might be given to this objection on Paul’s behalf. I conclude that each reply either fails or, at best, only partially succeeds in defending some but not all instances of Paul’s argument schema. In closing, I consider how we might revise Paul’s concepts of transformative experiences and choices in response to this conclusion. (shrink)

This paper initiates the reverse mathematics of social choice theory, studying Arrow's impossibility theorem and related results including Fishburn's possibility theorem and the Kirman–Sondermann theorem within the framework of reverse mathematics. We formalise fundamental notions of social choice theory in second-order arithmetic, yielding a definition of countable society which is tractable in RCA0. We then show that the Kirman–Sondermann analysis of social welfare functions can be carried out in RCA0. This approach yields a proof of Arrow's (...) class='Hi'>theorem in RCA0, and thus in PRA, since Arrow's theorem can be formalised as a Π01 sentence. Finally we show that Fishburn's possibility theorem for countable societies is equivalent to ACA0 over RCA0. (shrink)

In this short survey article, I discuss Bell’s theorem and some strategies that attempt to avoid the conclusion of non-locality. I focus on two that intersect with the philosophy of probability: (1) quantum probabilities and (2) superdeterminism. The issues they raised not only apply to a wide class of no-go theorems about quantum mechanics but are also of general philosophical interest.

In this paper I argue for an association between impurity and explanatory power in contemporary mathematics. This proposal is defended against the ancient and influential idea that purity and explanation go hand-in-hand (Aristotle, Bolzano) and recent suggestions that purity/impurity ascriptions and explanatory power are more or less distinct (Section 1). This is done by analyzing a central and deep result of additive number theory, Szemerédi’s theorem, and various of its proofs (Section 2). In particular, I focus upon the radically (...) impure (ergodic) proof due to Furstenberg (Section 3). Furstenberg’s ergodic proof is striking because it utilizes intuitively foreign and infinitary resources to prove a finitary combinatorial result and does so in a perspicuous fashion. I claim that Furstenberg’s proof is explanatory in light of its clear expression of a crucial structural result, which provides the “reason why” Szemerédi’s theorem is true. This is, however, rather surprising: how can such intuitively different conceptual resources “get a grip on” the theorem to be proved? I account for this phenomenon by articulating a new construal of the content of a mathematical statement, which I call structural content (Section 4). I argue that the availability of structural content saves intuitive epistemic distinctions made in mathematical practice and simultaneously explicates the intervention of surprising and explanatorily rich conceptual resources. Structural content also disarms general arguments for thinking that impurity and explanatory power might come apart. Finally, I sketch a proposal that, once structural content is in hand, impure resources lead to explanatory proofs via suitably understood varieties of simplification and unification (Section 5). (shrink)

This chapter examines some key developments in discussions of the social dimensions of knowing-how, focusing on work on the social function of the concept of knowing-how, testimony, demonstrating one's knowledge to other people, and epistemic injustice. I show how a conception of knowing-how as a form of 'downstream knowledge' can help to unify various phenomena discussed within this literature, and I also consider how these ideas might connect with issues concerning wisdom, moral knowledge, and moral testimony.

Many philosophers accept a view – what I will call the intuition picture – according to which intuitions are crucial evidence in philosophy. Recently, Williamson has argued that such views are best abandoned because they lead to a psychologistic conception of philosophical evidence that encourages scepticism about the armchair judgements relied upon in philosophy. In this paper I respond to this criticism by showing how the intuition picture can be formulated in such a way that: it is consistent with a (...) wide range of views about not only philosophical evidence but also the nature of evidence in general, including Williamson's famous view that E = K; it can maintain the central claims about the nature and role of intuitions in philosophy made by proponents of the intuition picture; it does not collapse into Williamson's own deflationary view of the nature and role of intuitions in philosophy; and it does not lead to scepticism. (shrink)

I demonstrate that Bell's theorem is based on circular reasoning and thus a fundamentally flawed argument. It unjustifiably assumes the additivity of expectation values for dispersion-free states of contextual hidden variable theories for non-commuting observables involved in Bell-test experiments, which is tautologous to assuming the bounds of ±2 on the Bell-CHSH sum of expectation values. Its premises thus assume in a different guise the bounds of ±2 it sets out to prove. Once this oversight is ameliorated from Bell's argument (...) by identifying the impediment that leads to it and local realism is implemented correctly, the bounds on the Bell-CHSH sum of expectation values work out to be ±2√2 instead of ±2, thereby mitigating the conclusion of Bell's theorem. Consequently, what is ruled out by any of the Bell-test experiments is not local realism but the linear additivity of expectation values, which does not hold for non-commuting observables in any hidden variable theories to begin with. I also identify similar oversight in the GHZ variant of Bell's theorem, invalidating its claim of having found an inconsistency in the premisses of the argument by EPR for completing quantum mechanics. Conceptually, the oversight in both Bell's theorem and its GHZ variant traces back to the oversight in von Neumann's theorem against hidden variable theories identified by Grete Hermann in the 1930s. (shrink)

What is the relationship between the linguistic properties of knowledge-how ascriptions and the nature of knowledge-how itself? In this chapter I address this question by examining the linguistic methodology of Stanley and Williamson (2011) and Stanley (2011a, 2011b) who defend the intellectualist view that knowledge-how is a kind of knowledge-that. My evaluation of this methodology is mixed. On the one hand, I defend Stanley and Williamson (2011) against critics who argue that the linguistic premises they appeal to—about the syntax and (...) semantics of knowledge-how and knowledge-wh ascriptions—do not establish their desired conclusions about the nature of knowledge-how itself. But, on the other hand, I also criticize the role that linguistic considerations play in Stanley’s (2011a) response to apparent Gettier-style counterexamples to intellectualism. (shrink)

The present essay took as its hypothesis the premise that the Metaphysical Neutrality proposed by Husserl since his initial studies needs to be recognized with methodological and analytical limits. In order to overcome this limit, a recovery of the Metaphysics and Theory of Knowledge of St. Thomas Aquinas was carried out, interpreting this theory through a Moderate and Direct Realism. As a conclusion, it was possible to identify that there is a very important similarity between both theories, as well as (...) that for phenomenological investigations to achieve their primary cognitive intent, care must be taken not to annihilate moderate realist metaphysics. (shrink)

Bell’s theorem has fascinated physicists and philosophers since his 1964 paper, which was written in response to the 1935 paper of Einstein, Podolsky, and Rosen. Bell’s theorem and its many extensions have led to the claim that quantum mechanics and by inference nature herself are nonlocal in the sense that a measurement on a system by an observer at one location has an immediate effect on a distant entangled system. Einstein was repulsed by such “spooky action at a (...) distance” and was led to question whether quantum mechanics could provide a complete description of physical reality. In this paper I argue that quantum mechanics does not require spooky action at a distance of any kind and yet it is entirely reasonable to question the assumption that quantum mechanics can provide a complete description of physical reality. The magic of entangled quantum states has little to do with entanglement and everything to do with superposition, a property of all quantum systems and a foundational tenet of quantum mechanics. (shrink)

A critical discussion of Seumas Miller's view on knowing-how and joint abilities.

In response to recent work on the aggregation of individual judgments on logically connected propositions into collective judgments, it is often asked whether judgment aggregation is a special case of Arrowian preference aggregation. We argue for the converse claim. After proving two impossibility theorems on judgment aggregation (using "systematicity" and "independence" conditions, respectively), we construct an embedding of preference aggregation into judgment aggregation and prove Arrow’s theorem (stated for strict preferences) as a corollary of our second result. Although we (...) thereby provide a new proof of Arrow’s theorem, our main aim is to identify the analogue of Arrow’s theorem in judgment aggregation, to clarify the relation between judgment and preference aggregation, and to illustrate the generality of the judgment aggregation model. JEL Classi…cation: D70, D71.. (shrink)

In this thesis I examine the view—known as intellectualism—that knowledge-how is a kind of knowledge-that, or propositional knowledge. I examine issues concerning both the status of this view of knowledge-how and the philosophical implications if it is true. The ability hypothesis is an important position in the philosophy of mind that appeals to Gilbert Ryle’s famous idea that there is a fundamental distinction between knowledge-how and knowledge-that. This position appears to be inconsistent with the truth of intellectualism. However, I demonstrate (...) in this thesis that the ability hypothesis can be restated using the intellectualist view of knowledge-how. With regards to the status of intellectualism, I argue that the two main traditional arguments against intellectualism do not succeed. I also provide new and, I claim, successful arguments against intellectualism. These arguments point to a new view of knowledge-how that is distinct from both the standard intellectualist and Rylean views of knowledge-how. (shrink)

The success of deep learning in natural language processing raises intriguing questions about the nature of linguistic meaning and ways in which it can be processed by natural and artificial systems. One such question has to do with subword segmentation algorithms widely employed in language modeling, machine translation, and other tasks since 2016. These algorithms often cut words into semantically opaque pieces, such as ‘period’, ‘on’, ‘t’, and ‘ist’ in ‘period|on|t|ist’. The system then represents the resulting segments in a dense (...) vector space, which is expected to model grammatical relations among them. This representation may in turn be used to map ‘period|on|t|ist’ (English) to ‘par|od|ont|iste’ (French). Thus, instead of being modeled at the lexical level, translation is reformulated more generally as the task of learning the best bilingual mapping between the sequences of subword segments of two languages; and sometimes even between pure character sequences: ‘p|e|r|i|o|d|o|n|t|i|s|t’ → ‘p|a|r|o|d|o|n|t|i|s|t|e’. Such subword segmentations and alignments are at work in highly efficient end-to-end machine translation systems, despite their allegedly opaque nature. The computational value of such processes is unquestionable. But do they have any linguistic or philosophical plausibility? I attempt to cast light on this question by reviewing the relevant details of the subword segmentation algorithms and by relating them to important philosophical and linguistic debates, in the spirit of making artificial intelligence more transparent and explainable. (shrink)

The author’s studies in the philosophy of science, culminating in this book, were inspired by his previous research in the domains of classical and quantum gravity. In fact it was the need to bring some order in the family of modern classical theories of gravitation and to build up the appropriate conceptual foundations of quantum gravity , that forced the author to create his own methodological model of theory change, which he applies rather successfully to the most controversial case study, (...) the Lorentz-Einstein transition. (shrink)

In this article, a possible generalization of the Löb’s theorem is considered. Main result is: let κ be an inaccessible cardinal, then ¬Con( ZFC +∃κ) .

This paper critically engages Philip Mirowki's essay, "The scientific dimensions of social knowledge and their distant echoes in 20th-century American philosophy of science." It argues that although the cold war context of anti-democratic elitism best suited for making decisions about engaging in nuclear war may seem to be politically and ideologically motivated, in fact we need to carefully consider the arguments underlying the new rational choice based political philosophies of the post-WWII era typified by Arrow's impossibility theorem. A distrust (...) of democratic decision-making principles may be developed by social scientists whose leanings may be toward the left or right side of the spectrum of political practices. (shrink)

I point out a sign mistake in the GHZ variant of Bell's theorem, invalidating the GHZ's claim that the premisses of the EPR argument are inconsistent for systems of more than two particles in entangled quantum states.

It has been known for a few years that no more than Pi-1-1 comprehension is needed for the proof of "Frege's Theorem". One can at least imagine a view that would regard Pi-1-1 comprehension axioms as logical truths but deny that status to any that are more complex—a view that would, in particular, deny that full second-order logic deserves the name. Such a view would serve the purposes of neo-logicists. It is, in fact, no part of my view that, (...) say, Delta-3-1 comprehension axioms are not logical truths. What I am going to suggest, however, is that there is a special case to be made on behalf of Pi-1-1 comprehension. Making the case involves investigating extensions of first-order logic that do not rely upon the presence of second-order quantifiers. A formal system for so-called "ancestral logic" is developed, and it is then extended to yield what I call "Arché logic". (shrink)

Mathematical instrumentalism construes some parts of mathematics, typically the abstract ones, as an instrument for establishing statements in other parts of mathematics, typically the elementary ones. Gödel’s second incompleteness theorem seems to show that one cannot prove the consistency of all of mathematics from within elementary mathematics. It is therefore generally thought to defeat instrumentalisms that insist on a proof of the consistency of abstract mathematics from within the elementary portion. This article argues that though some versions of mathematical (...) instrumentalism are defeated by Gödel’s theorem, not all are. By considering inductive reasons in mathematics, we show that some mathematical instrumentalisms survive the theorem. (shrink)

Riker (1982) famously argued that Arrow’s impossibility theorem undermined the logical foundations of “populism”, the view that in a democracy, laws and policies ought to express “the will of the people”. In response, his critics have questioned the use of Arrow’s theorem on the grounds that not all configurations of preferences are likely to occur in practice; the critics allege, in particular, that majority preference cycles, whose possibility the theorem exploits, rarely happen. In this essay, I argue (...) that the critics’ rejoinder to Riker misses the mark even if its factual claim about preferences is correct: Arrow’s theorem and related results threaten the populist’s principle of democratic legitimacy even if majority preference cycles never occur. In this particular context, the assumption of an unrestricted domain is justified irrespective of the preferences citizens are likely to have. (shrink)

In this essay a quantum-dualistic, perspectival and synchronistic interpretation of quantum mechanics is further developed in which the classical world-from-decoherence which is perceived (decoherence) and the perceived world-in-consciousness which is classical (collapse) are not necessarily identified. Thus, Quantum Reality or "{\it unus mundus}" is seen as both i) a physical non-perspectival causal Reality where the quantum-to-classical transition is operated by decoherence, and as ii) a quantum linear superposition of all classical psycho-physical perspectival Realities which are governed by synchronicity as well (...) as causality (corresponding to classical first-person observes who actually populate the world). This interpretation is termed the Nietzsche-Jung-Pauli interpretation and is a re-imagining of the Wigner-von Neumann interpretation which is also consistent with some reading of Bohr's quantum philosophy. (shrink)

The previous two parts of the paper demonstrate that the interpretation of Fermat’s last theorem (FLT) in Hilbert arithmetic meant both in a narrow sense and in a wide sense can suggest a proof by induction in Part I and by means of the Kochen - Specker theorem in Part II. The same interpretation can serve also for a proof FLT based on Gleason’s theorem and partly similar to that in Part II. The concept of (probabilistic) measure (...) of a subspace of Hilbert space and especially its uniqueness can be unambiguously linked to that of partial algebra or incommensurability, or interpreted as a relation of the two dual branches of Hilbert arithmetic in a wide sense. The investigation of the last relation allows for FLT and Gleason’s theorem to be equated in a sense, as two dual counterparts, and the former to be inferred from the latter, as well as vice versa under an additional condition relevant to the Gödel incompleteness of arithmetic to set theory. The qubit Hilbert space itself in turn can be interpreted by the unity of FLT and Gleason’s theorem. The proof of such a fundamental result in number theory as FLT by means of Hilbert arithmetic in a wide sense can be generalized to an idea about “quantum number theory”. It is able to research mathematically the origin of Peano arithmetic from Hilbert arithmetic by mediation of the “nonstandard bijection” and its two dual branches inherently linking it to information theory. Then, infinitesimal analysis and its revolutionary application to physics can be also re-realized in that wider context, for example, as an exploration of the way for physical quantity of time (respectively, for time derivative in any temporal process considered in physics) to appear at all. Finally, the result admits a philosophical reflection of how any hierarchy arises or changes itself only thanks to its dual and idempotent counterpart. (shrink)

I argue that Composition as Identity blocks the plural version of Cantor's Theorem, and that therefore the plural version of Cantor's Theorem can no longer be uncritically appealed to. As an example, I show how this result blocks a recent argument by Hawthorne and Uzquiano.

Introduction to mathematical logic. Part 2.Textbook for students in mathematical logic and foundations of mathematics. Platonism, Intuition, Formalism. Axiomatic set theory. Around the Continuum Problem. Axiom of Determinacy. Large Cardinal Axioms. Ackermann's Set Theory. First order arithmetic. Hilbert's 10th problem. Incompleteness theorems. Consequences. Connected results: double incompleteness theorem, unsolvability of reasoning, theorem on the size of proofs, diophantine incompleteness, Loeb's theorem, consistent universal statements are provable, Berry's paradox, incompleteness and Chaitin's theorem. Around Ramsey's theorem.

We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae (...) are elementary canonical and thus extend Sahlqvist’s theorem over them. In particular, we give a simple example of an inductive formula which is not frame-equivalent to any Sahlqvist formula. Then, after a deeper analysis of the inductive formulae as set-theoretic operators in descriptive and Kripke frames, we establish a somewhat stronger model-theoretic characterization of these formulae in terms of a suitable equivalence to syntactically simpler formulae in the extension of the language with reversive modalities. Lastly, we study and characterize the elementary canonical formulae in reversive languages with nominals, where the relevant notion of persistence is with respect to discrete frames. (shrink)

Tennenbaum's Theorem yields an elegant characterisation of the standard model of arithmetic. Several authors have recently claimed that this result has important philosophical consequences: in particular, it offers us a way of responding to model-theoretic worries about how we manage to grasp the standard model. We disagree. If there ever was such a problem about how we come to grasp the standard model, then Tennenbaum's Theorem does not help. We show this by examining a parallel argument, from a (...) simpler model-theoretic result. (shrink)

Fermat’s Least Time Principle has a long history. World’s foremost academies of the day championed by their most prestigious philosophers competed for the glory and prestige that went with the solution of the refraction problem of light. The controversy, known as Descartes - Fermat controversy was due to the contradictory views held by Descartes and Fermat regarding the relative speeds of light in different media. Descartes with his mechanical philosophy insisted that every natural phenomenon must be explained by mechanical principles. (...) Fermat on the other hand insisted an end purpose for every motion. For example, least time of travel and not the least distance of travel is the end purpose for motion of light. This implied a thinking nature, which was rejected by Descartes. Surprisingly, with contradictory assumptions regarding the relative speeds of light in different media, both Descartes and Fermat came to the same result that the ratio of sines of angles of incidence and refraction is a constant. Fermat’s result came to be known as the ‘Fermat’s least time principle’. We show in this article that Fermat’s least time principle violates a fundamental theorem in geometry – the Ptolemy’s theorem. That leads to the invalidity of Fermat’s principle. -/- . (shrink)

This essay deals with Gödel's Theorems in relationship to Philosophy of Science; firstly, in outlining Ludwig Wittgenstein's position on the limits of philosophical truth that we can derive from Gödel (and how this in turn impacts modern-philosophical conceptions of science), and secondly, the deeper uncertainty about consciousness that Gödel's theorems point to, most notably elucidated by Sir Roger Penrose.

Is a logicist bound to the claim that as a matter of analytic truth there is an actual infinity of objects? If Hume’s Principle is analytic then in the standard setting the answer appears to be yes. Hodes’s work pointed to a way out by offering a modal picture in which only a potential infinity was posited. However, this project was abandoned due to apparent failures of cross-world predication. We re-explore this idea and discover that in the setting of the (...) potential infinite one can interpret first-order Peano arithmetic, but not second-order Peano arithmetic. We conclude that in order for the logicist to weaken the metaphysically loaded claim of necessary actual infinities, they must also weaken the mathematics they recover. (shrink)

The following essay reconsiders the ontological and logical issues around Frege’s Basic Law (V). If focuses less on Russell’s Paradox, as most treatments of Frege’s Grundgesetze der Arithmetik (GGA)1 do, but rather on the relation between Frege’s Basic Law (V) and Cantor’s Theorem (CT). So for the most part the inconsistency of Naïve Comprehension (in the context of standard Second Order Logic) will not concern us, but rather the ontological issues central to the conflict between (BLV) and (CT). These (...) ontological issues are interesting in their own right. And if and only if in case ontological considerations make a strong case for something like (BLV) we have to trouble us with inconsistency and paraconsistency. These ontological issues also lead to a renewed methodological reflection what to assume or recognize as an axiom. (shrink)

About a British Academy collection of papers on Bayes' famous theorem.

A Husserlian phenomenological approach to logic treats concepts in terms of their experiential meaning rather than in terms of reference, sets of individuals, and sentences. The present article applies such an approach in turn to the reasoning operative in various paradoxes: the simple Liar, the complex Liar paradoxes, the Grelling-type paradoxes, and Gödel’s Theorem. It finds that in each case a meaningless statement, one generated by circular definition, is treated as if were meaningful, and consequently as either true or (...) false, although in fact it is neither. The situation is further complicated by the fact that the sentence used to express the meaningless statement is ambiguous, and may also be used to express a meaningful statement. The paradoxes result from a failure to distinguish between the two meanings the sentence may have. (shrink)

Many mathematicians have cited depth as an important value in their research. However, there is no single widely accepted account of mathematical depth. This article is an attempt to bridge this gap. The strategy is to begin with a discussion of Szemerédi's theorem, which says that each subset of the natural numbers that is sufficiently dense contains an arithmetical progression of arbitrary length. This theorem has been judged deep by many mathematicians, and so makes for a good case (...) on which to focus in analyzing mathematical depth. After introducing the theorem, four accounts of mathematical depth will be considered. (shrink)

Leibniz proposed the ‘Most Determined Path Principle’ in seventeenth century. According to it, ‘ease’ of travel is the end purpose of motion. Using this principle and his calculus method he demonstrated Snell’s Laws of reflection and refraction. This method shows that light follows extremal (local minimum or maximum) time path in going from one point to another, either directly along a straight line path or along a broken line path when it undergoes reflection or refraction at plane or spherical (concave (...) or convex) surfaces. The extremal time path avoided the criticism that Fermat’s least time path was subjected to, by Cartesians who cited examples of reflections at spherical surfaces where light took the path of longest time. Thereby it became the standard method of demonstration of Snell’s Laws. Ptolemy’s theorem is a fundamental theorem in geometry. A special case of it offers a method of finding the minimum sum of the two distances of a point from two given fixed points. We show in this paper that Leibniz’s calculus proof of Snell’s Laws violates Ptolemy’s theorem, whereby Leibniz’s proof becomes invalid. (shrink)

This note clarifies an error in the proof of the main theorem of “The Ricean Objection: An Analogue of Rice’s Theorem for First-Order Theories”, Logic Journal of the IGPL, 16(6): 585–590(2008).

On the heels of Franzén's fine technical exposition of Gödel's incompleteness theorems and related topics (Franzén 2004) comes this survey of the incompleteness theorems aimed at a general audience. Gödel's Theorem: An Incomplete Guide to its Use and Abuse is an extended and self-contained exposition of the incompleteness theorems and a discussion of what informal consequences can, and in particular cannot, be drawn from them.

In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions, and equivalence classes of coextensional properties. Part I focuses on Cantor’s theorem, its proof, how it can be used (...) to manufacture paradoxes, Frege’s diagnosis of the core difficulty, and several broad categories of strategies for offering solutions to these paradoxes. (shrink)

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

This is a chapter of a collective volume of Rawls's and Harsanyi's theories of distributive justice. It focuses on Harsanyi's important Social Aggregation Theorem and technically reconstructs it as a theorem in welfarist social choice.

In his recent article Christopher Gauker (2001) has presented a thoughtprovoking argument against deflationist theories of truth. More exactly, he attacks what he calls ‘T-schema deflationism’, that is, the claim that a theory of truth can simply take the form of certain instances of the T-schema.

The authors of the book have come to the conclusion that toensuring the country’s security in the conditions of military aggression, it is necessary to use the mechanisms of protection of territories and population, support of economic entities, international legal levers of influence on the aggressor country. Basic research focuses on assessment the resource potential of enterprises during martial law, the analysis of migration flows in the middle of the country and abroad, the volume of food exports, marketing and logistics (...) system. The research results have been implemented in the different decision-making models during martial law, information and economic security management, formation of personnel potential and assets of enterprises, food, energy and environmental security management, use of budgetary levers and financial instruments. The results of the study can be used in the developing of directions, programs and strategies for the post-war recovery of Ukraine’s economy and the attraction of foreign investments in the regions, decision-making at the level of ministries and agencies that regulate security management processes. The results can also be used by students and young scientists in the educational process and conducting scientific research on the problems of ensuring the country’s security. (shrink)

The paper is a continuation of another paper published as Part I. Now, the case of “n=3” is inferred as a corollary from the Kochen and Specker theorem (1967): the eventual solutions of Fermat’s equation for “n=3” would correspond to an admissible disjunctive division of qubit into two absolutely independent parts therefore versus the contextuality of any qubit, implied by the Kochen – Specker theorem. Incommensurability (implied by the absence of hidden variables) is considered as dual to quantum (...) contextuality. The relevant mathematical structure is Hilbert arithmetic in a wide sense, in the framework of which Hilbert arithmetic in a narrow sense and the qubit Hilbert space are dual to each other. A few cases involving set theory are possible: (1) only within the case “n=3” and implicitly, within any next level of “n” in Fermat’s equation; (2) the identification of the case “n=3” and the general case utilizing the axiom of choice rather than the axiom of induction. If the former is the case, the application of set theory and arithmetic can remain disjunctively divided: set theory, “locally”, within any level; and arithmetic, “globally”, to all levels. If the latter is the case, the proof is thoroughly within set theory. Thus, the relevance of Yablo’s paradox to the statement of Fermat’s last theorem is avoided in both cases. The idea of “arithmetic mechanics” is sketched: it might deduce the basic physical dimensions of mechanics (mass, time, distance) from the axioms of arithmetic after a relevant generalization, Furthermore, a future Part III of the paper is suggested: FLT by mediation of Hilbert arithmetic in a wide sense can be considered as another expression of Gleason’s theorem in quantum mechanics: the exclusions about (n = 1, 2) in both theorems as well as the validity for all the rest values of “n” can be unified after the theory of quantum information. The availability (respectively, non-availability) of solutions of Fermat’s equation can be proved as equivalent to the non-availability (respectively, availability) of a single probabilistic measure as to Gleason’s theorem. (shrink)

Sequel to Part I. In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions and equivalence classes of coextensional properties. Part II addresses Russell’s own various attempts to solve these (...) paradoxes, including strategies that he considered and rejected (limitation of size, the zigzag theory, etc.), as well as his own final views whereupon many purported entities that, if reified, lead to these contradictions, must not be genuine entities, but ‘logical fictions’ or ‘logical constructions’ instead. (shrink)