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 combines features of the classical tableau method for first-order logic with those of explicit tableau methods for modal logics with constraint label management, and it can be easily tailored to most propositional interval temporal logics proposed in the literature. We prove its soundness and completeness, and we show how it has been implemented. (shrink)

Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic account of partial functions using a three-valued logic decades ago, but there has not been a satisfactory mechanization. Recent years have seen a thorough investigation of the framework of many-valued truth-functional logics. However, strong Kleene logic, where quantification is restricted and therefore not truthfunctional, does not fit the framework directly. We solve this (...) problem by applying recent methods from sorted logics. This paper presents a tableau calculus that combines the proper treatment of partial functions with the efficiency of sorted calculi. (shrink)

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 (...) establish the formal validity of non-indemonstrable arguments by analysing them in one or more steps into one or more indemonstrable arguments (cut type rules and antilogism). The function of these rules is to reduce given non-indemonstrable arguments to indemonstrable syllogisms. Moreover, the Stoic method of deduction differs from standard modern ones in that the direction is reversed (similar to tableau methods). The Stoic system may hence be called an argumental reductive system of deduction. In this paper, a reconstruction of this system of logic is presented, and similarities to relevance logic are pointed out. (shrink)

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 knowledge. We discuss some complications that occur, even in the single-agent case, when interactions between time and knowledge are assumed and show how the method of incremental tableaux can be adapted to work in EXPSPACE, respectively 2EXPTIME, for these logics, thereby also matching the upper bounds obtained for them by Halpern and Vardi. (shrink)

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 can be (...) naturally extended to useful nonclassical logics such as First-Degree Entailment (FDE), the Logic of Paradox (LP), Strong Kleene Logic (K3 ) and Intuitionistic Propositional Logic (IPL). To do this, we introduce a KE/KI-style system for each of those logics such that: is formulated via signed formulae, consist of linear operational rules and branching structural rule(s), can be used as a direct-proof and a refutation method, and is interesting independently of the approach in that it has an exponential speed-up on its tableau system counterpart. The latter given that we introduce a new class of examples which we prove to be hard for all tableau systems sharing the V/& rules with the classical one, but easy for their analogous KE-style systems. Then we focus on showing that each of our KE/KI-style systems naturally yields a hierarchy of tractable depth-bounded approximations to the respective logic, in terms of the maximum number of allowed nested applications of the branching rule(s). The rule(s) express(es) a generalized rule of bivalence, is (are) essentially cut rule(s) and govern(s) the manipulation of virtual information, which is information that an agent does not hold but she temporarily assumes as if she held it. Intuitively, the more virtual information needs to be invoked via the branching rule(s), the harder the inference is for the agent. So, the nested application the branching rule(s) provides a sensible measure of inferential depth. We also show that each hierarchy approximating FDE, LP, and K3 , admits of a 5-valued non-deterministic semantics; whereas, paving the way for a semantical characterization of the hierarchy approximating IPL, we provide a 3-valued non-deterministic semantics for the full logic that fixes the meaning of the connectives without appealing to “structural” conditions. -/- Moreover, we show a super-polynomial lower bound for the strongest possible version of clausal tableaux on the well-known class of “truly fat” expressions (which are easy for KE), settling a problem left open in the literature. Further, we investigate a hierarchy of tractable depth-bounded approximations to CPL based only on KE. Finally, we propose a refinement of the p-simulation relation which is adequate to establish positive results about the superiority of a system over another with respect to proof-search. (shrink)

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.

