I argue that dialetheists have a problem with the concept of logical consequence. The upshot of this problem is that dialetheists must appeal to a hierarchy of concepts of logical consequence. Since this hierarchy is akin to those invoked by more orthodox resolutions of the semantic paradoxes, its emergence would appear to seriously undermine the dialetheic treatments of these paradoxes. And since these are central to the case for dialetheism, this would represent a significant blow to (...) the position itself. (shrink)

I argue that dialetheists have a problem with the concept of logical consequence. The upshot of this problem is that dialetheists must appeal to a hierarchy of concepts of logical consequence. Since this hierarchy is akin to those invoked by more orthodox resolutions of the semantic paradoxes, its emergence would appear to seriously undermine the dialetheic treatments of these paradoxes. And since these are central to the case for dialetheism, this would represent a significant blow to (...) the position itself. (shrink)

I examine the theory of consequentia of the medieval logician, John Buridan. Buridan advocates a strict commitment to what we now call proposition-tokens as the bearers of truth-value. The analysis of Buridan's theory shows that, within a token-based semantics, amendments to the usual notions of inference and consequence are made necessary, since pragmatic elements disrupt the semantic behaviour of propositions. In my reconstruction of Buridan's theory, I use some of the apparatus of modern two-dimensional semantics, such as (...) two-dimensional matrices and the distinction between the context of formation and the context of evaluation of utterances. (shrink)

This dissertation draws upon historical studies of scientific practice and contemporary issues in the metaphysics and epistemology of science to account for the nature of physical quantities. My dissertation applies this integrated HPS approach to dimensional analysis—a logic for quantitative physical equations which respects the distinct dimensions of quantities (e.g. mass, length, charge). Dimensional analysis and its historical development serve both as subjects of study and as a sources for solutions to contemporary problems. The dissertation consists (...) primarily of three related papers on: (1) the methodological and metaphysical foundations of dimensional analysis, (2) the use of dimensional analysis in determining physical symmetries, (3) the use of dimensional analysis in securing metrological extension. (shrink)

This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence and obligations. In an additional fourth part, an in-depth analysis of the concept of formalization is presented - a crucial concept in the current logical panorama, which as such receives surprisingly little attention.Although formalizations of medieval logical theories have been proposed earlier in the literature, the formalizations presented here are all based on innovative vantage points: supposition theories as algorithmic (...) hermeneutics, theories of consequence analyzed with tools borrowed from model-theory and two-dimensional semantics, and obligations as logical games. For this reason, this is perhaps the first time that these medieval logical theories are made fully accessible to the modern philosopher and logician who wishes to obtain a better grasp of them, but who has always been held back by the lack of appropriate ‘translations' into modern terms.Moreover, the book offers a reflection on the very nature of logic, a reflection that is prompted by the comparisons between medieval and modern logic, their similarities and dissimilarities. It is thus a contribution not only to the history of logic, but also to the philosophy of logic, the philosophy of language and semantics.The analysis of medieval logic is also relevant for the modern philosopher and logician in that, being the unifying methodology used across all disciplines at that time, logic really provided unity to science. It thus presents a unified model of scientific investigation, where logic plays the aggregating role. (shrink)

Logical pluralism is the view that there is more than one correct logic. This is not necessarily a controversial claim but in its most exciting formulations, pluralism extends to logics that have typically been considered rival accounts of logical consequence – to logics, that is, which adopt seemingly contradictory views about basic logical laws or argument forms. The logical pluralist challenges the philosophical orthodoxy that an argument is either deductively valid or invalid by claiming that (...) there is more than one way for an argument to be valid. In this book, Erik Stei defends logical monism, the view that there is exactly one correct logic. He provides a detailed analysis of different possible formulations of logical pluralism, and offers an original account of the plurality of correct logics that incorporates the benefits of both pluralist and monist approaches to logical consequence. His book will be valuable for a range of readers in the philosophy of logic. (shrink)

A substitutional account of logical validity for formal first‐order languages is developed and defended against competing accounts such as the model‐theoretic definition of validity. Roughly, a substitution instance of a sentence is defined as the result of uniformly substituting nonlogical expressions in the sentence with expressions of the same grammatical category and possibly relativizing quantifiers. In particular, predicate symbols can be replaced with formulae possibly containing additional free variables. A sentence is defined to be logically true iff all its (...) substitution instances are satisfied by all variable assignments. Logical consequence is defined analogously. Satisfaction is taken to be a primitive notion and axiomatized.For every set‐theoretic model in the sense of model theory there exists a corresponding substitutional interpretation in a sense to be specified. Conversely, however, there are substitutional interpretations – in particular the ‘intended’ interpretation – that lack a model‐theoretic counterpart. The substitutional definition of logical validity overcomes the weaknesses of more restrictive accounts of substitutional validity; unlike model‐theoretic logical consequence, the substitutional notion is trivially and provably truth preserving. In Kreisel's squeezing argument the formal notion of substitutional validity naturally slots into the place of intuitive validity. (shrink)

