Results for 'tableaux method'

994 found
Order:
  1.  81
    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  
  2. Tableaux sin refutación.Tomás Barrero & Walter Carnielli - 2005 - Matemáticas: Enseñanza Universitaria 13 (2):81-99.
    Motivated by H. Curry’s well-known objection and by a proposal of L. Henkin, this article introduces the positive tableaux, a form of tableau calculus without refutation based upon the idea of implicational triviality. The completeness of the method is proven, which establishes a new decision procedure for the (classical) positive propositional logic. We also introduce the concept of paratriviality in order to contribute to the question of paradoxes and limitations imposed by the behavior of classical implication.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  69
    A General Tableau Method for Propositional Interval Temporal Logics: Theory and Implementation.V. Goranko, A. Montanari, P. Sala & G. Sciavicco - 2006 - Journal of Applied Logic 4 (3):305-330.
    In this paper we focus our attention on tableau methods for propositional interval temporal logics. These logics provide a natural framework for representing and reasoning about temporal properties in several areas of computer science. However, while various tableau methods have been developed for linear and branching time point-based temporal logics, not much work has been done on tableau methods for interval-based ones. We develop a general tableau method for Venema's \cdt\ logic interpreted over partial orders (\nsbcdt\ for short). It (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  4. Introduction to Mathematical Logic, Edition 2021.Vilnis Detlovs & Karlis Podnieks - manuscript
    Textbook for students in mathematical logic. Part 1. Total formalization is possible! Formal theories. First order languages. Axioms of constructive and classical logic. Proving formulas in propositional and predicate logic. Glivenko's theorem and constructive embedding. Axiom independence. Interpretations, models and completeness theorems. Normal forms. Tableaux method. Resolution method. Herbrand's theorem.
    Download  
     
    Export citation  
     
    Bookmark  
  5.  91
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  6. Lógica positiva : plenitude, potencialidade e problemas (do pensar sem negação).Tomás Barrero - 2004 - Dissertation, Universidade Estadual de Campinas
    This work studies some problems connected to the role of negation in logic, treating the positive fragments of propositional calculus in order to deal with two main questions: the proof of the completeness theorems in systems lacking negation, and the puzzle raised by positive paradoxes like the well-known argument of Haskel Curry. We study the constructive com- pleteness method proposed by Leon Henkin for classical fragments endowed with implication, and advance some reasons explaining what makes difficult to extend this (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  7. Três Vezes Não: Um Estudo Sobre as Negações Clássica, Paraconsistente e Paracompleta.Kherian Gracher - 2020 - Dissertation, Federal University of Santa Catarina
    Could there be a single logical system that would allow us to work simultaneously with classical, paraconsistent, and paracomplete negations? These three negations were separately studied in logics whose negations bear their names. Initially we will restrict our analysis to propositional logics by analyzing classical negation, ¬c, as treated by Classical Propositional Logic (LPC); the paraconsistent negation, ¬p, as treated through the hierarchy of Paraconsistent Propositional Calculi Cn (0 ≤ n ≤ ω); and the paracomplete negation, ¬q, as treated by (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. Analytic Tableaux for All of SIXTEEN 3.Stefan Wintein & Reinhard Muskens - 2015 - Journal of Philosophical Logic 44 (5):473-487.
    In this paper we give an analytic tableau calculus P L 1 6 for a functionally complete extension of Shramko and Wansing’s logic. The calculus is based on signed formulas and a single set of tableau rules is involved in axiomatising each of the four entailment relations ⊧ t, ⊧ f, ⊧ i, and ⊧ under consideration—the differences only residing in initial assignments of signs to formulas. Proving that two sets of formulas are in one of the first three entailment (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC.Richard Zach - 2018 - Australasian Journal of Logic 15 (3):609-628.
    Priest has provided a simple tableau calculus for Chellas's conditional logic Ck. We provide rules which, when added to Priest's system, result in tableau calculi for Chellas's CK and Lewis's VC. Completeness of these tableaux, however, relies on the cut rule.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Dynamic Tableaux for Dynamic Modal Logics.Jonas De Vuyst - 2013 - Dissertation, Vrije Universiteit Brussel
    In this dissertation we present proof systems for several modal logics. These proof systems are based on analytic (or semantic) tableaux. -/- Modal logics are logics for reasoning about possibility, knowledge, beliefs, preferences, and other modalities. Their semantics are almost always based on Saul Kripke’s possible world semantics. In Kripke semantics, models are represented by relational structures or, equivalently, labeled graphs. Syntactic formulas that express statements about knowledge and other modalities are evaluated in terms of such models. -/- This (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. The Method of Levels of Abstraction.Luciano Floridi - 2008 - Minds and Machines 18 (3):303–329.
    The use of “levels of abstraction” in philosophical analysis (levelism) has recently come under attack. In this paper, I argue that a refined version of epistemological levelism should be retained as a fundamental method, called the method of levels of abstraction. After a brief introduction, in section “Some Definitions and Preliminary Examples” the nature and applicability of the epistemological method of levels of abstraction is clarified. In section “A Classic Application of the Method ofion”, the philosophical (...)
    Download  
     
    Export citation  
     
    Bookmark   91 citations  
  12.  95
    Dual Systems of Sequents and Tableaux for Many-Valued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - Bulletin of the EATCS 51:192-197.
    The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are al- ways two dual proof sytems (not just only two ways to interpret the calculi). This phenomenon may easily escape one’s attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment of a truth value and (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  13. Method Coherence and Epistemic Circularity.Will Fleisher - 2019 - Erkenntnis 84 (2):455-480.
    Reliabilism is an intuitive and attractive view about epistemic justification. However, it has many well-known problems. I offer a novel condition on reliabilist theories of justification. This method coherence condition requires that a method be appropriately tested by appeal to a subject’s other belief-forming methods. Adding this condition to reliabilism provides a solution to epistemic circularity worries, including the bootstrapping problem.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  14. Second Philosophy: A Naturalistic Method.Penelope Maddy - 2007 - Oxford, England and New York, NY, USA: Oxford University Press.
    Many philosophers these days consider themselves naturalists, but it's doubtful any two of them intend the same position by the term. In Second Philosophy, Penelope Maddy describes and practices a particularly austere form of naturalism called "Second Philosophy". Without a definitive criterion for what counts as "science" and what doesn't, Second Philosophy can't be specified directly ("trust only the methods of science" for example), so Maddy proceeds instead by illustrating the behaviors of an idealized inquirer she calls the "Second Philosopher". (...)
    Download  
     
    Export citation  
     
    Bookmark   104 citations  
  15. Methods for Measuring Breadth and Depth of Knowledge.Doris J. F. McIllwain & John Sutton - 2015 - In Damion Farrow & Joe Baker (eds.), The Routledge Handbook of Sport Expertise.
    In elite sport, the advantages demonstrated by expert performers over novices are sometimes due in part to their superior physical fitness or to their greater technical precision in executing specialist motor skills. However at the very highest levels, all competitors typically share extraordinary physical capacities and have supremely well-honed techniques. Among the extra factors which can differentiate between the best performers, psychological skills are paramount. These range from the capacities to cope under pressure and to bounce back from setbacks, to (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  16. A Method for Evaluation of Arguments From Analogy.Bo R. Meinertsen - 2016 - Cogency: Journal of Reasoning and Argumentation 7 (2):109-123.
    It is a common view that arguments from analogy can only be evaluated on a case-by-case basis. However, while this reflects an important insight, I propose instead a relatively simple method for their evaluation based on just (i) their general form and (ii) four core questions. One clear advantage of this proposal is that it does not depend on any substantial (and controversial) view of similarity, unlike influential current alternative methods, such as Walton’s. Following some initial clarification of the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  17. Methods of Ethics and the Descent of Man: Darwin and Sidgwick on Ethics and Evolution.Hallvard Lillehammer - 2010 - Biology and Philosophy 25 (3):361-378.
    Darwin’s treatment of morality in The Descent of Man has generated a wide variety of responses among moral philosophers. Among these is the dismissal of evolution as irrelevant to ethics by Darwin’s contemporary Henry Sidgwick; the last, and arguably the greatest, of the Nineteenth Century British Utilitarians. This paper offers a re-examination of Sidgwick’s response to evolutionary considerations as irrelevant to ethics and the absence of any engagement with Darwin’s work in Sidgwick’s main ethical treatise, The Methods of Ethics . (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  18. Intuitive Methods of Moral Decision Making, A Philosophical Plea.Emilian Mihailov - 2013 - In Muresan Valentin & Majima Shunzo (eds.), Applied Ethics: Perspectives from Romania. Center for Applied Ethics and Philosophy, Hokkaido University. pp. 62-78.
    The aim of this paper is to argue that intuitive methods of moral decision making are objective tools on the grounds that they are reasons based. First, I will conduct a preliminary analysis in which I highlight the acceptance of methodological pluralism in the practice of medical ethics. Here, the point is to show the possibility of using intuitive methods given the pluralism framework. Second, I will argue that the best starting point of elaborating such methods is a bottom-up perspective. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Does the Method of Cases Rest on a Mistake?Moti Mizrahi - 2014 - Review of Philosophy and Psychology 5 (2):183-197.
    In this paper, I argue that the method of cases (namely, the method of using intuitive judgments elicited by intuition pumps as evidence for and/or against philosophical theories) is not a reliable method of generating evidence for and/or against philosophical theories. In other words, the method of cases is unlikely to generate accurate judgments more often than not. This is so because, if perception and intuition are analogous in epistemically relevant respects, then using intuition pumps to (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  20. Realism, Method and Truth.Howard Sankey - 2002 - In Michele Marsonet (ed.), The Problem of Realism. Aldershot: Ashgate. pp. 64-81.
    What is the relation between method and truth? Are we justified in accepting a theory that satisfies the rules of scientific method as true? Such questions divide realism from anti-realism in the philosophy of science. Scientific realists take the methods of science to promote the realist aim of correspondence truth. Anti-realists either claim that the methods of science promote lesser epistemic goals than realist truth, or else they reject the realist conception of truth altogether. In this paper, I (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  21. Scientific Method.Howard Sankey - 2008 - In Stathis Psillos & Martin Curd (eds.), The Routledge Companion to Philosophy of Science. London and New York: Routledge. pp. 248-258.
    This is an introductory overview of theories of scientific method.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  22. Philosophical Method and Intuitions as Assumptions.Kevin Patrick Tobia - 2015 - Metaphilosophy 46 (4-5):575-594.
    Many philosophers claim to employ intuitions in their philosophical arguments. Others contest that no such intuitions are used frequently or at all in philosophy. This article suggests and defends a conception of intuitions as part of the philosophical method: intuitions are special types of philosophical assumptions to which we are invited to assent, often as premises in argument, that may serve an independent function in philosophical argument and that are not formed through a purely inferential process. A series of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. The Reality of Modern Methods Applied in Process of Performance Assessments of Employees in the Municipalities in Gaza Strip.Mazen J. Al Shobaki & Samy S. Abu Naser - 2016 - International Journal of Advanced Scientific Research 1 (7):14-23.
    The research aims to identify the reality of modern methods applied in the process of performance assessments of employees in the municipalities of Gaza-strip, Complete Census method of community study was used, (571) questionnaires were distributed to all members of the community study, (524) questionnaires were recovery with rate of (91.76%). The most important findings of the study: There were statistically significant relationship differences between the applications of modern methods in the performance assessments of employees in the municipalities of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  24. Phenomenal Experiences, First-Person Methods, and the Artificiality of Experimental Data.Uljana Feest - 2014 - Philosophy of Science 81 (5):927-939.
    This paper argues that whereas philosophical discussions of first-person methods often turn on the veridicality of first-person reports, more attention should be paid to the experimental circumstances under which the reports are generated, and to the purposes of designing such experiments. After pointing to the ‘constructedness’ of first-person reports in the science of perception, I raise questions about the criteria by which to judge whether the reports illuminate something about the nature of perception. I illustrate this point with a historical (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  25. The Method of Reflective Equilibrium: Wide, Radical, Fallible, Plausible.Carl Knight - 2006 - Philosophical Papers 35 (2):205-229.
    This article argues that, suitably modified, the method of reflective equilibrium is a plausible way of selecting moral principles. The appropriate conception of the method is wide and radical, admitting consideration of a full range of moral principles and arguments, and requiring the enquiring individual to consider others' views and undergo experiences that may offset any formative biases. The individual is not bound by his initial considered judgments, and may revise his view in any way whatsoever. It is (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  26. Four Meta-Methods for the Study of Qualia.Lok-Chi Chan & Andrew James Latham - 2019 - Erkenntnis 84 (1):145-167.
    In this paper, we describe four broad ‘meta-methods’ employed in scientific and philosophical research of qualia. These are the theory-centred metamethod, the property-centred meta-method, the argument-centred meta-method, and the event-centred meta-method. Broadly speaking, the theory-centred meta-method is interested in the role of qualia as some theoretical entities picked out by our folk psychological theories; the property-centred meta-method is interested in some metaphysical properties of qualia that we immediately observe through introspection ; the argument-centred meta-method (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  27. Methods in Analytic Epistemology.Kirk Ludwig - 2013 - In Matthew C. Haug (ed.), Philosophical Methodology: The Armchair or the Laboratory? Routledge. pp. 217-239.
    In this chapter, I defend the program of conceptual analysis, broadly construed, and the method of thought experiments in epistemology, as a first-person enterprise, that is, as one which draws on the investigator's own competence in the relevant concepts. I do not suggest that epistemology is limited to conceptual analysis, that it does not have important a posteriori elements, that it should not draw on empirical work wherever relevant (and non-question begging), or that it is not a communal enterprise. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  28. Explanation and Method in Eudemian Ethics I.6.Lucas Angioni - 2017 - Archai: Revista de Estudos Sobre as Origens Do Pensamento Ocidental 20:191-229.
    I discuss the methodological passage in the begin- ning of Ethica Eudemia I.6 (1216b26-35), which has received attention in connection with Aristotle’s notion of dialectic and his methodology in Ethics. My central focus is not to discuss whether Aristotle is prescribing and using what has been called the method of endoxa. I will focus on how this passage coheres with the remaining parts of the same chapter, which also are advancing methodological remarks. My claim is that the meth- od (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  29. Method and Metaphor in Aristotle's Science of Nature.Sean Michael Pead Coughlin - 2013 - Dissertation, University of Western Ontario
    This dissertation is a collection of essays exploring the role of metaphor in Aristotle’s scientific method. Aristotle often appeals to metaphors in his scientific practice; but in the Posterior Analytics, he suggests that their use is inimical to science. Why, then, does he use them in natural science? And what does his use of metaphor in science reveal about the nature of his scientific investigations? I approach these questions by investigating the epistemic status of metaphor in Aristotelian science. In (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  30. The Case Study Method in Philosophy of Science: An Empirical Study.Moti Mizrahi - 2020 - Perspectives on Science 28 (1):63-88.
    There is an ongoing methodological debate in philosophy of science concerning the use of case studies as evidence for and/or against theories about science. In this paper, I aim to make a contribution to this debate by taking an empirical approach. I present the results of a systematic survey of the PhilSci-Archive, which suggest that a sizeable proportion of papers in philosophy of science contain appeals to case studies, as indicated by the occurrence of the indicator words “case study” and/or (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  31.  61
    A Technique for Determing Closure in Semantic Tableaux.Steven James Bartlett - 1983 - Methodology and Science: Interdisciplinary Journal for the Empirical Study of the Foundations of Science and Their Methodology 16 (1):1-16.
    The author considers the model-theoretic character of proofs and disproofs by means of attempted counterexample constructions, distinguishes this proof format from formal derivations, then contrasts two approaches to semantic tableaux proposed by Beth and Lambert-van Fraassen. It is noted that Beth's original approach has not as yet been provided with a precisely formulated rule of closure for detecting tableau sequences terminating in contradiction. To remedy this deficiency, a technique is proposed to clarify tableau operations.
    Download  
     
    Export citation  
     
    Bookmark  
  32. A Method for Re-Engineering a Thesaurus Into an Ontology.D. Kless, L. Jansen, J. Lindenthal & J. Wiebensohn - 2012 - In Maureen Donnelly & Giancarlo Guizzardi (eds.), Formal Ontology and Information Systems. IOS. pp. 133-146.
    The construction of complex ontologies can be facilitated by adapting existing vocabularies. There is little clarity and in fact little consensus as to what modifications of vocabularies are necessary in order to re-engineer them into ontologies. In this paper we present a method that provides clear steps to follow when re-engineering a thesaurus. The method makes use of top-level ontologies and was derived from the structural differences between thesauri and ontologies as well as from best practices in modeling, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  33. Milgram, Method and Morality.Charles R. Pigden & Grant R. Gillet - 1996 - Journal of Applied Philosophy 13 (3):233-250.
    Milgram’s experiments, subjects were induced to inflict what they believed to be electric shocks in obedience to a man in a white coat. This suggests that many of us can be persuaded to torture, and perhaps kill, another person simply on the say-so of an authority figure. But the experiments have been attacked on methodological, moral and methodologico-moral grounds. Patten argues that the subjects probably were not taken in by the charade; Bok argues that lies should not be used in (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  34. Mathematical Knowledge, the Analytic Method, and Naturalism.Fabio Sterpetti - 2018 - In Sorin Bangu (ed.), Naturalizing Logico-Mathematical Knowledge. Approaches from Philosophy, Psychology and Cognitive Science. New York, Stati Uniti: pp. 268-293.
    This chapter tries to answer the following question: How should we conceive of the method of mathematics, if we take a naturalist stance? The problem arises since mathematical knowledge is regarded as the paradigm of certain knowledge, because mathematics is based on the axiomatic method. Moreover, natural science is deeply mathematized, and science is crucial for any naturalist perspective. But mathematics seems to provide a counterexample both to methodological and ontological naturalism. To face this problem, some authors tried (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  35. 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  
  36. 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   4 citations  
  37. The Genealogical Method in Epistemology.Martin Kusch & Robin McKenna - forthcoming - Synthese 197 (3):1057-1076.
    In 1990 Edward Craig published a book called Knowledge and the State of Nature in which he introduced and defended a genealogical approach to epistemology. In recent years Craig’s book has attracted a lot of attention, and his distinctive approach has been put to a wide range of uses including anti-realist metaepistemology, contextualism, relativism, anti-luck virtue epistemology, epistemic injustice, value of knowledge, pragmatism and virtue epistemology. While the number of objections to Craig’s approach has accumulated, there has been no sustained (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  38. Justifying the Special Theory of Relativity with Unconceived Methods.Park Seungbae - 2018 - Axiomathes 28 (1):53-62.
    Many realists argue that present scientific theories will not follow the fate of past scientific theories because the former are more successful than the latter. Critics object that realists need to show that present theories have reached the level of success that warrants their truth. I reply that the special theory of relativity has been repeatedly reinforced by unconceived scientific methods, so it will be reinforced by infinitely many unconceived scientific methods. This argument for the special theory of relativity overcomes (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  39. Intuitions and Experiments: A Defense of the Case Method in Epistemology.Jennifer Nagel - 2012 - Philosophy and Phenomenological Research 85 (3):495-527.
    Many epistemologists use intuitive responses to particular cases as evidence for their theories. Recently, experimental philosophers have challenged the evidential value of intuitions, suggesting that our responses to particular cases are unstable, inconsistent with the responses of the untrained, and swayed by factors such as ethnicity and gender. This paper presents evidence that neither gender nor ethnicity influence epistemic intuitions, and that the standard responses to Gettier cases and the like are widely shared. It argues that epistemic intuitions are produced (...)
    Download  
     
    Export citation  
     
    Bookmark   91 citations  
  40. 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  
  41. Wittgenstein’s Method: The Third Phase of Its Development (1933–36).Nikolay Milkov - 2012 - In Marques Antonio (ed.), Knowledge, Language and Mind: Wittgenstein’s Early Investigations. de Gruyter.
    Wittgenstein’s interpreters are undivided that the method plays a central role in his philosophy. This would be no surprise if we have in mind the Tractarian dictum: “philosophy is not a body of doctrine but an activity” (4.112). After 1929, Wittgenstein’s method evolved further. In its final form, articulated in Philosophical Investigations, it was formulated as different kinds of therapies of specific philosophical problems that torment our life (§§ 133, 255, 593). In this paper we follow the changes (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  42. Scientific Method in Curriculum-Making.Franklin Bobbitt - 2008 - In David J. Flinders & Stephen J. Thornton (eds.), The Curriculum Studies Reader. Routledge.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  61
    Introduction: The Phenomenological Method Today.Anthony Vincent Fernandez & Steven Crowell - 2021 - Continental Philosophy Review 54 (2):119-121.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  44.  98
    Leading Methods for Promoting Finished Product Quality.Igor Britchenko, Serhii Tkachenko & Maksym Bezpartochnyi - 2019 - Atlantis Press 318:99-106.
    Modern promising theoretical and methodological studies have reasonably shown that the issue of bonuses significance in the production and economic mechanism is not controversial. Currently, an order has been established where economic incentive funds are formed according to fixed standards, approved in differentiated amounts by year of economic development cycle; the main fund-forming indicators are performance to the supply plan of finished products under the concluded contracts, increase in labour productivity, improvement of finished product quality and volume growth net profit. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  77
    Methode oder Techne? Ethik und Realität in der "Phänomenologischen" Reduktion Max Schelers.Guido Cusinato - 1998 - In C. Bermes, Wolfhart Henckmann & H. Leonardy (eds.), Denken des Ursprungs - Ursprung des Denkens. K&N. pp. 83-97.
    Wie bekannt hat Scheler den Begriff der "phänomenologischen Reduktion" ausdrücklich von Husserl übernommen1, dennoch behauptet in der letzten Schaffensperiode ebenso deutlich, den Terminus "Phänomenologie" vermeiden zu wollen, und tatsächlich verwendet er entweder den Ausdruck "phänomenologische Reduktion" in Anführungszeichen oder den Begriff "Techne der Reduktion". Die These, die ich zu entwickeln versuchen werde, ist, daß es bei Scheler nicht nur eine einzige Theorie der Reduktion gibt und daß, ebenso wie verschiedene Realitätstheorien zu unterscheiden sind, ebenso viele Versuche zu erkennen sind, die (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  46. Morals, Metaphysics and the Method of Cases.Simon Beck - 2010 - South African Journal of Philosophy 29 (4):332-342.
    In this paper I discuss a set of problems concerning the method of cases as it is used in applied ethics and in the metaphysical debate about personal identity. These problems stem from research in social psychology concerning our access to the data with which the method operates. I argue that the issues facing ethics are more worrying than those facing metaphysics.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  5
    Descartes, Methodical doubt, and the Grounding of Method.M. T. Shahed Tabatabaei - 2021 - Occidental Studies 12 (1):85-107.
    Descartes' methodical doubt is being criticized by naïve realists and others who don't find doubt as a good starting point for metaphysical thought, however, the philosophical achievements of his method have been absorbed in all later philosophies. The objective of this paper is to demonstrate how an inevitable question concerning the foundation of Descartes' mathesis universalis, which led him to investigate this foundation by applying this very method in Metaphysics, has finally enabled him to discover his most important (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  84
    Measurement in Biology is Methodized by Theory.Maël Montévil - 2019 - Biology and Philosophy 34 (3):35.
    We characterize access to empirical objects in biology from a theoretical perspective. Unlike objects in current physical theories, biological objects are the result of a history and their variations continue to generate a history. This property is the starting point of our concept of measurement. We argue that biological measurement is relative to a natural history which is shared by the different objects subjected to the measurement and is more or less constrained by biologists. We call symmetrization the theoretical and (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  49. The Theory, Practice, and Evaluation of the Phenomenological Method as a Qualitative Research Procedure.Amedeo Giorgi - 1997 - Journal of Phenomenological Psychology 28 (2):235-260.
    This article points out the criteria necessary in order for a qualitative scientific method to qualify itself as phenomenological in a descriptive Husserlian sense. One would have to employ description within the attitude of the phenomenological reduction, and seek the most invariant meanings for a context. The results of this analysis are used to critique an article by Klein and Westcott , that presents a typology of the development of the phenomenological psychological method.
    Download  
     
    Export citation  
     
    Bookmark   67 citations  
  50. Discourse and Method.Ethan Nowak & Eliot Michaelson - 2020 - Linguistics and Philosophy 43 (2):119-138.
    Stojnić et al. (2013, 2017) argue that the reference of demonstratives is fixed without any contribution from the extra-linguistic context. On their `prominence/coherence' theory, the reference of a demonstrative expression depends only on its context-independent linguistic meaning. Here, we argue that Stojnić et al.’s striking claims can be maintained in only the thinnest technical sense. Instead of eliminating appeals to the extra-linguistic context, we show how the prominence/coherence theory merely suppresses them. Then we ask why one might be tempted to (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 994