BackgroundEverybody has the right to decide whether to receive specific medical treatment or not and to provide their free, prior and informed consent to do so. As dementia progresses, people with Alzheimer’s dementia (PwAD) can lose their capacity to provide informed consent to complex medical treatment. When the capacity to consent is lost, the autonomy of the affected person can only be guaranteed when an interpretable and valid advance directive exists. Advance directives are not yet common in Germany, and their (...) validity is often questionable. Once the dementia diagnosis has been made, it is assumed to be too late to write an advance directive. One approach used to support the completion of advance directives is ‘Respecting Choices’®—an internationally recognised, evidence-based model of Advance Care Planning (ACP), which, until now, has not been evaluated for the target group of PwAD. This study’s aims include (a) to investigate the proportion of valid advance directives in a memory clinic population of persons with suspected AD, (b) to determine the predictors of valid advance directives, and (c) to examine whether the offer of ACP can increase the proportion of valid advance directives in PwAD.MethodWe intend to recruit at leastN = 250 participants from two memory clinics in 50 consecutive weeks. Of these, the first 25 weeks constitute the baseline phase (no offer of ACP), the following 25 weeks constitute the intervention phase (offer of ACP). The existence and validity of an advance directive will be assessed twice (before and after the memory clinic appointment). Moreover, potential predictors of valid advance directives are assessed.DiscussionThe results of this study will enhance the development of consent procedures for advance directives of PwAD based on the ACP/Respecting Choices (R) approach. Therefore, this project contributes towards increasing the autonomy and inclusion of PwAD and the widespread acceptance of valid advance directives in PwAD.Trial RegistrationDRKS, DRKS00026691, registered 15th of October 2021,https://www.drks.de/drks_web/navigate.do?navigationId=trial.HTML&TRIAL_ID=DRKS00026691. (shrink)

The -logic of Terwijn is a variant of first-order logic with the same syntax in which the models are equipped with probability measures and the quantifier is interpreted as ‘there exists a set A of a measure such that for each,...’. Previously, Kuyper and Terwijn proved that the general satisfiability and validity problems for this logic are, i) for rational, respectively -complete and -hard, and ii) for, respectively decidable and -complete. The adjective ‘general’ here means ‘uniformly over all languages’. (...) We extend these results in the scenario of finite models. In particular, we show that the problems of satisfiability and validity with respect to finite models in E-logic are, i) for rational, respectively -complete and -complete, and ii) for, respectively decidable and -complete. Although partial results toward the countable case are also achieved, the computability of E-logic over countable models still remains largely unsolved. In addition, most o... (shrink)

Consent governs innumerable everyday social interactions, including sex, medical exams, the use of property, and economic transactions. Yet little is known about how ordinary people reason about the validity of consent. Across the domains of sex, medicine, and police entry, Study 1 showed that when agents lack autonomous decision-making capacities, participants are less likely to view their consent as valid; however, failing to exercise this capacity and deciding in a nonautonomous way did not reduce consent judgments. Study 2 found (...) that specific and concrete incapacities reduced judgments of valid consent, but failing to exercise these specific capacities did not, even when the consenter makes an irrational and inauthentic decision. Finally, Study 3 showed that the effect of autonomy on judgments of valid consent carries important downstream consequences for moral reasoning about the rights and obligations of third parties, even when the consented-to action is morally wrong. Overall, these findings suggest that laypeople embrace a normative, domain-general concept of valid consent that depends consistently on the possession of autonomous capacities, but not on the exercise of these capacities. Autonomous decisions and autonomous capacities thus play divergent roles in moral reasoning about consent interactions: while the former appears relevant for assessing the wrongfulness of consented-to acts, the latter plays a role in whether consent is regarded as authoritative and therefore as transforming moral rights. (shrink)

Legal reasoning settles morally pressing matters through a technique that largely bypasses open-ended moral argument. That technique makes central what certain persons validly decided in the past, for example in creating statutes, judicial resolutions, contracts, or wills. Identifying valid decisions is a lawyerly skill and, echoing legal practice, legal philosophy has paid considerable attention to validity criteria. But it has neglected to explore validity's point: whether, and if so exactly how, the special technique of validity contributes to (...) a legal system's ability to realise justice and human rights. Even the most sensible defences of the moral need for positive law have insufficiently probed this key step in the argument. This book lays bare the workings of legal validity, and shows why, and within what general limits, this technique equips legal systems with privileged tools to foster human well-being. In so doing, the book explains how power-conferring norms setting out validity criteria endow agents' intentions with 'performative' effect ('I hereby.') and can secure the requirement of justice that there be widespread convergence on specific patterns of conduct shaped through a cooperative effort. Legal meaning is accordingly systemic, resulting from the valid acts of multiple agents whose decisions can, by virtue of exercising legal power, also exercise moral power (authority). In short, the book articulates why it is morally necessary that validity does not primarily turn on moral considerations. (shrink)

Proof-theoretic validity has proven a useful tool for proof-theoretic semantics, because it explains the harmony found in the introduction and elimination rules for the intuitionistic calculus. However, the demonstration that a rule of proof is proof-theoretically valid requires checking an infinite number of cases, which raises the question of whether proof-theoretic validity is decidable. It is proven here that it is for the most prominent formulations in the literature for propositional logic.

ABSTRACT The question of axiomatizability of first-order temporal logics is studied w.r.t. different semantics and several restrictions on the language. The validity problem for logics admitting flexible interpretations of the predicate symbols or allowing at least binary predicate symbols is shown to be ?1 1-complete. In contrast, it is decidable for temporal logics with rigid monadic predicate symbols but without function symbols and identity.

