The semantic paradoxes are associated with self-reference or referential circularity. However, there are infinitary versions of the paradoxes, such as Yablo's paradox, that do not involve this form of circularity. It remains an open question what relations of reference between collections of sentences afford the structure necessary for paradoxicality -- these are the so-called "dangerous" directed graphs. Building on Rabern, et. al (2013) we reformulate this problem in terms of fixed points of certain functions, thereby boiling it down to get (...) a purely mathematical problem. (shrink)

This essay provides a novel account of iterated epistemic states. The essay argues that states of epistemic determinacy might be secured by countenancing iterated epistemic states on the model of fixed points in the modal $\mu$-calculus. Despite the epistemic indeterminacy witnessed by the invalidation of modal axiom 4 in the sorites paradox -- i.e. the KK principle: $\square$$\phi$ $\rightarrow$ $\square$$\square$$\phi$ -- a hyperintensional epistemic $\mu$-automaton permits fixed points to entrain a principled means by which to iterate epistemic states and account (...) thereby for necessary conditions on self-knowledge. The hyperintensional epistemic $\mu$-calculus is applied to the iteration of the epistemic states of a single agent instead of the common knowledge of a group of agents, and is thus a novel contribution to the literature. (shrink)

Cuneo and Shafer-Landau (2014) argued that there are moral conceptual truths that are substantive in content, what they called ‘moral fixed points’. I argue that insofar as we have some reason to postulate moral fixed points, we have equal reason to postulate epistemic fixed points (e.g. the factivity condition). To this effect, I show that the two basic reasons Cuneo and Shafer-Landau (2014) offer in support of moral fixed points naturally carry over to epistemic fixed points. In particular, epistemic fixed (...) points exhibit the four ‘marks’ of conceptual truths that they identify and can be utilized to address important challenges to epistemic realism. I conclude that insofar as we have some reason to postulate moral fixed points, we have equal reason to postulate epistemic fixed points. -/- . (shrink)

We show that any coherent complete partial order is obtainable as the fixed-point poset of the strong Kleene jump of a suitably chosen first-order ground model. This is a strengthening of Visser’s result that any finite ccpo is obtainable in this way. The same is true for the van Fraassen supervaluation jump, but not for the weak Kleene jump.

Political theorists study the attributes of desirable social-moral states of affairs. Schaefer (forthcoming) aims to show that "static political theory" of this kind rests on shaky foundations. His argument revolves around an application of an abstruse mathematical theorem -- Kakutani's fixed point theorem -- to the social-moral domain. We show that Schaefer has misunderstood the implications of this theorem for political theory. Theorists who wish to study the attributes of social-moral states of affairs should carry on, safe in the knowledge (...) that Kakutani's theorem poses no threat to this enterprise. (shrink)

‎A universal schema for diagonalization was popularized by N. S‎. ‎Yanofsky (2003)‎, ‎based on a pioneering work of F.W‎. ‎Lawvere (1969)‎, ‎in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function‎. ‎It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema‎. ‎Here‎, ‎we fit more theorems in the universal‎ ‎schema of diagonalization‎, ‎such as Euclid's proof for the infinitude of the primes and new proofs (...) of G. Boolos (1997) for Cantor's theorem on the non-equinumerosity of a set with its powerset‎. ‎Then‎, ‎in Linear Temporal Logic‎, ‎we show the non-existence of a fixed-point in this logic whose proof resembles the argument of Yablo's paradox (1985‎, ‎1993)‎. ‎Thus‎, ‎Yablo's paradox turns for the first time into a genuine mathematico-logical theorem in the framework of Linear Temporal Logic‎. ‎Again the diagonal schema of the paper is used in this proof; and it is also shown that G. Priest's inclosure schema (1997) can fit in our universal diagonal / fixed-point schema‎. ‎We also show the existence of dominating (Ackermann-like) functions (which dominate a given countable set of functions‎, ‎such as primitive recursive functions) in the schema. (shrink)

In this paper I introduce Horwich’s deflationary theory of truth, called ‘Minimalism’, and I present his proposal of how to cope with the Liar Paradox. The proposal proceeds by restricting the T-schema and, as a consequence of that, it needs a constructive specification of which instances of the T-schema are to be excluded from Minimalism. Horwich has presented, in an informal way, one construction that specifies the Minimalist theory. The main aim of the paper is to present and scrutinize some (...) formal versions of Horwich’s construction. (shrink)

The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual semantic connection of sentences, (...) above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (shrink)

Can we make mistakes about what rationality requires? A natural answer is that we can, since it is a platitude that rational belief does not require truth; it is possible for a belief to be rational and mistaken, and this holds for any subject matter at all. However, the platitude causes trouble when applied to rationality itself. The possibility of rational mistakes about what rationality requires generates a puzzle. When combined with two further plausible claims – the enkratic principle, and (...) the claim that rational requirements apply universally – we get the result that rationality generates inconsistent requirements. One popular and attractive solution to the puzzle denies that it is possible to make rational mistakes about what rationality requires. I show why (contra Titelbaum (2015b), and Littlejohn (2015)) this solution is doomed to fail. (shrink)

In contemporary philosophy there is much focus on conceptual engineering: the enterprise of revising and replacing concepts. In this talk, I focus on a theoretical issue that has not yet received much attention. What principled limits are there to this sort of enterprise? Are there concepts that for principled reasons cannot or should not be revised or replaced? Examples discussed include logical concepts and normative concepts.

Publication Zero Point shows the results of a four-years inquiry into the concept of 'measurability'. The book encompasses thirty-eight pictureworks and a philosophical thought experiment. It invites the reader to contemplate and compile their personal 'zero point' as a portrait of God. -/- Measurability appears to be a problematic concept. The boundaries between fixed and fluid; between sharp and vague; between coloured and non-coloured; between love and hate. When does one state of affairs turn into the other? When is something (...) still measurable? And: is it essential for something to be measurable at all? -/- A single drinking glass was the starting point for transformational processes of photographic images into multi-layered pictureworks. Pictorial spaces that are variable and subject to chance in an experimental, unconscious method of choice, chance, inspiration, and demolition. The results of split, remodel, and repeat invite you to explore and contemplate the notions of space and time as a dimension, in which meaning remains something definitely unfinished, but in which measurability is crucial. After all, when there is nothing to hold on to, you have to choose a point of departure from which you can reorganise your life. -/- There are several ways to leaf through the book and engage in its content. Each of the thirty-eight pictureworks is accompanied by a philosophical caption. These captions are part of a larger philosophical deliberation of three countenances which together make a portrait of God. Each caption can be read separately next to the picturework. Each picturework can be enjoyed next to a specific caption. Another way to work with the captions is to read them within their larger con text: unfold the last page of the book, reflect, and search for cross-references next to any particular picturework. (shrink)

