Results for 'Logic in society'

1000+ found
Order:
  1. On the Social Utility of Symbolic Logic: Lewis Carroll Against ‘The Logicians’.Amirouche Moktefi - 2015 - Studia Metodologiczne 35:133-150.
    Symbolic logic faced great difficulties in its early stage of development in order to acquire recognition of its utility for the needs of science and society. The aim of this paper is to discuss an early attempt by the British logician Lewis Carroll (1832–1898) to promote symbolic logic as a social good. This examination is achieved in three phases: first, Carroll’s belief in the social utility of logic, broadly understood, is demonstrated by his numerous interventions to (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  2. BELIEF IN CAUSATION: ONE APPLICATION OF CARNAP's INDUCTIVE LOGIC.Yusuke Kaneko - 2012 - Academic Research International 3 (1).
    This paper takes two tasks. The one is elaborating on the relationship of inductive logic with decision theory to which later Carnap planned to apply his system (§§1-7); this is a surveying side of this article. The other is revealing the property of our prediction of the future, subjectivity (§§8-11); this is its philosophical aspect. They are both discussed under the name of belief in causation. Belief in causation is a kind of “degree of belief” born about the causal (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. Why Metaphysics Needs Logic and Mathematics Doesn't: Mathematics, Logic, and Metaphysics in Peirce's Classification of the Sciences.Cornelis de Waal - 2005 - Transactions of the Charles S. Peirce Society 41 (2):283-297.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  4.  99
    Identity as a Process of Self-Determination in Hegel’s Logic.Christopher Yeomans - 2007 - Proceedings of the Hegel Society of America 18:63-82.
    Download  
     
    Export citation  
     
    Bookmark  
  5. Logic in the Tractatus.Max Weiss - 2017 - Review of Symbolic Logic 10 (1):1-50.
    I present a reconstruction of the logical system of the Tractatus, which differs from classical logic in two ways. It includes an account of Wittgenstein’s “form-series” device, which suffices to express some effectively generated countably infinite disjunctions. And its attendant notion of structure is relativized to the fixed underlying universe of what is named. -/- There follow three results. First, the class of concepts definable in the system is closed under finitary induction. Second, if the universe of objects is (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7.  43
    A Calculus for Belnap's Logic in Which Each Proof Consists of Two Trees.Stefan Wintein & Reinhard Muskens - 2012 - Logique Et Analyse 220:643-656.
    In this paper we introduce a Gentzen calculus for (a functionally complete variant of) Belnap's logic in which establishing the provability of a sequent in general requires \emph{two} proof trees, one establishing that whenever all premises are true some conclusion is true and one that guarantees the falsity of at least one premise if all conclusions are false. The calculus can also be put to use in proving that one statement \emph{necessarily approximates} another, where necessary approximation is a natural (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  8. Language and Logic in Wittgenstein’s Tractatus.Daniele Mezzadri - 2013 - Nordic Wittgenstein Review 2 (1):57-80.
    This paper investigates Wittgenstein’s account of the relation between elementary and molecular propositions (and thus, also, the propositions of logic) in the Tractatus Logico-Philosophicus. I start by sketching a natural reading of that relation – which I call the “bipartite reading” – holding that the Tractatus gives an account of elementary propositions, based on the so-called picture theory, and a different account of molecular ones, based on the principle of truth- functionality. I then show that such a reading cannot (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9.  37
    Logic in the Torah.Avi Sion - 2018 - Geneva, Switzerland: CreateSpace & Kindle; Lulu..
    Logic in the Torah is a ‘thematic compilation’ by Avi Sion. It collects in one volume essays that he has written on this subject in Judaic Logic (1995) and A Fortiori Logic (2013), in which traces of logic in the Torah and related religious documents (the Nakh, the Christian Bible, and the Koran and Hadiths) are identified and analyzed.
    Download  
     
    Export citation  
     
    Bookmark  
  10.  74
    Logic in the Talmud.Avi Sion - 2018 - Geneva, Switzerland: CreateSpace & Kindle; Lulu..
    Logic in the Talmud is a ‘thematic compilation’ by Avi Sion. It collects in one volume essays that he has written on this subject in Judaic Logic (1995) and A Fortiori Logic (2013), in which traces of logic in the Talmud (the Mishna and Gemara) are identified and analyzed. While this book does not constitute an exhaustive study of logic in the Talmud, it is a ground-breaking and extensive study.
    Download  
     
    Export citation  
     
    Bookmark  
  11.  72
    A Critical Relation Between Mind and Logic in the Philosophy of Wittgenstein: An Analytical Study.Mudasir A. Tantray - 2017 - Lokayata Journal of Positive Philosophy 7 (2):45-57.
    This paper deals with the study of the nature of mind, its processes and its relations with the other filed known as logic, especially the contribution of most notable contemporary analytical philosophy Ludwig Wittgenstein. Wittgenstein showed a critical relation between the mind and logic. He assumed that every mental process is logical. Mental field is field of space and time and logical field is a field of reasoning (inductive and deductive). It is only with the advancement in (...), we are today in the era of scientific progress and technology. Logic played an important role in the cognitive part or we can say in the ‗philosophy of mind‘ that this branch is developed only because of three crucial theories i.e. rationalism, empiricism, and criticism. In this paper, it is argued that innate ideas or truth are equated with deduction and acquired truths are related with induction. This article also enhance the role of language in the makeup of the world of mind, although mind and the thought are the terms that are used by the philosophers synonymously but in this paper they are taken and interpreted differently. It shows the development in the analytical tradition subjected to the areas of mind and logic and their critical relation. (shrink)
    Download  
     
    Export citation  
     
    Bookmark  
  12.  54
    Non-Deductive Logic in Mathematics: The Probability of Conjectures.James Franklin - 2013 - In Andrew Aberdein & Ian J. Dove (eds.), The Argument of Mathematics. Springer. pp. 11--29.
    Mathematicians often speak of conjectures, yet unproved, as probable or well-confirmed by evidence. The Riemann Hypothesis, for example, is widely believed to be almost certainly true. There seems no initial reason to distinguish such probability from the same notion in empirical science. Yet it is hard to see how there could be probabilistic relations between the necessary truths of pure mathematics. The existence of such logical relations, short of certainty, is defended using the theory of logical probability (or objective Bayesianism (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Philosophy as Conceptual Engineering: Inductive Logic in Rudolf Carnap's Scientific Philosophy.Christopher F. French - 2015 - Dissertation, University of British Columbia
    My dissertation explores the ways in which Rudolf Carnap sought to make philosophy scientific by further developing recent interpretive efforts to explain Carnap’s mature philosophical work as a form of engineering. It does this by looking in detail at his philosophical practice in his most sustained mature project, his work on pure and applied inductive logic. I, first, specify the sort of engineering Carnap is engaged in as involving an engineering design problem and then draw out the complications of (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. Sentence, Proposition, Judgment, Statement, and Fact: Speaking About the Written English Used in Logic.John Corcoran - 2009 - In W. A. Carnielli (ed.), The Many Sides of Logic. College Publications. pp. 71-103.
    The five English words—sentence, proposition, judgment, statement, and fact—are central to coherent discussion in logic. However, each is ambiguous in that logicians use each with multiple normal meanings. Several of their meanings are vague in the sense of admitting borderline cases. In the course of displaying and describing the phenomena discussed using these words, this paper juxtaposes, distinguishes, and analyzes several senses of these and related words, focusing on a constellation of recommended senses. One of the purposes of this (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  15. ‘Data’ in the Royal Society's Philosophical Transactions, 1665–1886.Chris Meyns - 2019 - Notes and Records: The Royal Society Journal of the History of Science.
    Was there a concept of data before the so-called ‘data revolution’? This paper contributes to the history of the concept of data by investigating uses of the term ‘data’ in texts of the Royal Society's Philosophical Transactions for the period 1665–1886. It surveys how the notion enters the journal as a technical term in mathematics, and charts how over time it expands into various other scientific fields, including Earth sciences, physics and chemistry. The paper argues that in these texts (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. Language and Logic in Wittgenstein's Tractatus Logico-Philosophicus.Daniele Mezzadri - 2010 - Dissertation, University of Stirling
    This thesis discusses some central aspects of Wittgenstein's conception of language and logic in his Tractatus Logico-Philosophicus and brings them into relation with the philosophies of Frege and Russell. The main contention is that a fruitful way of understanding the Tractatus is to see it as responding to tensions in Frege's conception of logic and Russell's theory of judgement. In the thesis the philosophy of the Tractatus is presented as developing from these two strands of criticism and thus (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. Logical Consequence in Modal Logic II: Some Semantic Systems for S4.George Weaver - 1974 - Notre Dame Journal of Formal Logic 15:370.
    ABSTRACT: This 1974 paper builds on our 1969 paper (Corcoran-Weaver [2]). Here we present three (modal, sentential) logics which may be thought of as partial systematizations of the semantic and deductive properties of a sentence operator which expresses certain kinds of necessity. The logical truths [sc. tautologies] of these three logics coincide with one another and with those of standard formalizations of Lewis's S5. These logics, when regarded as logistic systems (cf. Corcoran [1], p. 154), are seen to be equivalent; (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  16
    Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic.Nils Kürbis - 2019 - Bulletin of the Section of Logic 48 (4):299-317.
    Sentences containing definite descriptions, expressions of the form ‘The F’, can be formalised using a binary quantifier ι that forms a formula out of two predicates, where ιx[F, G] is read as ‘The F is G’. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INFι of intuitionist negative free logic extended by such a quantifier, which was presented (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19.  34
    Probabilities on Sentences in an Expressive Logic.Marcus Hutter, John W. Lloyd, Kee Siong Ng & William T. B. Uther - 2013 - Journal of Applied Logic 11 (4):386-420.
    Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive languages like higher-order logic are ideally suited for representing and reasoning about structured knowledge. Uncertain knowledge can be modeled by using graded probabilities rather than binary truth-values. The main technical problem studied in this paper is the following: Given a set of sentences, each having some probability (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. D'vûd-i Karsî’nin Şerhu Îs'gûcî Adlı Eserinin Eleştirmeli Metin Neşri ve Değerlendirmesi.Ferruh Özpilavcı - 2017 - Cumhuriyet İlahiyat Dergisi 21 (3):2009-2009.
    Dâwûd al-Qarisî (Dâvûd al-Karsî) was a versatile and prolific 18th century Ottoman scholar who studied in İstanbul and Egypt and then taught for long years in various centers of learning like Egypt, Cyprus, Karaman, and İstanbul. He held high esteem for Mehmed Efendi of Birgi (Imâm Birgivî/Birgili, d.1573), out of respect for whom, towards the end of his life, Karsî, like Birgivî, occupied himself with teaching in the town of Birgi, where he died in 1756 and was buried next to (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. Recent Work in Relevant Logic.Mark Jago - 2013 - Analysis 73 (3):526-541.
    This paper surveys important work done in relevant logic in the past 10 years.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  90
    A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation.Nils Kürbis - 2019 - Bulletin of the Section of Logic 48 (2):81-97.
    This paper presents a way of formalising definite descriptions with a binary quantifier ι, where ιx[F, G] is read as ‘The F is G’. Introduction and elimination rules for ι in a system of intuitionist negative free logic are formulated. Procedures for removing maximal formulas of the form ιx[F, G] are given, and it is shown that deductions in the system can be brought into normal form.
    Download  
     
    Export citation  
     
    Bookmark  
  23.  45
    Logic in Opposition.Fabien Schang - 2013 - Studia Humana 2 (3):31-45.
    It is claimed hereby that, against a current view of logic as a theory of consequence, opposition is a basic logical concept that can be used to define consequence itself. This requires some substantial changes in the underlying framework, including: a non-Fregean semantics of questions and answers, instead of the usual truth-conditional semantics; an extension of opposition as a relation between any structured objects; a definition of oppositions in terms of basic negation. Objections to this claim will be reviewed.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  24.  39
    "Theoretical Logic in Sociology", Volume 2: "The Antinomies of Classical Thought: Marx and Durkheim" by Jeffrey C. Alexander.Stephen P. Turner - 1985 - Philosophy of the Social Sciences 15 (2):211-216.
    The four volume work of which this book is a part has been praised as one of the great monuments of theoretical scholarship in sociology of the century. The praise has come largely from the older generation of students of Parsons and Merton. A great deal of dispraise has come from Alexander's own generation. Alan Sica's (1983) brilliant, biting review of Volume I speaks for many of Alexander's peers. Volume II is likely to be even more controversial. This volume begins (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. The Logic of Joint Ability in Two-Player Tacit Games.Peter Hawke - 2017 - Review of Symbolic Logic 10 (3):481-508.
    Logics of joint strategic ability have recently received attention, with arguably the most influential being those in a family that includes Coalition Logic (CL) and Alternating-time Temporal Logic (ATL). Notably, both CL and ATL bypass the epistemic issues that underpin Schelling-type coordination problems, by apparently relying on the meta-level assumption of (perfectly reliable) communication between cooperating rational agents. Yet such epistemic issues arise naturally in settings relevant to ATL and CL: these logics are standardly interpreted on structures where (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Convergence, Continuity and Recurrence in Dynamic Epistemic Logic.Dominik Klein & Rasmus K. Rendsvig - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Springer. pp. 108-122.
    The paper analyzes dynamic epistemic logic from a topological perspective. The main contribution consists of a framework in which dynamic epistemic logic satisfies the requirements for being a topological dynamical system thus interfacing discrete dynamic logics with continuous mappings of dynamical systems. The setting is based on a notion of logical convergence, demonstratively equivalent with convergence in Stone topology. Presented is a flexible, parametrized family of metrics inducing the latter, used as an analytical aid. We show maps induced (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Review: Karel Lambert, Meinong and the Principle of Independence. Its Place in Meinong's Theory of Objects and Its Significance in Contemporary Philosophical Logic[REVIEW]William J. Rapaport - 1986 - Journal of Symbolic Logic 51 (1):248-252.
    Review of Karel Lambert, Meinong and the Principle of Independence: Its Place in Meinong's Theory of Objects and Its Significance in Contemporary Philosophical Logic.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  28. Deontic Logic as a Study of Conditions of Rationality in Norm-Related Activities.Berislav Žarnić - 2016 - In Olivier Roy, Allard Tamminga & Malte Willer (eds.), Deontic Logic and Normative Systems. College Publications. pp. 272-287.
    The program put forward in von Wright's last works defines deontic logic as ``a study of conditions which must be satisfied in rational norm-giving activity'' and thus introduces the perspective of logical pragmatics. In this paper a formal explication for von Wright's program is proposed within the framework of set-theoretic approach and extended to a two-sets model which allows for the separate treatment of obligation-norms and permission norms. The three translation functions connecting the language of deontic logic with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. First-Order Modal Logic in the Necessary Framework of Objects.Peter Fritz - 2016 - Canadian Journal of Philosophy 46 (4-5):584-609.
    I consider the first-order modal logic which counts as valid those sentences which are true on every interpretation of the non-logical constants. Based on the assumptions that it is necessary what individuals there are and that it is necessary which propositions are necessary, Timothy Williamson has tentatively suggested an argument for the claim that this logic is determined by a possible world structure consisting of an infinite set of individuals and an infinite set of worlds. He notes that (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  30.  54
    Algorithmic Correspondence and Completeness in Modal Logic. V. Recursive Extensions of SQEMA.Willem Conradie, Valentin Goranko & Dimitar Vakarelov - 2010 - Journal of Applied Logic 8 (4):319-333.
    The previously introduced algorithm \sqema\ computes first-order frame equivalents for modal formulae and also proves their canonicity. Here we extend \sqema\ with an additional rule based on a recursive version of Ackermann's lemma, which enables the algorithm to compute local frame equivalents of modal formulae in the extension of first-order logic with monadic least fixed-points \mffo. This computation operates by transforming input formulae into locally frame equivalent ones in the pure fragment of the hybrid mu-calculus. In particular, we prove (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  31. Surprises in Logic.John Corcoran & William Frank - 2013 - Bulletin of Symbolic Logic 19 (3):253.
    JOHN CORCORAN AND WILIAM FRANK. Surprises in logic. Bulletin of Symbolic Logic. 19 253. Some people, not just beginning students, are at first surprised to learn that the proposition “If zero is odd, then zero is not odd” is not self-contradictory. Some people are surprised to find out that there are logically equivalent false universal propositions that have no counterexamples in common, i. e., that no counterexample for one is a counterexample for the other. Some people would be (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32.  76
    Freedoms and Rights in a Levinasian Society of Neighbors.Marlon Jesspher B. De Vera - 2016 - Symposion: Theoretical and Applied Inquiries in Philosophy and Social Sciences 3 (2):163-173.
    This paper attempts to argue that a radically different notion of freedoms and rights that originates from the other, that is founded on the infinite responsibility for the other, and that demands an encounter with the other as pure alterity, could be a plausible starting point towards the conception and possible realization of a Levinasian society of neighbors. First, an explication is made on why a radical change in the area of freedoms and rights could be the starting point (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. Truth and Paradox in Late XIVth Century Logic : Peter of Mantua’s Treatise on Insoluble Propositions.Riccardo Strobino - 2012 - Documenti E Studi Sulla Tradizione Filosofica Medievale 23:475-519.
    This paper offers an analysis of a hitherto neglected text on insoluble propositions dating from the late XiVth century and puts it into perspective within the context of the contemporary debate concerning semantic paradoxes. The author of the text is the italian logician Peter of Mantua (d. 1399/1400). The treatise is relevant both from a theoretical and from a historical standpoint. By appealing to a distinction between two senses in which propositions are said to be true, it offers an unusual (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  34. LOGIC TEACHING IN THE 21ST CENTURY.John Corcoran - manuscript
    We are much better equipped to let the facts reveal themselves to us instead of blinding ourselves to them or stubbornly trying to force them into preconceived molds. We no longer embarrass ourselves in front of our students, for example, by insisting that “Some Xs are Y” means the same as “Some X is Y”, and lamely adding “for purposes of logic” whenever there is pushback. Logic teaching in this century can exploit the new spirit of objectivity, humility, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  46
    The Instrumental Functions of Cultural Studies and Policies in Contemporary Nigerian Society.Emmanuel Orok Duke - 2018 - International Journal of Culture and History 4 (4).
    —Cultural studies remains one of the fields of research in the humanities that contributes to the development of the society by aiding the formulation of cultural policies towards the re-engineering of a nation’s social behavior. A functioning state benefits a lot from cultural products of cultural studies. Thus for any state, like Nigeria, to reap from cultural studies and policies, its basic democratic institutions should be strong and effective. The theoretical framework for this research is symbolic interactionism proposed by (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36.  25
    Modelling Multilateral Negotiation in Linear Logic.Daniele Porello & Ulle Endriss - 2010 - In {ECAI} 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings. pp. 381--386.
    We show how to embed a framework for multilateral negotiation, in which a group of agents implement a sequence of deals concerning the exchange of a number of resources, into linear logic. In this model, multisets of goods, allocations of resources, preferences of agents, and deals are all modelled as formulas of linear logic. Whether or not a proposed deal is rational, given the preferences of the agents concerned, reduces to a question of provability, as does the question (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  37.  49
    Remarks on Logic for Process Descriptions in Ontological Reasoning: A Drug Interaction Ontology Case Study.Mitsuhiro Okada, Barry Smith & Yutaro Sugimoto - 2008 - In InterOntology. Proceedings of the First Interdisciplinary Ontology Meeting, Tokyo, Japan, 26-27 February 2008. Tokyo: Keio University Press. pp. 127-138.
    We present some ideas on logical process descriptions, using relations from the DIO (Drug Interaction Ontology) as examples and explaining how these relations can be naturally decomposed in terms of more basic structured logical process descriptions using terms from linear logic. In our view, the process descriptions are able to clarify the usual relational descriptions of DIO. In particular, we discuss the use of logical process descriptions in proving linear logical theorems. Among the types of reasoning supported by DIO (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. Regression in Modal Logic.Robert Demolombe, Andreas Herzig & Ivan Varzinczak - 2003 - Journal of Applied Non-Classical Logics 13 (2):165-185.
    In this work we propose an encoding of Reiter’s Situation Calculus solution to the frame problem into the framework of a simple multimodal logic of actions. In particular we present the modal counterpart of the regression technique. This gives us a theorem proving method for a relevant fragment of our modal logic.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  39. Gestalt Shifts in the Liar Or Why KT4M Is the Logic of Semantic Modalities.Susanne Bobzien - 2017 - In Bradley Armour-Garb (ed.), Reflections on the Liar. Oxford University. pp. 71-113.
    ABSTRACT: This chapter offers a revenge-free solution to the liar paradox (at the centre of which is the notion of Gestalt shift) and presents a formal representation of truth in, or for, a natural language like English, which proposes to show both why -- and how -- truth is coherent and how it appears to be incoherent, while preserving classical logic and most principles that some philosophers have taken to be central to the concept of truth and our use (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. 2007. Notes on the Founding of Logics and Metalogic: Aristotle, Boole, and Tarski. Eds. C. Martínez Et Al. Current Topics in Logic and Analytic Philosophy / Temas Actuales de Lógica y Filosofía Analítica. Imprenta Univeridade Santiago de Compostela.John Corcoran - 2007 - In C. Martínez (ed.), Current Topics in Logic and Analytic Philosophy /. pp. 145-178.
    Download  
     
    Export citation  
     
    Bookmark  
  41. LOGIC TEACHING IN THE 21ST CENTURY.John Corcoran - 2016 - Quadripartita Ratio: Revista de Argumentación y Retórica 1 (1):1-34.
    We are much better equipped to let the facts reveal themselves to us instead of blinding ourselves to them or stubbornly trying to force them into preconceived molds. We no longer embarrass ourselves in front of our students, for example, by insisting that “Some Xs are Y” means the same as “Some X is Y”, and lamely adding “for purposes of logic” whenever there is pushback. Logic teaching in this century can exploit the new spirit of objectivity, humility, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  42. Logic and Ontology in Hegel's Theory of Predication.Kevin J. Harrelson - 2015 - European Journal of Philosophy 23 (4):1259-1280.
    In this paper I sketch some arguments that underlie Hegel's chapter on judgment, and I attempt to place them within a broad tradition in the history of logic. Focusing on his analysis of simple predicative assertions or ‘positive judgments’, I first argue that Hegel supplies an instructive alternative to the classical technique of existential quantification. The main advantage of his theory lies in his treatment of the ontological implications of judgments, implications that are inadequately captured by quantification. The second (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Gerhard Schurz, The Is-Ought Problem: An Investigation in Philosophical Logic.C. Pigden - 2001 - Australasian Journal of Philosophy 79 (4):578-579.
    Book Information The Is-Ought Problem: An Investigation in Philosophical Logic. By Gerhard Schurz. Kluwer. Dordrecht. 1997. Pp. x + 332. £92.25.
    Download  
     
    Export citation  
     
    Bookmark  
  44. Depicting Negation in Diagrammatic Logic: Legacy and Prospects.Fabien Schang & Amirouche Moktefi - 2008 - Diagrammatic Representation and Inference: Proceedings of the 5th International Conference Diagrams 2008 5223:236-241.
    Here are considered the conditions under which the method of diagrams is liable to include non-classical logics, among which the spatial representation of non-bivalent negation. This will be done with two intended purposes, namely: a review of the main concepts involved in the definition of logical negation; an explanation of the epistemological obstacles against the introduction of non-classical negations within diagrammatic logic.
    Download  
     
    Export citation  
     
    Bookmark  
  45. On the Explanatory Power of Truth in Logic.Gila Sher - 2018 - Philosophical Issues 28 (1):348-373.
    Philosophers are divided on whether the proof- or truth-theoretic approach to logic is more fruitful. The paper demonstrates the considerable explanatory power of a truth-based approach to logic by showing that and how it can provide (i) an explanatory characterization —both semantic and proof-theoretical—of logical inference, (ii) an explanatory criterion for logical constants and operators, (iii) an explanatory account of logic’s role (function) in knowledge, as well as explanations of (iv) the characteristic features of logic —formality, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. Hegel’s Modal Argument Against Spinozism. An Interpretation of the Chapter ‘Actuality’ in the Science of Logic.Franz Knappik - 2015 - Hegel Bulletin 36 (1):53-79.
    I propose a new reading of Hegel’s discussion of modality in the ‘Actuality’ chapter of the Science of Logic. On this reading, the main purpose of the chapter is a critical engagement with Spinoza’s modal metaphysics. Hegel first reconstructs a rationalist line of thought — corresponding to the cosmological argument for the existence of God — that ultimately leads to Spinozist necessitarianism. He then presents a reductio argument against necessitarianism, contending that as a consequence of necessitarianism, no adequate explanatory (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  47. Is Leibnizian Calculus Embeddable in First Order Logic?Piotr Błaszczyk, Vladimir Kanovei, Karin U. Katz, Mikhail G. Katz, Taras Kudryk, Thomas Mormann & David Sherry - 2017 - Foundations of Science 22 (4):73 - 88.
    To explore the extent of embeddability of Leibnizian infinitesimal calculus in first-order logic (FOL) and modern frameworks, we propose to set aside ontological issues and focus on pro- cedural questions. This would enable an account of Leibnizian procedures in a framework limited to FOL with a small number of additional ingredients such as the relation of infinite proximity. If, as we argue here, first order logic is indeed suitable for developing modern proxies for the inferential moves found in (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  48. We Belong Together? A Plea for Modesty in Modal Plural Logic.Simon Hewitt - manuscript
    It is often assumed that pluralities are rigid, in the sense of having all and only their actual members necessarily. This assumption is operative in standard approaches to modal plural logic. I argue that a sceptical approach towards the assumption is warranted.
    Download  
     
    Export citation  
     
    Bookmark  
  49. Doing the Right Things–Trivalence in Deontic Action Logic.Piotr Kulicki & Robert Trypuz - 2012 - Trivalent Logics and Their Applications.
    Trivalence is quite natural for deontic action logic, where actions are treated as good, neutral or bad.We present the ideas of trivalent deontic logic after J. Kalinowski and its realisation in a 3-valued logic of M. Fisher and two systems designed by the authors of the paper: a 4-valued logic inspired by N. Belnap’s logic of truth and information and a 3-valued logic based on nondeterministic matrices. Moreover, we combine Kalinowski’s idea of trivalence with (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  50. Enhancing the Diagramming Method in Informal Logic.Dale Jacquette - 2011 - Argument: Biannual Philosophical Journal 1 (2):327-360.
    The argument diagramming method developed by Monroe C. Beardsley in his (1950) book Practical Logic, which has since become the gold standard for diagramming arguments in informal logic, makes it possible to map the relation between premises and conclusions of a chain of reasoning in relatively complex ways. The method has since been adapted and developed in a number of directions by many contemporary informal logicians and argumentation theorists. It has proved useful in practical applications and especially pedagogically (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 1000