‘First. That on October 23, in the city of New York, your relator was arrested by divers persons claiming to be acting by authority of the government of the United States, and was by said persons conveyed to the United States immigration station at Ellis island, in the harbor of New York, and is now there imprisoned by the commissioner of immigration of the port of New York.

We develop a timeout extension of propositional linear temporal logic to specify timing properties of timeout-based models of real-time systems. A timeout is used to model the execution of an action marking the end of a delay. With a view to expressing such timeout constraints, ToLTL uses a dynamic variable to abstract the timeout behaviour in addition to a variable which captures the global clock and some static timing variables which record time instances when discrete events occur. We propose a (...) corresponding timeout tableau for satisfiability checking of the ToLTL formulas. Further we prove that the validity checking for such an extended logic remains PSPACE-complete. Under discrete time semantics, with bounded timeout increments, the model-checking problem which verifies if a ToLTL-formula holds in a timeout Kripke structure is also shown to be PSPACE complete. We further prove that ToLTL, when interpreted over discrete time, can be embedded in the monadic second-order logic with.. (shrink)

We use the apparatus of the canonical formulas introduced by Zakharyaschev [10] to prove that all finitely axiomatizable normal modal logics containing K4.3 are decidable, though possibly not characterized by classes of finite frames. Our method is purely frame-theoretic. Roughly, given a normal logic L above K4.3, we enumerate effectively a class of frames with respect to which L is complete, show how to check effectively whether a frame in the class validates a given formula, and then apply a Harropstyle (...) argument to establish the decidability of L, provided of course that it has finitely many axioms. (shrink)

Background and aimThe nature of pediatric settings may encounter nurses with more complicated ethical issues. A code of ethics guides nurses to act and decide ethically as a profession. Also, there is always a need to evaluate amount nurses adhere to this code of ethics, using valid and reliable instruments. This study aimed to develop a questionnaire and assess its psychometric properties to measure pediatric nurses' adherence to the code of ethics. MethodsIn this methodological research study, firstly, the questionnaire was (...) developed based on an extensive review of the related literature and the theoretical framework of nursing ethics. A panel of experts (n = 12) reviewed the preliminary questionnaire qualitatively and quantitatively (using CVI and CVR). A conveniently selected sample of 156 nurses working in pediatric wards in three hospitals filled out the questionnaire. The psychometric process included determining sample size and data adequacy using KMO and Bartlette's test of sphericity; exploratory factor analysis (principal component method with Promax rotation); item analysis; and Cronbach's alpha coefficient. Also, the Interclass Correlation Index (ICC) value was determined using a two-week interval test–retest method on 30 eligible nurses.ResultsThe CVI and CVR for the entire questionnaire were 0.85 and 0.78, respectively. The CVI and CVR of all items were reported higher than 0.59 and 0.8, respectively. Cronbach's alpha of the 28-items instrument was 0.92. Extracted six factors explained 65.31% of the total variance, and the values of the item correlations with the total questionnaire showed good internal consistency (0.52 to 0.90). The items of each factor were evaluated to determine the values they represent. Accordingly, the factors were named beneficence, nonmaleficence, human dignity, autonomy, informed consent, and honesty. The ICC value was 0.99.ConclusionsThe developed instrument is acceptable and has good reliability and validity. It can be used to assess the amount of pediatric nurses' adherence to the code of ethics by managers, teachers, and researchers. (shrink)

A new deduction system for deciding validity for the minimal decidable normal modal logic K is presented in this article. Modal logics could be very helpful in modelling dynamic and reactive systems such as bio-inspired systems and process algebras. In fact, recently the Connectionist Modal Logics has been presented, which combines the strengths of modal logics and neural networks. Thus, modal logic K is the basis for these approaches. Soundness, completeness and the fact that the system itself is a (...) decision procedure are proved in this article. The main advantages of this approach are: first, the system is deterministic, i.e. it generates one proof tree for a given formula; second, the system is a validity-checker, hence it generates a proof of a formula ; and third, the language of deduction and the language of a logic coincide. Some of these advantages are compared with other classical approaches. (shrink)

The present paper has three objectives: Presenting an actualization of a proof of the decidability of monadic predicates logic in the contemporary model theory context; Show examples of decidable and undecidable fragments inside First order logic, offering an original proof of the following theorem: Any formula of First of order logic is decidable if its prenex normal form is in the following form: ∀x1,…,∀xn∃y1,…,∃ymφ; Presenting a theorem that characterizes the validity of First order logic by the tautologicity of (...) Propositional logic, said result is interesting since immediately arises the doubt of how to conciliate said characterization with Alonzo Church’s Undecidability Theorem for First Order Logic. (shrink)

We formally introduce a novel, yet ubiquitous, category of norms: norms of instrumentality. Norms of this category describe which actions are obligatory, or prohibited, as instruments for certain purposes. We propose the Logic of Agency and Norms (LAN) that enables reasoning about actions, instrumentality, and normative principles in a multi-agent setting. Leveraging LAN , we formalize norms of instrumentality and compare them to two prevalent norm categories: norms to be and norms to do. Last, we pose principles relating the three (...) categories and evaluate their validity vis-à-vis notions of deliberative acting. On a technical note, the logic will be shown decidable via the finite model property. (shrink)

We present a Hilbert style axiomatisation for the set of formulas in the temporal language with F and P which are valid over non-transitive cyclical flows of time. We also give a simpler axiomatisation using the slightly controversial 'irreflexivity rule' and go on to prove the decidability of any temporal logic over cyclical time provided it uses only connectives with first-order tables.