Product-harm crisis is an important organizational management topic due to the potential detrimental business impact. Organizations are more vulnerable than ever to the possibility of product related incidents disrupting business at any point in the supply chain. To counteract this implicit threat to an organizations reputation and financial wellbeing, if properly deployed, continuity management fosters the ability to run in the face of a crisis event; whereby business continuity management induces the means for appropriate product-harm crisis responses. In this study, (...) the author synthesizes selected published research presenting product-harm crisis management considerations. Based on an assigned literature review; the author summarizes article content, compares and contrasts methods and extrapolates results and conclusions garnered from the selected scholarly research; then provides an actionable recommendation for enabling effective product-harm crisis management. (shrink)

I argue for the unexceptionality of evidence about what rationality requires. Specifically, I argue that, as for other topics, one’s total evidence can sometimes support false beliefs about this. Despite being prima facie innocuous, a number of philosophers have recently denied this. Some have argued that the facts about what rationality requires are highly dependent on the agent’s situation and change depending on what that situation is like. (Bradley 2019). Others have argued that a particular subset of normative truths, those (...) concerning what epistemic rationality requires, have the special property of being ‘fixed points’—it is impossible to have total evidence that supports false belief about them. (Smithies 2012; Titelbaum 2015). Each of these kinds of exceptionality permits a solution to downstream theoretical problems that arise from the possibility of evidence supporting false belief about requirements of rationality. However, as I argue here, they incur heavy explanatory burdens that we should avoid. (shrink)

Climate change is an existential risk reinforced by ordinary actions in afuent societies—often silently present in comfortable and enjoyable habits. This silence is sometimes broken, presenting itself as a nagging reminder of how our habits fuel a catastrophe. As a case in point, global warming has created a state of urgency among wine makers in Spain, as the alcohol level has risen to a point where it jeopardises wine quality and thereby Spanish viticulture. Eforts are currently being made to solve (...) this problem technologically by developing (non-GMO) strains of yeast that produce less alcohol. If successful, this could help save Spanish viticulture. This kind of technological solution is routinely criticised for ofering simplistic “techno-fx” solutions to solve complex societal problems. However, it is not clear what features are criticised by the notion of techno-fx and hence how to avoid this criticism. In our interpretation, the techno-fx notion is not exclusively used as a dismissive term. The notion points to a general virtue of engineering: to create technological solutions that work silently in the background. This asset of technological solutions might sometimes be problematic and sometimes not. Hence, it needs to be analysed case-by-case by paying attention to the moral relevance of the hidden implications of the technology and of the unrefective actions and habits that they facilitate. Such moral analysis will in turn inform strategies for foregrounding this technology to counteract silencing. We discuss what this means in the case of modifying yeast as a viticultural climate resilience strategy. (shrink)

This article informally presents a solution to the paradoxes of truth and shows how the solution solves classical paradoxes (such as the original Liar) as well as the paradoxes that were invented as counterarguments for various proposed solutions (“the revenge of the Liar”). This solution complements the classical procedure of determining the truth values of sentences by its own failure and, when the procedure fails, through an appropriate semantic shift allows us to express the failure in a classical two-valued language. (...) Formally speaking, the solution is a language with one meaning of symbols and two valuations of the truth values of sentences. The primary valuation is a classical valuation that is partial in the presence of the truth predicate. It enables us to determine the classical truth value of a sentence or leads to the failure of that determination. The language with the primary valuation is precisely the largest intrinsic fixed point of the strong Kleene three-valued semantics (LIFPSK3). The semantic shift that allows us to express the failure of the primary valuation is precisely the classical closure of LIFPSK3: it extends LIFPSK3 to a classical language in parts where LIFPSK3 is undetermined. Thus, this article provides an argumentation, which has not been present in contemporary debates so far, for the choice of LIFPSK3 and its classical closure as the right model for the truth predicate. In the end, an erroneous critique of Kripke-Feferman axiomatic theory of truth, which is present in contemporary literature, is pointed out. (shrink)

Christos Kyriacou has recently proposed charging moral error theorists with intellectual vice. He does this in response to an objection that Ingram makes against the 'moral fixed points view' developed by Cuneo and Shafer-Landau. This brief paper shows that Kyriacou's proposed vice-charge fails to vindicate the moral fixed points view. I argue that any attempt to make an epistemic vice-charge against error theorists will face major obstacles, and that it is highly unlikely that such a charge could receive the evidential (...) support that it would need in order to play the dialectical role that Kyriacou has in mind for it. I conclude that the moral fixed points view remains in serious trouble. (shrink)

This is a critical review of Herman Cappelen’s Fixing Language (2018), an excellent and thought-provoking introduction to a hot topic in metaphilosophy: conceptual engineering, which defines the process of evaluating and improving/revising our representational devices (popularly known as concepts). Here, I first present an overview of the book, summarizing his General Theory of conceptual engineering. Second, I point out some limits of the General Theory, in particular the putative consequence of his semantic externalism, the Lack of Control thesis. According to (...) it, the processes behind changes in meaning are too complex and amorphous for revisionary projects to be generally successful. However, I claim that a proper investigation of Lack of Control demands us to look at the sciences, especially the social sciences, something absent in Cappelen’s book. Furthermore, I remember that many conceptual engineers do not put forward large-scale revisions, but rather local ones – i.e., restricted to specific scientific and institutional contexts, and therefore more feasible and potentially relevant. (shrink)

The “problem of intentionality” from the vantage point of a representational understanding of mind is explaining what thoughts and beliefs are and how they guide behaviour. From an anti-representationalist perspective, on the other hand, on which cognition itself is taken to be a kind of action, intentionality is a capacity to engage in behaviour that is meaningfully directed toward or about some situation. That these are not in fact competing insights is obscured by the representational/anti-representational framing of the debate. This (...) paper begins the work of shifting the conversation in two ways: (1) by arguing that it is the commitment to internal representations, not the acknowledgement of a role for representation per se, that is problematic; and, (2) by describing an alternative, externalist, representational approach that draws on extended, embodied, enactive insights. (shrink)