This paper offers a two dimensional variation of Standard Deontic Logic SDL, which we call 2SDL. Using 2SDL we can show that we can overcome many of the difficulties that SDL has in representing linguistic sets of Contrary-to-Duties (known as paradoxes) including the Chisholm, Ross, Good Samaritan and Forrester paradoxes. We note that many dimensional logics have been around since 1947, and so 2SDL could have been presented already in the 1970s. Better late than never! As a detailed (...) case study illustrating the power of 2SDL, we examine the system DL of Deontic Logic of Andrew Jones and Ingmar Pörn offered in 1985 to solve the Chisholm paradox of Contrary to Duties. The critical examination is done using logics and methods available in 1985 and solutions are proposed using what was available in 1985. (shrink)

Nursing models of care show promise in addressing the needs of older adults facing serious illness through supporting inner strength. However, previous conceptual and theoretical models of inner strength are limited. This concept analysis used dimensional analysis methods to explore inner strength in people ageing with serious illness to address limitations by defining a pragmatic, data‐driven model. This study analyzed published literature of adults with serious illness that describes inner strength. Thirty articles were selected after review. The (...) result was an explanatory matrix that describes inner strength from the perspective of where have I been, where am I going? within the context of being a person who is living and dies and you have a serious illness. The conditions spotlighting by actors around me and taking stock of others and ideas lead to processes of looking in/looking out and seeing me as I’m seen. The final consequence of this process is meeting me. This updated concept analysis of inner strength improves upon previous models by providing a clinically relevant situation‐specific model of inner strength for people with serious illness. Implications for nursing scholarship and practice are described including exploration of person‐centered care, relational practice, and health communication. (shrink)

t is often suggested that truth-preservation is insufficient for logical consequence, and that consequence needs to satisfy a further condition of relevance. Premises and conclusion in a valid consequence must be relevant to one another, and truth-preservation is too coarse-grained a notion to guarantee that. Thus logical consequence is the intersection of truth-preservation and relevance. This situation has the absurd consequence that one might concede that the conclusion of an argument was true (since (...) the argument had true premises and was truth-preserving); yet should refuse to infer the conclusion from the premises, in the absence of demonstration of the relevance of the premises to the conclusion. The error lies in giving insufficient attention to the notion of truth-preservation. Relevance is no separable ingredient in the analysis of logical consequence, but a necessary condition of it. What we show is that if an argument really is truth-preserving, then that in itself is enough to show that the premises are (logically) relevant to the conclusion. (shrink)

Logical consequence in first-order predicate logic is defined substitutionally in set theory augmented with a primitive satisfaction predicate: an argument is defined to be logically valid if and only if there is no substitution instance with true premises and a false conclusion. Substitution instances are permitted to contain parameters. Variants of this definition of logical consequence are given: logical validity can be defined with or without identity as a logical constant, and quantifiers can be (...) relativized in substitution instances or not. It is shown that the resulting notions of logical consequence are extensionally equivalent to versions of first-order provability and model-theoretic consequence. Every model-theoretic interpretation has a substitutional counterpart, but not vice versa. In particular, in contrast to the model-theoretic account, there is a trivial intended interpretation on the substitutional account, namely, the homophonic interpretation that does not substitute anything. Applications to free logic, and theories and languages other than set theory are sketched. (shrink)

This paper was read at University of Aarhus in 2016. An improved version was later published as Fitting-attitude Analysis and The Logical Consequence Argument”, in Philosophical Quarterly (2018).

This paper offers a two dimensional variation of Standard Deontic Logic SDL, which we call 2SDL. Using 2SDL we can show that we can overcome many of the difficulties that SDL has in representing linguistic sets of Contrary-to-Duties (known as paradoxes) including the Chisholm, Ross, Good Samaritan and Forrester paradoxes. We note that many dimensional logics have been around since 1947, and so 2SDL could have been presented already in the 1970s. Better late than never! As a detailed (...) case study illustrating the power of 2SDL, we examine the system DL of Deontic Logic of Andrew Jones and Ingmar Pörn offered in 1985 to solve the Chisholm paradox of Contrary to Duties. The critical examination is done using logics and methods available in 1985 and solutions are proposed using what was available in 1985. (shrink)