Fitch’s paradox of knowability is an apparently valid reasoning from the assumption (typical of semantic anti-realism) that every true proposition is knowable to the unacceptable conclusion that every true proposition is known. The paper develops a critical dialectic wrt one of the best motivated solutions to the paradox which have been proposed on behalf of semantic anti-realism—namely, the intuitionistic solution. The solution consists, on the one hand, in accepting the intuitionistically valid part of Fitch’s reasoning while, on the other hand, (...) exploiting the characteristic weakness of intuitionistic logic in order to preserve the consistency of such acceptance with the denial of omniscience. It is first remarked how the solution still commits one to acceptance of modal claims which are unwarranted even by the lights of standard intuitionistic semantics. A novel form of the paradox is then introduced, which focuses on infallibility rather than omniscience and derives, from semantic anti-realism and a highly plausible constraint on knowledge, that every believed proposition is not untrue. Because of the logical form of this conclusion, an analogue of the intuitionistic solution for the novel form of the paradox would require drawing the characteristic intuitionistic distinctions wrt decidable propositions, which cannot be done. Semantic anti-realism still intuitionistically entails the unacceptable conclusion that every believed (decidable) proposition is true. (shrink)

In the western healthcare, shared decision making has become the orthodox approach to making healthcare choices as a way of promoting patient autonomy. Despite the fact that the autonomy paradigm is poorly suited to paediatric decision making, such an approach is enshrined in English common law. When reaching moral decisions, for instance when it is unclear whether treatment or non-treatment will serve a child’s best interests, shared decision making is particularly questionable because agreement does not ensure moral validity. With (...) reference to current common law and focusing on intensive care practice, this paper investigates what claims shared decision making may have to legitimacy in a paediatric intensive care setting. Drawing on key texts, I suggest these identify advantages to parents and clinicians but not to the child who is the subject of the decision. Without evidence that shared decision making increases the quality of the decision that is being made, it appears that a focus on the shared nature of a decision does not cohere with the principle that the best interests of the child should remain paramount. In the face of significant pressures toward the displacement of the child’s interests in a shared decision, advantages of a shared decision to decisional quality require elucidation. Although a number of arguments of this nature may have potential, should no such advantages be demonstrable we have cause to revise our commitment to either shared decision making or the paramountcy of the child in these circumstances. (shrink)

Satisfaction systems and reductions between them are presented as an appropriate context for analyzing the satisfiability and the validity problems. The notion of reduction is generalized in order to cope with the meet-combination of logics. Reductions between satisfaction systems induce reductions between the respective satisfiability problems and (under mild conditions) also between their validity problems. Sufficient conditions are provided for relating satisfiability problems to validity problems. Reflection results for decidability in the presence of reductions are established. (...) The validity problem in the meet-combination is proved to be decidable whenever the validity problem for the components are decidable. Several examples are discussed, namely, involving modal and intuitionistic logics, as well as the meet-combination of modal logic and intuitionistic logic. (shrink)

Papers presented at the IVR 11th World Congress, Helsinki, 1983.

Since the time, about a century ago, when DeMorgan, Boole and Jevons, inaugurated the study of the logic of numerically definite reasoning, no one has been concerned to establish the validity rules for a very general type of numerically definite inference which is a strong analogue of the classical syllogism. The reader will readily agree that the traditional rules of syllogistic inference cannot even begin to decide whether the following proportionally quantified syllogism is a valid argument: at most 4/7 (...) p are at most 2/3 not-m and at least 3/5 s are precisely 7/8 m, hence, at most 1/3 s are p. Likely reasons, of broad methodological interest, why this readily definable type of formal inference has been neglected will presently be proposed. Among the masters of twentieth century logic, Hilbert and Bernays have, to be sure, meticulously shown how such numerically definite propositions as “at least 7 individuals have the property p” can be expressed in the predicate calculus with the use of the identity relation. They do not, since their concern with such propositions is indirect, proceed to establish a systematic calculus of classes whose “size” or extent is numerically definite. As we shall always notice, traditional logic and even ordinary Boolean algebra prefer to generalize about the laws governing the interrelationship of classes in inference systems without making any hypotheses concerning class “size” or extent except by the classical quantifier “some”, which quantifier admits the measure or extent of a class only in terms of the proposition that a given class contains or does not contain at least one member. Such a restricted admission of the relevance for inference of class size is among the fundamental reasons for the neglect of proportional quantifiers, i.e., quantifiers where numerical value is any rational number r such that 0/100 ≤ r ≤ 100/100. It can, of course, also be pointed out that the traditional syllogism and ordinary Boolean algebra do not i.e. measure, numerically define, the degree of inclusion of one class in another. Inclusion is taken either as total or partial, with no discrimination of the degree of partial inclusion. (shrink)

This dissertation explores conflicts between religion and medicine, cases in which cultural and religious beliefs motivate requests for inappropriate treatment or the cessation of treatment, requests that violate the standard of care. I call such requests M-requests (miracle or martyr requests). I argue that current approaches fail to accord proper respect to patients who make such requests. Sometimes they are too permissive, honoring M-requests when they should not; other times they are too strict. I propose a phronesis-based approach to decide (...) whether to honor an M-request or whether religious beliefs are medically valid. This approach is culturally sensitive, takes religious beliefs seriously, and holds them to a high ethical standard. This approach uses a principle of belief evaluation developed by Linda Zagzebski: The Principle of Rational Belief, which is founded upon Aristotelian virtue ethics. In addition to the Principle, I propose a concrete set of conditions to assist caregivers in clinical case evaluations. In the final chapters, I apply the phronesis-based approach to well-known adult cases such as the refusal of blood transfusions by Jehovah’s Witnesses and requests for continued (futile) care by Orthodox Jews at the end of life. Also, I consider cases involving children such as African female circumcision and cases of faith healing. I argue that The Principle of Rational Belief should define the threshold of the kinds of M-requests for children that can be honored, but I allow a lower threshold for M-requests made by competent adult patients. (shrink)

