Contents
169 found
Order:
1 — 50 / 169
  1. Paul Grice on Indicative Conditionals.Rani Lill Anjum - manuscript
    Grice argues that indicative conditionals ‘if p then q’ have conventional, truth conditional meaning according to the material conditional ‘p  q’. In order to explain away the known paradoxes with this interpretation, he distinguishes between truth conditions and assertion conditions, attempting to demonstrate that the assumed connection between ‘p’ and ‘q’ (the Indirectness Condition) is a conversational implicature; hence a matter only relevant for the assertion conditions of a conditional. This paper argues that Grice fails to demonstrate i) that (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. Conditionals and Truth Functionality.Rani Lill Anjum - manuscript
    The material interpretation of conditionals is commonly recognized as involving some paradoxical results. I here argue that the truth functional approach to natural language is the reason for the inadequacy of this material interpretation, since the truth or falsity of some pair of statements ‘p’ and ‘q’ cannot per se be decisive for the truth or falsity of a conditional relation ‘if p then q’. This inadequacy also affects the ability of the overall formal system to establish whether or not (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. All men are animals: hypothetical, categorical, or material?Rani Lill Anjum & Johan Arnt Myrstad - manuscript
    The conditional interpretation of general categorical statements like ‘All men are animals’ as universally quantified material conditionals ‘For all x, if x is F, then x is G’ suggests that the logical structure of law statements is conditional rather than categorical. Disregarding the problem that the universally quantified material conditional is trivially true whenever there are no xs that are F, there are some reasons to be sceptical of Frege’s equivalence between categorical and conditional expressions. -/- Now many philosophers will (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  4. Homo deceptus: How language creates its own reality.Bruce Bokor - manuscript
    Homo deceptus is a book that brings together new ideas on language, consciousness and physics into a comprehensive theory that unifies science and philosophy in a different kind of Theory of Everything. The subject of how we are to make sense of the world is addressed in a structured and ordered manner, which starts with a recognition that scientific truths are constructed within a linguistic framework. The author argues that an epistemic foundation of natural language must be understood before laying (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  5. On the philosophical motivations for the logics of formal consistency and inconsistency.Walter Carnielli & Rodrigues Abilio - manuscript
    We present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language. We shall defend the view according to which logics of formal inconsistency are theories of logical consequence of normative and epistemic character. This approach not only allows us to make inferences in the presence of contradictions, but offers a philosophically acceptable account of paraconsistency.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  6. Carnap, Language Pluralism, and Rationality.Matti Eklund - manuscript
    Forthcoming in Darren Bradley (ed.), Carnap and Contemporary Philosophy. -/- This paper is centered on Carnap’s views on rationality. More specifically, much of the focus is on a puzzle regarding Carnap’s view on rationality that Florian Steinberger has recently discussed. Not only is Steinberger’s discussion of significant intrinsic interest: his discussion also raises general questions about Carnap interpretation. As I have discussed in earlier work, there are two very different ways of interpreting Carnap’s talk of “frameworks” – and, relatedly, different (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  7. On Logical and Scientific Strength.Luca Incurvati & Carlo Nicolai - manuscript
    The notion of strength has featured prominently in recent debates about abductivism in the epistemology of logic. Following Williamson and Russell, we distinguish between logical and scientific strength and discuss the limits of the characterizations they employ. We then suggest understanding logical strength in terms of interpretability strength and scientific strength as a special case of logical strength. We present applications of the resulting notions to comparisons between logics in the traditional sense and mathematical theories.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. 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  
  9. How Gödelian Ontological Arguments Fail.Matthew Parker - manuscript
    Ontological arguments like those of Gödel (1995) and Pruss (2009; 2012) rely on premises that initially seem plausible, but on closer scrutiny are not. The premises have modal import that is required for the arguments but is not immediately grasped on inspection, and which ultimately undermines the simpler logical intuitions that make the premises seem plausible. Furthermore, the notion of necessity that they involve goes unspecified, and yet must go beyond standard varieties of logical necessity. This leaves us little reason (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  10. Random Formula Generators.Ariel Jonathan Roffé & Joaquín Toranzo Calderón - manuscript
    In this article, we provide three generators of propositional formulae for arbitrary languages, which uniformly sample three different formulae spaces. They take the same three parameters as input, namely, a desired depth, a set of atomics and a set of logical constants (with specified arities). The first generator returns formulae of exactly the given depth, using all or some of the propositional letters. The second does the same but samples up-to the given depth. The third generator outputs formulae with exactly (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  11. Lógica Básica.Carlos Romero - manuscript
    Un libro de texto de lógica, argumentación y razonamiento probabilístico que he estado escribiendo durante los últimos años. Lo he usado para clases en bachillerato, licenciatura y posgrado. Está incompleto todavía, pero las primeras tres partes (argumentación, lógica proposicional, y cuantificación) están completas a un 85%, aproximadamente. Si lo usas, me ayudarías mucho mandándome comentarios, críticas y cualquier sugerencia.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  12. Content Recarving as Subject Matter Restriction.Vincenzo Ciccarelli - forthcoming - Manuscrito: Revista Internacional de Filosofía 42 (1).
    In this article I offer an explicating interpretation of the procedure of content recarving as described by Frege in §64 of the Foundations of Arithmetic. I argue that the procedure of content recarving may be interpreted as an operation that while restricting the subject matter of a sentence, performs a generalization on what the sentence says about its subject matter. The characterization of the recarving operation is given in the setting of Yablo’s theory of subject matter and it is based (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  13. A Mereological Reading of the Dictum de Omni et Nullo.Phil Corkum - forthcoming - Archiv für Geschichte der Philosophie.
    When Aristotle introduces the perfect moods, he refers back to the dictum de omni et nullo, a semantic condition for universal affirmations and negations. There recently has been renewed interest in the question whether the dictum validates the assertoric syllogistic. I rehearse evidence that Aristotle provides a mereological semantics for universal affirmations and negations, and note that this semantics entails a nonstandard reading of the dictum, under which the dictum, in the presence of a minimal logical apparatus, indeed validates the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  14. Aristotle on the Individuation of Syllogisms.Phil Corkum - forthcoming - Ancient Philosophy.
    Discussion of the Aristotelian syllogistic over the last sixty years has arguably centered on the question whether syllogisms are inferences or implications. But the significance of this debate at times has been taken to concern whether the syllogistic is a logic or a theory, and how it ought to be represented by modern systems. Largely missing from this discussion has been a study of the few passages in the Prior Analytics where Aristotle provides explicit guidance on how to individuate syllogisms. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  15. Possible Limits of Conceptual Engineering: Magnetism, Fixed Points and Inescapability.Matti Eklund - forthcoming - Argumenta.
    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.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  16. The Logic of Hyperlogic. Part A: Foundations.Alexander W. Kocurek - forthcoming - Review of Symbolic Logic:1-27.
    Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., "Intuitionistic logic is correct" or "The law of excluded middle holds") into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  17. The Space of Reasons as Self-Consciousness.Eric Marcus - forthcoming - Australasian Journal of Philosophy.
    In reasoning, we draw conclusions from multiple premises. But thinkers can be fragmented. And if there is no single fragment of the agent that thinks all of the premises, then the agent cannot draw any conclusions from them. It follows that reasoning from multiple premises depends on their being thought together. But what is it to think premises together? What is the condition that contrasts with fragmentation? This paper provides an answer to this question that is simple but compelling: to (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  18. Supervaluationism, Modal Logic, and Weakly Classical Logic.Joshua Schechter - forthcoming - Journal of Philosophical Logic:1-51.
    A consequence relation is strongly classical if it has all the theorems and entailments of classical logic as well as the usual meta-rules (such as Conditional Proof). A consequence relation is weakly classical if it has all the theorems and entailments of classical logic but lacks the usual meta-rules. The most familiar example of a weakly classical consequence relation comes from a simple supervaluational approach to modelling vague language. This approach is formally equivalent to an account of logical consequence according (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  19. Where Words Fail.Charles Travis - forthcoming - In Sofia Miguens (ed.), The Logical Alien at 20. HUP.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. How Logic Speals.Charles Travis - forthcoming - In Alan Berger (ed.), a Festschrift for Hilary Putnam.
    This is to appear in a Festschrift for Hilary Putnam on his 85th birthday. This is a pre-publication, not final, version.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  21. What are acceptable reductions? Perspectives from proof-theoretic semantics and type theory.Sara Ayhan - 2023 - Australasian Journal of Logic 20 (3):412-428.
    It has been argued that reduction procedures are closely connected to the question about identity of proofs and that accepting certain reductions would lead to a trivialization of identity of proofs in the sense that every derivation of the same conclusion would have to be identified. In this paper it will be shown that the question, which reductions we accept in our system, is not only important if we see them as generating a theory of proof identity but is also (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  22. Prior's puzzle generalized.Justin D'Ambrosio - 2023 - Philosophy and Phenomenological Research 106 (1):196-220.
    Prior’s puzzle is standardly taken to be the puzzle of why, given the assumption that that-clauses denote propositions, substitution of “the proposition that P” for “that P” within the complements of many propositional attitude verbs is invalid. I show that Prior’s puzzle is much more general than is ordinarily supposed. There are two variants on the substitutional form of the puzzle—a quantificational variant and a pronominal variant—and all three forms of the puzzle arise in a wide range of grammatical positions, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. justifying what ? - two basic types of knowledge claims revisited.Friedrich Wilhelm Grafe - 2023 - Archive.Org.
    ”It is often assumed that knowledge claims must be justified. But what kind of justification is required for knowledge ? . . . ” (*) -/- presupposition: the kind of epistemic justification depends on the type of the knowledge claim and its respective knowledge claim tradeoff ’vague vs. precise’. -/- procedere: in two - almost purely logical - case studies I account for this tradeoff and question in each case what (if any) were its general outcome wrt justification -/- first (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  24. Valid Arguments as True Conditionals.Andrea Iacona - 2023 - Mind 132 (526):428-451.
    This paper explores an idea of Stoic descent that is largely neglected nowadays, the idea that an argument is valid when the conditional formed by the conjunction of its premises as antecedent and its conclusion as consequent is true. As it will be argued, once some basic features of our naıve understanding of validity are properly spelled out, and a suitable account of conditionals is adopted, the equivalence between valid arguments and true conditionals makes perfect sense. The account of validity (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   5 citations  
  25. Logical Realism and the Riddle of Redundancy.Óscar Antonio Monroy Pérez - 2023 - Mind 131 (524):1083-1107.
    According to an influential view, when it comes to representing reality, some words are better suited for the job than others. This is elitism. There is reason to believe that the set of the best, or elite, words should not be redundant or arbitrary. However, we are often forced to choose between these two theoretical vices, especially in cases involving theories that seem to be mere notational variants. This is the riddle of redundancy: both redundancy and arbitrariness are vicious, but (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  26. Necessity, Theism, and Evidence.Mike Almeida - 2022 - Logique Et Analyse 259 (1):287-307.
    The minimal God exemplifies essential omnipotence, omniscience, and moral perfection, but none of the other properties of the traditional God. I examine the consequences of the minimal God in augmented S5, S4, and Kρσ. The metaphysical consequences for the minimal God in S5 include the impossibility that God—or any other object—might acquire, lose, or exchange an essential property. It is impossible that an essentially divine being might become essentially human, for instance. The epistemological consequences include the impossibility of agnosticism—it is (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  27. Structural Relativity and Informal Rigour.Neil Barton - 2022 - In Gianluigi Oliveri, Claudio Ternullo & Stefano Boscolo (eds.), Objects, Structures, and Logics, FilMat Studies in the Philosophy of Mathematics. Springer. pp. 133-174.
    Informal rigour is the process by which we come to understand particular mathematical structures and then manifest this rigour through axiomatisations. Structural relativity is the idea that the kinds of structures we isolate are dependent upon the logic we employ. We bring together these ideas by considering the level of informal rigour exhibited by our set-theoretic discourse, and argue that different foundational programmes should countenance different underlying logics (intermediate between first- and second-order) for formulating set theory. By bringing considerations of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  28. On Representations of Intended Structures in Foundational Theories.Neil Barton, Moritz Müller & Mihai Prunescu - 2022 - Journal of Philosophical Logic 51 (2):283-296.
    Often philosophers, logicians, and mathematicians employ a notion of intended structure when talking about a branch of mathematics. In addition, we know that there are foundational mathematical theories that can find representatives for the objects of informal mathematics. In this paper, we examine how faithfully foundational theories can represent intended structures, and show that this question is closely linked to the decidability of the theory of the intended structure. We argue that this sheds light on the trade-off between expressive power (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. A Pragmatic-Semiotic Defence of Bivalence.Marc Champagne - 2022 - History and Philosophy of Logic 43 (2):143-157.
    Since Peirce defined the first operators for three-valued logic, it is usually assumed that he rejected the principle of bivalence. However, I argue that, because bivalence is a principle, the strategy used by Peirce to defend logical principles can be used to defend bivalence. Construing logic as the study of substitutions of equivalent representations, Peirce showed that some patterns of substitution get realized in the very act of questioning them. While I recognize that we can devise non-classical notations, I argue (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  30. Bunge y la validez de la adición.Luis Estrada González & Christian Romero-Rodríguez - 2022 - In German Guerrero-Pino (ed.), Ciencia, Realismo y materialismo. Cali, Valle del Cauca, Colombia: pp. 191-202.
    En The paradox of Addition and its dissolution (1969), Mario Bunge presenta algunos argumentos para mostrar que la Regla de Adición puede ocasionar paradojas o problemas semánticos. Posteriormente, Margáin (1972) y Robles (1976) mostraron que las afirmaciones de Bunge son insostenibles, al menos desde el punto de vista de la lógica clásica. Aunque estamos de acuerdo con las críticas de Margáin y Robles, no estamos de acuerdo en el diagnóstico del origen del problema y tampoco con la manera en la (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  31. A Rossian Account of the Normativity of Logic.R. M. Farley & Deke Caiñas Gould - 2022 - Southwest Philosophy Review 38 (1):103-113.
    Normativism is the view that logic provides rules for correct reasoning. Some influential critics of normativism, such as Gilbert Harman, claim that logical rules provide reasoners with bad or misleading standards. Others, such as Gillian Russell, claim that logic is a descriptive subject and thus cannot, given Hume’s law, provide rules for reasoning. We think these critics are mistaken. Our aim in this paper is to defend normativism by sketching an alternative way of thinking about the normative force of logical (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  32. On the Necessity of the Categories.Anil Gomes, Andrew Stephenson & Adrian Moore - 2022 - Philosophical Review 131 (2):129–168.
    For Kant, the human cognitive faculty has two sub-faculties: sensibility and the understanding. Each has pure forms which are necessary to us as humans: space and time for sensibility; the categories for the understanding. But Kant is careful to leave open the possibility of there being creatures like us, with both sensibility and understanding, who nevertheless have different pure forms of sensibility. They would be finite rational beings and discursive cognizers. But they would not be human. And this raises a (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  33. যুক্তিবিদ্যা বিষয়ক হেগেলের সংজ্ঞা: একটি পর্যালোচনা.Kazi A. S. M. Nurul Huda - 2022 - Dorshon o Progoti 39 (1-2):67-85.
    হেগেল তাঁর “লজিক এজ মেটাফিজিক্স” নামক গ্রন্থাংশের শুরুতেই অল্প ব্যবধানে যুক্তিবিদ্যার দৃশ্যত দুটি ভিন্ন সংজ্ঞা প্রদান করেন। এ দুটি সংজ্ঞানুযায়ী, যুক্তিবিদ্যা বিশুদ্ধ ধারণার বিজ্ঞান হলেও এটিকে চিন্তার বিজ্ঞান হিসেবেও আখ্যায়িত করা যেতে পারে। কিন্তু প্রশ্ন হলো, হেগেল একই গ্রন্থাংশে অল্প ব্যবধানে যুক্তিবিদ্যার এ যে দুটি ভিন্ন সংজ্ঞা প্রদান করলেন, তার কারণ কী? বা এ দুটি সংজ্ঞার মধ্যে সম্পর্কই বা কী? তারা কি একে অপরকে সমর্থন করে? বা তারা কি আসলেই ভিন্ন দুটি সংজ্ঞা? নাকি একই বক্তব্যের দুটি ভিন্ন প্রকাশ? এ প্রশ্নগুলোর (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  34. Logical Form and the Development of Russell’s Logicism.Kevin C. Klement - 2022 - In F. Boccuni & A. Sereni (eds.), Origins and Varieties of Logicism. Routledge. pp. 147–166.
    Logicism is the view that mathematical truths are logical truths. But a logical truth is commonly thought to be one with a universally valid form. The form of “7 > 5” would appear to be the same as “4 > 6”. Yet one is a mathematical truth, and the other not a truth at all. To preserve logicism, we must maintain that the two either are different subforms of the same generic form, or that their forms are not at all (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  35. Empty validity all the way up: an easy road (Proceedings) (12th edition).Estrada-González Luis & Romero-RodrÍguez Christian (eds.) - 2022 - Moscow: Lomonosov Moscow State University.
    There is a tension between the definition of empty logic as a logic with no valid arguments and no valid meta-arguments, on the one hand, and the way in which we have usually interpreted the validity of meta-arguments, on the other. Here we argue that one way to eliminate the tension is understanding the “If. . . then. . . ” in a meta-argument, at least in the case of an empty logic, as a transplication (aka the de Finetti conditional) (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  36. Revisiting McKay and Johnson's counterexample to ( β).Pedro Merlussi - 2022 - Philosophical Explorations 25 (2):189-203.
    In debates concerning the consequence argument, it has long been claimed that [McKay, T. J., and D. Johnson. 1996. “A Reconsideration of an Argument Against Compatibilism.” Philosophical Topics 24 (2): 113–122] demonstrated the invalidity of rule (β). Here, I argue that their result is not as robust as we might like to think. First, I argue that McKay and Johnson's counterexample is successful if one adopts a certain interpretation of ‘no choice about’ and if one is willing to deny the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  37. In Defence of Discrete Plural Logic (or How to Avoid Logical Overmedication When Dealing with Internally Singularized Pluralities).Gustavo Picazo - 2022 - Disputatio 14 (64):51-63.
    In recent decades, plural logic has established itself as a well-respected member of the extensions of first-order classical logic. In the present paper, I draw attention to the fact that among the examples that are commonly given in order to motivate the need for this new logical system, there are some in which the elements of the plurality in question are internally singularized (e.g. ‘Whitehead and Russell wrote Principia Mathematica’), while in others they are not (e.g. ‘Some philosophers wrote Principia (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  38. Ockhamism and Philosophy of Time.Alessio Santelli (ed.) - 2022 - Springer Cham.
    This book discusses fundamental topics on contemporary Ockhamism. The collected essays show how contemporary Ockhamism can impact areas of research such as semantics, metaphysics and also the philosophy of science. In addition, the volume hosts one historian of Medieval philosophy who investigates the way in which William of Ockham “in flesh and bone” construed time and, more generally, future contingency. The essays explore the different meanings of this theory. They cover three main topics, in particular. The first examines the thesis (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  39. A Mid-blue Logic.Danilo Suster - 2022 - In Boran Berčić, Aleksandra Golubović & Majda Trobok (eds.), HUMAN RATIONALITY Festschrift for Nenad Smokrović. Rijeka: University of Rijeka, Faculty of Humanities and Social Sciences. Rijeka, Croatia: Faculty of Humanities and Social Sciences. pp. 211-228.
    I discuss Smokrović’s work on the normativity of logic (Smokrović 2017, Smokrović 2018). I agree that the classical formal logic is not an adequate model for real-life reasoning. But I present some doubts about his notion of deductive logic and his proposal to model such reasoning in non-monotonic logic. No branch of formal logic by itself is likely to capture real-life inferential links (reasoned-inference). I use the logic of relevance as my case study and extend the pessimistic morals to modern (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  40. Символічна логіка: повернення до витоків. Стаття ІІІ. Похідні логістичні категорії.Yaroslav Kokhan - 2021 - Multiversum. Philosophical Almanac 2 (2):141-155.
    The paper is Part III of the large research, dedicated to both the revision of the system of basic logical categories and the generalization of modern predicate logic to functional logic. We determinate and contrapose modern Fregean logistics and proposed by the author ultra-Fregean logistics, next we describe values and arguments of functions, arguments of relations, relations themselves, sets (classes), and subsets (subclasses) as derivative categories (concepts) of ultrafregean logistics. Logistics is a part of metalogic, independent of semantics. Fregean logictics (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  41. There May Be Many Arithmetical Gödel Sentences.Kaave Lajevardi & Saeed Salehi - 2021 - Philosophia Mathematica 29 (2):278–287.
    We argue that, under the usual assumptions for sufficiently strong arithmetical theories that are subject to Gödel’s First Incompleteness Theorem, one cannot, without impropriety, talk about *the* Gödel sentence of the theory. The reason is that, without violating the requirements of Gödel’s theorem, there could be a true sentence and a false one each of which is provably equivalent to its own unprovability in the theory if the theory is unsound.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  42. Logical theory revision through data underdetermination: an anti-exceptionalist exercise.Sanderson Molick - 2021 - Principia: An International Journal of Epistemology 25 (1).
    The anti-exceptionalist debate brought into play the problem of what are the relevant data for logical theories and how such data affects the validities accepted by a logical theory. In the present paper, I depart from Laudan's reticulated model of science to analyze one aspect of this problem, namely of the role of logical data within the process of revision of logical theories. For this, I argue that the ubiquitous nature of logical data is responsible for the proliferation of several (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. What Does Success in Online Teaching Look Like?Boaz Faraday Schuman - 2021 - Teaching Philosophy 44 (3):339-67.
    What does success in online teaching look like? There are two ways to answer this question. The first defines success in terms of replacement of educational means: for example, how closely does an online lecture approximate its offline counterpart? The second defines success in terms of educational goals: for example, how well does an online lecture facilitate learning, compared with its offline counterpart? The first is a trap: it commits us to an endless online game of catch-up with offline models (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  44. Some Logical Notations for Pragmatic Assertions.Massimiliano Carrara, Daniele Chiffi & Ahti-Veikko Pietarinen - 2020 - Logique Et Analyse 251:297 - 315.
    The pragmatic notion of assertion has an important inferential role in logic. There are also many notational forms to express assertions in logical systems. This paper reviews, compares and analyses languages with signs for assertions, including explicit signs such as Frege’s and Dalla Pozza’s logical systems and implicit signs with no specific sign for assertion, such as Peirce’s algebraic and graphical logics and the recent modification of the latter termed Assertive Graphs. We identify and discuss the main ‘points’ of these (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  45. Identity criteria: an epistemic path to conceptual grounding.Massimiliano Carrara & Ciro De Florio - 2020 - Synthese 197 (7):3151-3169.
    Are identity criteria grounding principles? A prima facie answer to this question is positive. Specifically, two-level identity criteria can be taken as principles related to issues of identity among objects of a given kind compared with objects of a more basic kind. Moreover, they are grounding metaphysical principles of some objects with regard to others. In the first part of the paper we criticise this prima facie natural reading of identity criteria. This result does not mean that identity criteria could (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   9 citations  
  46. Refining OntoClean. Identity Criteria and Grounding.Ciro De Florio & Massimiliano Carrara - 2020 - Proceedings of the Joint Ontology Workshops (JOWO 2020).
    In this paper we introduce some logical and philosophical refinements to OntoClean, first by developing some formal constraints on identity criteria, secondly by specifying a kind of identity criteria, two level identity criteria, whose role is to explain an identity among some entities referring to some other, more basic, entities. Using such refinement we add a formal constraint to the stock of OntoClean meta-constraints (OC+). We, then, observe that two level identity criteria have an intuitive reading in terms of dependence (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  47. Uma Hipótese sobre uma Falsa Dicotomia entre Lógica e Filosofia.Evandro Luis Gomes - 2020 - Perspectiva Filosófica 47 (2):7-25.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  48. Propositions and logical form.Andrea Iacona - 2020 - Rivista di Filosofia 111:33-53.
    In my book Logical Form I outline some reasons for thinking that, in the sense of «logical form» that matters to logic, logical form is determined by truth conditions. This paper compares three theories of propositions that might be employed to substantiate the underlying notion of truth conditions: the naturalized propositions theory, the truthmaker theory, and the classificatory theory. Its aim is to show that, while the naturalized propositions theory and the truthmaker theory accord equally well with the idea that (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  49. Remarks on the origin and foundations of formalisation.Srećko Kovač - 2020 - In Marcin Będkowski, Anna Brożek, Alicja Chybińska, Stepan Ivanyk & Dominik Traczykowski (eds.), Formal and Informal Methods in Philosophy. Leiden: Brill Rodopi. pp. 163-179..
    The Aristotelian origins of formal systems are outlined, together with Aristotle's use of causal terms in describing syllogisms. The precision and exactness of a formalism, based on the projection of logical forms into perceptive signs, is contrasted with foundational, abstract concepts, independent of any formalism, which are presupposed for the understanding of a formal language. The definition of a formal system by means of a Turing machine is put in the context of Wittgenstein's general considerations of a machine understood as (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  50. Logical Form and the Limits of Thought.Manish Oza - 2020 - Dissertation, University of Toronto
    What is the relation of logic to thinking? My dissertation offers a new argument for the claim that logic is constitutive of thinking in the following sense: representational activity counts as thinking only if it manifests sensitivity to logical rules. In short, thinking has to be minimally logical. An account of thinking has to allow for our freedom to question or revise our commitments – even seemingly obvious conceptual connections – without loss of understanding. This freedom, I argue, requires that (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 169