In this paper, Tarskis notion of Logical Consequence is viewed as a special case of the more general notion of being a theorem of an axiomatic theory. As was recognized by Tarski, the material adequacy of his definition depends on having the distinction between logical and non logical constants right, but we find Tarskis analysis persuasive even if we dont agree on what constants are logical. This accords with the view put forward in this (...) paper that Tarski indeed captures the more inclusive notion of theoremhood in an axiomatic theory. The approach to logical consequence via axiomatic theories leads us to grant centrality to inference schemas rather than to full-fledged arguments and to view the logically valid schemas as a subclass of generally valid schemas. (shrink)

Our pretheoretic sense of the relation of logical consequence arises from our experience of deductive inference. By ignoring the priority of inference and failing to provide an account of the ontological grounds of the conceptual experience and of the modal and truth elements in the statement of our pretheoretical sense, informal and technical accounts are at best partial. This paper proposes an ontological analysis of both elements which accounts for our conceptual experience and differentiates genuine from ersatz (...) logical consequence. (shrink)

Of course we all know now that mathematics has proved that logic doesn't really make sense, but Etchemendy (philosophy, Stanford Univ.) goes further and challenges the received view of the conceptual underpinnings of modern logic by arguing that Tarski's model-theoretic analysis of logical consequences is wrong. He may have found the soft underbelly of the dead horse. Annotation copyrighted by Book News, Inc., Portland, OR.

This paper offers a two dimensional variation of Standard Deontic Logic SDL, which we call 2SDL. Using 2SDL we can show that we can overcome many of the difficulties that SDL has in representing linguistic sets of Contrary-to-Duties (known as paradoxes) including the Chisholm, Ross, Good Samaritan and Forrester paradoxes. We note that many dimensional logics have been around since 1947, and so 2SDL could have been presented already in the 1970s. Better late than never! As a detailed (...) case study illustrating the power of 2SDL, we examine the system DL of Deontic Logic of Andrew Jones and Ingmar Pörn offered in 1985 to solve the Chisholm paradox of Contrary to Duties. The critical examination is done using logics and methods available in 1985 and solutions are proposed using what was available in 1985. (shrink)

A fitting-attitude analysis which understands value in terms of reasons and pro- and con-attitudes allows limited wriggle room if it is to respect a radical division between good and good-for. Essentially, its proponents can either introduce two different normative notions, one relating to good and the other to good-for, or distinguish two kinds of attitude, one corresponding to the analysis of good and the other to good-for. It is argued that whereas the first option faces a counterintuitive scope (...) issue, an attitudinal approach couched in terms of ‘for someone's sake’ attitudes has the unwelcome consequence that whatever is good for someone is also necessarily good. It is argued that this consequence can be avoided if we modify the standard way of formulating the fitting-attitude analysis of final impersonal value. (shrink)

The book discusses the central notion of logic: the concept of logical consequence. It shows that the classical definition of consequence as truth preservation in all models must be restricted to all admissible models. The challenge for the philosophy of logic is therefore to supplement the definition with a criterion for admissible models. -/- The problem of logical constants, so prominent in the current debate, constitutes but a special case of this much more general demarcation problem. (...) The book explores the various dimensions of the problem of admissible models and argues that standard responses are unwarranted. As a result, it develops a new vision of logic, suggesting in particular that logic is deeply imbued with metaphysics. (shrink)

John Etchemendy (1990) has argued that Tarski's definition of logical consequence fails as an adequate philosophical analysis. Since then, Greg Ray (1996) has defended Tarski's analysis against Etchemendy's criticisms. Here, I'll argue that--even given Ray's defense of Tarski's definition--we may nevertheless lay claim to the conditional conclusion that 'if' Tarski intended a conceptual analysis of logical consequence, 'then' it fails as such. Secondly, I'll give some reasons to think that Tarski 'did' intend a (...) conceptual analysis of logical consequence. (shrink)