If we know that certain ways of making decisions are associated with real-life success, is this then how we should decide? In this paper the relationship between normative and descriptive theories of decision-making is examined. First, it is shown that the history of the decision sciences ensures that it is impossible to separate descriptive theories from normative ones. Second, recent psychological research implies new ways of arguing from the descriptive to the normative. The paper ends with an evaluation of how (...) this might affect normative theories of decision-making. (shrink)

Patient requests for “inappropriate” medical treatment based on religious beliefs should have special standing. Nevertheless, not all such requests should be honored, because some are morally disturbing. The trouble lies in deciding which ones count. This paper proposes criteria that would qualify a religious belief as medically valid to help physicians decide which requests to respect. The four conditions suggested are that the belief is shared by a community, is deeply held, would pass the test of a religious interpreter and (...) does not harm others. (shrink)

In a recent piece in Critical Inquiry E. D. Hirsch devotes himself to the reinterpretation of a distinction that he first made in 1960 between meaning and significance. I suspect that it will be a while before we feel comfortable deciding what significance “Meaning and Significance Reinterpreted” has for us. Indeed, Hirsch seems uncertain as to what significance this reinterpretation has for him. At first he modestly proposes a “revision of that distinction” , implying that he will give us essentially (...) the same distinction in a somewhat different form, and two-thirds into the essay he notes that aside from one change, his account of meaning “has stayed what it was” . Toward the close of the piece, he speaks of his “revised account of meaning” , but in the next paragraph, he opines that this account is “a new and different theory” . Yet this is not the last word, for Hirsch concludes by talking about “this change in my theory” , again giving the reader the impression that it’s still the same old theory, only somewhat different. But as Hirsch himself asks, “How far can an existing theory be adjusted before it loses its self-identity” ? And as I will now ask, how well does “Meaning and Significance Reinterpreted” cohere with the theory of meaning that Hirsch proposes in Validity in Interpretation? The most curious aspect of this reinterpretation of meaning and significance is that Hirsch remains silent about more fundamental changes in his theory of meaning that his revision brings with it. I want to note three such changes, which involve key terms in Hirsch’s thought either dropping out of the argument or finding notably different replacements. Michael Leddy is assistant professor of English at Eastern Illinois University. He has published on William Burroughs and Geoffrey Hill and is currently working on a study of authors, readers, and meaning. (shrink)

I show that Eric Winsberg’s principles of model-building given in Science in the Age of Computer Simulation are insufficient to argue for the external validation of simulation data in cases in which simulation results conflict, and that laboratory experiments have an advantage over simulations because conflicting experimental results can be decided between on the basis of reproducibility. I also argue that robustness of predictions serves the same function for simulations as repeatability does for laboratory experiments in either adjudicating between conflicting (...) results or allowing us to say that we do not have sufficient justification to validate the results. Finally, I argue for an interpretation of the argument from robustness that appeals to the convergence of many well-built and diverse models rather than the more common interpretation which appeals to the probability that one of a set of models is likely to be true. (shrink)

W. V. O. Quine is generally seen as one of the foremost empiricists of the twentieth century. For large parts of his career, the label “empiricist” is accurate; in his mature work, however, he integrated decidedly antiempiricist elements in his epistemology. From The Roots of Reference onward, he enlists natural selection and innate cognitive structures to ensure that scientific concepts have a “degree of objective validity.” From From Stimulus to Science onward, he also explains the very possibility of communication (...) via a preestablished harmony of innate cognitive structures that is guaranteed by natural selection. This article reconstrues the reasons that compelled Quine to these commitments, and it details the development of Quine’s thinking on these topics across more than 3 decades; in particular, the article argues that recognizing that so-called stimulus meanings are private decisively shaped Quine’s views. By means of a critical evaluation, the article argues that natural selection can make plausible that scientific concepts have a degree of objective validity—if this Quinean claim is properly understood; in contrast, the article suggests, with recourse to research by Robert C. Richardson, that it is doubtful whether natural selection can underpin the preestablished harmony that Quine requires to explain communication. (shrink)