This paper deals with the question whether some morally normative content is grounded in the dialogical practice that both Apel and Habermas call argumentative discourse, and if so how to demonstrate that it is so grounded. Apel (unlike Habermas) claims that discourse has rationally necessary conceptual presuppositions; that morally normative content is part of such presuppositions; and that this can be ascertained in transcendendal reflection, i.e. by a kind of transcendental argument. I argue that these claims can be charitably interpreted (...) but require clarifications of their key concepts, i.e. “discourse”, “validity claims”, “performative self-contradiction”, and “community of communication”. I argue that discourse as a practice of reason-sensitive agents who are communicatively connected via argumentation can be explained by its normatively constitutive aim, namely fixing the true values of our reasons; that the primary level of validity claims are claims concerning good reasons; that performative self-contradictions are pragmatic-cum-logical inconsistencies that we can know apriori to be incompatible with discourse’s constitutive aim; and finally, that competent discourse participants can know apriori that they would be performatively inconsistent if they flouted a moral kernel that is intrinsic in discourse. (shrink)

A central question that arises when interpreting the U.S. Constitution is which theory of interpretation is the best? In his recent book, “How to Interpret the Constitution,” Cass Sunstein reviews various theories of constitutional interpretation currently in vogue and then offers what he believes would be the best approach going forward. In this Article, I want to take up a more basic question presupposed by the very idea of a theory of interpretation. That is, whether it is even possible to (...) arrive at more than a provisional understanding of what would be the best interpretation in any given area of study, including constitutional law. That said, I do believe some of the interpretations suggested by Cass Sunstein and elsewhere by myself and others to be more persuasive than most others, even if only partially so. For, as Sunstein himself points out, no theory seems perfect to figure out the Constitution’s meaning in every possible world in which we could imagine it to exist. So, we best just focus on our own world or what we take to matter in our world. In keeping with this idea, I plan to begin by looking first at how we might interpret the world around us based on our past experiences by considering a somewhat imaginative recent experience of my own. Next, I consider some recent studies in the neurosciences and a previous but highly influential article by the philosopher Donald Davidson concerning conceptual schemes and whether we could ever hope to make any sense of a scheme radically different from our own. Here it should be pointed out that I will use the word “scheme” when referring to a very broad system of thought for which there may not be much outside, versus when I use the word “framework,” as referencing something far narrower than a whole system of thought, even if what is referenced might purport to be a significant part of a still larger system. My goal is to eventually adopt John Rawls’ public reason method to separate out non-workable systems of thought as might be part of a particular religious or philosophical tradition that cannot be easily tied to any other system of thought easily imagined within a pluralistic society. I plan to do this by relating how Rawls’ public reason might allow for the creation of a moral interpretation of the Constitution adopting the moral theory of Alan Gewirth. The latter I adopt because its grounding does not presuppose any prior moral or religious framework. I then apply that interpretative method to five cases Sunstein believes are fixed points in our current constitutional understanding. In short, I plan to isolate out an area of human rights where even very different understandings of the world might be able to meet, while acknowledging that there will still be other areas that simply evade any common connection. I hope what I offer here to be of help for a theory of constitutional interpretation that focuses on morality, without having to compete with various religious frameworks going forward. (shrink)

The aim of this dissertation is to offer and defend a correspondence theory of truth. I begin by critically examining the coherence, pragmatic, simple, redundancy, disquotational, minimal, and prosentential theories of truth. Special attention is paid to several versions of disquotationalism, whose plausibility has led to its fairly constant support since the pioneering work of Alfred Tarski, through that by W. V. Quine, and recently in the work of Paul Horwich. I argue that none of these theories meets the correspondence (...) intuition---that a true sentence or proposition in some way corresponds to reality---despite the explicit claims by each to capture this intuition. I distinguish six versions of the correspondence theory, and defend two against traditional objections, standardly taken as decisive against them, and show, plainly, that these two theories capture the correspondence intuition. Due to the importance of meeting this intuition, only these two theories stands a chance of being a satisfactory theory of truth. I argue that the version of the correspondence theory incorporating a simple semantic representation relation is preferable to its rival, for which the representation relation is complex. I present and argue for a novel version of this correspondence theory according to which truth is a correspondence property sensitive to semantic context. One consequence of this context-sensitivity is that an ungrounded sentence does not express a proposition. In addition to accounting for the similarity between the Liar and Truth-Teller sentences, this theory of truth is immune to the Liar Paradox, including empirical versions. It is argued that the Liar Paradox is devastating to all of the other theories above, and even formal theories of truth designed to solve it, such as the revision and vagueness theories. Customized versions of the Liar Paradox besetting this theory are handled by its context-sensitivity, and by enforcing the distinction between truth and truth value. This same pair of considerations also yields solutions to Lob's Paradox and Grelling's Paradox. Arguments similar to those given to defend this correspondence theory show that with one minor alteration, Kripke's fixed point theory may be used to model this correspondence notion of truth. (shrink)

This paper presents and motivates a new philosophical and logical approach to truth and semantic paradox. It begins from an inferentialist, and particularly bilateralist, theory of meaning---one which takes meaning to be constituted by assertibility and deniability conditions---and shows how the usual multiple-conclusion sequent calculus for classical logic can be given an inferentialist motivation, leaving classical model theory as of only derivative importance. The paper then uses this theory of meaning to present and motivate a logical system---ST---that conservatively extends classical (...) logic with a fully transparent truth predicate. This system is shown to allow for classical reasoning over the full (truth-involving) vocabulary, but to be non-transitive. Some special cases where transitivity does hold are outlined. ST is also shown to give rise to a familiar sort of model for non-classical logics: Kripke fixed points on the Strong Kleene valuation scheme. Finally, to give a theory of paradoxical sentences, a distinction is drawn between two varieties of assertion and two varieties of denial. On one variety, paradoxical sentences cannot be either asserted or denied; on the other, they must be both asserted and denied. The target theory is compared favourably to more familiar related systems, and some objections are considered. (shrink)