Compare two conceptions of validity: under an example of a modal conception, an argument is valid just in case it is impossible for the premises to be true and the conclusion false; under an example of a topic-neutral conception, an argument is valid just in case there are no arguments of the same logical form with true premises and a false conclusion. This taxonomy of positions suggests a project in the philosophy of logic: the reductive analysis of the (...) modal conception of logical consequence to the topic-neutral conception. Such a project would dispel the alleged obscurity of the notion of necessity employed in the modal conception in favour of the clarity of an account of logical consequence given in terms of tractable notions of logical form, universal generalization and truth simpliciter. In a series of publications, John Etchemendy has characterized the model-theoretic definition of logical consequence as truth preservation in all models as intended to provide just such an analysis. In this paper, I will argue that Aristotle intends to provide an account of a modal conception of logical consequence in topic-neutral terms and so is engaged in a project comparable to the one described above. That Aristotle would be engaged in this sort of project is controversial. Under the standard reading of the Prior Analytics, Aristotle does not and cannot provide an account of logical consequence. Rather, he must take the validity of the first figure syllogisms (such as the syllogism known by its medieval mnemonic ‘Barbara’: A belongs to all B; B belongs to all C; so A belongs to all C) as obvious and not needing justification; he then establishes the validity of the other syllogisms by showing that they stand in a suitable relation to the first figure syllogisms. I will argue that Aristotle does attempt to provide an account of logical consequence—namely, by appeal to certain mereological theorems. For example, he defends the status of Barbara as a syllogism by appeal to the transitivity of mereological containment. There are, as I will discuss, reasons to doubt the success of this account. But the attempt is not implausible given certain theses Aristotle holds in semantics, mereology and the theory of relations. (shrink)

In "Logical consequence: A defense of Tarski" (Journal of Philosophical Logic, vol. 25, 1996, pp. 617-677), Greg Ray defends Tarski's account of logical consequence against the criticisms of John Etchemendy. While Ray's defense of Tarski is largely successful, his attempt to give a general proof that Tarskian consequence preserves truth fails. Analysis of this failure shows that de facto truth preservation is a very weak criterion of adequacy for a theory of logical (...) class='Hi'>consequence and should be replaced by a stronger absence-of-counterexamples criterion. It is argued that the latter criterion reflects the modal character of our intuitive concept of logical consequence, and it is shown that Tarskian consequence can be proved to satisfy this criterion for certain choices of logical constants. Finally, an apparent inconsistency in Ray's interpretation of Tarski's position on the modal status of the consequence relation is noted. (shrink)

The semantic analysis of logical consequence must obey a set of requisites which nowadays have acquired a dogmatic status. This situation prevents the development of other varieties of this fundamental relation. In this issue we try to define what we call a naive variety of logical consequence. The main feature of this relation is the way it depends on formulas in premises and conclusion: every sentence must contribute to the acceptability of an argument in a (...) significative way. This circumstance can be of some interest for research programs demanding a logical apparatus sensitive to application context. We think of the logic LP developed by G. Priest -- Priest [1979] -- in relation to Gödel incompleteness theorems as a test for our points of view. (shrink)

The model-theoretic analysis of the concept of logical consequence has come under heavy criticism in the last couple of decades. The present work looks at an alternative approach to logical consequence where the notion of inference takes center stage. Formally, the model-theoretic framework is exchanged for a proof-theoretic framework. It is argued that contrary to the traditional view, proof-theoretic semantics is not revisionary, and should rather be seen as a formal semantics that can supplement model-theory. (...) Specifically, there are formal resources to provide a proof-theoretic semantics for both intuitionistic and classical logic. We develop a new perspective on proof-theoretic harmony for logical constants which incorporates elements from the substructural era of proof-theory. We show that there is a semantic lacuna in the traditional accounts of harmony. A new theory of how inference rules determine the semantic content of logical constants is developed. The theory weds proof-theoretic and model-theoretic semantics by showing how proof-theoretic rules can induce truth-conditional clauses in Boolean and many-valued settings. It is argued that such a new approach to how rules determine meaning will ultimately assist our understanding of the apriori nature of logic. (shrink)

This paper presents several applications of the dimensional analysis method to problems investigated in medical sciences. The method is used to analyze various complex processes without using formal laws governing the same. It is particularly suitable for a general analysis of fluid transfer in the human body. This paper mainly serves as an overview of selected applications, mostly those emerging in the recent years, and includes a discussion of the mathematical fundamentals of dimensional analysis together (...) followed by its critical analysis. Containing detailed calculations of two examples, the paper also serves as training material in the area of the computational method of the dimensional analysis algorithm. (shrink)

The aim of this paper will be to show how significant the logical theories of judgement which were worked out at the end of the nineteenth century have been for the ontological thought during the twentieth century. Against the classical - Aristotelian and Scholastic - analysis of predicative judgement, Franz Brentano on one hand and Gottlob Frege on the other hand have leveled two different criticisms, which then generated two radically divergent ontological paradigms. On one side, despite Brentano’s (...) own nominalistic stands, there was a tremendous extension of the general category of “object” as well as of the notion of “being” with, as a consequence, the exceptionnally luxuriant ontologies of Brentano’s heirs. On the other side, notwithstanding Frege’s own Platonistic affinities, there was a drastic deflation of the realm of objects to the benefit of the realm of concepts taken as classifying functions, and therefore a strong nominalistic trend among Frege’s heirs. The development of quantified modal logics at the middle of twentieth century however forced contemporary ontology to reconsider this simple alternative in order to give place to some hybrid entities such as individual concepts or other kinds of “intensional objects”. (shrink)