The paper studies the logic TL(NBox+-wC) – logic of discrete linear time with current time point clusters. Its language uses modalities Diamond+ (possible in future) and Diamond- (possible in past) and special temporal operations, – Box+w (weakly necessary in future) and Box-w (weakly necessary in past). We proceed by developing an algorithm recognizing theorems of TL(NBox+-wC), so we prove that TL(NBox+-wC) is decidable. The algorithm is based on reduction of formulas to inference rules and converting the rules in special reduced (...) normal form, and, then, on checking validity of such rules in models of singleexponential size in the rules. Also we consider the admissibility problem for TL(NBox+-wC) and show how to reduce the problem for admissibility to the decidability of TL(NBox+-wC) itself using definable universal modalities. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Willing and DecidingHegel on Irony, Evil, and the Sovereign ExceptionAndrew NorrisIf political decisionism is the claim that the most important political decisions cannot be regulated by rational norms and instead require a confrontation with the exception, Carl Schmitt remains its most notorious advocate. While Schmitt distanced himself from decisionism when he joined the Nazi party in the 1930s, his critics insist that his role in the events leading to (...) Hitler’s assumption of power and his own membership in the party were only attempts “to put... into practice” his earlier theoretical attack on legal positivism and what he vaguely termed “liberalism.”1 Even for those who reject such sweeping claims, the teaching laid out in his 1922 Political Theology remains deeply disturbing. On Schmitt’s account, “Sovereign is he who decides on the exception” [Political Theology 5]. This decision is not a matter of recognizing an exception that already exists; rather it has a performative quality whereby the sovereign decision that names a given event to be an exception is the necessary precondition for the existence of the exception as such—as well as, by extension, the legal system from which it is excepted or removed. The exception is, as it were, called into being by the sovereign, whose decision on it is unregulated by the standards of law or, indeed, of normal life itself.The exception is that which cannot be subsumed; it defies general codification, but it simultaneously reveals a specifically juristic element—the decision in its absolute purity. The exception appears in its absolute form when a situation in which legal prescriptions can be valid must first be brought about. Every general norm demands a normal, everyday frame of life to which it can be factually applied and which is subjected to its regulations. The norm requires a homogenous medium.... For a legal order to make sense, a normal situation must exist, and he is sovereign who definitively decides whether this normal situation actually exists.[Political Theology 13]2 [End Page 135]As the ability to decide on the exception (and hence the norm and the normal) in this sense is what defines the sovereign, sovereignty only appears in its “absolute purity” in the act of naming the exception. Schmitt’s sovereign is a creature of the border: “although he stands outside the normally valid legal system, he nevertheless belongs to it, for it is he who decides when the constitution needs to be suspended in its entirety” [Political Theology 7].3 But while the sovereign’s decision on the exception seems to range back and forth over the borders of the legal order, this movement is in fact the oscillation of the borders themselves—an oscillation that bears the two names sovereignty and exception. Though it makes sense in one way to speak of the sovereign overstepping the limits he lays down, in a deeper sense he, as the moment of decision, is himself the limit. On this account, George W. Bush was more accurate than he could have known in his recent halting suggestion that he is not just the nation’s “decider,” but also himself “a decision.” Or, as he more regularly if quietly maintains, an exception.4While Schmitt’s celebratory analysis of the exception is the best-known today, he is hardly the inventor of this problematic: as he himself emphasizes in Political Romanticism (1919), the question of the decision lies at the heart of nineteenth-century Continental Romanticism, which celebrated an “occasionalism” derived from Malebranche in which the self and its whims take precedence over any substantive commitments that self might take up.5 Karl Löwith has demonstrated that Schmitt’s 1920s decisionism is, rather ironically, open in many aspects to his earlier attack upon this Romantic occasionalism [see Löwith]. Löwith was perhaps as attuned to this as he was on account of being a keen student of Hegel, as well as of Heidegger. Indeed, many features of Schmitt’s own attack upon the Romantics are anticipated in Hegel’s fierce critique of this movement and, in particular, his attack upon Friedrich Schlegel’s role in it. But if Hegel’s critique of Schlegel casts... (shrink)

‘PROOFS of God’ are under a cloud today, and whether the cloud can be dissipated or not, I am not going to try to dissipate it in this article. Modern thinkers have created a mental climate very unfavourable to metaphysics, but they have certainly not succeeded in disproving on principle the possibility of valid and fruitful metaphysical arguments even in the old transcendent sense of ‘metaphysics’. However, I must admit that in my opinion the best that can be said of (...) arguments for the existence of God is that they give some intellectual support to the belief, not that they are really decisive. If this is so, it becomes of very special importance to consider whether those may be right who maintain that we can come to knowledge of or at least justified belief in God otherwise than by inference. I am not considering the views of those who base the belief solely on authority: argument would be required to decide whether we ought to accept an authority, and if so which. What I am referring to is the claim that there are certain 'mystical' and other religious experiences which can without argument adequately and rationally assure one of God's existence. Obviously from the nature of the case a man who makes this claim for himself cannot prove to others that he is right, but can any good reason be given to support the view that he is wrong? If not, the possibility remains that those who dispute with him are in a similar position to that of a tonedeaf man disagreeing with Beethoven about the value of music. (shrink)

