Results for 'Hypothetico-Deductive Method'

949 found
Order:
  1. Modus Tollens probabilized: deductive and Inductive Methods in medical diagnosis.Barbara Osimani - 2009 - MEDIC 17 (1/3):43-59.
    Medical diagnosis has been traditionally recognized as a privileged field of application for so called probabilistic induction. Consequently, the Bayesian theorem, which mathematically formalizes this form of inference, has been seen as the most adequate tool for quantifying the uncertainty surrounding the diagnosis by providing probabilities of different diagnostic hypotheses, given symptomatic or laboratory data. On the other side, it has also been remarked that differential diagnosis rather works by exclusion, e.g. by modus tollens, i.e. deductively. By drawing on a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2.  52
    Revisiting Inductive Confirmation in Science: A Puzzle and a Solution.Alik Pelman - 2024 - Philosophies 9 (171):1-7.
    When an empirical prediction E of hypothesis H is observed to be true, such observation is said to confirm, i.e., support (although not prove) the truth of the hypothesis. But why? What justifies the claim that such evidence supports the hypothesis? The widely accepted answer is that it is justified by induction. More specifically, it is commonly held that the following argument, (1) If H then E; (2) E; (3) Therefore, (probably) H (here referred to as ‘hypothetico-deductive confirmation (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Argumentations and Logic.John Corcoran - 1989 - ARGUMENTAION 3 (1):17-43.
    Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are (...)
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  4. Argumentaciones y lógica.J. Corcoran - 1994 - Agora 13 (1):27.
    Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  5. Anti-Scientism, Conceptual Analysis and High-End Science Journalism.Filip Tvrdý - 2016 - Czech and Slovak Journal of Humanities: Philosophica 3 (1):70-76.
    In Ancient Greece, when philosophy began, it included all the theoretical knowledge. But later, in the time of Aristotle, specialized sciences started to emerge and the scope of philosophy grew smaller and smaller. The question is what to do when philosophy has lost its competence to deal with any relevant topic. The paper discusses three possible views of the relation between philosophy and science: anti-scientism, conceptual analysis and naturalism. All these approaches deal with various disadvantages. For anti-scientism it is mainly (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. A Dialogue on Understanding.C. Mantzavinos - 2019 - Philosophy of the Social Sciences 49 (4):307-322.
    This paper written as a dialogue between two interlocutors, Julie and a Student, deals with Understanding and its role in the social sciences. The fictional dialogue takes place in Hannover, Germany, and the interlocutors are exchanging arguments about Verstehen and how it should be conceptualized in the philosophy of the social sciences. A range of different approaches is discussed and a naturalistic strategy emerges as a defensible alternative.
    Download  
     
    Export citation  
     
    Bookmark  
  7. Hypothesis Testing in Scientific Practice: An Empirical Study.Moti Mizrahi - 2020 - International Studies in the Philosophy of Science 33 (1):1-21.
    It is generally accepted among philosophers of science that hypothesis testing is a key methodological feature of science. As far as philosophical theories of confirmation are con...
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  8. 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  
  9. Hermeneutik als rationale Methodenlehre der Interpretation.C. Mantzavinos - 2019 - Zeitschrift für Philosophische Forschung 73 (2):222-243.
    The aim of this paper is to show that intersubjective intelligibility, testability with the use of evidence, rational argumentation and objectivity are possible in the case of text interpretation. As far as one is willing to accept that the application of such standards make up science as a rational enterprise, one should also accept text interpretation as a rational enterprise and should be willing to qualify hermeneutics as a rational methodology of interpretation.
    Download  
     
    Export citation  
     
    Bookmark  
  10. (1 other version)Non-deductive justification in mathematics.A. C. Paseau - 2023 - Handbook of the History and Philosophy of Mathematical Practice.
    In mathematics, the deductive method reigns. Without proof, a claim remains unsolved, a mere conjecture, not something that can be simply assumed; when a proof is found, the problem is solved, it turns into a “result,” something that can be relied on. So mathematicians think. But is there more to mathematical justification than proof? -/- The answer is an emphatic yes, as I explain in this article. I argue that non-deductive justification is in fact pervasive in mathematics, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. 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  
  12. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective).Richard Zach - 2015 - Journal of Philosophical Logic 45 (2):183-197.
    Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  14. Deduction in TIL: From Simple to Ramified Hierarchy of Types.Marie Duží - 2013 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 20 (2):5-36.
    Tichý’s Transparent Intensional Logic (TIL) is an overarching logical framework apt for the analysis of all sorts of discourse, whether colloquial, scientific, mathematical or logical. The theory is a procedural (as opposed to denotational) one, according to which the meaning of an expression is an abstract, extra-linguistic procedure detailing what operations to apply to what procedural constituents to arrive at the product (if any) of the procedure that is the object denoted by the expression. Such procedures are rigorously defined as (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Genealogy and Jurisprudence in Fichte’s Genetic Deduction of the Categories.G. Anthony Bruno - 2018 - History of Philosophy Quarterly 35 (1):77-96.
    Fichte argues that the conclusion of Kant’s transcendental deduction of the categories is correct yet lacks a crucial premise, given Kant’s admission that the metaphysical deduction locates an arbitrary origin for the categories. Fichte provides the missing premise by employing a new method: a genetic deduction of the categories from a first principle. Since Fichte claims to articulate the same view as Kant in a different, it is crucial to grasp genetic deduction in relation to the sorts of deduction (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  16. Science and the Synthetic Method of the Critique of Pure Reason.Melissa McBay Merritt - 2006 - Review of Metaphysics 59 (3):517-539.
    Kant maintains that his Critique of Pure Reason follows a “synthetic method” which he distinguishes from the analytic method of the Prolegomena by saying that the Critique “rests on no other science” and “takes nothing as given except reason itself”. The paper presents an account of the synthetic method of the Critique, showing how it is related to Kant’s conception of the Critique as the “science of an a priori judging reason”. Moreover, the author suggests, understanding its (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  17. Fichte’s Method of Moral Justification.Owen Ware - 2019 - British Journal for the History of Philosophy 27 (6):1173-1193.
    While Kant’s claim that the moral law discloses our freedom to us has been extensively discussed in recent decades, the reactions to this claim among Kant’s immediate successors have gone largely overlooked by scholars. Reinhold, Creuzer, and Maimon were among three prominent thinkers of the era unwilling to follow Kant in making the moral law the condition for knowing our freedom. Maimon went so far as to reject Kant’s method of appealing to our everyday awareness of duty on the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Safety, Closure, and Extended Methods.Simon Goldstein & John Hawthorne - 2024 - Journal of Philosophy 121 (1):26-54.
    Recent research has identified a tension between the Safety principle that knowledge is belief without risk of error, and the Closure principle that knowledge is preserved by competent deduction. Timothy Williamson reconciles Safety and Closure by proposing that when an agent deduces a conclusion from some premises, the agent’s method for believing the conclusion includes their method for believing each premise. We argue that this theory is untenable because it implies problematically easy epistemic access to one’s methods. Several (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  19. Application of natural deduction in Renaissance geometry.Mirek Ryszard - 2014 - Argument: Biannual Philosophical Journal 4 (2):425-438.
    my goal here is to provide a detailed analysis of the methods of inference that are employed in De prospectiva pingendi. For this purpose, a method of natural deduction is proposed. the treatise by Piero della Francesca is a manifestation of a union between the ne arts and the mathematical sciences of arithmetic and geometry. He de nes painting as a part of perspective and, speaking precisely, as a branch of geometry, which is why we nd advanced geometrical exercises (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Instrumentalist logic of scientific discovery: reflections on Dewey’s method and its metaphysical foundations.Andrii Leonov - 2020 - Actual Problems of Mind 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  21. Facticity and Genesis: Tracking Fichte’s Method in the Berlin Wissenschaftslehre.G. Anthony Bruno - 2021 - Fichte-Studien 49:177-97.
    The concept of facticity denotes conditions of experience whose necessity is not logical yet whose contingency is not empirical. Although often associated with Heidegger, Fichte coins ‘facticity’ in his Berlin period to refer to the conclusion of Kant’s metaphysical deduction of the categories, which he argues leaves it a contingent matter that we have the conditions of experience that we do. Such rhapsodic or factical conditions, he argues, must follow necessarily, independent of empirical givenness, from the I through a process (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  22. Wordmorph!: A Word Game to Introduce Natural Deduction.Ian Stoner - 2018 - Teaching Philosophy 41 (2):199-204.
    Some logic students falter at the transition from the mechanical method of truth tables to the less-mechanical method of natural deduction. This short paper introduces a word game intended to ease that transition.
    Download  
     
    Export citation  
     
    Bookmark  
  23. The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality.Avi Sion - 1999 - 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 part of a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24.  80
    Kant's Critique of Pure Reason and the Method of Metaphysics by Gabriele Gava. [REVIEW]Charles Goldhaber - 2024 - Journal of Transcendental Philosophy 5 (2–3):145–50.
    Gabriele Gava's new monograph makes sense of Kant's obscure claim that the Critique of Pure Reason is a "doctrine of method" for the science of metaphysics. Gava does this by offering a reading of the whole Critique as aiming to show that metaphysics can become an "architectonic" science. The book shows impressive range; it covers diverse topics throughout the Aesthetic, Analytic, Dialectic, and Method, brings out appealing parallels between them, and relates them to the task of exhibiting metaphysic's (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. Constructive Verification, Empirical Induction, and Falibilist Deduction: A Threefold Contrast.Julio Michael Stern - 2011 - Information 2 (4):635-650.
    This article explores some open questions related to the problem of verification of theories in the context of empirical sciences by contrasting three epistemological frameworks. Each of these epistemological frameworks is based on a corresponding central metaphor, namely: (a) Neo-empiricism and the gambling metaphor; (b) Popperian falsificationism and the scientific tribunal metaphor; (c) Cognitive constructivism and the object as eigen-solution metaphor. Each of one of these epistemological frameworks has also historically co-evolved with a certain statistical theory and method for (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  26.  66
    Descartes's Method for Achieving Knowledge.Elliot Samuel Paul - forthcoming - In Kurt Sylvan, Ernest Sosa, Jonathan Dancy & Matthias Steup (eds.), The Blackwell Companion to Epistemology, 3rd edition. Wiley Blackwell.
    Descartes’s cogito – I am thinking, therefore I am – is an intuitive deduction. Contrary to Transparency, certainty of I am thinking does not come easily; it’s achieved by making introspection perfectly clear through radical doubt. Scientia – rational immunity to doubt – comes with the habit of intuiting with perfect clarity that skepticism is false. (This is the second of two companion entries; the prequel is called, "Descartes's Clarity First Epistemology.").
    Download  
     
    Export citation  
     
    Bookmark  
  27. Internalism and Entitlement to Rules and Methods.Joshua Schechter - 2020 - In Peter Graham & Nikolaj Jang Lee Linding Pedersen (eds.), Epistemic Entitlement. Oxford, UK: Oxford University Press.
    In our thought, we employ rules of inference and belief-forming methods more generally. For instance, we (plausibly) employ deductive rules such as Modus Ponens, ampliative rules such as Inference to the Best Explanation, and perceptual methods that tell us to believe what perceptually appears to be the case. What explains our entitlement to employ these rules and methods? This chapter considers the motivations for broadly internalist answers to this question. It considers three such motivations—one based on simple cases, one (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  28. What is relative confirmation?David Christensen - 1997 - Noûs 31 (3):370-384.
    It is commonly acknowledged that, in order to test a theoretical hypothesis, one must, in Duhem' s phrase, rely on a "theoretical scaffolding" to connect the hypothesis with something measurable. Hypothesis-confirmation, on this view, becomes a three-place relation: evidence E will confirm hypothesis H only relative to some such scaffolding B. Thus the two leading logical approaches to qualitative confirmation--the hypothetico-deductive (H-D) account and Clark Glymour' s bootstrap account--analyze confirmation in relative terms. But this raises questions about the (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  29. (1 other version)Recipes for Science: An Introduction to Scientific Methods and Reasoning.Angela Potochnik, Matteo Colombo & Cory Wright - 2017 - New York: Routledge.
    There is widespread recognition at universities that a proper understanding of science is needed for all undergraduates. Good jobs are increasingly found in fields related to Science, Technology, Engineering, and Medicine, and science now enters almost all aspects of our daily lives. For these reasons, scientific literacy and an understanding of scientific methodology are a foundational part of any undergraduate education. Recipes for Science provides an accessible introduction to the main concepts and methods of scientific reasoning. With the help of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  30. Polynomial ring calculus for modal logics: A new semantics and proof method for modalities: Polynomial ring calculus for modal logics.Juan C. Agudelo - 2011 - Review of Symbolic Logic 4 (1):150-170.
    A new proof style adequate for modal logics is defined from the polynomial ring calculus. The new semantics not only expresses truth conditions of modal formulas by means of polynomials, but also permits to perform deductions through polynomial handling. This paper also investigates relationships among the PRC here defined, the algebraic semantics for modal logics, equational logics, the Dijkstra???Scholten equational-proof style, and rewriting systems. The method proposed is throughly exemplified for S 5, and can be easily extended to other (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  31. Glymour on evidential relevance.David Christensen - 1983 - Philosophy of Science 50 (3):471-481.
    Glymour's "bootstrap" account of confirmation is designed to provide an analysis of evidential relevance, which has been a serious problem for hypothetico-deductivism. As set out in Theory and Evidence, however, the "bootstrap" condition allows confirmation in clear cases of evidential irrelevance. The difficulties with Glymour's account seem to be due to a basic feature which it shares with hypothetico-deductive accounts, and which may explain why neither can give a satisfactory analysis of evidential relevance.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  32. Preuves par excellence.Jacques Dubucs & Sandra Lapointe - 2003 - Philosophiques 30 (1):219-234.
    Bolzano fut le premier philosophe à établir une distinction explicite entre les procédés déductifs qui nous permettent de parvenir à la certitude d’une vérité et ceux qui fournissent son fondement objectif. La conception que Bolzano se fait du rapport entre ce que nous appelons ici, d’une part, « conséquence subjective », à savoir la relation de raison à conséquence épistémique et, d’autre part, la « conséquence objective », c’est-à-dire la fondation , suggère toutefois que Bolzano défendait une conception « explicativiste (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  33. On Bolzano’s Alleged Explicativism.Jacques Dubucs & Sandra Lapointe - 2006 - Synthese 150 (2):229-246.
    Bolzano was the first to establish an explicit distinction between the deductive methods that allow us to recognise the certainty of a given truth and those that provide its objective ground. His conception of the relation between what we, in this paper, call "subjective consequence", i.e., the relation from epistemic reason to consequence and "objective consequence", i.e., grounding however allows for an interpretation according to which Bolzano advocates an "explicativist" conception of proof: proofs par excellence are those that reflect (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  34. A unified framework for building ontological theories with application and testing in the field of clinical trials.Heller Barbara, Herre Heinrich & Barry Smith - 2004 - In Vizenor Lowell, Smith Barry & Ceusters Werner (eds.), Ifomis Reports. Ifomis.
    The objective of this research programme is to contribute to the establishment of the emerging science of Formal Ontology in Information Systems via a collaborative project involving researchers from a range of disciplines including philosophy, logic, computer science, linguistics, and the medical sciences. The re­searchers will work together on the construction of a unified formal ontology, which means: a general framework for the construction of ontological theories in specific domains. The framework will be constructed using the axiomatic-deductive method (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Gottes notwendige Existenz stiftet Sinn. Versuch eines transzendental-modallogischen Beweises.Gregor Damschen - 2014 - In Martina Bär & Maximilian Paulin (eds.), Macht Glück Sinn? Theologische und philosophische Erkundungen. Matthias Grünewald Verlag. pp. 96-111.
    God's necessary existence makes sense. Attempt at a transcendental modal proof. - In this essay I outline a novel three-stage proof of God's necessary existence using transcendental and deductive methods. In the first step of the proof, by retorsion, it is proved that there is at least one sentence that is necessary and inescapable. In the second step, the inescapability of the modal logic supposed in the proof is shown. This step also contains a new argument in favour of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Scientismus, vědecký imperialismus a hranice vědeckého poznání.Filip Tvrdý - 2019 - In Mariana Szapuová, Martin Nuhlíček & Michal Chabada (eds.), Veda, spoločnosť a hodnoty. pp. 21-33.
    The indisputable success of experimental science caused a division in philosophy at the turn of the 21st century. A substantial part of philosophers was inspired by ground-breaking writings of W. V. O. Quine and they followed philosophical naturalism that considers hypothetical-deductive method the most effective or the only way to acquire justified true beliefs. Other philosophers are worried about the hegemony of empirical sciences and warn against excessive ambitions of scientific methodology. Scientism or scientific imperialism is a point (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. 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  
  38. On Universal Roots in Logic.Andrzej K. Rogalski & Urszula Wybraniec-Skardowska - 1998 - Dialogue and Universalism 8 (11):143-154.
    The aim of this study is to discuss in what sense one can speak about universal character of logic. The authors argue that the role of logic stands mainly in the generality of its language and its unrestricted applications to any field of knowledge and normal human life. The authors try to precise that universality of logic tends in: (a) general character of inference rules and the possibility of using those rules as a tool of justification of theorems of every (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. Truth and universality: a necessary antinomy?José Ramón Fabelo Corzo - 2021 - Sophia 31 (31):41-63.
    Throughout history, oppressors have used multiple forms of violence to impose their own logic on the human universe they oppress. One such form is epistemic violence, which is based on the monopoly control of truth and the hijacking of universality. Those who apply this violence seek to convince everyone of the absolute character of their supposed truths, of the quasi-natural universality of their ways of thinking, of living, of organizing socially. Truth and universality are ineludible objects in dispute between conservative (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. Stoic Syllogistic.Susanne Bobzien - 1996 - Oxford Studies in Ancient Philosophy 14:133-92.
    ABSTRACT: For the Stoics, a syllogism is a formally valid argument; the primary function of their syllogistic is to establish such formal validity. Stoic syllogistic is a system of formal logic that relies on two types of argumental rules: (i) 5 rules (the accounts of the indemonstrables) which determine whether any given argument is an indemonstrable argument, i.e. an elementary syllogism the validity of which is not in need of further demonstration; (ii) one unary and three binary argumental rules which (...)
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  41. The change of scientific knowledge of Thomas Kuhn and Karl Popper.Ayça Solak - 2021 - Dissertation,
    This thesis study is about the leading philosophers of philosophy of science of the twentieth century Karl Popper and Thomas Kuhn and their asserted views about science and scientific knowledge and the method, standard and limit of science. Popper who emphasises the deductive method of science and its standard which should be falsifiable indicates that scientific knowledge should have a testable and falsifiable pattern. Kuhn, on the other hand, discusses the standard of scientificity connected to the existing (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Mrs.Sahar Zabihidan - manuscript
    For many years, the human need for the group, social life, and the impact of this form of life on mental health and body have been discussed. This is said to be less about loneliness and the role played by human beings. Loneliness is a global issue experienced by all humans more or less and with their lives. In other words, many people with races, cultures, social classes, and at different ages and times each experience some kind of loneliness. It (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43.  13
    A Critique of Inductive Arguments in Logic (7th edition).Etaoghene Paul Polo - 2024 - Nnadiebube Journal of Philosophy 7 (3):42-48.
    Blending the qualitative and analytic research methods, this article critically examines the nature and limitations of inductive arguments within the field of logic. Inductive arguments, unlike their deductive counterparts, provide conclusions that extend beyond the premises, thus offering probabilistic rather than certain conclusions. This critique emphasises the weak inferential connections inherent in inductive reasoning, where premises give only partial or probable support to conclusions. The analysis highlights the ampliative value of inductive arguments, illustrating how they broaden conceptual knowledge by (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. Proof Theory of Finite-valued Logics.Richard Zach - 1993 - Dissertation, Technische Universität Wien
    The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  45. Sensitivity, Safety, and Epistemic Closure.Bin Zhao - 2022 - International Journal of Philosophical Studies 30 (1):56-71.
    It has been argued that an advantage of the safety account over the sensitivity account is that the safety account preserves epistemic closure, while the sensitivity account implies epistemic closure failure. However, the argument fails to take the method-relativity of the modal conditions on knowledge, viz., sensitivity and safety, into account. In this paper, I argue that the sensitivity account and the safety account are on a par with respect to epistemic closure once the method-relativity of the modal (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  46. The Formalization of Arguments.Robert Michels - 2020 - Dialectica 74 (2).
    The purpose of this introduction is to give a rough overview of the discussion of the formalization of arguments, focusing on deductive arguments. The discussion is structured around four important junctions: i) the notion of support, which captures the relation between the conclusion and premises of an argument, ii) the choice of a formal language into which the argument is translated in order to make it amenable to evaluation via formal methods, iii) the question of quality criteria for such (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. The Ontological Argument as an Exercise in Cartesian Therapy.Lawrence Nolan - 2005 - Canadian Journal of Philosophy 35 (4):521 - 562.
    I argue that Descartes intended the so-called ontological "argument" as a self-validating intuition, rather than as a formal proof. The textual evidence for this view is highly compelling, but the strongest support comes from understanding Descartes's diagnosis for why God's existence is not 'immediately' self-evident to everyone and the method of analysis that he develops for making it self-evident. The larger aim of the paper is to use the ontological argument as a case study of Descartes's nonformalist theory of (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  48. Three Criticisms of Newton’s Inductive Argument in the Principia.Nicholas Maxwell - 2013 - Advances in Historical Studies 3 (1):2-11.
    In this paper, I discuss how Newton’s inductive argument of the Principia can be defended against criticisms levelled against it by Duhem, Popper and myself. I argue that Duhem’s and Popper’s criticisms can be countered, but mine cannot. It requires that we reconsider, not just Newton’s inductive argument in the Principia, but also the nature of science more generally. The methods of science, whether conceived along inductivist or hypothetico-deductivist lines, make implicit metaphysical presuppositions which rigour requires we make explicit (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. Boole's criteria for validity and invalidity.John Corcoran & Susan Wood - 1980 - Notre Dame Journal of Formal Logic 21 (4):609-638.
    It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  50. The Faithfulness Problem.Mario Bacelar Valente - 2022 - Principia: An International Journal of Epistemology 26 (3):429-447.
    When adopting a sound logical system, reasonings made within this system are correct. The situation with reasonings expressed, at least in part, with natural language is much more ambiguous. One way to be certain of the correctness of these reasonings is to provide a logical model of them. To conclude that a reasoning process is correct we need the logical model to be faithful to the reasoning. In this case, the reasoning inherits, so to speak, the correctness of the logical (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 949