In a recent paper we have defined an analytic tableau calculus PL_16 for a functionally complete extension of Shramko and Wansing's logic based on the trilattice SIXTEEN_3. This calculus makes it possible to define syntactic entailment relations that capture central semantic relations of the logic---such as the relations |=_t, |=_f, and |=_i that each correspond to a lattice order in SIXTEEN_3; and |=, the intersection of |=_t and |=_f,. -/- It turns out that our method of characterising these (...) semantic relations---as intersections of auxiliary relations that can be captured with the help of a single calculus---lends itself well to proving interpolation. All entailment relations just mentioned have the interpolation property, not only when they are defined with respect to a functionally complete language, but also in a range of cases where less expressive languages are considered. For example, we will show that |=, when restricted to L_{tf}, the language originally considered by Shramko and Wansing, enjoys interpolation. This answers a question that was recently posed by M. Takano. (shrink)

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 (...) constructive method to non-classical fragments equipped with weaker implications (that avoid Curry's objection). This is the case, for example, of Jan Lukasiewicz's n-valued logics and Wilhelm Ackermann's logic of restricted implication. Besides such problems, both Henkin's method and the triviality phenomenon enable us to propose a new positive tableau proof system which uses only positive meta-linguistic resources, and to mo- tivate a new discussion concerning the role of negation in logic proposing the concept of paratriviality. In this way, some relations between positive reasoning and infinity, the possibilities to obtain a ¯first-order positive logic as well as the philosophical connection between truth and meaning are dis- cussed from a conceptual point of view. (shrink)

În prezent, datele sunt generate peste tot, precum YouTube, Tumblr, Reddit, Facebook, WhatsApp FacebookNS, Twitter, Instagram, Gmail, LinkedIn și Academia. Înțelegerea acestor date este foarte importantă, deoarece aceasta este o entitate crucială și foarte importantă a unei organizații, națiuni și instituții. Analiza și vizualizările seturilor de date pot oferi noi tendințe în afaceri, politică, sau intelligence, pot preveni bolile și pot modela pentru a prognoza paradigmele viitoare și a combate criminalitatea, și așa mai departe. În acest moment, cel mai utilizat (...) instrument pentru descoperirea, analiza și vizualizarea datelor, este Tableau. Tableau este unul dintre cele mai rapide instrumente de business intelligence. Este rapid de implementat, ușor de învățat și foarte util pentru un utilizator. (shrink)

We develop a conceptually clear, intuitive, and feasible decision procedure for testing satisfiability in the full multi\-agent epistemic logic \CMAELCD\ with operators for common and distributed knowledge for all coalitions of agents mentioned in the language. To that end, we introduce Hintikka structures for \CMAELCD\ and prove that satisfiability in such structures is equivalent to satisfiability in standard models. Using that result, we design an incremental tableau-building procedure that eventually constructs a satisfying Hintikka structure for every satisfiable input set (...) of formulae of \CMAELCD\ and closes for every unsatisfiable input set of formulae. (shrink)

Logic has its roots in the study of valid argument, but while traditional logicians worked with natural language directly, modern approaches first translate natural arguments into an artificial language. The reason for this step is that some artificial languages now have very well developed inferential systems. There is no doubt that this is a great advantage in general, but for the study of natural reasoning it is a drawback that the original linguistic forms get lost in translation. An alternative approach (...) would be to develop a general theory of the natural logic behind human reasoning and human information processing by studying formal logics that operate directly on linguistic representations. That this is possible we will try to make plausible in this paper. It will turn out that one level of representation, that of Logical Form, can meaningfully be identified with the language of an existing and well-understood logic, a restricted form of the theory of types. It is not difficult to devise inference systems for this language, and it is thus possible to study reasoning systems that are based directly on language. (shrink)

Here, we try to show that the method used in -/- Theory of Fuzzy Time Computation(TC * vs TC, TQC). 2023. ￿hal-04330281￿ -/- is a general method that sheds light on various types of problems. The author choose the navier stocks problem, to check the possibility of solving this problem by this method. This text is a guideline of possible proof of this problem.

This paper examines whether, and how, Foucauldian genealogy travels to contexts and problematizations beyond the method's European site of articulation. Our particular focus is on the work of Colombian philosopher Santiago Castro-Gómez, whose work includes both a systematic defense of the usefulness of Foucauldian inquiry for decolonial study and genealogical inquiry in a Foucauldian spirit but in a context beyond Foucault's own horizon of study. We show that taking up Foucault's work in the context of Latin America leads Castro-Gómez (...) to significantly change Foucauldian concepts, categories, and methods. We further survey the potential synergies of decolonial thought and Foucauldian critique, while also highlighting how their joint mobilization requires a revision and problematization of key commitments of both approaches. (shrink)

The main objective of this paper is to address the problem of the philosophical method, which consists of the lack of consensus among philosophers regarding the proper procedure to carry out this human activity. In this sense, it examines a few methodological proposals put forward by some representatives of contemporary philosophy, emphasizing the impact that the development of modern science has had on such views. In addition, the plausibility of such proposals is assessed.

There is another Socratic method, Socratic mimēsis, and an instance of this is when Plato has Socrates play ‘the annoying questioner’ in the Hippias Major. Other interpreters have suggested that the reasons for Socrates’s dramatic play are depersonalization and distance. I argue for viewing Socrates’s role-playing as a way to dramatize the inner dialogue that happens inside one’s mind in what we may call conscience. Hippias the sophist lacks a conscience: his focus is acquisitive as opposed to inquisitive. Plato (...) has staged a pedagogical theater of Hippias’s failed lesson for the benefit of Plato’s audience, the listeners/readers of the dialogue. -/- . (shrink)

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 (...) philosophical case studies shows that intuitions in these arguments contain the relevant features. The view has implications for philosophical method, offering a compromise between opponents on the divisive debate of the merits of experimental philosophy: experimental philosophy provides an especially useful role in philosophical assumption analysis. (shrink)

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 (...) notion of analogy and similarity, I demonstrate the strength of this method by analysing and evaluating three prominent arguments from analogy. (shrink)

(This is for the Cambridge Handbook of Analytic Philosophy, edited by Marcus Rossberg) In this handbook entry, I survey the different ways in which formal mathematical methods have been applied to philosophical questions throughout the history of analytic philosophy. I consider: formalization in symbolic logic, with examples such as Aquinas’ third way and Anselm’s ontological argument; Bayesian confirmation theory, with examples such as the fine-tuning argument for God and the paradox of the ravens; foundations of mathematics, with examples such as (...) Hilbert’s programme and Gödel’s incompleteness theorems; social choice theory, with examples such as Condorcet’s paradox and Arrow’s theorem; ‘how possibly’ results, with examples such as Condorcet’s jury theorem and recent work on intersectionality theory; and the application of advanced mathematics in philosophy, with examples such as accuracy-first epistemology. (shrink)

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 (...) fruitfulness of the new method is shown by using Kant’s classic discussion of the “antinomies of pure reason” as an example. In section “The Philosophy of the Method of Abstraction”, the method is further specified and supported by distinguishing it from three other forms of “levelism”: (i) levels of organisation; (ii) levels of explanation and (iii) conceptual schemes. In that context, the problems of relativism and antirealism are also briefly addressed. The conclusion discusses some of the work that lies ahead, two potential limitations of the method and some results that have already been obtained by applying the method to some long-standing philosophical problems. (shrink)

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 (...) debate between Gestalt psychologist and atomists, both of whom used first-person methods to investigate perception. (shrink)

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 (...) propose a realist theory of the relation between method and truth. The theory consists of three basic elements: (a) a naturalistic treatment of epistemic normativity, (b) an instrumentalist conception of the nature of methodological rules, and (c) an abductive argument for the truth-conduciveness of the rules of scientific method. (shrink)

Science is founded on a method based on critical thinking. A prerequisite for this is not only a sufficient command of language but also the comprehension of the basic concepts underlying our understanding of reality. This constraint implies an awareness of the fact that the truth of the World is not directly accessible to us, but can only be glimpsed through the construction of mod- els designed to anticipate its behaviour. Because the relationship between models and reality rests on (...) the interpretation of founding postulates and in- stantiations of their predictions (and is therefore deeply rooted in language and culture), there can be no demarcation between science and non-science. However, critical thinking is essential to ensure that the link between models and reality is gradually made more adequate to reality, based on what has already been established, thus guaranteeing that science progresses on this basis and excluding any form of relativism. (shrink)

Methods have been a controversial element in theories of knowledge for the last 40 years. Recent developments in theories of justification, concerning the identification and individuation of belief-forming processes, can shed new light on methods, solving some longstanding problems in the theory of knowledge. We needn’t and shouldn’t shy away from methods; rather, methods, construed as psychological processes of belief-formation, need to play a central role in any credible theory of knowledge.

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 (...) philosophical principle, i.e., the necessary relation between being and reason in the identity of the "I". To demonstrate this, after summarizing the fundamental ideas of mathesis uneversalis, and showing the inner necessity of introducing the methodical doubt to fortify these ideas, the decisive role of metaphysical doubt as the third step of the methodical doubt, and malicious demon as its second phase would be highighted. It would also become clear that the metaphysical doubt has a great importance as a turning point from different aspects: as a knot that ties mathesis universalis with its underlying Metaphysics; as a bridge from within the psychological "I" to the metaphysical "I". (shrink)

Philosophy is a subject which does not concerned only to an expert or specialist. It appears that there is probably no human being who does not philosophise. Good philosophy expands one’s imagination as some philosophy is close to us, whoever we are. Then of course some is further away, and some is further still, and some is very alien indeed. We raise questions about the assumptions, presuppositions, or definitions upon which a field of inquiry is based, and these questions can (...) be concerned with the meaning, significance, or integration of the results discovered or proposed by a field of inquiry. We find Karmic, Bhaktic and Jnanic interpretations of an ancient text in Indian philosophy because of different approaches adopted to inquire the text. This paper is an attempt to draw an outline of Upanishadic methods of inquiry in Indian philosophical tradition. Several methods like Enigmatic, Aphoristic, Etymological, Mythical, Analogical, Dialectical, Synthetic, Monologic, Temporising and Regressive methods etc. we can find in Upanishads. (shrink)

Recent breakthroughs in artificial intelligence have primarily resulted from training deep neural networks (DNNs) with vast numbers of adjustable parameters on enormous datasets. Due to their complex internal structure, DNNs are frequently characterized as inscrutable ``black boxes,'' making it challenging to interpret the mechanisms underlying their impressive performance. This opacity creates difficulties for explanation, safety assurance, trustworthiness, and comparisons to human cognition, leading to divergent perspectives on these systems. This chapter examines recent developments in interpretability methods for DNNs, with a (...) focus on interventionist approaches inspired by causal explanation in philosophy of science. We argue that these methods offer a promising avenue for understanding how DNNs process information compared to merely behavioral benchmarking and correlational probing. We review key interventionist methods and illustrate their application through practical case studies. These methods allow researchers to identify and manipulate specific computational components within DNNs, providing insights into their causal structure and internal representations. We situate these approaches within the broader framework of causal abstraction, which aims to align low-level neural computations with high-level interpretable models. While acknowledging current limitations, we contend that interventionist methods offer a path towards more rigorous and theoretically grounded interpretability research, potentially informing both AI development and computational cognitive neuroscience. (shrink)

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 (...) elicit intuitive judgments is like using illusions to elicit perceptual judgments. In both cases, judgments are made under bad epistemic circumstances. (shrink)

Many philosophers claim to be naturalists, but there is no common understanding of what naturalism is. Maddy proposes an austere form of naturalism called 'Second Philosophy', using the persona of an idealized inquirer, and she puts this method into practice in illuminating reflections on logical truth, philosophy of mathematics, and metaphysics.

Methodical Doubt is more kierkegaardian than cartesian.

The method of contrast is used within philosophy of perception in order to demonstrate that a specific property could be part of our perception. The method is based on two passages. I argue that the method succeeds in its task only if the intuition of the difference, which constitutes the core of the first passage, has two specific traits. The second passage of the method consists in the evaluation of the available explanations of this difference. Among (...) the three outlined options, I will demonstrate that only in the third option – as we shall see, the case of the scenario that remains the same but is perceived in two different ways by the same perceiver – the intuition purports a difference that posses the necessary characteristics, namely being immediately evident and extremely complex and multifaceted, which determine its tensive nature. The application within auditory perception of this third option will generate two cases, a diachronic one and a synchronic one, which clearly show that we can auditorily perceive causality as a link between two sonorous episodes. The causal explanation is the only possible explanation among the many evaluated within the second passage of the method of contrast. (shrink)

This paper offers a practical argument for metaphysical emergence. The main message is that the growing reliance on so-called irrational scientific methods provides evidence that objects of science are indecomposable and as such, are better described by metaphysical emergence as opposed to the prevalent reductionistic metaphysics. I show that a potential counterargument that science will eventually reduce everything to physics has little weight given where science is heading with its current methodological trend. I substantiate my arguments by detailed examples from (...) biological engineering, but the conclusions are extendable beyond that discipline. (shrink)

This paper provides a critical review of the debate over the philosophical foundations of mixed methods research and examines the notion of philosophical foundations. It distinguishes axiology-oriented from ontology-oriented philosophical foundations. It also identifies three different senses of philosophical foundations of mixed methods research. The weak sense of philosophical foundations (e.g., pragmatism) merely allows the possibility of the integration of both quantitative and qualitative methods/data/designs. The moderate sense of philosophical foundations (e.g., transformativism) provide a good reason to use mixed methods (...) in (at least some) social scientific research. The strong sense of philosophical foundations (e.g., dialectical pluralism) justifies a normative thesis that mixed methods research should be encouraged in (at least some) social scientific research. (shrink)

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. (...) Third, I will address the worry of subjectivism. Under the influence of certain rationalist positions and recent developments in cognitive science and moral psychology, one might think that intuitive methods of moral decision making are essentially subjective and emotion based. If moral intuitions are the result of emotional reactions and intuitive reasoning is emotionally driven, then there are reasons to believe intuitive methods are subjective and relative to particular psychological constitution. Against this picture, I will argue that intuitive methods of moral decision making are essentially reasons-based. A Wittgensteinian approach will show that intuitive methods of moral decision making are conceptually linked with criteria of morality. (shrink)

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 . (...) This assessment of Sidgwick’s response to Darwin’s work is shown to have significance for a number of ongoing controversies in contemporary metaethics. (shrink)

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.

This selective and opinionated overview of English-language scholarship on the philosophical method(s) of Plato's Socrates discusses whether this Socrates has any expertise or method, how he examines others and why, and how he exhorts others to care about wisdom and the state of their soul.

How does experimental philosophy address philosophical questions and problems? That is: What projects does experimental philosophy pursue? What is their philosophical relevance? And what empirical methods do they employ? Answers to these questions will reveal how experimental philosophy can contribute to the longstanding ambition of placing philosophy on the ‘secure path of a science’, as Kant put it. We argue that experimental philosophy has introduced a new methodological perspective – a ‘meta-philosophical naturalism’ that addresses philosophical questions about a phenomenon by (...) empirically investigating how people think about this phenomenon. This chapter asks how this novel perspective can be successfully implemented: How can the empirical investigation of how people think about something address genuinely philosophical problems? And what methods – and, specifically, what methods beyond the questionnaire – can this investigation employ? We first review core projects of experimental philosophy and raise the question of their philosophical relevance. For ambitious answers, we turn to experimental philosophy’s most direct historical precursor, mid-20th century ordinary language philosophy, and discuss empirical implementations of two of its research programmes that use experimental methods from psycholinguistics and corpus methods from the digital humanities. (shrink)

An important method for finding the optimal solution for linear and nonlinear models is the graphical method, which is used if the linear or nonlinear mathematical model contains one, two, or three variables. The models that contain only two variables are among the most models for which the optimal solution has been obtained graphically, whether these models are linear or non-linear in references and research that are concerned with the science of operations research, when the data of the (...) issue under study is classical data. In this research, we will present a study through, which we present the graphical method for solving Neutrosophical nonlinear models in the following case: A nonlinear programming issue, the objective function is a nonlinear function, and the constraints are linear functions. Note that we can use the same method if (i) the objective function follower is a linear follower and the constraints are nonlinear; (ii) the objective function is a non-linear follower and the constraints are non-linear. In the three cases, the nonlinear models are neutrosophic, and as we know, the mathematical model is a nonlinear model if any of the components of the objective function or the constraints are nonlinear expressions, and the nonlinear expressions may be in both. At the left end of the constraints are neutrosophic values, at least one or all of them. Then, the possible solutions to the neutrosophic nonlinear programming problem are the set of rays that fulfills all the constraints. As for the region of possible solutions, it is the region that contains all the rays that fulfill the constraints. The optimal solution is the beam that fulfills all constraints and at which the function reaches a maximum or minimum value, depending on the nature of the issue under study (noting that it is not necessary to be alone). (shrink)

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 (...) the knowledge of themselves, opponents, and the domain, which experts access and apply in performance. In the companion chapter on breadth and depth of knowledge in expert sport (see Chapter 11), we discussed the forms or kinds of knowledge deployed by elite athletes, and described some lines of research which seek to tap and study such expert knowledge (McPherson & MacMahon, 2008; McRobert, Ward, Eccles & Williams, 2011). In this chapter we focus more directly on questions about methods for measuring or more accurately assessing expert knowledge, in particular addressing a wider range of methods to help us understand what experts know. Suggesting that sport researchers can productively adopt and adapt existing qualitative methodologies for integration with more standard quantitative methods, we introduce and survey a number of areas of qualitative research in psychology. (shrink)

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 (...) possible solutions are explored and rejected. (shrink)

These thirteen paragraphs portray epistemology as the study, not directly of knowing as a human action (which could be considered the object also of anthropology) but as the study of the mode of being of the object in the subject and, in this sense, of intentional being. Moreover, intentional being is not understood as the being of the cognitional species or representation, which is real and subjective, but as the being of the known, as the presence of the known to (...) the knower (obviously, through the species but a being not reduced to the subjective being of the species): this kind of being is the proper object of epistemology. Other considerations regarding the distinction between metaphysics and epistemology take place as well. As regards the method, this essay attempts to apply Aquinas’ four steps of scientific reasoning to epistemology, in the following fashion and order: 1- Solution of the problem of the universals by recourse to the theory of the agent intellect (resolutio secundum rem); 2- Definition of knowledge as intentional possession of being (res. sec. rationem); 3- Judgment of value regarding the different instances of human knowledge or critique of knowledge (compositio secundum rem) and 4- Reinterpretation (in the light of the previous path) of common notions of epistemology, such as truth, certainty, evidence, and error (comp. sec. rationem). (shrink)

There is widespread excitement in the literature about the method of arbitrary functions: many take it to show that it is from the dynamics of systems that the objectivity of probabilities emerge. In this paper, I differentiate three ways in which a probability function might be objective, and I argue that the method of arbitrary functions cannot help us show that dynamics objectivise probabilities in any of these senses.

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 (...) appropriate to describe the method as a balance between coherentism and fallibilist foundationalism. With these points in mind, various criticisms, including the claims that considered judgments are not initially credible and are shaped by prejudice, and that the method itself fails to determine principle selection, are challenged. (shrink)

According to the sensitivity account of knowledge, S knows that p only if S’s belief in p is sensitive in the sense that S would not believe that p if p were false. The sensitivity condition is usually relativized to belief-formation methods to avoid putative counterexamples. A remaining issue for the account is where methods should be mentioned in the sensitivity subjunctives. In this paper, I argue that if methods are mentioned in the antecedent, then the account is too strong (...) to accommodate inductive knowledge; if methods are mentioned in the consequent, then the account is too weak to eliminate some luckily true beliefs from the realm of knowledge. Therefore, the strategy to relativize the sensitivity condition is undermined by inductive knowledge and some luckily true beliefs. (shrink)

This theoretical paper explores the application of Hegelian inferentialism combined with contemporary quantitative methods to enhance decision-making in healthcare leadership. It proposes a novel conceptual framework that integrates Hegel’s inferentialism with Bayesian analysis and epistemic justice indices to offer a new approach for understanding complex decision processes in healthcare settings. The paper develops theoretical constructs such as the Decision Quality Index (DQI) and the Epistemic Justice Quotient (EJQ), which aim to quantitatively assess leadership effectiveness and ethical considerations in decision-making processes. (...) The discussion includes mathematical proofs for these proposed indices and examines the potential practical implications of this integrated approach, emphasizing its theoretical potential to improve healthcare leadership through more inclusive and evidence-based practices. This work provides a conceptual foundation for future empirical research in healthcare leadership and decision-making. (shrink)

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 (...) in teaching basic logic and critical reasoning skills at all levels of scientific education. I propose in this essay to build on Beardsley diagramming techniques to refine and supplement their structural tools for visualizing logical relationships in a number of categories not originally accommodated by Beardsley diagramming, including circular reasoning, reductio ad absurdum arguments, and efforts to dispute and contradict arguments, with applications and analysis. (shrink)

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 (...) Gaza-strip. There was statistically significant relationship between the evaluation criteria that fit the required performance and the application of standards evaluations on performance of employees in the municipalities of Gaza-strip. There was statistically significant relationship between the use of methods, models for the evaluation of appropriate functions and the application of the performance assessments of employees in the municipalities of Gaza-strip. There was statistically significant relationship between the feedback and the application of performance assessments of employees in the municipalities of Gaza-strip. There was statistically significant relationship between the efficient, professional assessors and the application of the performance assessments of employees in the municipalities of Gaza-strip. There was statistically significant relationship between the extent of awareness of subordinates, participation in the evaluation of their performance and the application of the performance assessments of employees in the municipalities of Gaza-strip. The research also concluded a series of recommendations, including: that the design of evaluation models must be done with the participation of the employees and inform them of it, and that a date must be set to provide feedback and discuss the results with them, that they should be allowed grievance in front of an ad hoc committee in accordance with the known system. Direct manager must inform employees of their performance assessment date, discuss the results of the evaluation with them, and others should be involved with the direct manager of employees in their performance evaluation. The application of modern methods of performance evaluation through the good and purposeful planning should be used, analyzing and employing the results in administrative decisions regarding the employees, and the application of modern methods must be used in an effective and efficient performance evaluation. (shrink)

Research in experimental philosophy has increasingly been turning to corpus methods to produce evidence for empirical claims, as they open up new possibilities for testing linguistic claims or studying concepts across time and cultures. The present article reviews the quasi-experimental studies that have been done using textual data from corpora in philosophy, with an eye for the modeling and experimental design that enable statistical inference. I find that most studies forego comparisons that could control for confounds, and that only a (...) little less than half employ statistical testing methods to control for chance results. Furthermore, at least some researchers make modeling decisions that either do not take into account the nature of corpora and of the word-concept relationship, or undermine the experiment's capacity to answer research questions. I suggest that corpus methods could both provide more powerful evidence and gain more mainstream acceptance by improving their modeling practices. (shrink)

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 (...) class='Hi'>method: axiomatic deduction method and natural deduction method were developed and practiced. In this paper, both of these methods are briefly discussed with an emphasis on their historical, groundbreaking significance for logic. The axiomatic method by means of rejection (proposed by Jan Łukasiewicz – a co-creator of the WSL), which is the method of the so-called rejection proof (rejection/refutation method) in logical systems and the proving method of generalized natural deduction, which is a hybrid deduction–refutation method of proving theorems, are also outlined in the paper. The author discusses their historical significance. This paper also contains a brief mention of the most significant results which the application of the discussed methods introduced into contemporary scientific research, not only logical one. (shrink)

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 (...) synthetic method sheds light on the structure of the Transcendental Deduction, and its function in the work as a whole. (shrink)