A brief historical comment on scientific knowledge as Socratic ignorance -- Some critical comments on the text of this book, particularly on the theory of truth Exposition [1933] -- Problem of Induction (Experience and Hypothesis) -- Two Fundamental Problems of the Theory of Knowledge -- Formulation of the Problem -- The problem of induction and the problem of demarcation -- Deductivtsm and Inductivism -- Comments on how the solutions are reached and preliminary presentation of the solutions -- Rationalism and empiricism-deductivism (...) and inductivism -- The possibility of a deductivist psychology of knowledge -- The Problem of Induction -- The infinite regression (Hume's argument) --The inductivist positions -- The Normal-Statement Positions -- The normal-statement positions: naive inductivism, strict positivism and apriorism -- Critique of strict positivism - twofold transcendence of natural laws -- The transcendental method - presentation of apriorism -- Critique of apriorism -- Kant and Fries -- Supplement to the critique of apriorism. (Psychologism and transcendentalism in Kant and Fries.-On the question of the empirical basis.) -- Probability Positions -- The probability positions - subjective belief in probability -- Statements about the objective probability of events -- Probability as an objective degree of validity of universal empirical statements -- One way of more closely defining the concept of the probability of a hypothesis (primary and secondary probability of hypotheses). The concept of simplicity -- The concept of the corroboration of a hypothesis - positivist, pragmatist and probabilistic interpretations of the concept of corroboration -- The infinite regression of probability statements -- Pseudo-Statement Positions -- The pseudo-statement positions: new formulation of the problem -- Natural laws as "instructions for the formation of statements" -- "True - false" or "useful - useless"? Consistent pragmatism --Difficulties of consistent pragmatism -- Tool and schema as purely pragmatic constructs -- Natural laws as propositional functions -- Conventionalism -- The pseudo-statement positions will temporarily be put away: conventionalism -- The three interpretations of axiomatic systems. (The circle of problems surrounding conventionalism) -- Conventionalist implicit and explicit definitions Propositional function and propositional equation -- Conventionalist propositional equations as tautological general implications -- Can axiomatic-deductive systems also be understood as consequence classes of pure propositional functions (of pseudo-statements)? -- The coordinative definitions of empiricism: synthetic general implications -- Conventionalist and empiricist interpretations, illustrated by the example of applied geometry -- Strictly Universal Statements and Singular Statements -- Implication and general implication -- General implication and the distinction between strictly universal and singular statements -- Universal concept and individual concept-class and element -- Strictly universal statements-the problem of induction and the problem of universals -- Comments on the problem of universals -- Back to the Pseudo-Statement Positions -- Return to the discussion of the pseudo-statement positions -- Symmetry or asymmetry in the evaluation of natural laws? -- The negative evaluation of universal statements. Critique of the strictly symmetrical interpretation of pseudo-statements -- An infinite regression of pseudo-statements -- An apriorist pseudo-statement position -- Interpretation of the critique up to this point; comments on the unity of theory and practice -- A last chance for the pseudo-statement positions -- Pseudo-Statement Positions and the Concept of Meaning -- The concept of meaning and logical positivism -- The concept of meaning and the demarcation problem-the fundamental thesis of inductivism -- Critique of the inductivist dogma of meaning -- Fully decidable and partially decidable empirical statements-the antinomy of the knowability of the world. (Conclusion of the critique of the pseudo-statement positions.) -- The dialectical and the transcendental corroboration of the solution -- Is the problem of induction solved? (shrink)

From the point of the EU law, the CJEU has the exclusive competence to interpret the EU legal norms and decide upon validity of the legal acts adopted by the EU institutions because it is the most effective method to ensure the unilateral interpretation of the EU law and to prevent its fragmentation. Thus, it can be presumed that all disputes between the Member States regarding the EU law must be solved by the CJEU. The paper aims at finding (...) the answer to the question whether international courts under the international law must refuse their jurisdiction in cases where disputes of the Member States relate with the EU law. With the view of this aim, arguments arising from the international law (for instance, prohibition of intervening into affairs of another legal system, prohibition of abuse of laws), on the basis of which an international court should decline its jurisdiction, and applicability of such arguments to the situation discussed is assessed and an independent approach is formulated. (shrink)

A sequent calculus S for the variety tqBa of all topological quasi-Boolean algebras is established. Using a construction of syntactic finite algebraic model, the finite model property of S is shown, and thus the decidability of S is obtained. We also introduce two non-distributive variants of topological quasi-Boolean algebras. For the variety TDM5 of all topological De Morgan lattices with the axiom 5, we establish a sequent calculus S5 and prove that the cut elimination holds for it. Consequently the (...) decidability of S5 is established. Furthermore, this proof-theoretic method is applied to some subvarieties of TDM5. (shrink)

In this book, I deal with some fundamental problems of the Hegelian dialectic. For this purpose, I take a middle course between total scepticism, which considers dialectic as a devastator sophistry with no respect even for the non-contradiction principle, and authoritarian dogmatism, which claims to solve any question with the magic wand of the Hegelian Aufhebung. That is, I decide to be critical, defining concepts anew, bringing out sources, determining conditions of possibility and fields of validity, accepting or rejecting (...) when necessary. Following G. R. G. Mure's thinking, from an inner point of view I examine whether, in carrying out his work, Hegel remains faithful to the different principles he proclaims, and I find substantial deviations. And, following W. Becker's thinking, from an external point of view, that is, from a formal, empirical or existential contemporary angle, I try to determine the extent to which we may legitimately talk about the fruitfulness of Hegelian dialectic. In this way, I reconstruct Hegel's thought so that it may become acceptable to us-readers of the twentieth-century-as intelligible and coherent as possible. I conclude that dialectic, as a logic of human reality, has to be grasped and expressed from the viewpoint of the particular historical individual, in constant interaction with the cultural environment of his or her time. Using this approach, I investigate the questions at issue from Hegel's Logic point of view. (shrink)

This paper proposes a concept of "valid reasoning" that will apply univocally to reasoned judgment (inference), Reasoned decision (choice), And reasoned withholding of judgment and decision. "reasoning" is taken to include all these; "validity" of reasoning is defined in terms of the "ideally rational mind", Which is in turn defined by a modal logic of judging and deciding. The definition is defended by relating it to another ideal, That of the socratically omniscient and stoically omniscient sage, Who is defined (...) by a modal logic of knowing and doing. In the course of this I distinguish between the vehicle and the description of a mental act, Deny that reasoning is a transition, Analyze doing as causing to be, And maintain that, Since doing stands to deciding as knowing stands to judging, Reasoned decision is genuinely practical reasoning. (shrink)

This paper is concerned with a propositional modal logic with operators for necessity, actuality and apriority. The logic is characterized by a class of relational structures defined according to ideas of epistemic two-dimensional semantics, and can therefore be seen as formalizing the relations between necessity, actuality and apriority according to epistemic two-dimensional semantics. We can ask whether this logic is correct, in the sense that its theorems are all and only the informally valid formulas. This paper gives outlines of two (...) arguments that jointly show that this is the case. The first is intended to show that the logic is informally sound, in the sense that all of its theorems are informally valid. The second is intended to show that it is informally complete, in the sense that all informal validities are among its theorems. In order to give these arguments, a number of independently interesting results concerning the logic are proven. In particular, the soundness and completeness of two proof systems with respect to the semantics is proven (Theorems 2.11 and 2.15), as well as a normal form theorem (Theorem 3.2), an elimination theorem for the actuality operator (Corollary 3.6), and the decidability of the logic (Corollary 3.7). It turns out that the logic invalidates a plausible principle concerning the interaction of apriority and necessity; consequently, a variant semantics is briefly explored on which this principle is valid. The paper concludes by assessing the implications of these results for epistemic two-dimensional semantics. (shrink)

We introduce a framework that can be used to model both mathematics and human reasoning about mathematics. This framework involves stochastic mathematical systems (SMSs), which are stochastic processes that generate pairs of questions and associated answers (with no explicit referents). We use the SMS framework to define normative conditions for mathematical reasoning, by defining a “calibration” relation between a pair of SMSs. The first SMS is the human reasoner, and the second is an “oracle” SMS that can be interpreted as (...) deciding whether the question–answer pairs of the reasoner SMS are valid. To ground thinking, we understand the answers to questions given by this oracle to be the answers that would be given by an SMS representing the entire mathematical community in the infinite long run of the process of asking and answering questions. We then introduce a slight extension of SMSs to allow us to model both the physical universe and human reasoning about the physical universe. We then define a slightly different calibration relation appropriate for the case of scientific reasoning. In this case the first SMS represents a human scientist predicting the outcome of future experiments, while the second SMS represents the physical universe in which the scientist is embedded, with the question–answer pairs of that SMS being specifications of the experiments that will occur and the outcome of those experiments, respectively. Next we derive conditions justifying two important patterns of inference in both mathematical and scientific reasoning: (i) the practice of increasing one’s degree of belief in a claim as one observes increasingly many lines of evidence for that claim, and (ii) abduction, the practice of inferring a claim’s probability of being correct from its explanatory power with respect to some other claim that is already taken to hold for independent reasons. (shrink)

Restraint as an intervention in the management of acute mental distress has a long history that predates the existence of psychiatry. However, it remains a source of controversy with an ongoing debate as to its role. This article critically explores what to date has seemingly been only implicit in the debate surrounding the role of restraint: how should the concept of validity be interpreted when applied to restraint as an intervention? The practice of restraint in mental health is critically (...) examined using two post-positivist constructions of validity, the pragmatic and the psychopolitical, by means of a critical examination of the literature. The current literature provides only weak support for the pragmatic validity of restraint as an intervention and no support to date for its psychopolitical validity. Judgements regarding the validity of any intervention that is coercive must include reference to the psychopolitical dimensions of both practice and policy. (shrink)

Much of the scientific process involves “selective ignorance”: we include certain aspects of the systems we are considering and ignore others. This is inherent in the models that we utilize as proxies for biological systems. Our goal usually is to isolate components of these systems and consider them at only certain temporal and spatial scales. The scales and questions induce different metrics for what might be considered a “good” model. The study of mathematical and computational models is replete with differing (...) views of the terms verification, validation, corroboration, and so on. I have often argued that criteria for determination of model utility should be established prior to model construction, but this is rarely done in the application of models in biology. The question I address is whether it is feasible to develop a general approach to model evaluation, that includes all the forms of models typically applied in biology—animal and cell/tissue culture ones as well as mathematical and computational ones. (shrink)

What is the exact nature of the consumption function? Can this term be defined so that it will be consistent with empirical evidence and a valid instrument in the hands of future economic researchers and policy makers? In this volume a distinguished American economist presents a new theory of the consumption function, tests it against extensive statistical J material and suggests some of its significant implications.Central to the new theory is its sharp distinction between two concepts of income, measured income, (...) or that which is recorded for a particular period, and permanent income, a longer-period concept in terms of which consumers decide how much to spend and how much to save. Milton Friedman suggests that the total amount spent on consumption is on the average the same fraction of permanent income, regardless of the size of permanent income. The magnitude of the fraction depends on variables such as interest rate, degree of uncertainty relating to occupation, ratio of wealth to income, family size, and so on.The hypothesis is shown to be consistent with budget studies and time series data, and some of its far-reaching implications are explored in the final chapter. (shrink)

Motives of espionage against ones own country in the light of idiographic studies The money is perceived as the common denominator among people who have spied against their own country. This assumption is common sense and appears to be self-evident truth. But do we have any hard evidences to prove the validity of such a statement? What method could be applied to determine it? This article is a review of the motives behind one's resorting to spying activity which is (...) a complex and multifarious process. I decided to present only the phenomenon of spying for another country. The studies on the motives behind taking up spying activity are idiographic in character. One of the basic methodological problems to be faced by the researchers of this problem is an inaccessibility of a control group. (shrink)

Elimination of state laws that preempt local antismoking ordinances is a national health objective. However, the tobacco industry and its supporters have continued to pursue statelevel preemption of local tobacco control ordinances as part of an apparent strategy to avoid the difusion of grassroots antismoking initiatives. And, an increasing number of challenges to local ordinances by the tobacco industry and persons supported by the tobacco industry are being decided in state supreme courts and courts of appeals. The outcomes of seemingly (...) similar cases about the validity of local smoke-free air ordinances vary signifcantly by state. This paper examines the common and unique aspects of the decisions and the potential implications of court rulings on preemption for future state tobacco control eforts and achievement of national health objectives around the elimination of preemption. Using a search strategy developed for the Centers for Disease Control and Prevention's State Tobacco Activities Tracking and Evaluation System, cases where a state or federal appellate level court made a fnding on the validity of a local smoke-free air ordinance or regulation were identifed in 19 states. In contrast to previous studies, we found that cases in approximately half of states were decided for local governments. We also found that across the states, courts were considering similar factors in their decisions including the extent to which: the local government possessed the authority to pass the ordinance, the ordinance conficted with the state constitution, and state statutes preempt the ordinance. (shrink)

The class \ of t rue p airing a lgebras is defined to be the class of relation algebras expanded with concrete set theoretical projection functions. The main results of the present paper is that neither the equational theory of \ nor the first order theory of \ are decidable. Moreover, we show that the set of all equations valid in \ is exactly on the \ level. We consider the class \ of the relation algebra reducts of \ ’s, (...) as well. We prove that the equational theory of \ is much simpler, namely, it is recursively enumerable. We also give motivation for our results and some connections to related work. (shrink)

What accounts for how we know that certain rules of reasoning, such as reasoning by Modus Ponens, are valid? If our knowledge of validity must be based on some reasoning, then we seem to be committed to the legitimacy of rule-circular arguments for validity. This paper raises a new difficulty for the rule-circular account of our knowledge of validity. The source of the problem is that, contrary to traditional wisdom, a universal generalization cannot be inferred just on (...) the basis of reasoning about an arbitrary object. I argue in favor of a more sophisticated constraint on reasoning by universal generalization, one which undermines a rule-circular account of our knowledge of validity. (shrink)

The essays in Powerful Arguments reconstruct the standards of validity underlying argumentative practices in a wide array of late imperial Chinese discourses, from the Song through the Qing dynasties. The fourteen case studies analyze concrete arguments defended or contested in areas ranging from historiography, philosophy, law, and religion to natural studies, literature, and the civil examination system. By examining uses of evidence, habits of inference, and the criteria by which some arguments were judged to be more persuasive than others, (...) the contributions recreate distinct cultures of reasoning. Together, they lay the foundations for a history of argumentative practice in one of the richest scholarly traditions outside of Europe and add a chapter to the as yet elusive global history of rationality. (shrink)

The signature of the formal language of mereology contains only one binary predicate P which stands for the relation “being a part of”. Traditionally, P must be a partial ordering, that is, ${\forall{x}Pxx, \forall{x}\forall{y}((Pxy\land Pyx)\to x=y)}$ and ${\forall{x}\forall{y}\forall{z}((Pxy\land Pyz)\to Pxz))}$ are three basic mereological axioms. The best-known mereological theory is “general extensional mereology”, which is axiomatized by the three basic axioms plus the following axiom and axiom schema: (Strong Supplementation) ${\forall{x}\forall{y}(\neg Pyx\to \exists z(Pzy\land \neg Ozx))}$ , where Oxy means ${\exists (...) z(Pzx\land Pzy)}$ , and (Fusion) ${\exists x\alpha \to \exists z\forall y(Oyz\leftrightarrow \exists x(\alpha \land Oyx))}$ , for any formula α where z and y do not occur free. In this paper, I will show that general extensional mereology is decidable, and will also point out that the decidability of the first-order approximation of the theory of complete Boolean algebras can be shown in the same way. (shrink)