Logical pluralism is a general idea that there is more than one correct logic. Carnielli and Rodrigues [2019a] defend an epistemic interpretation of the paraconsistent logic N4, according to which an argument is valid in this logic just in case it necessarily preserves evidence. The authors appeal to this epistemic interpretation to briefly motivate a kind of logical pluralism: “different accounts of logical consequence may preserve different properties of propositions”. The aim of this paper is to (...) study the prospect of a logical pluralism based on different interpretations of logical systems. First, we give our analysis of what it means to interpret a logic – and make some hopefully useful distinctions along the way. Second, we present what we call an interpretational logical pluralism: there is more than one correct logic and a logic is correct only if it has some adequate interpretation. We consider four variants of this idea, bring up some possible objections, and try to find plausible solutions on behalf of the pluralist. We will argue that interpretations of logical systems provide a promising – albeit not unproblematic – route to logical pluralism. (shrink)

Contrastivists view ought-sentences as expressing comparisons among alternatives. Deontic actualists believe that the value of each alternative in such a comparison is determined by what would actually happen if that alternative were to be the case. One of the arguments that motivates actualism is a challenge to the principle of agglomeration over conjunction—the principle according to which if you ought to run and you ought to jump, then you ought to run and jump. I argue that there is no way (...) of developing the actualist insight into a logic that invalidates the agglomeration principle without also invalidating other desirable patterns of inference. After doing this, I extend the analysis to other contrastive views that challenge agglomeration in the way that the actualist does. This motivates skepticism about the actualist’s way of challenging agglomeration. (shrink)

This article gives a conceptual review of the e-value, ev(H|X) – the epistemic value of hypothesis H given observations X. This statistical significance measure was developed in order to allow logically coherent and consistent tests of hypotheses, including sharp or precise hypotheses, via the Full Bayesian Significance Test (FBST). Arguments of analysis allow a full characterization of this statistical test by its logical or compositional properties, showing a mutual complementarity between results of mathematical statistics and the logical (...) desiderata lying at the foundations of this theory. (shrink)

In this paper I asses Davidson’s analysis of action sentences stressing its quantificational structure and its views on prepositions and adverbial modification. Three arguments inspired by Grice’s ideas are deployed against it. First, I point to weird consequences of taking prepositions as defining predicates; second, I show some obstacles for Davidson’s view on adverbs; finally, I raise some doubts about his putative analysis of “negative actions”. From these, I hope that connections among actions, facts and events should be (...) reconsidered in action theory. (shrink)

We can distinguish different senses in which a formal language can be said to have been provided with an interpretation. We focus on two: (i) We provide a model (or structure) and a definition of satisfaction and truth in the standard way (ii) We provide a translation into a natural language. We argue that the sentences of a formal language interpreted as in (i) do not have meaning. A formal language interpreted as in (i) models the way the truth of (...) a sentence would be affected by two factors: the interpretation as in (ii) of the language, and a way the world might be. Viewing in this way the relation between interpreting a formal language as in (i) and as in (ii) allows us to justify the conceptual adequacy of the standard model-theoretic definitions of the properties of logical truth and logical consequence. (shrink)

The meaning of the term “analysis” in Leibniz’s work is multifarious and it is doubtful that one could ever succeed in gathering this variety of meanings into a unified whole. However it has long been remarked that a landmass seems to detach itself from these moving waters – an island sometimes called by its inventor “The Most General Analytics of Human Thoughts”. Already sketched in the De Arte Combinatoria (1666) as a reform of the “analytical part” of Logic (pars (...) logices analytica), it rested on a very simple intuition: the possibility of developing, in parallel, three analyses, namely an analysis of thoughts (analysis notionum et veritatum), an analysis of the structure of language by which we express these thoughts (analysis linguarum or analysis grammatica) and an analysis of the symbols by which we represent them (analysis characterum). This “General Analytics” achieved, any human thought could be related to a catalog of simple notions expressed by basic characters (the so called alphabetum cogitationum humanarum) and, as a direct consequence, any truth could be expressed as a combination of these primitive symbols. (shrink)

