View topic on PhilPapers for more information
Related categories

223 found
Order:
More results on PhilPapers
1 — 50 / 223
  1. Maximization of Originality.Miro Brada - manuscript
    The richer you are, the less equally rich or richer people. The richest is only one (=unique). Maximization of richness or leisure (=classic utility), maximizes the uniqueness (=improbability) that can be maximized also by: extreme sport, suicide, tattoo, count of views... The richest seem unique as the poorest, but the rich can easily become poor, while the poor can hardly get rich. So the aim of maximization reflects IQ and options. Few options increase irrationality, regardless of IQ. I also present (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. Model of Intelligence.Miro Brada - manuscript
    Model of intelligence and new methods to assess IQ. MA thesis in 1998 (Comenius University). Art exhibitions "From Animation" London 2013, "Fading Memory" Weißenohe 2015, TAIF Tokyo 2017. Conferences in Santorini, Daejon 2016, Geneva 2017.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. A Puzzle About Inferential Strength and Probability.Alexander Hughes - manuscript
    Inductive logic would be the logic of arguments that are not valid, but nevertheless justify belief in something like the way in which valid arguments would. Maybe we could describe it as the logic of “almost valid” arguments. There is a sort of transitivity to valid arguments. Valid arguments can be chained together to form arguments and such arguments are themselves valid. One wants to distinguish the “almost valid” arguments by noting that chains of “almost valid” arguments are weaker than (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  4. A Decision Procedure for Herbrand Formulas Without Skolemization.Timm Lampert - manuscript
    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 V 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 (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  5. Prolog Detects Pathological Self Reference in the Gödel Sentence.P. Olcott - manuscript
    This sentence G ↔ ¬(F ⊢ G) and its negation G ↔ ~(F ⊢ ¬G) are shown to meet the conventional definition of incompleteness: Incomplete(T) ↔ ∃φ ((T ⊬ φ) ∧ (T ⊬ ¬φ)). They meet conventional definition of incompleteness because neither the sentence nor its negation is provable in F (or any other formal system).
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  6. Refuting Tarski and Gödel with a Sound Deductive Formalism.P. Olcott - manuscript
    The conventional notion of a formal system is adapted to conform to the sound deductive inference model operating on finite strings. Finite strings stipulated to have the semantic value of Boolean true provide the sound deductive premises. Truth preserving finite string transformation rules provide the valid deductive inference. Sound deductive conclusions are the result of these finite string transformation rules.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  7. Defining Gödel Incompleteness Away.P. Olcott - manuscript
    We can simply define Gödel 1931 Incompleteness away by redefining the meaning of the standard definition of Incompleteness: A theory T is incomplete if and only if there is some sentence φ such that (T ⊬ φ) and (T ⊬ ¬φ). This definition construes the existence of self-contradictory expressions in a formal system as proof that this formal system is incomplete because self-contradictory expressions are neither provable nor disprovable in this formal system. Since self-contradictory expressions are neither provable nor disprovable (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  8. Tarski Undefinability Theorem Terse Refutation.P. Olcott - manuscript
    Both Tarski and Gödel “prove” that provability can diverge from Truth. When we boil their claim down to its simplest possible essence it is really claiming that valid inference from true premises might not always derive a true consequence. This is obviously impossible.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  9. Provability with Minimal Type Theory.Pete Olcott - manuscript
    Minimal Type Theory (MTT) shows exactly how all of the constituent parts of an expression relate to each other (in 2D space) when this expression is formalized using a directed acyclic graph (DAG). This provides substantially greater expressiveness than the 1D space of FOPL syntax. -/- The increase in expressiveness over other formal systems of logic shows the Pathological Self-Reference Error of expressions previously considered to be sentences of formal systems. MTT shows that these expressions were never truth bearers, thus (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  10. Defining a Decidability Decider.Pete Olcott - manuscript
    By extending the notion of a Well Formed Formula to include syntactically formalized rules for rejecting semantically incorrect expressions we recognize and reject expressions that have the semantic error of Pathological self-reference(Olcott 2004). The foundation of this system requires the notion of a BaseFact that anchors the semantic notions of True and False. When-so-ever a formal proof from BaseFacts of language L to a closed WFF X or ~X of language L does not exist X is decided to be semantically (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  11. Minimal Type Theory (MTT).Pete Olcott - manuscript
    Minimal Type Theory (MTT) is based on type theory in that it is agnostic about Predicate Logic level and expressly disallows the evaluation of incompatible types. It is called Minimal because it has the fewest possible number of fundamental types, and has all of its syntax expressed entirely as the connections in a directed acyclic graph.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  12. Probability of Immortality and God’s Existence. A Mathematical Perspective.Jesús Sánchez - manuscript
    What are the probabilities that this universe is repeated exactly the same with you in it again? Is God invented by human imagination or is the result of human intuition? The intuition that the same laws/mechanisms (evolution, stability winning probability) that have created something like the human being capable of self-awareness and controlling its surroundings, could create a being capable of controlling all what it exists? Will be the characteristics of the next universes random or tend to something? All these (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  13. Credence for Epistemic Discourse.Paolo Santorio - manuscript
    Many recent theories of epistemic discourse exploit an informational notion of consequence, i.e. a notion that defines entailment as preservation of support by an information state. This paper investigates how informational consequence fits with probabilistic reasoning. I raise two problems. First, all informational inferences that are not also classical inferences are, intuitively, probabilistically invalid. Second, all these inferences can be exploited, in a systematic way, to generate triviality results. The informational theorist is left with two options, both of them radical: (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  14. The Logical Web - Why Most Alternatives to the Material Account Are Ad Hoc.Matheus Silva - manuscript
    The material account of indicative conditionals states that indicative conditional sentences and the material implication have the same truth conditions. Many conditional logics are motivated by attempts to fix the counter-intuitive aspects associated with the material account. Some counter-intuitive instances of classical argumentative forms, e.g., strengthening of the antecedent, contraposition, and conditional negation, are regarded as evidence that the material account is wrong and that classical logic should be rejected in favour of a new logic system in which these argumentative (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  15. Restricted and Unrestricted Modus Ponens.Matheus Silva - manuscript
    In a typical modus ponens the reasoner will (a) assert that a premise materially implies a conclusion in a given world; (b) assert this premise and (c) infer the conclusion. But this restricted modus ponens has little in common with the unrestricted textbook modus ponens, since the latter claims that there are no possible worlds where: (a’) a premise materially implies a conclusion, (b’) that premise is true and (c’) the conclusion is false. It is clear that this textbook modus (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  16. In Defense of Hypothetical Syllogism.Matheus Silva - manuscript
    Moti Mizrahi (2013) presented a putative counterexample to Hypothetical Syllogism (HS) for indicative conditionals aiming to succeed where previous attempts to refute HS have failed. Lee Walters (2014a) objected that Mizrahi’s putative counterexample results from an inadequate analysis of conditionals with embedded modals, but advanced new putative counterexamples to HS for subjunctive conditionals that are supposed to bypass this issue (Walters, 2014a; 2014b). It is argued that Walter’s analysis of embedded modals is unnecessary to prevent Mizrahi’s putative counterexample, since the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  17. The Material Account of Conditionals and the Clash Between Intensional and Extensional Evidence.Matheus Silva - manuscript
    Intensional evidence is any reason to accept a proposition that is not the truth values of the proposition accepted or, if it is a complex proposition, its propositional contents. Extensional evidence is non-intensional evidence. Someone can accept a complex proposition, but deny its logical consequences in two circumstances: (1) when her acceptance is based on intensional evidence, while the logical consequences of the proposition presuppose the acceptance of extensional evidence, e.g., she can refuse the logical consequence of a proposition she (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  18. A Contextualist Defence of the Material Account of Indicative Conditionals.Matheus Silva - manuscript
    The material account of indicative conditionals faces a legion of counterexamples that are the bread and butter in any entry about the subject. For this reason, the material account is widely unpopular among conditional experts. I will argue that this consensus was not built on solid foundations, since these counterexamples are contextual fallacies. They ignore a basic tenet of semantics according to which when evaluating arguments for validity we need to maintain the context constant, otherwise any argumentative form can be (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  19. Subjunctive Conditionals Are Material.Matheus Silva - manuscript
    The material account claims that indicative conditionals are material. However, the conventional wisdom even among material account enthusiasts is that the material account cannot be extended to subjunctive conditionals. There are mainly three reasons that motivate this consensus: (1) the belief that if subjunctives were material, most subjunctive conditionals would be vacuously true, which is implausible; (2) its inconsistency with Adam pairs, which suggest that indicative and subjunctive conditionals have different truth conditions; and (3) the belief that it is an (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  20. Looking for the Missing Antecedent.Matheus Silva - manuscript
    The conclusion of a valid deductive argument is contained in its premises, but the deductive argument can still be informative if the arguer is trying to find the missing premises that together with the accepted premises will ensure the truth of the conclusion. Necessarily true conditionals have a deductive-like character so their consequents are contained in their antecedents. These conditionals can be informative, so we need to find the missing antecedent that makes the connection between the antecedent and the consequent. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  21. Is Classical Logic Monotonic?Matheus Silva - manuscript
    It is usually accepted that one of the properties of classical logic is monotonicity, which states that the validity of implication is not affected by the addition of new premises. In this piece, I will argue that this common notion is unjustified since it is motivated by a category mistake. The notion of monotonicity is primarily epistemic in character and can’t be meaningfully attributed to a system. This is acutely clear in the contrast of monotonicity with non-monotonicity, which we tend (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  22. An Even Simpler Defense of Material Implication.Matheus Silva - manuscript
    Lee Archie argued that if any truth values are consistently assigned to a natural language conditional to which Modus Ponens and Modus Tollens are valid argumentative forms, and affirming the consequent is an invalid argumentative form, this conditional would have the same truth conditions than a material implication. This argument is simple and it requires few assumptions that are relatively uncontroversial. We show that it is possible to extend Archie’s argument to three-valued logics and five-valued logics and vindicate a slightly (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  23. The Big Four - Their Interdependence and Limitations.Matheus Silva - manuscript
    Four intuitions are recurrent and influential in theories about conditionals: the Ramsey’s test, the Adams’ Thesis, the Equation, and the robustness requirement. For simplicity’s sake, I call these intuitions ‘the big four’. My aim is to show that: (1) the big four are interdependent; (2) they express our inferential dispositions to employ a conditional on a modus ponens; (3) the disposition to employ conditionals on a modus ponens doesn’t have the epistemic significance that is usually attributed to it, since the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  24. Liar Sentences Are Truth-Apt.Matheus Silva - manuscript
    Lycan (2010: 617) maintained that if we know about a deductive argument P1, P2…, ∴C that it is valid, this shows that a set containing the premises and the negation of conclusion is internally inconsistent {P1, P2,…, ~C}. Using a similar reasoning, we should conclude that an invalid deductive argument shows that a set containing the premises and the negation of conclusion is internally consistent. This implies that premises and conclusion of any deductive argument are truth-apt. Since it is uncontroversial (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  25. 'If-Then' as a Version of 'Implies'.Matheus Silva - manuscript
    Russell’s role in the controversy about the paradoxes of material implication is usually presented as a tale of how even the greatest minds can fall prey of basic conceptual confusions. Quine accused him of making a silly mistake in Principia Mathematica. He interpreted ‘if-then’ as a version of ‘implies’ and called it material implication. Quine’s accusation is that this decision involved a use-mention fallacy because the antecedent and consequent of ‘if-then’ are used instead of being mentioned as the premise and (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  26. Two Degrees of Implication.Matheus Silva - manuscript
    In a material implication the relation of logical consequence is restricted to a world parameter, whereas in a formal implication the relation of logical consequence extends over many worlds. One could infer from this pattern that the material implication should be reduced to formal implication since it is just a restricted version of it, or, inversely, that formal implication should be reduced to material implication since it is an unrestricted version of it. But both reductionist claims would betray a superficial (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  27. Making Conditional Speech Acts in the Material Way.Matheus Silva - manuscript
    The conventional wisdom about conditionals claims that (1) conditionals that have non-assertive acts in their consequents, such as commands and promises, are not plausibly interpreted as material implications; (2) the most promising hypothesis about these sentences is conditional-assertion theory, which explains a conditional as a conditional speech act, i.e., a performance of a speech act given the assumption of the antecedent. This hypothesis has far-reaching and revisionist consequences, because conditional speech acts are not synonymous with a proposition with truth conditions. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  28. Conditional Sentences as Implication Statements: A New Approach.Matheus Silva - manuscript
    It is usually accepted that conditional sentences are sui generis and enigmatic. In this paper I try to make them more accessible by interpreting them as claims to relations of implication restricted to a parameter world. This interpretation revives an old idea that fell into disuse, but in its improved version leads to refreshing solutions to known problems in conditional theory. The many benefits of this approach are evidenced by its insightful explanation of some apparent counter-examples to classical argumentative forms (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  29. The False Promises of Logic Textbooks - How Logic Has a Much More Limited Role Than People Usually Think.Matheus Silva - manuscript
    Logic textbooks advertise that they can teach how to spot a valid argument by its logical form alone. They also boast having collections with the most basic valid argumentative forms people of flesh and blood can use in deductive matters. Think about this for a moment. These are bold statements. If they were accurate, philosophers would be in higher demand than software engineers and no one would be able to make contributions to theoretical physics without ever taking a logic class. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  30. Modus Ponens, Conditional-Circularity and Material Implication.Matheus Silva - manuscript
    The modus ponens can be interpreted as an answer to a circularity charge, but this strategy is only feasible if the additional conditional premise is interpreted as a claim to a material implication. Here’s how it works.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  31. The Inextricable Link Between Conditionals and Logical Consequence.Matheus Silva - manuscript
    There is a profound, but frequently ignored, relationship between the classical conception of logical consequence and the material implication. The first repeats the patterns of the latter, but with a wider modal reach. This relationship suggests that there should be also a connection between the notion of logical consequence and the conditional connective of any given logical system. This implies, among other things, that it is incoherent to propose alternatives to the material implication while maintaining the classical conception of logical (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  32. Making Sense of Deduction.Matheus Silva - manuscript
    An argument is deductive when the arguer believes the truth of the premises necessitates the truth of the conclusion. A deductive argument is valid when the arguer’s claim is true, i.e., when there are no possible worlds whether the premises are true and the conclusion is false. But in order to evaluate this claim in an accurate manner we need to consider three qualifications that have been repeatedly ignored in the literature, namely, consistency in the attribution of truth values, world (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  33. Indicative Conditionals Are Material - Expanding the Survey.Matheus Martins Silva - manuscript
    The material account of indicative conditionals states that indicative conditional sentences and the material implication have the same truth conditions. Recently, Adam Rieger has carried out a survey of arguments in favour of the material account. In this paper, I extend this survey by presenting yet more arguments for the material account. On top of presenting more arguments, I also want to argue that it is plausible to extend the material account to subjunctive conditionals. For that reason, the arguments here (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  34. (Meta)Inferential Levels of Entailment Beyond the Tarskian Paradigm.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - forthcoming - Synthese:1-25.
    In this paper we discuss the extent to which the very existence of substructural logics puts the Tarskian conception of logical systems in jeopardy. In order to do this, we highlight the importance of the presence of different levels of entailment in a given logic, looking not only at inferences between collections of formulae but also at inferences between collections of inferences—and more. We discuss appropriate refinements or modifications of the usual Tarskian identity criterion for logical systems, and propose an (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  35. Substructural Logics, Pluralism and Collapse.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - forthcoming - Synthese:1-17.
    When discussing Logical Pluralism several critics argue that such an open-minded position is untenable. The key to this conclusion is that, given a number of widely accepted assumptions, the pluralist view collapses into Logical Monism. In this paper we show that the arguments usually employed to arrive at this conclusion do not work. The main reason for this is the existence of certain substructural logics which have the same set of valid inferences as Classical Logic—although they are, in a clear (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  36. On Stalnaker's "Indicative Conditionals".Fabrizio Cariani - forthcoming - In Louise McNally, Yael Sharvit & Zoltan Szabo (eds.), Studies in Linguistics and Philosophy, Vol 100. Springer.
    This paper is a guide to the main ideas and innovations in Robert Stalnaker's "Indicative Conditionals". The paper is for a volume of essays on twenty-one classics of formal semantics edited by Louise McNally, Yael Sharvit and Zoltàn Gendler Szabò.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  37. Another way logic might be normative.J. W. Evershed - forthcoming - Synthese:1-21.
    Is logic normative for reasoning? In the wake of work by Gilbert Harman and John MacFarlane, this question has been reduced to: are there any adequate bridge principles which link logical facts to normative constraints on reasoning? Hitherto, defenders of the normativity of logic have exclusively focussed on identifying adequate validity bridge principles: principles linking validity facts—facts of the form 'gamma entails phi'—to normative constraints on reasoning. This paper argues for two claims. First, for the time being at least, Harman’s (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38. Overgeneration in the Higher Infinite.Salvatore Florio & Luca Incurvati - forthcoming - In Gil Sagi & Jack Woods (eds.), The Semantic Conception of Logic: Essays on Consequence, Invariance, and Meaning. Cambridge: Cambridge University Press.
    The Overgeneration Argument is a prominent objection against the model-theoretic account of logical consequence for second-order languages. In previous work we have offered a reconstruction of this argument which locates its source in the conflict between the neutrality of second-order logic and its alleged entanglement with mathematics. Some cases of this conflict concern small large cardinals. In this article, we show that in these cases the conflict can be resolved by moving from a set-theoretic implementation of the model-theoretic account to (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  39. Limits of Abductivism About Logic.Ulf Hlobil - forthcoming - Philosophy and Phenomenological Research.
    I argue against abductivism about logic, which is the view that rational theory choice in logic happens by abduction. Abduction cannot serve as a neutral arbiter in many foundational disputes in logic because, in order to use abduction, one must first identify the relevant data. Which data one deems relevant depends on what I call one's conception of logic. One's conception of logic is, however, not independent of one's views regarding many of the foundational disputes that one may hope to (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. Defining Textual Entailment.Daniel Z. Korman, Eric Mack, Jacob Jett & Allen H. Renear - forthcoming - Journal of the Association for Information Science and Technology.
    Textual entailment is a relationship that obtains between fragments of text when one fragment in some sense implies the other fragment. The automation of textual entailment recognition supports a wide variety of text-based tasks, including information retrieval, information extraction, question answering, text summarization, and machine translation. Much ingenuity has been devoted to developing algorithms for identifying textual entailments, but relatively little to saying what textual entailment actually is. This article is a review of the logical and philosophical issues involved in (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  41. Deep Fried Logic.Shay Allen Logan - forthcoming - Erkenntnis:1-30.
    There is a natural story about what logic is that sees it as tied up with two operations: a ‘throw things into a bag’ operation and a ‘closure’ operation. In a pair of recent papers, Jc Beall has fleshed out the account of logic this leaves us with in more detail. Using Beall’s exposition as a guide, this paper points out some problems with taking the second operation to be closure in the usual sense. After pointing out these problems, I (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  42. Naïve Validity.Julien Murzi & Lorenzo Rossi - forthcoming - Synthese:1-23.
    Beall and Murzi :143–165, 2013) introduce an object-linguistic predicate for naïve validity, governed by intuitive principles that are inconsistent with the classical structural rules. As a consequence, they suggest that revisionary approaches to semantic paradox must be substructural. In response to Beall and Murzi, Field :1–19, 2017) has argued that naïve validity principles do not admit of a coherent reading and that, for this reason, a non-classical solution to the semantic paradoxes need not be substructural. The aim of this paper (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  43. Frege and Saving Substitution.Bryan Pickel & Brian Rabern - forthcoming - Philosophical Studies.
    Goodman and Lederman (2020) argue that the traditional Fregean strategy for preserving the validity of Leibniz’s Law of substitution fails when confronted with apparent counterexamples involving proper names embedded under propositional attitude verbs. We argue, on the contrary, that the Fregean strategy succeeds and that Goodman and Lederman’s argument misfires.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  44. Dynamic Consequence for Soft Information.Olivier Roy & Ole Thomassen Hjortland - forthcoming - Journal of Logic and Computation.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  45. Against Harmony.Ian Rumfitt - forthcoming - In Bob Hale, Crispin Wright & Alexander Miller (eds.), The Blackwell Companion to the Philosophy of Language. Blackwell.
    Many prominent writers on the philosophy of logic, including Michael Dummett, Dag Prawitz, Neil Tennant, have held that the introduction and elimination rules of a logical connective must be ‘in harmony ’ if the connective is to possess a sense. This Harmony Thesis has been used to justify the choice of logic: in particular, supposed violations of it by the classical rules for negation have been the basis for arguments for switching from classical to intuitionistic logic. The Thesis has also (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  46. The (Greatest) Fragment of Classical Logic That Respects the Variable-Sharing Principle (in the Fmla-Fmla Framework).Damian Szmuc - forthcoming - Bulletin of the Section of Logic.
    We examine the set of formula-to-formula valid inferences of Classical Logic, where the premise and the conclusion share at least a propositional variable in common. We review the fact, already proved in the literature, that such a system is identical to the first-degree entailment fragment of R. Epstein's Relatedness Logic, and that it is a non-transitive logic of the sort investigated by S. Frankowski and others. Furthermore, we provide a semantics and a calculus for this logic. The semantics is defined (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  47. An Epistemic Interpretation of Paraconsistent Weak Kleene Logic.Damian E. Szmuc - forthcoming - Logic and Logical Philosophy:1.
    This paper extends Fitting's epistemic interpretation of some Kleene logics, to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting's "cut-down" operator is discussed, rendering a "track-down" operator later used to represent the idea that no consistent opinion can arise from a set including an inconsistent opinion. It is shown that, if some reasonable assumptions are made, the truth-functions of Paraconsistent Weak Kleene coincide with certain operations defined in this track-down fashion. Finally, further reflections (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   6 citations  
  48. A Simple Logical Matrix and Sequent Calculus for Parry’s Logic of Analytic Implication.Damian E. Szmuc - forthcoming - Studia Logica:1-38.
    We provide a logical matrix semantics and a Gentzen-style sequent calculus for the first-degree entailments valid in W. T. Parry's logic of Analytic Implication. We achieve the former by introducing a logical matrix closely related to that inducing paracomplete weak Kleene logic, and the latter by presenting a calculus where the initial sequents and the left and right rules for negation are subject to linguistic constraints.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  49. Meaningless Divisions.Damian Szmuc & Thomas Macaulay Ferguson - forthcoming - Notre Dame Journal of Formal Logic.
    In this article we revisit a number of disputes regarding significance logics---i.e., inferential frameworks capable of handling meaningless, although grammatical, sentences---that took place in a series of articles most of which appeared in the Australasian Journal of Philosophy between 1966 and 1978. These debates concern (i) the way in which logical consequence ought to be approached in the context of a significance logic, and (ii) the way in which the logical vocabulary has to be modified (either by restricting some notions, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  50. Semantic Relativism and Logical Implication.Leonid Tarasov - forthcoming - Erkenntnis:1-21.
    Semantic relativism is the view that the truth-value of some types of statements can vary depending on factors besides possible worlds and times, without any change in their propositional content. It has grown increasingly popular as a semantic theory of several types of statements, including statements that attribute knowledge of a proposition to a subject. The ways of knowing claim is the view that perception logically implies knowledge. In my “Semantic Relativism and Ways of Knowing” I argued that a relativist (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 223