Results for 'methods of logic'

950 found
Order:
  1. The Method of Thought Experiments: Probability and Counterfactuals.Francesco Berto & Aybüke Özgün - forthcoming - Journal of Philosophy.
    We find a simple counterfactual acceptable, it is argued, to the extent that (i) our probability of the consequent under the thought experiment of counterfactually supposing the antecedent is high, (ii) provided the latter is on-topic with respect to the former. Counterfactual supposition is represented by Lewisian imaging. Topicality, by an algebra of subject matters. A topic-sensitive probabilistic logic is then provided, to reason about the acceptability of simple counterfactuals.
    Download  
     
    Export citation  
     
    Bookmark  
  2. The Pioneering Proving Methods as Applied in the Warsaw School of Logic – Their Historical and Contemporary Significance.Urszula Wybraniec-Skardowska - 2024 - History and Philosophy of Logic 45 (2):124-141.
    Justification of theorems plays a vital role in any rational human activity. It is indispensable in science. The deductive method of justifying theorems is used in all sciences and it is the only method of justifying theorems in deductive disciplines. It is based on the notion of proof, thus it is a method of proving theorems. In the Warsaw School of Logic (WSL) – the famous branch of the Lvov-Warsaw School (LWS) – two types of the method: axiomatic deduction (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. ESSENTIALS OF LOGIC.Noel Pariñas - 2014 - Meycauayan, Bulacan, Philippines: IPM PUBLISHING.
    The dearth of resources inherent in the study of Logic effected and affected by lack of reading materials, the financial constraints characteristic of the plight of students, the utter difficulty in teaching the subject shorthanded by write-then-explain method, made possible this undertaking. This text is a compilation of scholarly works by noted logicians that have made their way through publication. This work pales in comparison to their works and no deliberate efforts were made to water-down portions of their book (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. The Logic of the Method of Agent-Based Simulation in the Social Sciences: Empirical and Intentional Adequacy of Computer Programs.Nuno David, Jaime Sichman & Helder Coleho - 2005 - Journal of Artificial Societies and Social Simulation 8 (4).
    The classical theory of computation does not represent an adequate model of reality for simulation in the social sciences. The aim of this paper is to construct a methodological perspective that is able to conciliate the formal and empirical logic of program verification in computer science, with the interpretative and multiparadigmatic logic of the social sciences. We attempt to evaluate whether social simulation implies an additional perspective about the way one can understand the concepts of program and computation. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  5. The Role of Logic and the Scientific Method in Philosophical Inquiry.Avik Mukherjee - 2013 - INDIAN PHILOSOPHICAL CONGRESS 88.
    The clamour for scientific reasoning in philosophy is born out of a belief that scientific reasoning is infallible and universal. This paper argues that while scientific reasoning is infallible, it is so only with regard to the objects of knowledge in science. And because objects of knowledge are not the same across disciplines, claims that scientific reasoning is universal in its application are patently misplaced. -/- The belief in the universality of scientific reasoning has its genesis in what may be (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. The Method of Kant’s Groundwork of the Metaphysics of Morals: Establishing Moral Metaphysics as a Science.Susan V. H. Castro - 2006 - Dissertation, University of California, Los Angeles
    This dissertation concerns the methodology Kant employs in the first two sections of the Groundwork of the Metaphysics of Morals (Groundwork I-II) with particular attention to how the execution of the method of analysis in these sections contributes to the establishment of moral metaphysics as a science. My thesis is that Kant had a detailed strategy for the Groundwork, that this strategy and Kant’s reasons for adopting it can be ascertained from the Critique of Pure Reason (first Critique) and his (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. The Practice-Based Approach to the Philosophy of Logic.Ben Martin - forthcoming - In Oxford Handbook for the Philosophy of Logic. Oxford University Press.
    Philosophers of logic are particularly interested in understanding the aims, epistemology, and methodology of logic. This raises the question of how the philosophy of logic should go about these enquires. According to the practice-based approach, the most reliable method we have to investigate the methodology and epistemology of a research field is by considering in detail the activities of its practitioners. This holds just as true for logic as it does for the recognised empirical and abstract (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Methods of Doing Daoist Ethics: Analysis, Interpretation and Comparison.Dawei Zhang & Weijia Zeng - 2021 - Social Sciences in Yunnan 240 (2):69-76.
    In order to have an effective and reliable understanding of the basic moral concepts, moral propositions and moral reasoning in Daoist ethical thoughts, it is necessary to use the methods of doing philosophy and doing ethics to engage in research work, and thus draw an intellectual conclusion about Daoist ethics. The methods of Daoist ethics mainly include analysis, explanation and comparison. The method of analysis focuses on logical analysis and language analysis of moral language in the classic texts (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. The Method of Wittgenstein’s Tractatus: Towards a New Interpretation.Nikolay Milkov - 2017 - Southwest Philosophy Review 33 (2):197-212.
    This paper introduces a novel interpretation of Wittgenstein’s Tractatus, a work widely held to be one of the most intricate in the philosophical canon. We understand the Tractatus not as the development of a theory but as the advancement of a new logical symbolism (a new instrument) that enables one to “recognize the formal properties [the logic] of propositions by mere inspection of propositions themselves” (6.122). Moreover, the Tractarian conceptual notation stands to instruct us in a better way to (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  10. The Logic of Logical Necessity.Andrew Bacon & Kit Fine - manuscript
    Prior to Kripke's seminal work on the semantics of modal logic, McKinsey offered an alternative interpretation of the necessity operator, inspired by the Bolzano-Tarski notion of logical truth. According to this interpretation, `it is necessary that A' is true just in case every sentence with the same logical form as A is true. In our paper, we investigate this interpretation of the modal operator, resolving some technical questions, and relating it to the logical interpretation of modality and some views (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  11. ΕΠΙΣΤΗΜΟΛΟΓΙΑ ΤΗΣ ΛΟΓΙΚΗΣ/Epistemology of Logic.Epameinondas Xenopoulos (ed.) - 1998 - KEFALONIA, IONIA SEA, GREECE: Aristoteles Publishing.
    Μοναδική μελέτη και προσέγγιση της θεωρίας της γνώσης, για την παγκόσμια βιβλιογραφία, της διαλεκτικής πορείας της σκέψης από την λογική πλευρά της και της μελλοντικής μορφής που θα πάρουν οι διαλεκτικές δομές της, στην αδιαίρετη ενότητα γνωσιοθεωρίας, λογικής και διαλεκτικής, με την «μέθοδο του διαλεκτικού υλισμού». Έργο βαρύ με θέμα εξαιρετικά δύσκολο διακατέχεται από πρωτοτυπία και ζωντάνια που γοητεύει τον κάθε ανήσυχο στοχαστή από τις πρώτες γραμμές. Unique study and approach of the theory of knowledge, the world literature, the dialectic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. Life, Logic, and the Pursuit of Purity.Alexander T. Englert - 2016 - Hegel-Studien 50:63-95.
    In the *Science of Logic*, Hegel states unequivocally that the category of “life” is a strictly logical, or pure, form of thinking. His treatment of actual life – i.e., that which empirically constitutes nature – arises first in his *Philosophy of Nature* when the logic is applied under the conditions of space and time. Nevertheless, many commentators find Hegel’s development of this category as a purely logical one especially difficult to accept. Indeed, they find this development only comprehensible (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  13. A Pragmatic Method of Reading Confused Philosophic Texts: The Case of Peirce's "Illustrations".Peter Ochs - 1989 - Transactions of the Charles S. Peirce Society 25 (3):251 - 291.
    A Pragmatic Method of Reading Confused Philosophic Texts: The Case of Peirce's "Illustrations" In 1878, Charles Peirce introduced a method for making confused ideas clear. In this essay, I put Peirce's method to work as a method for making confused writing clear, in particular, for clarifying the meaning of confused philosophic arguments as they appear in philosophic essays. In Section I, I introduce the method as a Pragmatic Method of Reading Confused Philosophic Texts. In Section II, I re• view Peirce's (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Copi's method of deduction.Frederick A. Johnson - 1979 - Notre Dame Journal of Formal Logic 20 (2):295-300.
    Copi's method of deduction is formalized and shown to be complete.
    Download  
     
    Export citation  
     
    Bookmark  
  15.  89
    HEGEL's PHILOSOPHY OF LOGIC AS A RECKLESS PROLONGATION OF CUSANUS’ LOGICAL DISCOVERIES.Antonino Drago - manuscript
    I take advantage of two recent results: 1) the recognition of an alternative theoretical organization to the deductive-axiomatic one; it is characterized by a sequence of four logical steps belonging to intuitionist logic; 2) the recognition of the logical content of Cusanus’ philosophical works; also this content pertains to intuitionist logic, which Cusanus anticipated by even identifying some its logical laws. Many Cusanus’ books present the alternative theoretical organization; whose yet he did not apply in a clear way (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. Review of Hintikka and Remes. The Method of Analysis (Reidel, 1974).John Corcoran - 1979 - MATHEMATICAL REVIEWS 58:3202-3.
    John Corcoran. 1979 Review of Hintikka and Remes. The Method of Analysis (Reidel, 1974). Mathematical Reviews 58 3202 #21388. -/- The “method of analysis” is a technique used by ancient Greek mathematicians (and perhaps by Descartes, Newton, and others) in connection with discovery of proofs of difficult theorems and in connection with discovery of constructions of elusive geometric figures. Although this method was originally applied in geometry, its later application to number played an important role in the early development of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. The inseparability of logic and ethics.John Corcoran - 1989 - Free Inquiry 9 (2):37-40.
    This essay takes logic and ethics in broad senses: logic as the science of evidence; ethics as the science justice. One of its main conclusions is that neither science can be fruitfully pursued without the virtues fostered by the other: logic is pointless without fairness and compassion; ethics is pointless without rigor and objectivity. The logician urging us to be dispassionate is in resonance and harmony with the ethicist urging us to be compassionate.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  18. Carnap and the Tractatus' Philosophy of Logic.Oskari Kuusela - 2012 - Journal for the History of Analytical Philosophy 1 (3):1-25.
    This article discusses the relation between the early Wittgenstein’s and Carnap’s philosophies of logic, arguing that Carnap’s position in The Logical Syntax of Language is in certain respects much closer to the Tractatus than has been recognized. In Carnapian terms, the Tractatus’ goal is to introduce, by means of quasi-syntactical sentences, syntactical principles and concepts to be used in philosophical clarification in the formal mode. A distinction between the material and formal mode is therefore already part of the Tractatus’ (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  19. Computational complexity in the philosophy of mind: unconventional methods to solve the problem of logical omniscience.Safal Aryal - manuscript
    The philosophy of mind is traditionally concerned with the study of mental processes, language, the representation of knowledge and the relation of the mind shares with the body; computational complexity theory is related to the classification of computationally solvable problems (be it via execution time, storage requirements, etc...). While there are well-established links between computer science in general & the philosophy of mind, many possible solutions to traditional problems in the philosophy of mind have not yet been analyzed from the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Electrical analysis of logical complexity: Brain Informatics Open Access an exploratory eeg study of logically valid/ invalid deducive inference.Salto Francisco, Requena Carmen, Rodríguez Víctor, Poza Jesús & Hornero Roberto - 2023 - Brain Informatics 10 (13):1-15.
    Abstract Introduction Logically valid deductive arguments are clear examples of abstract recursive computational proce‐ dures on propositions or on probabilities. However, it is not known if the cortical time‐consuming inferential pro‐ cesses in which logical arguments are eventually realized in the brain are in fact physically different from other kinds of inferential processes. Methods In order to determine whether an electrical EEG discernible pattern of logical deduction exists or not, a new experimental paradigm is proposed contrasting logically valid and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Instrumentalist logic of scientific discovery: reflections on Dewey’s method and its metaphysical foundations.Andrii Leonov - 2020 - Actual Problems of Mind. Philosophy Journal 21:2-23.
    In this paper, I attempt to clarify the heart of Dewey’s philosophy: his method (denotative method (DM) / pattern of inquiry (PI)). Despite the traditional understanding of Dewey as anti-foundationalist, I want to show that Dewey did have metaphysical foundations for his method: the principle of continuity or theory of emergentism. I also argue that Dewey’s metaphysical position is better named as ‘cultural emergentism’, rather than his own term ‘cultural naturalism’. What Dewey called ‘common sense’ in his Logic, Husserl (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  65
    Establishment of a Dialectical Logic Symbol System: Inspired by Hegel’s Logic and Buddhist Philosophy.Chia Jen Lin - manuscript
    This paper presents an original dialectical logic symbol system designed to transcend the limitations of traditional logical symbols in capturing subjectivity, qualitative aspects, and contradictions inherent in the human mind. By introducing new symbols, such as “ὄ” (being) and “⌀” (nothing), and arranging them based on principles of symmetry, the system’s operations capture complex dialectical relationships essential to both Hegelian philosophy and Buddhist thought. The operations of this system are primarily structured around the categories found in Hegel’s Logic, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Realistics Premises of Epistemic Argumentation for Dynamic Epistemic Logics.Edward Bryniarski, Zbigniew Bonikowski, Jacek Waldmajer & Urszula Wybraniec-Skardowska - 2011 - Studies in Logic, Grammar and Rhetoric 23 (36):173-187.
    In the paper, certain rational postulates for protocols describing real communicating are introduced.These rational postulates, on the one hand, allow assigning a certain typology of real systems of interactions, which is consistent with the reality of epistemic argumentation in systems of communicating, and on the other one – defining rules of using argumentation in real situations. Moreover, the presented postulates for protocols characterize information networks and administering knowledge in real interactivity systems. Due to the epistemic character of the considerations, the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  24. Emergence, evolution, and the geometry of logic: Causal leaps and the myth of historical development. [REVIEW]Stephen Palmquist - 2007 - Foundations of Science 12 (1):9-37.
    After sketching the historical development of “emergence” and noting several recent problems relating to “emergent properties”, this essay proposes that properties may be either “emergent” or “mergent” and either “intrinsic” or “extrinsic”. These two distinctions define four basic types of change: stagnation, permanence, flux, and evolution. To illustrate how emergence can operate in a purely logical system, the Geometry of Logic is introduced. This new method of analyzing conceptual systems involves the mapping of logical relations onto geometrical figures, following (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  25. Review of WILLARD QUINE, Philosophy of logic, Harvard, 1970/1986. [REVIEW]John Corcoran - 1972 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 39:37-39.
    This book is best regarded as a concise essay developing the personal views of a major philosopher of logic and as such it is to be welcomed by scholars in the field. It is not (and does not purport to be) a treatment of a significant portion of those philosophical problems generally thought to be germane to logic. It would be easy to list many popular topics in philosophy of logic which it does not mention. Even its (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Hegel's account of contradiction in the science of logic reconsidered.Karin de Boer - 2010 - Journal of the History of Philosophy 48 (3):345-373.
    This article challenges the prevailing interpretations of Hegel's account of the concept "contradiction" in the Science of Logic by arguing that it is concerned with the principle of Hegel's method rather than with the classical law of non-contradiction. I first consider Hegel's Doctrine of Essence in view of Kant's discussion of the concepts of reflection in the first Critique. On this basis, I examine Hegel's account of the logical principles based on the concepts "identity," "opposition," and "contradiction." Finally, I (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  27.  47
    Tractable depth-bounded approximations to some propositional logics. Towards more realistic models of logical agents.A. Solares-Rojas - 2022 - Dissertation, University of Milan
    The depth-bounded approach seeks to provide realistic models of reasoners. Recognizing that most useful logics are idealizations in that they are either undecidable or likely to be intractable, the approach accounts for how they can be approximated in practice by resource-bounded agents. The approach has been applied to Classical Propositional Logic (CPL), yielding a hierarchy of tractable depth-bounded approximations to that logic, which in turn has been based on a KE/KI system. -/- This Thesis shows that the approach (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Chapter 5. Constructing a Demonstration of Logical Rules, or How to Use Kant’s Logic Corpus.Huaping Lu-Adler - 2015 - In Robert R. Clewis (ed.), Reading Kant's Lectures. Boston: De Gruyter. pp. 137-158.
    In this chapter, I discuss some problems of Kant’s logic corpus while recognizing its richness and potential value. I propose and explain a methodic way to approach it. I then test the proposal by showing how we may use various mate- rials from the corpus to construct a Kantian demonstration of the formal rules of thinking (or judging) that lie at the base of Kant’s Metaphysical Deduction. The same proposal can be iterated with respect to other topics. The said (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Comparison of DC motor speed control performance using fuzzy logic and model predictive control method.Mustefa Jibril - 2020 - International Research Journal of Modernization in Engineering Technology and Science 2 (4):141-145.
    The main target of this paper is to control the speed of DC motor by comparing the actual and the desired speed set point. The DC motor is designed using Fuzzy logic and MPC controllers. The comparison is made between the proposed controllers for the control target speed of the DC motor using square and white noise desired input signals with the help of Matlab/Simulink software. It has been realized that the design based on the fuzzy logic controller (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Remarks on the Conceptions of Philosophical Method of Schelling, Hegel, and Krause.Peter Rohs - 2022 - European Journal for Philosophy of Religion 14 (2).
    “The A2 is Light,” Schelling explains to us in the Presentation of My System of Philosophy. Is such a statement meaningful, so that its truth value can be asked? Is it an empirical statement, which can be tested and possibly confirmed through observations? Or is it a synthetic a priori judgment independent of observations? Such questions are not easy to answer, and they are related to the logical status of Schelling’s theory as a whole. That such questions became important stems (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. The logic of design as a conceptual logic of information.Luciano Floridi - 2017 - Minds and Machines 27 (3):495-519.
    In this article, I outline a logic of design of a system as a specific kind of conceptual logic of the design of the model of a system, that is, the blueprint that provides information about the system to be created. In section two, I introduce the method of levels of abstraction as a modelling tool borrowed from computer science. In section three, I use this method to clarify two main conceptual logics of information inherited from modernity: Kant’s (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  32. Logical Positivism: The History of a “Caricature”.Sander Verhaegh - 2024 - Isis 115 (1):46-64.
    Logical positivism is often characterized as a set of naive doctrines on meaning, method, and metaphysics. In recent decades, however, historians have dismissed this view as a gross misinterpretation. This new scholarship raises a number of questions. When did the standard reading emerge? Why did it become so popular? And how could commentators have been so wrong? This essay reconstructs the history of a “caricature” and rejects the hypothesis that it was developed by ill-informed Anglophone scholars who failed to appreciate (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  33. Ordinary Language Philosophy as an Extension of Ideal Language Philosophy. Comparing the Methods of the Later Wittgenstein and P.F. Strawson.Benjamin De Mesel - 2021 - Philosophical Investigations 45 (2):175-199.
    The idea that thought and language can be clarified through logical methods seems problematic because, while thought and language are not always exact, logic (by its very nature) must be. According to Kuusela, ideal (ILP, represented by Frege and Russell) and ordinary language philosophy (OLP, represented by Strawson) offer opposed solutions to this problem, and Wittgenstein combines the advantages of both. I argue that, given Kuusela’s characterisation of OLP, Strawson was not an OLP’er. I suggest that, instead of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Schleiermacher’s Icoses: Social Ecologies of the Different Methods of Translating.Douglas Robinson - 2013 - Zeta Books.
    Schleiermacher’s Icoses is the first book-length study of the 1813 Academy address “Ueber die verschiedenen Methodes des Uebersetzens”; in addition to celebrating its 200 years of influence, the book undertakes a comprehensive examination of the whole argument, from its theory of hermeneutics to its foreignizing theory of translation and all the passing “poetic” elements on which Schleiermacher’s rhetoric always so heavily relied. The “icoses” in the title are specifically an articulation of the Gefühle/feelings that lie at the heart of Schleiermacher’s (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Book of Abstracts: Trends in Logic XVI: Consistency, Contradiction, Paraconsistency and Reasoning.Walter A. Carnielli, Rafael Testa & Juliana Bueno-Soler - 2016 - Campinas, SP, Brasil: CLE-Unicamp.
    “Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” is being organized by the Centre for Logic, Epistemology and the History of Science at the State University of Campinas (CLEUnicamp) from September 12th to 15th, 2016, with the auspices of the Brazilian Logic Society, Studia Logica and the Polish Academy of Sciences. The conference is intended to celebrate the 40th anniversary of CLE, and is centered around the areas of logic, epistemology, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. 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   3 citations  
  37. The Logic of the Evidential Conditional.Eric Raidl, Andrea Iacona & Vincenzo Crupi - 2022 - Review of Symbolic Logic 15 (3):758-770.
    In some recent works, Crupi and Iacona have outlined an analysis of ‘if’ based on Chrysippus’ idea that a conditional holds whenever the negation of its consequent is incompatible with its antecedent. This paper presents a sound and complete system of conditional logic that accommodates their analysis. The soundness and completeness proofs that will be provided rely on a general method elaborated by Raidl, which applies to a wide range of systems of conditional logic.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  38. (1 other version)Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures.Valentin Goranko & Dimiter Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 265-292.
    We study the general problem of axiomatizing structures in the framework of modal logic and present a uniform method for complete axiomatization of the modal logics determined by a large family of classes of structures of any signature.
    Download  
     
    Export citation  
     
    Bookmark  
  39. Changing use of formal methods in philosophy: late 2000s vs. late 2010s.Samuel C. Fletcher, Joshua Knobe, Gregory Wheeler & Brian Allan Woodcock - 2021 - Synthese 199 (5-6):14555-14576.
    Traditionally, logic has been the dominant formal method within philosophy. Are logical methods still dominant today, or have the types of formal methods used in philosophy changed in recent times? To address this question, we coded a sample of philosophy papers from the late 2000s and from the late 2010s for the formal methods they used. The results indicate that the proportion of papers using logical methods remained more or less constant over that time period (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  40. Tableaux-based decision method for single-agent linear time synchronous temporal epistemic logics with interacting time and knowledge.Mai Ajspur & Valentin Goranko - 2013 - In Kamal Lodaya (ed.), Logic and Its Applications. Springer. pp. 80--96.
    Temporal epistemic logics are known, from results of Halpern and Vardi, to have a wide range of complexities of the satisfiability problem: from PSPACE, through non-elementary, to highly undecidable. These complexities depend on the choice of some key parameters specifying, inter alia, possible interactions between time and knowledge, such as synchrony and agents' abilities for learning and recall. In this work we develop practically implementable tableau-based decision procedures for deciding satisfiability in single-agent synchronous temporal-epistemic logics with interactions between time and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. (1 other version)Logic of Faith and Dead. The Idea and Outline of the Theoretical Conception.Wybraniec-Skardowska Urszula - 2019 - Philosophia Christine 55 (2):125-149.
    This paper discusses the theoretical assumptions behind the conception of the logic of faith and deed (LF&D) and outlines its formal-axiomatic frame and its method of construction, which enable us to understand it as a kind of deductive science. The paper is divided into several sections, starting with the logical analysis of the ambiguous terms of 'faith’ and 'action', and focusing in particular on the concepts of religious faith and deed as a type of conscious activity relating to a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. On the logic of common belief and common knowledge.Luc Lismont & Philippe Mongin - 1994 - Theory and Decision 37 (1):75-106.
    The paper surveys the currently available axiomatizations of common belief (CB) and common knowledge (CK) by means of modal propositional logics. (Throughout, knowledge- whether individual or common- is defined as true belief.) Section 1 introduces the formal method of axiomatization followed by epistemic logicians, especially the syntax-semantics distinction, and the notion of a soundness and completeness theorem. Section 2 explains the syntactical concepts, while briefly discussing their motivations. Two standard semantic constructions, Kripke structures and neighbourhood structures, are introduced in Sections (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  43. THE HISTORICAL SYNTAX OF PHILOSOPHICAL LOGIC.Yaroslav Hnatiuk - 2022 - European Philosophical and Historical Discourse 8 (1):78-87.
    This article analyzes the historical development of the philosophical logic syntax from the standpoint of the unity of historical and logical methods. According to this perspective, there are three types of logical syntax: the elementary subject-predicate, the modified definitivespecificative, and the standard propositional-functional. These types are generalized in the grammatical and mathematical styles of logical syntax. The main attention is paid to two scientific revolutions in elementary subject-predicate syntax, which led to the emergence of modified definitive-specific and standard (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. The logical problem of the incarnation: a new solution.Joshua R. Sijuwade - 2022 - Religious Studies:1-21.
    This article aims to provide a new solution to the Logical Problem of the Incarnation by proposing a novel metaphysical reconstrual of the method of reduplicative predication. This reconstrual will be grounded upon the metaphysical thesis of ‘Ontological Pluralism, proposed by Kris McDaniel and Jason Turner, and the notion of an ‘aspect’ proposed by Donald L. M. Baxter. Utilising this thesis and notion will enable the method of reduplicative predication to be further clarified, and the central objection that is often (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  45. Problematics of Grounded Theory: Innovations for Developing an Increasingly Rigorous Qualitative Method.Jason Adam Wasserman, Jeffrey Michael Clair & Kenneth L. Wilson - 2009 - Qualitative Research 9 (3):355-381.
    Our purpose in this article is to identify and suggest resolution for two core problematics of grounded theory. First, while grounded theory provides transparency to one part of the conceptualization process, where codes emerge directly from the data, it provides no such systematic or transparent way for gaining insight into the conceptual relationships between discovered codes. Producing a grounded theory depends not only on the definition of conceptual pieces, but the delineation of a relationship between at least two of those (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. Effective finite-valued approximations of general propositional logics.Matthias Baaz & Richard Zach - 2008 - In Arnon Avron & Nachum Dershowitz (eds.), Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Springer Verlag. pp. 107–129.
    Propositional logics in general, considered as a set of sentences, can be undecidable even if they have “nice” representations, e.g., are given by a calculus. Even decidable propositional logics can be computationally complex (e.g., already intuitionistic logic is PSPACE-complete). On the other hand, finite-valued logics are computationally relatively simple—at worst NP. Moreover, finite-valued semantics are simple, and general methods for theorem proving exist. This raises the question to what extent and under what circumstances propositional logics represented in various (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality.Avi Sion - 2010 - Geneva, Switzerland: CreateSpace & Kindle; Lulu..
    The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality is a treatise of formal logic and of aetiology. It is an original and wide-ranging investigation of the definition of causation (deterministic causality) in all its forms, and of the deduction and induction of such forms. The work was carried out in three phases over a dozen years (1998-2010), each phase introducing more sophisticated methods than the previous to solve outstanding problems. This study was intended as (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48.  93
    Sensitive analysis of company market capitalization to its value changing calculated using DCF modeling and comparable companies valuation method.Igor Kryvovyazyuk & Oleksandr Burban - 2022 - Економічний Простір 179:55-61.
    The main goal of the article is a further development of the usage of income and comparable approaches to company valuation aimed at defining market capitalization sensitivity to value changing in the conditions of dynamization of internal and external business parameters. The relevance of the researched topic is determined by the importance of establishing the factors influencing the change in company market capitalization based on the synthesis of approaches to company valuation. To obtain the results of the study, the following (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Completeness of a first-order temporal logic with time-gaps.Matthias Baaz, Alexander Leitsch & Richard Zach - 1996 - Theoretical Computer Science 160 (1-2):241-270.
    The first-order temporal logics with □ and ○ of time structures isomorphic to ω (discrete linear time) and trees of ω-segments (linear time with branching gaps) and some of its fragments are compared: the first is not recursively axiomatizable. For the second, a cut-free complete sequent calculus is given, and from this, a resolution system is derived by the method of Maslov.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  50. Platonic Division and the Origins of Aristotelian Logic.Justin Vlasits - 2017 - Dissertation, University of California, Berkeley
    Aristotle's syllogistic theory, as developed in his Prior Analytics, is often regarded as the birth of logic in Western philosophy. Over the past century, scholars have tried to identify important precursors to this theory. I argue that Platonic division, a method which aims to give accounts of essences of natural kinds by progressively narrowing down from a genus, influenced Aristotle's logical theory in a number of crucial respects. To see exactly how, I analyze the method of division as it (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 950