ABSTRACTThe emergence of dimensional analysis in the early nineteenth century involved a redefinition of the pre-existing concepts of homogeneity and dimensions, which entailed a shift from a qualitative to a quantitative conception of these notions. Prior to the nineteenth century, these concepts had been used as criteria to assess the soundness of operations and relations between geometrical quantities. Notably, the terms in such relations were required to be homogeneous, which meant that they needed to have the same geometrical (...) dimensions. The latter reflected the nature of the quantities in question, such as volume vs area. As natural philosophy came to encompass non-geometrical quantities, the need arose to generalize the concept of homogeneity. In 1822, Jean Baptiste Fourier consequently redefined it to be the condition an equation must satisfy in order to remain valid under a change of units, and the ‘dimension' correspondingly became the power of a conversion factor. When these innovations eventually found an echo in France and Great Britain, in the second half of the century, tensions arose between the former, qualitative understanding of dimensions as reflecting the nature of physical quantities, and the new, quantitative conception based on unit conversion and measurement. The emergence of dimensional analysis thus provides a case study of how existing rules and concepts can find themselves redefined in the context of wider conceptual changes; in the present case this redefinition involved a generalization, but also a shift in meaning which led to conceptual tensions. (shrink)

This paper describes Peirce's systems of logic diagrams, focusing on the so-called ''existential'' graphs, which are equivalent to the first-order predicate calculus. It analyses their implications for the nature of mental representations, particularly mental models with which they have many characteristics in common. The graphs are intended to be iconic, i.e., to have a structure analogous to the structure of what they represent. They have emergent logical consequences and a single graph can capture all the different ways in which (...) a possibility can occur. Mental models share these properties. But, as the graphs show, certain aspects of propositions cannot be represented in an iconic or visualisable way. They include negation, and the representation of possibilities qua possibilities, which both require representations that do not depend on a perceptual modality. Peirce took his graphs to reveal the fundamental operations of reasoning, and the paper concludes with an analysis of different hypotheses about these operations. (shrink)

One of the great successes in the study of language has been the application of formal methods, including those of formal logic. Even so, this chapter argues against one way of accounting for this success, by arguing that the study of natural language semantics and of logical consequence relations are not the same. There is indeed a lot we can glean about logic from looking at our languages, and at our inferential practices, but the semantic properties of natural (...) languages do not determine genuine logical consequence relations. We can get from natural language semantics to logical consequence, but only by a significant process of identification of logical constants, abstraction, and idealization. The chapter also discusses different approaches to the nature of logical consequence, and examines which allow logic and natural language to come closer together. (shrink)

Background:Caring for patients with serious illness may severely strain clinicians causing distress and probable poor patient outcomes. Unfortunately, clinician distress and its impact historically has received little attention.Research purpose:The purpose of this article was to investigate the nature of clinician distress.Research design:Qualitative inductive dimensional analysis.Participants and research context:After review of 577 articles from health sciences databases, a total of 33 articles were eligible for analysis.Ethical considerations:This study did not require ethical review and the authors adhered to appropriate (...) academic standards in their analysis.Findings:A narrative of clinician distress in the hospital clinician in the United States emerged from the analysis. This included clinicians’ perceptions and sense of should or the feeling that something is awry in the clinical situation. The explanatory matrix consequence of clinician distress occurred under conditions including: the recognition of conflict, the recognition of emotion, or the recognition of a mismatch; followed by a process of an inability to feel and act according to one’s values due to a precipitating event.Discussion:This study adds three unique contributions to the concept of clinician distress by (1) including the emotional aspects of caring for seriously ill patients, (2) providing a new framework for understanding clinician distress within the clinician’s own perceptions, and (3) looking at action outside of a purely moral lens by dimensionalizing data, thereby pulling apart what has been socially constructed.Conclusion:For clinicians, learning to recognize one’s perceptions and emotional reactions is the first step in mitigating distress. There is a critical need to understand the full scope of clinician distress and its impact on the quality of patient-centered care in serious illness. (shrink)

There is hardly any feature of Hegel’s philosophy whose current significance is greater, or more neglected, than the unique place given the analysis of thought. Unlike any other thinker before or after, Hegel begins his philosophical system with a logic conceiving categories without regard for their reference to reality or how a given knower might think them. He allows thinking itself to figure as an object of investigation only within the subsequent theory of reality comprising the philosophies of nature (...) and spirit. There Hegel treats thinking as a real activity of living individuals, inhabiting a common world of which they are conscious and able to speak. Consequently, thought becomes something properly analyzable only after not just categories, but nature and such worldly features of mind as consciousness, representation, and language have been determined. As unsurprising as this ordering may appear, it represents a fundamental break from ordinary philosophical practice, a break bearing crucial importance for the nonmetaphysical, antifoundational character of Hegel’s philosophy, as well as signaling the genuine alternative he provides to the dilemmas plaguing so much contemporary thought. (shrink)

