1. 10995.849665
    One of the most wonderful parts of the North American Summer School for Language, Logic and Information is the opportunity it a↵ords young scholars to discuss their work with experts. By the same token, it is often inspiring for established researchers to see the creative directions in which recent work is being taken.
    Found 3 hours, 3 minutes ago on Eric Swanson's site
  2. 337307.849779
    This paper deals with two issues. First, it identifies structured propositions with logical procedures. Second, it considers various rigorous definitions of the granularity of procedures, hence also of structured propositions, and comes out in favour of one of them. As for the first point, structured propositions are explicated as algorithmically structured procedures. I show that these procedures are structured wholes that are assigned to expressions as their meanings, and their constituents are sub-procedures occurring in executed mode (as opposed to displayed mode). Moreover, procedures are not mere aggregates of their parts; rather, procedural constituents mutually interact. As for the second point, there is no universal criterion of the structural isomorphism of meanings, hence of cohyperintensionality, hence of synonymy for every kind of language. The positive result I present is an ordered set of rigorously defined criteria of fine-grained individuation in terms of the structure of procedures. Hence procedural semantics provides a solution to the problem of the granularity of cohyperintensionality.
    Found 3 days, 21 hours ago on PhilSci Archive
  3. 595670.849804
    Many of us are tempted by the thought that the future is open, whereas the past is not. The future might unfold one way, or it might unfold another; but the past, having occurred, is now settled. In previous work we presented an account of what openness consists in: roughly, that the openness of the future is a matter of it being metaphysically indeterminate how things will turn out to be. We were previously concerned merely with presenting the view and exploring its consequences; we did not attempt to argue for it over rival accounts. That is what we will aim to do in this paper.
    Found 6 days, 21 hours ago on Elizabeth Barnes's site
  4. 1629322.849821
    The revised, surely-more-natural, disjunction elimination rule mentioned in the last post is, of course, Neil Tennant’s long-standing proposal — and the quote about the undesirability of using explosion in justifying an inference like disjunctive syllogism is from him. …
    Found 2 weeks, 4 days ago on Peter Smith's blog
  5. 1674322.849835
    The Univalent Foundations (UF) of mathematics take the point of view that spatial notions (e.g. “point” and “path”) are fundamental, rather than derived, and that all of mathematics can be encoded in terms of them. We will argue that this new point of view has important implications for philosophy, and especially for those parts of analytic philosophy that take set theory and first-order logic as their benchmark of rigor. To do so, we will explore the connection between foundations and philosophy, outline what is distinctive about the logic of UF, and then describe new philosophical theses one can express in terms of this new logic.
    Found 2 weeks, 5 days ago on PhilSci Archive
  6. 1789497.849849
    If mathematics is regarded as a science, then the philosophy of mathematics can be regarded as a branch of the philosophy of science, next to disciplines such as the philosophy of physics and the philosophy of biology. However, because of its subject matter, the philosophy of mathematics occupies a special place in the philosophy of science. Whereas the natural sciences investigate entities that are located in space in time, it is not at all obvious that this also the case of the objects that are studied in mathematics. In addition to that, the methods of investigation of mathematics differ markedly from the methods of investigation in the natural sciences.
    Found 2 weeks, 6 days ago on Stanford Encyclopedia of Philosophy
  7. 2166153.849863
    Mathematical Platonists say that sets and numbers exist. But there is a standard epistemological problem: How do we have epistemic access to the sets to the extent of knowing some of the axioms they satisfy? …
    Found 3 weeks, 4 days ago on Alexander Pruss's Blog
  8. 2168012.849877
    I'm working on a paper, "Kant Meets Cyberpunk", in which I'll argue that if we are living in a simulation -- that is, if we are conscious AIs living in an artificial computational environment -- then there's no particularly good reason to think that the computer that is running our simulation is a material computer. …
    Found 3 weeks, 4 days ago on The Splintered Mind
  9. 2477346.849892
    As a new foundational language for mathematics with its very different idea as to the status of logic, we should expect homotopy type theory to shed new light on some of the problems of philosophy which have been treated by logic. In this article, definite description, and in particular its employment within mathematics, is formulated within the type theory. Homotopy type theory has been proposed as an inherently structuralist foundational language for mathematics. Using the new formulation of definite descriptions, opportunities to express ‘the structure of’ within homotopy type theory are explored, and it is shown there is little or no need for this expression.
    Found 4 weeks ago on PhilSci Archive
  10. 2708153.849906
    J. D. Hamkins and J. Reitz, “The set-theoretic universe $V$ is not necessarily a class-forcing extension of HOD,” ArXiv e-prints, 2017. (manuscript under review)   Citation arχiv @ARTICLE{HamkinsReitz:The-set-theoretic-universe-is-not-necessarily-a-forcing-extension-of-HOD, author = {Joel David Hamkins and Jonas Reitz}, title = {The set-theoretic universe $V$ is not necessarily a class-forcing extension of HOD}, journal = {ArXiv e-prints}, year = {2017}, volume = {}, number = {}, pages = {}, month = {September}, note = {manuscript under review}, abstract = {}, keywords = {}, source = {}, doi = {}, eprint = {1709.06062}, archivePrefix = {arXiv}, primaryClass = {math.LO}, url = {http://jdh.hamkins.org/the-universe-need-not-be-a-class-forcing-extension-of-hod}, } Abstract. …
    Found 1 month ago on Joel David Hamkins's blog
  11. 2899931.84992
    An action is something that takes place in the world, and that makes a difference to what the world looks like. Thus, actions are maps from states of the world to new states of the world. Actions can be of various kinds. The action of spilling coffee changes the state of your trousers. The action of telling a lie to your friend changes your friends state of mind (and maybe the state of your soul). The action of multiplying two numbers changes the state of certain registers in your computer. Despite the differences between these various kinds of actions, we will see that they can all be covered under the same logical umbrella.
    Found 1 month ago on Jan van Eijck's site
  12. 2979832.849934
    In this paper, we study the conditions under which existence of interpolants (for quantifier-free formulae) is modular, in the sense that it can be transferred from two first-order theories T1, T2 to their combination T1∪T2. We generalize to the non-disjoint signatures case the results from [3]. As a surprising application, we relate the Horn combinability criterion of this paper to superamalgamability conditions known from propositional logic and we use this fact to derive old and new results concerning fusions transfer of interpolation properties in modal logic.
    Found 1 month ago on Silvio Ghilardi's site
  13. 3015274.849948
    In this tutorial, the meaning of natural language is analysed along the lines proposed by Gottlob Frege and Richard Montague. In building meaning representations, we assume that the meaning of a complex expression derives from the meanings of its components. Typed logic is a convenient tool to make this process of composition explicit. Typed logic allows for the building of semantic representations for formal languages and fragments of natural language in a compositional way. The tutorial ends with the discussion of an example fragment, implemented in the functional programming language Haskell Haskell Team; Jones [2003].
    Found 1 month ago on Jan van Eijck's site
  14. 3028648.849962
    Prima facie, there is an incompatibility between God’s alleged omnipotence and impeccability. I argue that this incompatibility is more than prima facie. Attempts to avoid this appearance of incompatibility by allowing that there are commonplace states of affairs that an omnipotent being cannot bring about are unsuccessful. Instead, we should accept that God is not omnipotent. This is acceptable since it is a mistake to hold that omnipotence is a perfection. God’s moral perfection should be privileged over God’s potency properties—and the same is true of human beings as well.
    Found 1 month ago on Eric Funkhouser's site
  15. 3136765.849975
    Last weekend, I gave a talk on big numbers, as well as a Q&A about quantum computing, at Festivaletteratura: one of the main European literary festivals, held every year in beautiful and historic Mantua, Italy. …
    Found 1 month ago on Scott Aaronson's blog
  16. 3196244.849989
    By “alternative set theories” we mean systems of set theory differing significantly from the dominant ZF (Zermelo-Frankel set theory) and its close relatives (though we will review these systems in the article). Among the systems we will review are typed theories of sets, Zermelo set theory and its variations, New Foundations and related systems, positive set theories, and constructive set theories. An interest in the range of alternative set theories does not presuppose an interest in replacing the dominant set theory with one of the alternatives; acquainting ourselves with foundations of mathematics formulated in terms of an alternative system can be instructive as showing us what any set theory (including the usual one) is supposed to do for us.
    Found 1 month ago on Stanford Encyclopedia of Philosophy
  17. 3196299.850002
    We would like to arrive at a single coherent pair of credences in X and X. Perhaps we wish to use these to set our own credences; or perhaps we wish to publish them in a report of the WHO as the collective view of expert epidemiologists; or perhaps we wish to use them in a decision-making process to determine how medical research funding should be allocated in 2018. Given their expertise, we would like to use Amira’s and Benito’s credences when we are coming up with ours. However, there are two problems. First, Amira and Benito disagree — they assign different credences to X and different credences to X. Second, Amira and Benito are incoherent — they each assign credences to X and X that do not sum to 1. How, then, are we to proceed? There are natural ways to aggregate different credence functions; and there are natural ways to fix incoherent credence functions. Thus, we might fix Amira and Benito first and then aggregate the fixes; or we might aggregate their credences first and then fix up the aggregate. But what if these two disagree, as we will see they are sometimes wont to do? Which should we choose? To complicate matters further, there is a natural way to do both at once — it makes credences coherent and aggregates them all at the same time. What if this one-step procedure disagrees with one or other or both of the two-step procedures, fix-then-aggregate and aggregate-then-fix? In what follows, I explore when such disagreement arises and what the conditions are that guarantee that they will not. Then I will explain how these results may be used in philosophical arguments. I begin, however, with an overview of the paper.
    Found 1 month ago on PhilSci Archive
  18. 3249793.850016
    Quite often verification tasks for distributed systems are accomplished via counter abstractions. Such abstractions can sometimes be justified via simulations and bisimulations. In this work, we supply logical foundations to this practice, by a specifically designed technique for second order quantifier elimination. Our method, once applied to specifications of verification problems for parameterized distributed systems, produces integer variables systems that are ready to be model-checked by current SMT-based tools. We demonstrate the feasibility of the approach with a prototype implementation and first experiments.
    Found 1 month, 1 week ago on Silvio Ghilardi's site
  19. 3487750.85003
    In a series of posts a few months ago (here, here, and here), I explored a particular method by which we might aggregate expert credences when those credences are incoherent. The result was this paper, which is now forthcoming in Synthese. …
    Found 1 month, 1 week ago on M-Phi
  20. 3547671.850043
    This paper describes a decision procedure for disjunctions of conjunctions of anti-prenex normal forms of pure first-order logic (FOLDNFs) that do not contain ∨ within the scope of quantifiers. The disjuncts of these FOLDNFs are equivalent to prenex normal forms whose quantifier-free parts are conjunctions of atomic and negated atomic formulae (= Herbrand formulae). In contrast to the usual algorithms for Herbrand formulae, neither skolemization nor unification algorithms with function symbols are applied. Instead, a procedure is described that rests on nothing but equivalence transformations within pure first-order logic (FOL). This procedure involves the application of a calculus for negative normal forms (the NNF-calculus) with A ⊣⊢ A ∧ A (= ∧I) as the sole rule that increases the complexity of given FOLDNFs. The described algorithm illustrates how, in the case of Herbrand formulae, decision problems can be solved through a systematic search for proofs that reduce the number of applications of the rule ∧I to a minimum in the NNF-calculus. In the case of Herbrand formulae, it is even possible to entirely abstain from applying ∧I. Finally, it is shown how the described procedure can be used within an optimized general search for proofs of contradiction and what kind of questions arise for a ∧I-minimal proof strategy in the case of a general search for proofs of contradiction.
    Found 1 month, 1 week ago on PhilPapers
  21. 3589625.850057
    A mainstay assumption in natural-language semantics is that if - clauses bind indexical argument-places in then-clauses. Unfortunately, recent work (compare Santorio 2012) suggests that if -clauses can somehow act to ‘shift the context’. On the framework of Kaplan’s ‘Demonstratives’ (Kaplan 1977), that would be ‘monstrous’ and somehow impossible ‘in English’. The superseding framework of Lewis’s ‘Index, context, and content’ (Lewis 1980) instead maintains that an indexical argument-place is just one that is bindable (compare Stalnaker 2014, ch. 1), but maintains that these are rare—whereas the lesson of recent work is that they are pervasive.
    Found 1 month, 1 week ago on PhilPapers
  22. 3596679.850074
    This paper reveals two fallacies in Turing’s undecidability proof of first-order logic (FOL), namely, (i) an “extensional fallacy”: from the fact that a sentence is an instance of a provable FOL formula, it is inferred that a meaningful sentence is proven, and (ii) a “fallacy of substitution”: from the fact that a sentence is an instance of a provable FOL formula, it is inferred that a true sentence is proven. The first fallacy erroneously suggests that Turing’s proof of the non-existence of a circle-free machine that decides whether an arbitrary machine is circular proves a significant proposition. The second fallacy suggests that FOL is undecidable.
    Found 1 month, 1 week ago on PhilSci Archive
  23. 3769802.850104
    “Curry’s paradox”, as the term is used by philosophers today, refers to a wide variety of paradoxes of self-reference or circularity that trace their modern ancestry to Curry (1942b) and Löb (1955) .[ 1 ] The common characteristic of these so-called Curry paradoxes is the way they exploit a notion of implication, entailment or consequence, either in the form of a connective or in the form of a predicate. Curry’s paradox arises in a number of different domains. Like Russell’s paradox, it can take the form of a paradox of set theory or the theory of properties. But it can also take the form of a semantic paradox, closely akin to the Liar paradox.
    Found 1 month, 1 week ago on Stanford Encyclopedia of Philosophy
  24. 3883722.850126
    The divine attributes of omniscience and omnipotence have faced objections to their very consistency. Such objections rely on reasoning parallel to the semantic paradoxes such as the Liar or the set-theoretic paradoxes like Russell’s paradox. With the advent of paraconsistent logics, dialetheism — the view that some contradictions are true — became a major player in the search for a solution to such paradoxes. This paper explores whether dialetheism, armed with the tools of paraconsistent logics, has the resources to respond to the objections levelled against the divine attributes.
    Found 1 month, 2 weeks ago on Aaron J Cotnoir's site
  25. 4000584.85014
    When we design a complex system, we often start with a rough outline and fill in details later, one step at a time. And if the system is supposed to be adaptive, these details may need to changed as the system is actually being used! …
    Found 1 month, 2 weeks ago on Azimuth
  26. 4233121.850154
    By Eric Schwitzgebel and Ivan Gonzalez-Cabrera Elite English-language philosophy journals cite almost exclusively English-language sources, while elite Chinese-language philosophy journals cite from a range of linguistic traditions. …
    Found 1 month, 2 weeks ago on The Splintered Mind
  27. 4237539.850171
    Let me start with a few quick announcements before the main entrée: First, the website haspvsnpbeensolved.com is now live! Thanks so much to my friend Adam Chalmers for setting it up. Please try it out on your favorite P vs. NP solution paper—I think you’ll be impressed by how well our secret validation algorithm performs. …
    Found 1 month, 2 weeks ago on Scott Aaronson's blog
  28. 4288791.850184
    In the context of language, self-reference is used to denote a statement that refers to itself or its own referent. The most famous example of a self-referential sentence is the liar sentence: “This sentence is not true.” Self-reference is often used in a broader context as well. For instance, a picture could be considered self-referential if it contains a copy of itself (see the animated image above); and a piece of literature could be considered self-referential if it includes a reference to the work itself. In philosophy, self-reference is primarily studied in the context of language.
    Found 1 month, 2 weeks ago on Stanford Encyclopedia of Philosophy
  29. 5074005.850198
    N. Barton, A. E. Caicedo, G. Fuchs, J. D. Hamkins, and J. Reitz, “Inner-model reflection principles.” (manuscript under review)   Citation arχiv @ARTICLE{BartonCaicedoFuchsHamkinsReitz:Inner-model-reflection-principles, author = {Neil Barton and Andr\'es Eduardo Caicedo and Gunter Fuchs and Joel David Hamkins and Jonas Reitz}, title = {Inner-model reflection principles}, journal = {}, year = {}, volume = {}, number = {}, pages = {}, month = {}, note = {manuscript under review}, abstract = {}, keywords = {}, source = {}, doi = {}, eprint = {1708.06669}, archivePrefix = {arXiv}, primaryClass = {math.LO}, url = {http://jdh.hamkins.org/inner-model-reflection-principles}, } Abstract. …
    Found 1 month, 4 weeks ago on Joel David Hamkins's blog
  30. 5132219.850212
    Last time I introduced typed operads. A typed operad has a bunch of operations for putting together things of various types and getting new things of various types. This is a very general idea! But in the CASCADE project we’re interested in something more specific: networks. …
    Found 1 month, 4 weeks ago on Azimuth