Contents
146 found
Order:
1 — 50 / 146
  1. 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  
  2. 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  
  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. 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  
  7. 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  
  8. 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  
  9. 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  
  10. 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  
  11. 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  
  12. 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  
  13. 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  
  14. Revisiting McKay and Johnson's counterexample to beta.Pedro Merlussi - forthcoming - Philosophical Explorations 25 (2):189-203.
    In debates concerning the consequence argument, it has long been claimed that McKay and Johnson (1996) 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 conditional excluded middle principle. In order to make this point I demonstrate that (β) is (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Rozwiązanie dylematu Jörgensena, paradoksu kłamcy, paradoksu Rossa i paradoksu Priora.Jan Pociej - forthcoming - Https://Www.Academia.Edu/99002629/Rozwi%C4%85Zanie_Dylematu_J%C3%B6Rgensena_Paradoksu_K%C5%82Amcy_Pa radoksu_Rossa_I_Paradoksu_Priora.
    Dylemat i paradoksy wymienione w tytule długo stanowiły dla logiki zagadkę. Do ich rozwiązania okazało się konieczne dokonanie pewnych rozstrzygnięć filozoficznych. Artykuł podaje te rozstrzygnięcia i omawia sposoby rozwiązania każdego z problemów.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  16. 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  
  17. 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  
  18. 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  
  19. 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  
  20. 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   2 citations  
  21. 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  
  22. 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  
  23. 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  
  24. 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  
  25. 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  
  26. On the Necessity of the Categories.Anil Gomes, Andrew Stephenson & A. W. 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  
  27. 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  
  28. Ockhamism and Philosophy of Time.Alessio Santelli (ed.) - 2022 - Springer Cham.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  29. 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   3 citations  
  30. 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  
  31. Veritism and the normativity of logic.Nader Shoaibi - 2021 - Ratio 34 (1):7-19.
    The idea that logic is in some sense normative for thought and reasoning is a familiar one. Some of the most prominent figures in the history of philosophy including Kant and Frege have been among its defenders. The most natural way of spelling out this idea is to formulate wide-scope deductive requirements on belief which rule out certain states as irrational. But what can account for the truth of such deductive requirements of rationality? By far, the most prominent responses draw (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  32. 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  
  33. 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  
  34. 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  
  35. 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  
  36. 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  
  37. 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  
  38. Remarks on the Gödelian Anti-Mechanist Arguments.Panu Raatikainen - 2020 - Studia Semiotyczne 34 (1):267–278.
    Certain selected issues around the Gödelian anti-mechanist arguments which have received less attention are discussed.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  39. Non-Normative Logical Pluralism and the Revenge of the Normativity Objection.Erik Stei - 2020 - Philosophical Quarterly 70 (278):162–177.
    Logical pluralism is the view that there is more than one correct logic. Most logical pluralists think that logic is normative in the sense that you make a mistake if you accept the premisses of a valid argument but reject its conclusion. Some authors have argued that this combination is self-undermining: Suppose that L1 and L2 are correct logics that coincide except for the argument from Γ to φ, which is valid in L1 but invalid in L2. If you accept (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   6 citations  
  40. DLEAC: A Dialetheic Logic with Exclusive Assumptions and Conclusions.Massimiliano Carrara & Enrico Martino - 2019 - Topoi 38 (2):379-388.
    This paper proposes a new dialetheic logic, a Dialetheic Logic with Exclusive Assumptions and Conclusions ), including classical logic as a particular case. In \, exclusivity is expressed via the speech acts of assuming and concluding. In the paper we adopt the semantics of the logic of paradox extended with a generalized notion of model and we modify its proof theory by refining the notions of assumption and conclusion. The paper starts with an explanation of the adopted philosophical perspective, then (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. On Quine's Ontology: quantification, extensionality and naturalism (or from commitment to indifference).Daniel Durante Pereira Alves - 2019 - Proceedings of Ther 3rd Filomena Workshop.
    Much of the ontology made in the analytic tradition of philosophy nowadays is founded on some of Quine’s proposals. His naturalism and the binding between existence and quantification are respectively two of his very influential metaphilosophical and methodological theses. Nevertheless, many of his specific claims are quite controversial and contemporaneously have few followers. Some of them are: (a) his rejection of higher-order logic; (b) his resistance in accepting the intensionality of ontological commitments; (c) his rejection of first-order modal logic; and (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  42. Relevant Logics, Counterfactual Worlds, and the Understanding of Narrative.Luis Galván - 2019 - In Matei Chihaia & Katharina Rennhak (eds.), Relevance and Narrative Research. Lanham, USA / London: Lexington Books. pp. 37-60.
    The aim of this paper is to explore what insights relevant logics may provide for the understanding of literary fictional narrative. To date, hardly anyone has reflected on the intersection of relevant logics and narratology, and some could think that there is good reason for it. On the one hand, relevance has been a prominent issue in pragmatics, in the tradition of Grice, and Sperber and Wilson; thus framed, relevance is highly context-sensitive, so it seems unsuitable for formal analysis. On (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Sofia A. Yanovskaya: The Marxist Pioneer of Mathematical Logic in the Soviet Union.Dimitris Kilakos - 2019 - Transversal: International Journal for the Historiography of Science 6:49-64.
    K. Marx’s 200th jubilee coincides with the celebration of the 85 years from the first publication of his “Mathematical Manuscripts” in 1933. Its editor, Sofia Alexandrovna Yanovskaya (1896–1966), was a renowned Soviet mathematician, whose significant studies on the foundations of mathematics and mathematical logic, as well as on the history and philosophy of mathematics are unduly neglected nowadays. Yanovskaya, as a militant Marxist, was actively engaged in the ideological confrontation with idealism and its influence on modern mathematics and their interpretation. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  44. Proofs, necessity and causality.Srećko Kovač - 2019 - In Enrique Alonso, Antonia Huertas & Andrei Moldovan (eds.), Aventuras en el Mundo de la Lógica: Ensayos en Honor a María Manzano. London: College Publications. pp. 239-263.
    There is a long tradition of logic, from Aristotle to Gödel, of understanding a proof from the concepts of necessity and causality. Gödel's attempts to define provability in terms of necessity led him to the distinction of formal and absolute (abstract) provability. Turing's definition of mechanical procedure by means of a Turing machine (TM) and Gödel's definition of a formal system as a mechanical procedure for producing formulas prompt us to understand formal provability as a mechanical causality. We propose a (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  45. What Isn’t Obvious about ‘obvious’: A Data-driven Approach to Philosophy of Logic.Moti Mizrahi - 2019 - In Andrew Aberdein & Matthew Inglis (eds.), Advances in Experimental Philosophy of Logic and Mathematics. London: Bloomsbury Press. pp. 201-224.
    It is often said that ‘every logical truth is obvious’ (Quine 1970: 82), that the ‘axioms and rules of logic are true in an obvious way’ (Murawski 2014: 87), or that ‘logic is a theory of the obvious’ (Sher 1999: 207). In this chapter, I set out to test empirically how the idea that logic is obvious is reflected in the scholarly work of logicians and philosophers of logic. My approach is data-driven. That is to say, I propose that systematically (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  46. 19th Brazilian Logic Conference: Book of Abstracts.Cezar A. Mortari & Ricardo Silvestre (eds.) - 2019 - João Pessoa, PB, Brasil: EDUFCG.
    This is the book of abstracts of the 19th Brazilian Logic Conferences. The Brazilian Logic Conferences (EBL) is one of the most traditional logic conferences in South America. Organized by the Brazilian Logic Society (SBL), its main goal is to promote the dissemination of research in logic in a broad sense. It has been occurring since 1979, congregating logicians of different fields — mostly philosophy, mathematics and computer science — and with different backgrounds — from undergraduate students to senior researchers. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  47. Em direção a uma tradicão inferencialmente expressivista da silogística.Aislan Pereira - 2019 - Dissertation, Ufpb, Brazil
    The work of this dissertation, in a broad sense, seeks to rescue what may be in the original project or nucleus of philosophy, from its Socratic arising: the idea of elucidative rationality. This rationality is aimed at expressing our practices in a way that can be confronted with objections and alternatives. The notion of expression is central to this rationality. This centrality is elucidated by the contemporary philosopher Brandom (1994, 2000, 2008a, 2013), from his view of the semantic inferentialism. With (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  48. A Toothful of Concepts: Towards a Theory of Weighted Concept Combination.Daniele Porello, Oliver Kutz, Guendalina Righetti, Nicolas Troquard, Pietro Galliani & Claudio Masolo - 2019 - In Mantas Simkus & Grant E. Weddell (eds.), Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019.
    We introduce a family of operators to combine Description Logic concepts. They aim to characterise complex concepts that apply to instances that satisfy \enough" of the concept descriptions given. For instance, an individual might not have any tusks, but still be considered an elephant. To formalise the meaning of "enough", the operators take a list of weighted concepts as arguments, and a certain threshold to be met. We commence a study of the formal properties of these operators, and study some (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. Consequences and Design in General and Transcendental Logic.Elena G. Dragalina-Chernaya - 2018 - Kantian Journal 37 (1):25-39.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  50. Many-Valued And Fuzzy Logic Systems From The Viewpoint Of Classical Logic.Ekrem Sefa Gül - 2018 - Tasavvur - Tekirdag Theology Journal 4 (2):624 - 657.
    The thesis that the two-valued system of classical logic is insufficient to explanation the various intermediate situations in the entity, has led to the development of many-valued and fuzzy logic systems. These systems suggest that this limitation is incorrect. They oppose the law of excluded middle (tertium non datur) which is one of the basic principles of classical logic, and even principle of non-contradiction and argue that is not an obstacle for things both to exist and to not exist at (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 146