In his book from 1984 Horst Wessel presents the system of strict logical consequence Fs (see also (Wessel, 1979)). The author maintained that this system axiomatized the relation |=s of strict logical consequence between formulas of Classical Propositional Calculi (CPC). Let |= be the classical consequence relation in CPC. The relation |=s is defined as follows: phi |=s psi iff phi |= psi, every variable from psi occurs in phi and neither phi is a contradiction (...) nor psi is a tautology. Clearly, if phi |=s psi, then neither phi is a tautology nor psi is a contradiction. Intuitions connected with the relation |=s were presented in (Wessel, 1984). The analysis of the relation |=s is also carried out in (Pietruszczak, 2004). In the present paper we will show that the system Fs is not a complete axiomatization of the relation |=s. Moreover, we will present the system VF s that is an «extension to completeness» of the Fs. (shrink)

We group the existing variants of the familiar set-theoretical and truth-theoretical paradoxes into two classes: connective paradoxes, which can in principle be ascribed to the presence of a contracting connective of some sort, and structural paradoxes, where at most the faulty use of a structural inference rule can possibly be blamed. We impute the former to an equivocation over the meaning of logical constants, and the latter to an equivocation over the notion of consequence. Both equivocation sources are (...) tightly related, and can be cleared up by adopting a particular substructural logic in place of classical logic. We then argue that our perspective can be justified via an informational semantics of contraction-free substructural logics. (shrink)

This paper presents a model for the structure of universal frameworks in logic, mathematics, and physics that are closed to logical conclusion by the mechanism of paradox across a dualism of elements. The prohibition takes different forms defined by the framework of observation inherent to the structure. Forms include either prohibition to conclusion on the logical relationship of internal elements or prohibition to conclusion based on the existence of an element not included in the framework of a first (...) element. The model is applied to logical arguments in philosophy, mathematics, and physics and is initially a geometrical analysis of quantum theory and its application in experiment. Conclusion from the analysis is extended to give insight into the complexity of infinities above the two-dimensional boundary of the model. (shrink)

The pretheoretical notions of logical consequence and of a logical expression are linked in vague and complex ways to modal and pragmatic intuitions. I offer an introduction to the difficulties that these intuitions create when one attempts to give precise characterizations of those notions. Special attention is given to Tarski’s theories of logical consequence and logical constancy. I note that the Tarskian theory of logical consequence has fared better in the face of (...) the difficulties than the Tarskian theory of logical constancy. Other theories of these notions are explained and criticized. (shrink)

Proof and Consequence is a rigorous, elegant introduction to classical first-order natural deductive logic; it provides an accurate and accessible first course in the study of formal systems. The text covers all the topics necessary for learning logic at the beginner and intermediate levels: this includes propositional and quantificational logic (using Suppes-style proofs) and extensive metatheory, as well as over 800 exercises. Proof and Consequence provides exclusive access to the software application Simon, an easily downloadable program designed to (...) facilitate an intuitive understanding of classical logic through the generation and analysis of proofs. It also aids with the representation of natural language sentences in the formal language. Equipped with nearly all the exercises found in the text, Simon helps students work efficiently and effectively by detecting and explaining errors in solutions as they proceed. Students can also submit assignments, view their own records, and check their standing in the class. The complete logic package includes: * The logic textbook, Proof and Consequence *A very helpful study guide to the textbook, containing extra exercises, Simple Simon *Access, through Simon, to the grading software, Simon Says, that allows students to submit assignments and track their grades. (shrink)

What is the philosophical significance of the soundness and completeness theorems for first-order logic? In the first section of this paper I raise this question, which is closely tied to current debate over the nature of logical consequence. Following many contemporary authors' dissatisfaction with the view that these theorems ground deductive validity in model-theoretic validity, I turn to measurement theory as a source for an alternative view. For this purpose I present in the second section several of the (...) key ideas of measurement theory, and in the third and central section of the paper I use these ideas in an account of the relation between model theory, formal deduction, and our logical intuitions. (shrink)