I use modal logic and transfinite set-theory to define metaphysical foundations for a general theory of computation. A possible universe is a certain kind of situation; a situation is a set of facts. An algorithm is a certain kind of inductively defined property. A machine is a series of situations that instantiates an algorithm in a certain way. There are finite as well as transfinite algorithms and machines of any degree of complexity (e.g., Turing and super-Turing machines and more). There (...) are physically and metaphysically possible machines. There is an iterative hierarchy of logically possible machines in the iterative hierarchy of sets. Some algorithms are such that machines that instantiate them are minds. So there is an iterative hierarchy of finitely and transfinitely complex minds. (shrink)

It is well known that the following features hold of AR + T under the strong Kleene scheme, regardless of the way the language is Gödel numbered: 1. There exist sentences that are neither paradoxical nor grounded. 2. There are 2ℵ0 fixed points. 3. In the minimal fixed point the weakly definable sets (i.e., sets definable as {n∣ A(n) is true in the minimal fixed point where A(x) is a formula of AR + T) are precisely the Π1 1 sets. (...) 4. In the minimal fixed point the totally defined sets (sets weakly defined by formulae all of whose instances are true or false) are precisely the ▵1 1 sets. 5. The closure ordinal for Kripke's construction of the minimal fixed point is ωCK 1. In contrast, we show that under the weak Kleene scheme, depending on the way the Gödel numbering is chosen: 1. There may or may not exist nonparadoxical, ungrounded sentences. 2. The number of fixed points may be any positive finite number, ℵ0, or 2ℵ0 . 3. In the minimal fixed point, the sets that are weakly definable may range from a subclass of the sets 1-1 reducible to the truth set of AR to the Π1 1 sets, including intermediate cases. 4. Similarly, the totally definable sets in the minimal fixed point range from precisely the arithmetical sets up to precisely the ▵1 1 sets. 5. The closure ordinal for the construction of the minimal fixed point may be ω, ωCK 1, or any successor limit ordinal in between. In addition we suggest how one may supplement AR + T with a function symbol interpreted by a certain primitive recursive function so that, irrespective of the choice of the Godel numbering, the resulting language based on the weak Kleene scheme has the five features noted above for the strong Kleene language. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Revised and reprinted in Handbook of Philosophical Logic, volume 10, Dov Gabbay and Frans Guenthner (eds.), Dordrecht: Kluwer, (2003). -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in the (...) course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions. (shrink)

As George Boole saw it, the laws of logic are the laws of thought, and by this he meant, not that human thought is actually governed by the laws of logic, but, rather, that it should be. Boole’s view that the laws of logic have normative implications for how we ought to think is anything but an outlier. The idea that violating the laws of logic involves epistemic impropriety has seemed to many to be just obvious. It has seemed especially (...) obvious to those who see propositional justification as more fundamental than doxastic justification. Whatever other principles are required for defining propositional justification, the laws of logic seem indispensable. The idea that violation of the laws of logic involves some sort of epistemic impropriety—whatever the peculiarities of our psychology may be—has served as a fixed point around which defenders of the fundamentality of propositional justification are united, whatever their other differences. This paper challenges that common thread in defenses of the fundamentality of propositional justification. It is argued that the laws of logic have no bearing whatever on epistemic justification. Once we see why this should be so, the way is paved for seeing why it is that doxastic justification is more fundamental than propositional justification. (shrink)

Gettier’s paper, “Is Justified True Belief Knowledge?,” is widely taken to be a paradigm example of the sort of philosophical methodology that has been so hotly debated in the recent literature. Reflection on it motivates the following four theses about that methodology: (A) Intuitive judgments form an epistemically distinctive kind. (B) Intuitive judgments play an epistemically privileged role in philosophical methodology. (C) If intuitive judgments play an epistemically privileged role in philosophical methodology, then their role is to be taken as (...) given inputs into generally accepted forms of reasoning. (D) Philosophical methodology is reasonable. Negative experimental philosophers have empirically challenged (D). Radical responses to their challenge include Williamson’s rejection of (A) and Cappelen and Deutsch’s rejection of (B). Here I follow traditionalists in maintaining (A), (B), and (D), but suggest questioning (C), which has largely been taken as a fixed point in the literature. (shrink)

The model of self-referential truth presented in this paper, named Revision-theoretic supervaluation, aims to incorporate the philosophical insights of Gupta and Belnap’s Revision Theory of Truth into the formal framework of Kripkean fixed-point semantics. In Kripke-style theories the final set of grounded true sentences can be reached from below along a strictly increasing sequence of sets of grounded true sentences: in this sense, each stage of the construction can be viewed as an improvement on the previous ones. I want to (...) do something similar replacing the Kripkean sets of grounded true sentences with revision-theoretic sets of stable true sentences. This can be done by defining a monotone operator through a variant of van Fraassen’s supervaluation scheme which is simply based on ω-length iterations of the Tarskian operator. Clearly, all virtues of Kripke-style theories are preserved, and we can also prove that the resulting set of “grounded” true sentences shares some nice features with the sets of stable true sentences which are provided by the usual ways of formalising revision. What is expected is that a clearer philosophical content could be associated to this way of doing revision; hopefully, a content directly linked with the insights underlying finite revision processes. (shrink)

In this paper, I start by describing and examining the main results about the option of formalizing the Yablo Paradox in arithmetic. As it is known, although it is natural to assume that there is a right representation of that paradox in first order arithmetic, there are some technical results that give rise to doubts about this possibility. Then, I present some arguments that have challenged that Yablo’s construction is non-circular. Just like that, Priest (1997) has argued that such formalization (...) shows that Yablo’s Paradox involves implicit circularity. In the same direction, Beall (2001) has introduced epistemic factors in this discussion. Even more, Priest has also argued that the introduction of infinitary reasoning would be of little help. Finally, one could reject definitions of circularity in term of fixed-point adopting non-well-founded set theory. Then, one could hold that the Yablo paradox and the Liar paradox share the same non-well-founded structure. So, if the latter is circular, the first is too. In all such cases, I survey Cook’s approach (2006, forthcoming) on those arguments for the charge of circularity. In the end, I present my position and summarize the discussion involved in this volume. En este artículo, describo y examino los principales resultados vinculados a la formalización de la paradoja de Yablo en la aritmética. Aunque es natural suponer que hay una representación correcta de la paradoja en la aritmética de primer orden, hay algunos resultados técnicos que hacen surgir dudas acerca de esta posibilidad. Más aún, presento algunos argumentos que han cuestionado que la construcción de Yablo no sea circular. Así, Priest (1997) ha argumentado que la formalización de la paradoja de Yablo en la aritmética de primer orden muestra que la misma involucra implícitamente circularidad. En la misma dirección, Beall (2001) ha introducido factores epistémicos en esta discusión. Más aún, Priest ha también argumentado que la introducción de razonamiento infinitario como complemento de la formalización en la aritmética sería de poca ayuda. Finalmente, se podría rechazar todo intento de dar definiciones de circularidad en términos de puntos fijos adoptando teoría de conjuntos infundados. Entonces, se podría sostener que la paradoja de Yablo y la del mentiroso comparten la misma estructura infundada. Por eso, si la última es circular, también lo es la primera. En todos los casos, presento el enfoque de Roy Cook (2006, en prensa) sobre estos argumentos que atribuyen circularidad a la construcción de Yablo. En el final, presento mi posición y un breve resumen de la discusión involucrada en este volumen. (shrink)

In this paper I introduce an objection to normative evidentialism about reasons for belief. The objection arises from difficulties that evidentialism has with explaining our reasons for belief in unstable belief contexts with a single fixed point. I consider what other kinds of reasons for belief are relevant in such cases.

When reasoning about dependence relations, philosophers often rely on gradualist assumptions, according to which abrupt changes in a phenomenon of interest can result only from abrupt changes in the low-level phenomena on which it depends. These assumptions, while strictly correct if the dependence relation in question can be expressed by continuous dynamical equations, should be handled with care: very often the descriptively relevant property of a dynamical system connecting high- and low-level phenomena is not its instantaneous behaviour but its stable (...) fixed points (those in the vicinity of which it spends most of the time, after comparatively short transitory periods), and stable fixed points can change abruptly as a result of infinitesimal changes of the low-level phenomenon. We illustrate this potential gradualist trap by showing that Chalmers’ fading qualia argument falls into it. (shrink)

Communication and content presents a comprehensive and foundational account of meaning based on new versions of situation theory and game theory. The literal and implied meanings of an utterance are derived from first principles assuming little more than the partial rationality of interacting agents. New analyses of a number of diverse phenomena – a wide notion of ambiguity and content encompassing phonetics, syntax, semantics, pragmatics, and beyond, vagueness, convention and conventional meaning, indeterminacy, universality, the role of truth in communication, semantic (...) change, translation, Frege’s puzzle of informative identities – are developed. Communication, speaker meaning, and reference are defined. Frege’s context and compositional principles are generalized and reconciled in a fixed-point principle, and a detailed critique of Grice, several aspects of Lewis, and some aspects of the Romantic conception of meaning are offered. Connections with other branches of linguistics, especially psycholinguistics, sociolinguistics, historical linguistics, and natural language processing, are explored. -/- The book will be of interest to scholars in philosophy, linguistics, artificial intelligence, and cognitive science. It should also interest readers in related fields like literary and cultural theory and the social sciences. (shrink)

$${{{\mathcal {F}}}}$$ -systems are useful digraphs to model sentences that predicate the falsity of other sentences. Paradoxes like the Liar and the one of Yablo can be analyzed with that tool to find graph-theoretic patterns. In this paper we studied this general model consisting of a set of sentences and the binary relation ‘ $$\ldots $$ affirms the falsity of $$\ldots $$ ’ among them. The possible existence of non-referential sentences was also considered. To model the sets of all the (...) sentences that can jointly be valued as true we introduced the notion of conglomerate, the existence of which guarantees the absence of paradox. Conglomerates also enabled us to characterize referential contradictions, i.e., sentences that can only be false under a classical valuation due to the interactions with other sentences in the model. A Kripke-style fixed-point characterization of groundedness was offered, and complete (meaning that every sentence is deemed either true or false) and consistent (meaning that no sentence is deemed true and false) fixed points were put in correspondence with conglomerates. Furthermore, argumentation frameworks are special cases of $$\mathcal{F}$$ -systems. We showed the relation between local conglomerates and admissible sets of arguments and argued about the usefulness of the concept for the argumentation theory. (shrink)

This essay aims to provide a modal logic for rational intuition. Similarly to treatments of the property of knowledge in epistemic logic, I argue that rational intuition can be codified by a modal operator governed by the modal $\mu$-calculus. Via correspondence results between fixed point modal propositional logic and the bisimulation-invariant fragment of monadic second-order logic, a precise translation can then be provided between the notion of 'intuition-of', i.e., the cognitive phenomenal properties of thoughts, and the modal operators regimenting the (...) notion of 'intuition-that'. I argue that intuition-that can further be shown to entrain conceptual elucidation, by way of figuring as a dynamic-interpretational modality which induces the reinterpretation of both domains of quantification and the intensions and hyperintensions of mathematical concepts that are formalizable in monadic first- and second-order formal languages. Hyperintensionality is countenanced via a topic-sensitive epistemic two-dimensional truthmaker semantics. (shrink)

That i) there is a somehow determined chronology of Plato’s dialogues among all the chronologies of the last century and ii) this theory is subject to many objections, are points this article intends to discuss. Almost all the main suggested chronologies of the last century agree that Parmenides and Theaetetus should be located after dialogues like Meno, Phaedo and Republic and before Sophist, Politicus, Timaeus, Laws and Philebus. The eight objections we brought against this arrangement claim that to place the (...) dialogues like Meno, Phaedo and Republic both immediately after the early ones and before Parmenides and Theaetetus is epistemologically and ontologically problematic. -/- Key Words: Plato; chronology; knowledge; being; Parmenides -/- Introduction While the ancient philosophers, doxographers and commentators from Aristotle onward considered, more or less, the question of the date and arrangement of the dialogues (cf. Irwin 2008, 77 n. 69), they would not observe a firm necessity to consider the progress of Plato’s theories in dialogues, maybe because they did not think of any essential shift in there. We might be able to say, nevertheless, that the most prominent feature of the ancient attitude to Plato was its peculiar attention to the Republic and the Timaeus as the most mature works in his philosophy and also the consideration of Laws as a later work. This tendency can be discovered from the general viewpoint of the first chronologies of the early 19th century after starting to deal with the issue. That Schleiermacher observed Republic as the culmination of Plato’s philosophy and as one of the latest dialogues besides Laws and Timaeus could reflex the implicit chronology of the tradition in the first mirrors it found. Another tendency in Schleiermacher is taking the triology of Theaetetus, Sophist and Politicus as relatively early. From the last quarter of 19th century onward, stylometry helped scholars to establish a new framework to constructa new arrangement between the dialogues. Based on stylistic as well as literary findings, Campbell (1867, xxxff.) argued for the closeness of the style of Sophist and Politicus with Timaeus, Critias, Philebus and Lawsthat, especially because of the certain evidence about this last dialogue’s lateness, led to the consideration of all as late dialogues. Almost every other stylistic effort after Campbell approved the similarities between Sophist and Politicus with Timaeus, Critias, Philebus and Laws. The result of all such investigations led to a new chronology that, despite some differences, has a fixed structure in all its appearances. 1. The Standard Chronology of the Dialogues The chronologies that are now commonly accepted are mostly based on the arrangement of dialogues to three groups corresponding to three periods of Plato’s life, which became predominant after applying stylistic features in assessing the similarities between dialogues. The fact that all the stylometric considerations reached to the similar results about the date of dialogues while they were assessing different stylistic aspects helped the new chronology become prevailing not only among stylistic chronologies but also between those like Fine, Kahn and Vlastos who were inclined more to the content-based arrangements. Even this latter group could not neglect the apparently certain results of using the method of stylometry. This was the main reason, I think, that made what they called content-based chronology be under the domination of stylometry much more than they could expect. The division of the dialogues into three separate groups became something that most of the scholars took for granted so far as Kahn thinks this division 'can be regarded as a fixed point of departure in any speculation about the chronology of the dialogues' (1996, 44). Thereafter, all the chronologists are accustomed to divide the dialogues to three groups of early, middle and late corresponding to the three stages of Plato’s life. Nevertheless, some of them tried to make subdivisions among each group and introduce some of the dialogues as transitional between different periods and thus reached to a fourfold classification of the dialogues. Although theycould never achieve to a consensus about the place of some dialogues, about which we will discuss soon, the whole spirit of theirchronological arrangements is the same and thus compelling enough for us to unify all of them with the label of 'Standard Chronology of Dialogues' (SCD). We brought together some of the most famous chronologies in the table below to make a comparison easier and to show how all are approximately of the same opinion about the place of some dialogues. The following points must be noted about this table: 1. I divided the dialogues to eight groups of early, late early, transitional, early middle, late middle, post-middle, early late, and late. Although none of the chronologists applies this classification, it can be helpful to compare them. In this table, for example, if one of the chronologist’s beholds one of the dialogues as later than all the dialogues of middle group, it is considered here as late middle. Otherwise, if it is emphasized that it is after all of them, it is considered as post-middle. The same is true about the dialogues of the late group in which I regarded the first dialogues of that period as early late only in those who explicitly considered some dialogues as earlier than other ones in the late group. Though, therefore, some of the dialogues might have not been considered as forming a distinct class, they are distinguished here. A. SCD’s Early and Transitional Dialogues When we move from stylometric to content-based chronologies, the homogeneity between the dialogues of each group is more understandable. Guthrie (1975, v. 4, 50) distinguishes three groups, the first of them includes Apology, Crito, Laches, Lysis, Charmides, Euthyphro, Hippias Minor, Hippias Major, Protagoras, Gorgiasand Ion. In addition to Meno, Phaedo and Euthydems, his first group does not include Cratylus and Menexenus. Unlike Guthrie, almost all the other content-based chronologiesof our study desire to distinguish two categories inside the first group of which the latter must be considered as the transitional group leading to the dialogues of the middle period. Kahn distinguishes four groups of dialogues and arranges two of them before middle period dialogues. The first group including Apology, Crito, Ion, Hippias Minor, Gorgiasand Menexenus he calls 'early' or 'presystematic' dialogues (1998, 124). The second group he calls the 'threshold', 'pre-middle' or 'Socratic' dialogues including seven: Laches, Charmides, Lysis, Euthyphro, Protagoras, Euthydemus and Meno. Based on Vlastos’ arrangement we must distinguish Euthydemus, Hippias Major, Lysis, Menexenus and Meno as 'transitional' dialogues from the 'elenctic' dialogues that are the other dialogues of Kahn’smentioned first two groups plus the first book of theRepublic. Fine also distinguishes 'transitional' dialogues from early or 'Socratic' dialogues,but her transitional dialogues are Gorgias, Meno, Hippias Major, Euthydemus and Cratylus of which she thinks the last two dialogues are 'controversial' (2003, 1). Her Socratic dialogues are all the remaining dialogues of Kahn’s first two groups. In spite of all the differences between the mentioned chronologies, it can be seen that all of them are inclined to arrange the early dialogues in a way that: i) Besides the dialogues that are considered as late, it never includes Republic II-X, Theaetetus, Phaedrus and Parmenides. ii) It intends to consider the dialogues like Euthydemus and Hippias Majorthat look more critical as later among the earlier dialogues or as transitional group. iii) Those who do not consider Meno as a middle period dialogue place it in their second or transitional group. iv) None of the content-based chronologies considers Phaedo and Symposium as early. Stylometric chronologies also intend to put them either as last dialogues among their early ones or as middle. B. SCD’s Middle Period Dialogues Campbell listed Republic, Phaedrus, Parmenides and Theaetetus as his second group of dialogues, an idea thatwas accepted by Brandwood. Ledger’smiddle period dialogueshad Euthydemus, Symposium and Cratylus in addition to the dialogues that Campbell and Brandwood had mentioned as middle. Among content-based chronologies, Guthrie’s list of middle period dialogues did not include Parmenides but some dialogues which had been considered as early in stylometric ones: Meno, Phaedo, Republic, Symposium, Phaedrus, Euthydemus, Menexenus and Cratylus. In sofar as I know, Euthydemus and Menexenus have not been considered as middle by other content-based chronologists and Guthrie is an exception among them. That Phaedo, Phaedrus, Symposium and Republic were middle period dialogues almost all the philosophical chronologists like Kahn, Fine, Vlastos (except Rep.I), Irwin andKraut came along. The dialogues they do not string along about are Meno, Cratylus, Parmenides and Theaetetus. Those like Guthrie, Kraut and Irwin who did not consider Meno as early presumably posit it among middles. The same can be said about Cratylus in the suggested chronologies of Guthrie, Kahn, Vlastos and Kraut. Nonetheless, it is different in case of Parmenides and Theaetetus. Whereas all the mentioned stylometric chronologists like Campbell, Brandwood and Ledger set them among middle period dialogues,the philosophical chronologists, it might seem at first, did not arrive at a consensus about them. While Guthrie and Fine put them as the first dialogues of the late group, Vlastos and Kraut set them as the latest of the middle group, as well as Kahn who puts them as post-middle and amongst the late period dialogues. Regardless the way they classify their groups, their disagreement does not affect the arrangement of the dialogues: they all posit Parmenides and Theaetetus after the series of Meno, Phaedo, Phaedrus, Symposium and Republic and before Sophist, Politicus, Timaeus, Philebus and Laws. To sum up SCD’s arrangement of the middle period dialogues we can add: v) Republic and Phaedrus have been considered by all the mentioned chronologists as dialogues of the middle period. vi) All the philosophical chronologies have reached a consensus about setting Phaedo and Symposium alongside with Republic and Phaedrus as middle. vii) While Stylometric alongside some philosophic chronologists arrange Parmenides and Theaetetus among their middle period dialogues and mostly as the latest among them, other philosophical chronologists put them as the early among the late dialogues. We can conclude then that SCD intends to locate these two dialogues at the boundary between the middle and late period dialogues. -/- . (shrink)