Most logic–based approaches characterize abduction as a kind of backwards deduction plus additional conditions, which means that a number of conditions is specified that enable one to decide whether or not a particular abductive inference is sound . Despite the fact that these approaches succeed in specifying which formulas count as valid consequences of abductive inference steps, they do not explicate the way people actually reason by means of abductive inferences. This is most clearly shown by the absence of a (...) decent proof theory. Instead, search procedures are provided that enable one to determine the right abductive consequences. However, these do not by far resemble human reasoning. In order to explicate abductive reasoning more realistically, an alternative approach will be provided in this article, namely, one that is based on the adaptive logics programme. Proof theoretically, this approach interprets the argumentation schema affirming the consequent as a defeasible rule of inference. This comes down to the fact that the abductive consequences obtained by means of AC are accepted only for as long as certain conditions are satis.ed—e.g. as long as their negation has not been derived from the background theory. In the end, only the unproblematic applications of AC are retained, while the problematic ones are rejected. In this way, the adaptive logics approach to abduction succeeds to provide a more realistic explication of the way people reason by means of abductive inferences. Moreover, as multiple abduction processes will be characterized, this article may be considered as the first step in the direction of a general formal approach to abduction based on the adaptive logics programme. (shrink)

In this paper, missing attribute values in incomplete data sets have three possible interpretations: lost values, attribute-concept values and ‘do not care’ conditions. For rule induction, we use characteristic sets and generalized maximal consistent blocks. Therefore, we apply six different approaches for data mining. As follows from our previous experiments, where we used an error rate evaluated by ten-fold cross validation as the main criterion of quality, no approach is universally the best. Thus, we decided to compare our six approaches (...) using complexity of rule sets induced from incomplete data sets. We show that the smallest rule sets are induced from incomplete data sets with attribute-concept values, while the most complicated rule sets are induced from data sets with lost values. The choice between interpretations of missing attribute values is more important than the choice between characteristic sets and generalized maximal consistent blocks. (shrink)

I present a semantics for the language of first-order additive-multiplicative linear logic, i.e. the language of classical first-order logic with two sorts of disjunction and conjunction. The semantics allows us to capture intuitions often associated with linear logic or constructivism such as sentences = games, SENTENCES = resources or sentences = problems, where “truth” means existence of an effective winning strategy.The paper introduces a decidable first-order logic ET in the above language and gives a proof of its soundness and completeness (...) with respect to this semantics. Allowing noneffective strategies in the latter is shown to lead to classical logic.The semantics presented here is very similar to Blass's game semantics. Although there is no straightforward reduction between the two corresponding notions of validity, my completeness proof can likely be adapted to the logic induced by Blass's semantics to show its decidability, which was the main problem left open in Blass's paper.The reader needs to be familiar with classical logic and arithmetic. (shrink)