Theories of possible worlds abound. Since the introduction of modal logic, the term of a possible world, and the very nature of an entity denoted by the term, have stood on the top of metaphysical inquiries. A possible world, roughly speaking, is a complete way things could have been. On the face of it, whatever is possible takes place in some possible world, and whatever is not possible, does not. The aim of the present book is to argue that even (...) impossible things happen. By taking David Lewis’s Modal Realism (henceforth as “MR”) seriously, I claim that besides infinitely many concrete ways things could have been, there exist ways things could not have been. I call them concrete impossible worlds. In Chapter I, I outline Lewis’s well-defined conception of philosophical analysis. I present its structure, aims, methodology and criteria for success. Besides the virtues of the Lewisian conception, I point out several limitations the theory has and offer very simple solution: the admission of concrete impossible worlds. In Chapter II, I present a version of an epistemological objection against MR and a positive account in favour of Modal Fictionalism (henceforth as “MF”). I then present the puzzle in this matter and attempt to generalise my point. 9 Introduction Chapter III demonstrates how flexible Lewis’s theory is. I consider a putative impossibility of there being island universes – spatiotemporally disjoint spacetimes – and show what a proponent of modal realism can do in order to account for it. I present three possible moves: a revision of our pre-theoretical opinions, a modification of our definitions and, finally, an ex- tension of our metaphysical commitments. I consider two ersatz theories of impossible worlds in Chapter IV. In particular, I scrutinize Franz Berto’s and Edwin Mares’s (hybrid) theories of MR. Although I admit that the theories radically extend the scope of applications of MR without extending its metaphysical commitments, the approaches do have some limits. Finally, in Chapter V, I present Extended Modal Realism (henceforth EMR), a theory according to which the best way to go in order to account for impossible phenomena is to ex- tend our metaphysical base by genuine impossibilia. I try to (at least) weaken, if not meet, the crucial objections to the proposal. Namely, I challenge the proclaimed universality of classical logic and, subsequently, motivate certain kind of paraconsistent approach to modal reality. Although the consequences are very hard to swallow, I argue that it is because of the fact that we are unsure of our pre-theoretical opinions concerning the impossible. (shrink)

In this dissertation, a logical analysis of points of view is presented. It is based on the concept of determinable presented by Johnson in his book Logic. A point of view is a set of Determinables. Determinables generate a many-dimensional conceptual space. Concepts are subsets of this space, and their relations form a lattice. A logical system to present points of view is introduced and proved to be complete. Some applications of this logic are demonstrated (relative (...) identity, scientific change, inductive logic etc.). (shrink)

In this book, Livingston develops the political implications of formal results obtained over the course of the twentieth century in set theory, metalogic, and computational theory. He argues that the results achieved by thinkers such as Cantor, Russell, Godel, Turing, and Cohen, even when they suggest inherent paradoxes and limitations to the structuring capacities of language or symbolic thought, have far-reaching implications for understanding the nature of political communities and their development and transformation. Alain Badiou's analysis of logical-mathematical (...) structures forms the backbone of his comprehensive and provocative theory of ontology, politics, and the possibilities of radical change. Through interpretive readings of Badiou's work as well as the texts of Giorgio Agamben, Jacques Lacan, Jacques Derrida, Gilles Deleuze, and Ludwig Wittgenstein, Livingston develops a formally based taxonomy of critical positions on the nature and structure of political communities. These readings, along with readings of Parmenides and Plato, show how the formal results can transfigure two interrelated and ancient problems of the One and the Many: the problem of the relationship of a Form or Idea to the many of its participants, and the problem of the relationship of a social whole to its many constituents. (shrink)

We focus on a branch of region-based spatial logics dealing with affine geometry. The research on this topic is scarce: only a handful of papers investigate such systems, mostly in the case of the real plane. Our long-term goal is to analyse certain family of affine logics with inclusion and convexity as primitives interpreted over real spaces of increasing dimensionality. In this article we show that logics of different dimensionalities must have different theories, thus justifying further work on different dimensions. (...) We then focus on the three-dimensional case, exploring the expressiveness of this logic and consequently showing that it is possible to construct formulas describing a three-dimensional coordinate frame. The final result, making use of the high expressive power of this logic, is that every region satisfies an affine complete formula, meaning that all regions satisfying it are affine equivalent. (shrink)

This book is an introduction to elementary logic (classical propositional and first-order logic), comprising brief summaries of the basics of elementary logic, with the emphasis on typical questions and procedure descriptions and with a large number of corresponding exercises and problems. Solutions are given for each problem and exercise, often with commentaries. The first part, Basics of Logic, deals with (a) formal language, models, Venn diagrams for sentences, and translation from natural into formal language and vice versa, (b) deduction and (...) refutation methods in the format of natural deduction (Fitch and Suppes-Lemmon styles), tableau system and Venn diagrams, and (c) basic logical properties and relations (consistency, validity, consequence, equivalence, various types of opposition, logical completeness and independency, relationship between syntax and semantics). The second part, Logic in Understanding and Analysis, introduces into (a) logical approach to problem solving in concrete situations and events as presented in brief tales and anecdotes, (b) discovering the meaning, and reconstruction of logical interconnections, in ordinary, scholarly and philosophical texts, (c) application of already mastered logical tools in examining and defining further theoretical (logical, scientific) concepts and in building formal languages. The shorter third part, From the Traditional Logic, is dedicated to the traditional logic of concepts, judgements and syllogisms, largely with the use of Venn diagrams. (shrink)