A metaphysical system engendered by a third order quantified modal logic S5 plus impredicative comprehension principles is used to isolate a third order predicate D, and by being able to impredicatively take a second order predicate G to hold of an individual just if the individual necessarily has all second order properties which are D we in Section 2 derive the thesis (40) that all properties are D or some individual is G. In Section 3 theorems 1 to 3 suggest (...) a sufficient kinship to Gödelian ontological arguments so as to think of thesis (40) in terms of divine property and Godly being; divine replaces positive with Gödel and others. Thesis (40), the sacred thesis, supports the ontological argument that God exists because some property is not divine. In Section 4 a fixed point analysis is used as diagnosis so that atheists may settle for the minimal fixed point. Theorem 3 shows it consistent to postulate theistic fixed points, and a monotheistic result follows if one assumes theism and that it is divine to be identical with a deity. Theorem 4 (the Monotheorem) states that if Gg and it is divine to be identical with g, then necessarily all objects which are G are identical with g. The impredicative origin of D suggests weakened Gaunilo-like objections that offer related theses for other second order properties and their associated diverse presumptive individual bearers. Nevertheless, in the last section we finesse these Gaunilo-like objections by adopting what we call an apathiatheistic opinion which suggest that the best concepts `God’ allow thorough indifference as to whether God exists or not. (shrink)

A lot has been written on solutions to the semantic paradoxes, but very little on the topic of general theories of paradoxicality. The reason for this, we believe, is that it is not easy to disentangle a solution to the paradoxes from a specific conception of what those paradoxes consist in. This paper goes some way towards remedying this situation. We first address the question of what one should expect from an account of paradoxicality. We then present one conception of (...) paradoxicality that has been offered in the literature: the fixed-point conception. According to this conception, a statement is paradoxical if it cannot obtain a classical truth-value at any fixed-point model. In order to assess this proposal rigorously we provide a non-metalinguistic characterization of paradoxicality and we evaluate whether the resulting account satisfies a number of reasonable desiderata. (shrink)

Despite being time-travel adventure series, both classic Doctor Who (1963-1989, 1996) and its reboot (2005-present) have not seen the development of a coherent ontology of time for their fictional universe. As such, it is extremely difficult to review established theories of the nature of time in an attempt to shoe-horn Doctor Who into an existing framework. Difficulties include the evolution of the views of the central character, the alien “Doctor,” from a position that insists “time can’t be rewritten” to its (...) opposite as well as a curious anthropomorphizing of the temporal through show concepts like “fixed points in time.” I argue that one way to draw a coherent philosophy of time from the program is to treat the Time Lords as establishing not only the possibility of time travel but also the universe’s timeline itself. This leads to an examination of four-dimensional realism as characterizing the ontology of Doctor Who’s fictive timeline. (shrink)

The paper studies a cluster of systems for fully disquotational truth based on the restriction of initial sequents. Unlike well-known alternative approaches, such systems display both a simple and intuitive model theory and remarkable proof-theoretic properties. We start by showing that, due to a strong form of invertibility of the truth rules, cut is eliminable in the systems via a standard strategy supplemented by a suitable measure of the number of applications of truth rules to formulas in derivations. Next, we (...) notice that cut remains eliminable when suitable arithmetical axioms are added to the system. Finally, we establish a direct link between cut-free derivability in infinitary formulations of the systems considered and fixed-point semantics. Noticeably, unlike what happens with other background logics, such links are established without imposing any restriction to the premisses of the truth rules. (shrink)

The purpose of this paper is to open for investigation a range of phenomena familiar from dynamical systems or chaos theory which appear in a simple fuzzy logic with the introduction of self-reference. Within that logic, self-referential sentences exhibit properties of fixed point attractors, fixed point repellers, and full chaos on the [0, 1] interval. Strange attractors and fractals appear in two dimensions in the graphing of pairs of mutually referential sentences and appear in three dimensions in the graphing of (...) mutually referential triples. (shrink)

The idea that a being can be identical to its own essence has a long and venerable history in theological speculation. As with many ideas in theology, however, such an idea has never been given an adequate mathematical formulation. The key to such a formulation, I argue, is introducing an essence axiom into non-well-founded set theory. According to such an axiom, for every set, x, there is a set that contains all and only those sets that contain x. With such (...) an axiom, it becomes possible to introduce an essence function that takes each set to its essence. An object that is identical to its essence, then, is simply a fixed point of the essence function. In this paper, I first discuss a theorem according to which any fixed point of the essence function is universally symmetrical with respect to the set membership relation. After proving the theorem, I discuss its theological implications. I go on to argue that the process of counting the members of a set that is identical to its essence is a Sisyphusian process. Such a fact I suggest shows that the absurdity of human existence is not alleviated by the existence of God but rather is entailed by it. (shrink)

Over the last fifteen years, linguists and philosophers of language have reexamined the canonical, Kratzerian semantics for modal expressions, with special attention paid to their epistemic and deontic uses. This article is an overview of the literature on deontic modal expressions. Section 1 provides an overview of the canonical semantics, noting some of its main advantages. Section 2 introduces a set of desiderata that have achieved the status of fixed points in the debates about whether the canonical semantics is correct. (...) These include the observations that deontic modal sentences have both deliberative and evaluative readings and both information-sensitive and -insensitive readings. Adequate resolutions of certain puzzles in deontic logic and resolving the Frege-Geach problem for Expressivism have also achieved this status. The third section provides an opinionated overview of some of the main extant rivals to the canonical semantics, including Cariani, Kaufmann, and Kaufmann’s (2013) complex contextualism , Yalcin’s (2012) Expressivism, Willer’s (2014) dynamic semantics, and Starr’s (2016) dynamic Expressivism. Section 4 provides an assessment of each of the views discussed in terms of the desiderata introduced in section 2. Section 5 is an overview of remaining issues that require more attention in the literature. (shrink)

On the basis of elementary thinking about language functioning, a solution of truth paradoxes is given and a corresponding semantics of a truth predicate is founded. It is shown that it is precisely the two-valued description of the maximal intrinsic fixed point of the strong Kleene three-valued semantics.

In philosophical logic, a certain family of model constructions has received particular attention. Prominent examples are the cumulative hierarchy of well-founded sets, and Kripke's least fixed point models of grounded truth. I develop a general formal theory of groundedness and explain how the well-founded sets, Cantor's extended number-sequence and Kripke's concepts of semantic groundedness are all instances of the general concept, and how the general framework illuminates these cases. Then, I develop a new approach to a grounded theory of proper (...) classes. -/- However, the general concept of groundedness does not account for the philosophical significance of its paradigm instances. Instead, I argue, the philosophical content of the cumulative hierarchy of sets is best understood in terms of a primitive notion of ontological priority. -/- Then, I develop an analogous account of Kripke's models. I show that they exemplify the in-virtue-of relation much discussed in contemporary metaphysics, and thus are philosophically significant. I defend my proposal against a challenge from Kripke's “ghost of the hierarchy”. (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 article’s conclusion is that the theories of Einstein are generally correct and will still be relevant in the next century (there will be modifications necessary for development of quantum gravity). Those Einsteinian theories are Special Relativity, General Relativity, and the title of a paper he published in 1919 which asked if gravitation plays a role in the composition of elementary particles of matter. This paper was the bridge between General Relativity and the Unified Field Theory he sought during the (...) last 25 years of his life. In an article published in the "Annals of Physics" in 1957, Charles Misner and John Wheeler claimed that Einstein's latest equations demonstrated the unified field theory. But Einstein himself felt he had not fully succeeded. The present article begins with Olbers’ paradox (why is the sky dark at night?) Then it briefly proceeds to the subjects of Newtonian gravity, quantum entanglement, gravitational waves, E=mc^2, dark energy, dark matter, cosmic expansion, redshift, blueshift, the cosmic microwave background, the 1st Law of Thermodynamics, and explanation of advanced waves travelling back in time. The section “vector-tensor-scalar geometry” touches on mass, quantum spin, the Higgs boson and Higgs field, stellar jets, the pervasiveness of photons and gravitons, and supersymmetry. Then come half a dozen paragraphs referring to formation of planets, black holes, and bosons of the weak and strong nuclear forces. They end with Descartes’ space-matter relation. Also added are paragraphs about simply-connected mathematics, non-orientability, consciousness, the Law of Falling Bodies, the multiverse, space-time travel developed from maths’ Brouwer Fixed Point Theorem and from an experiment in electrical engineering performed at Yale University, development from future space-time travel of human flight in the manner of fiction’s Superman and Supergirl, as well as downloaded band-gap implants in the brain that could deal with forms of matter. They could add or delete anything and everything we choose by emulating computers’ copy/paste function to add things; as well as their delete function, to remove things. To complete my seemingly unusual ideas, 6 sections are added – 1) “Advanced and Retarded Waves” is extended to include dinosaurs, ageing, and photography, 2) there’s a bit about space-time warping and “imaginary” computers, 3) several paragraphs about restoring health (even gaining immortality) by using gravity, 4) a section about superconductivity and the electric or magnetic fields of planets (this section mentions Mercury, Planet 9 and precession), 5) a section titled EXPLAINING OCEAN TIDES WHEN GENERAL RELATIVITY SAYS GRAVITY IS A PUSH CAUSED BY THE CURVATURE OF SPACE-TIME (this has subsections about M-Sigma, Geysers on Saturn’s Moon Enceladus, and A Brief History of Gravity), plus 5) the potential of COVID-19 to create the Golden Rule, world peace, eternal life, and a non-economic world that doesn’t use any form of money (no cash, credit cards, digital currency, etc.) The final section is called DISTANT-FUTURE SCIENCE INTERPRETED BY RELIGIONS AS SUPERNATURAL and introduces an idea for becoming immortal in these physical bodies. If the Theory of Everything sought by physicists applies to all space-time, then every person’s brain must be entangled with the 22nd century (and far beyond that time too). (shrink)

This paper considers Rumfitt’s bilateral classical logic (BCL), which is proposed to counter Dummett’s challenge to classical logic. First, agreeing with several authors, we argue that Rumfitt’s notion of harmony, used to justify logical rules by a purely proof theoretical manner, is not sufficient to justify coordination rules in BCL purely proof-theoretically. For the central part of this paper, we propose a notion of proof-theoretical validity similar to Prawitz for BCL and proves that BCL is sound and complete respect to (...) this notion of validity. The major difficulty in defining validity for BCL is that validity of positive +A appears to depend on negative −A, and vice versa. Thus, the straightforward inductive definition does not work because of this circular dependance. However, Knaster-Tarski’s fixed point theorem can resolve this circularity. Finally, we discuss the philosophical relevance of our work, in particular, the impact of the use of fixed point theorem and the issue of decidability. (shrink)