Ethics has been identified as an important factor that potentially affects auditors’ professional skepticism. For example, prior research finds that auditors who are more concerned with professional ethics exhibit greater professional skepticism. Further, the literature suggests that professional skepticism may lead the auditor to more vigilantly resist the client’s position in financial reporting disputes. These reporting disputes are generally resolved through negotiations between the auditor and client to arrive at the final reported amounts. To date, the role that professional skepticism (...) potentially plays in the negotiation process has been relatively unexplored. The literature prior to the enactment of Sarbanes–Oxley (SOX) suggests that auditors are more likely to approve a client position when the matter in dispute is relatively ambiguous and when changing the client’s position will result in the client failing to meet analysts’ expectations. However, changes resulting from SOX have led auditors to be more vigilant and therefore results found in the pre-SOX environment may not hold in the current environment where auditors are held more accountable for their actions. Results from an experiment with experienced audit managers and partners suggest that in the post-SOX climate, auditors’ negotiations do not appear to be substantively influenced by management being able to meet or beat forecasts. Moreover, we find that when auditors exhibit heightened professional skepticism, they are more ethical by being conservative and they stand more resolute than when auditors do not exhibit heightened professional skepticism. Finally, although we do not find a main effect for the influence of earnings forecast, we do find a significant interaction between earnings forecast and heightened professional skepticism. Implications for practice and research are then presented. (shrink)

Social media platforms offer convenient, instantaneous social sharing on a mass scale with tremendous impact on public perceptions, opinions, and behavior. There is a need to understand why information spreads including the human motivations, cognitive processes, and neural dynamics of large-scale sharing. This study introduces a novel approach for investigating the effect social media messaging and in-person discussion has on the inter-brain dynamics within small groups of participants. The psychophysiological impact of information campaigns and narrative messaging within a closed social (...) media environment was assessed using 24-channel wireless EEG. Data were acquired from three- or four-person groups while subjects debated contemporary social issues framed by four scenarios of varying controversy: investing in ethical vs. unethical corporations, selecting travel destination based on social awareness, determining verdict in a murder trial and the punishment of life in prison or death penalty, and decision to vaccinate. Pre-/post-scenario questionnaires assess the effects of the social media information. Inter-brain coherence between subject pairs on each social issue discussed by subjects was analyzed by concordance, agreement vs. disagreement, and by group unanimity, unanimous vs. not unanimous. Subject pairs that agreed on the social issues raised in the scenarios had significantly greater inter-brain coherence in gamma frequency range than disagreeing pairs over cortical regions known to be involved in social interactions. These effects were magnified when comparing groups where subject pairs were unanimous in their stance on the social issues for some but not all scenarios. While there was considerable overlap between scenarios in what EEG channels were significant, there was enough variability to indicate the possibility of scenario-specific effects on inter-brain coherence. (shrink)

People live and age together in social groups. Across a range of outcomes, research has identified interdependence in the cognitive and health trajectories of ageing couples. Various types of memory decline with age and people report using a range of internal and external, social, and material strategies to compensate for these declines. While memory compensation strategies have been widely studied, research so far has focused only on single individuals. We examined interdependence in the memory compensation strategies reported by spouses within (...) 58 older couples. Couples completed the Memory Compensation Questionnaire, as well as an open-ended interview about their memory compensation practices. We found that internal, intra-individual memory compensation strategies were not associated within couples, but external, extra-individual strategies showed interdependence. Individuals’ scores on material/technological compensation strategies were positively correlated with their partners’. Reported reliance on a spouse was higher for men and increased with age. Our open-ended interviews yielded rich insights into the complex and diverse resources that couples use to support memory in day-to-day life. Particularly evident was the extent of interaction and coordination between social and material compensation, such that couples jointly used external compensation resources. Our results suggest that individuals’ reports of their compensation strategies do not tell the whole story. Rather, we propose that older couples show interdependence in their memory compensation strategies, and adopt complex systems of integrated material and social memory compensation in their day-to-day lives. (shrink)

The essays collected in this volume explore the fundamental issues of philosophical realism, including metaphysical realism. Do things exist and have properties independently of being objects of thought or perception? epistemological realism: Is it possible to know any part of reality in and of itself? and ontological realism: Are there universals?

ObjectivesTo compare changes in the number and amount of payments received by orthopedic and non-orthopedic surgeons from industry between 2014 and 2017.MethodsUsing the Centers for Medicare and Medicaid Services (CMS) Open Payment database from 2014 to 2017, we conducted a retrospective cohort study of industry payments to surgeons, including general payments and research payments.ResultsAmong orthopedic surgeons, the total number of general payments decreased from 248,698 in 2014 to 241,966 in 2017, but their total value increased from $97.1 million in 2014 (...) to $110.2 million in 2017. Among non-orthopedic surgeons, the total number decreased from 604,884 in 2014 to 582,490 in 2017, while the total value remained stable at approximately $159 million. Between 2014 and 2017, there was a differential increase in the median number of general payments received by non-orthopedic when compared to orthopedic surgeons (incidence rate ratio, 1.09; 95% CI, 1.08–1.09; p < 0.001), but a differential decline in the median value of general payments (− 8.9%; 95% CI, − 9.5%, − 8.4%; p < 0.001). Findings were consistent when stratified by nature of payment. In contrast, between 2014 and 2017, there was neither a differential change in the median number nor median value of research payments received by non-orthopedics.ConclusionExamination of a natural experiment of prior public disclosure of payments to orthopedic surgeons suggests that the Physician Payment Sunshine Act was associated with an increase in the number, but a decline in the value, of general payments received by non-orthopedic surgeons, but not on research payments received. (shrink)

In this paper, we investigate the link between audit committees and earnings management providing a more comprehensive simultaneous analysis of the influence of audit committee features using a sample of 485 firm-years from Singapore's publicly traded firms during the 2000 2001 calendar period. Empirical findings indicate firms with a higher proportion of independent audit committee members are more effective at constraining earnings management. Firms with audit committees that are more diligent and/or lack the presence of independent directors serving simultaneously on (...) a substantial number of boards and committees are more effective at constraining earnings management. These findings are robust to alternative income-incentives facing corporate management. Overall, our findings have implications for stakeholders, regulators, and corporate governance. For example, our findings infer policymakers may need to focus on other audit committee characteristics to strengthen the committee's ability to constrain earnings management rather than continue the present fixation with independence. (shrink)

The promotion of ‘Global Citizenship’ (GC) has emerged as a goal of schooling in many countries, symbolising a shift away from national towards more global conceptions of citizenship. It currently incorporates a proliferation of approaches and terminologies, mirroring both the diverse conceptions of its nature and the socio-politico contexts within which it is appropriated. This paper seeks to clarify this ambiguity by constructing a typology to identify and distinguish the diverse conceptions of GC. The typology is based on two general (...) forms of GC: cosmopolitan based and advocacy based. The former incorporates four distinct conceptions of GC – namely, the political, moral, economic and cultural; the latter incorporates four other conceptions – namely, the social, critical, environmental and spiritual. Subsequently, we briefly illustrate how the typology can be used to evaluate the critical features of a curriculum plan designed to promote GC in England. The typology provides a novel and powerful means to analyse the key features of the very diverse range of educational policies and programmes that promote GC. (shrink)

We present a new frame semantics for positive relevant and substructural propositional logics. This frame semantics is both a generalisation of Routley–Meyer ternary frames and a simplification of them. The key innovation of this semantics is the use of a single accessibility relation to relate collections of points to points. Different logics are modeled by varying the kinds of collections used: they can be sets, multisets, lists or trees. We show that collection frames on trees are sound and complete for (...) the basic positive distributive substructural logic $\mathsf {B}^+$, that collection frames on multisets are sound and complete for $\mathsf {RW}^+$ (the relevant logic $\mathsf {R}^+$, without contraction, or equivalently, positive multiplicative and additive linear logic with distribution for the additive connectives), and that collection frames on sets are sound for the positive relevant logic $\mathsf {R}^+$. The completeness of set frames for $\mathsf {R}^+$ is, currently, an open question. (shrink)

Different natural deduction proof systems for intuitionistic and classical logic —and related logical systems—differ in fundamental properties while sharing significant family resemblances. These differences become quite stark when it comes to the structural rules of contraction and weakening. In this paper, I show how Gentzen and Jaśkowski’s natural deduction systems differ in fine structure. I also motivate directed proof nets as another natural deduction system which shares some of the design features of Genzen and Jaśkowski’s systems, but which differs again (...) in its treatment of the structural rules, and has a range of virtues absent from traditional natural deduction systems. (shrink)

Volume 20, Issue 6, June 2020, Page 22-24.

The aim of this book is twofold: to explain the reconciliation of religion and politics in the work of John Locke, and to explore the relevance of that reconciliation for politics in our own time. Confronted with deep social divisions over ultimate beliefs, Locke sought to unite society in a single liberal community. Reason could identify divine moral laws that would be acceptable to members of all cultural groups, thereby justifying the authority of government. Greg Forster demonstrates that Locke's (...) theory is liberal and rational but also moral and religious, providing an alternative to the two extremes of religious fanaticism and moral relativism. This account of Locke's thought will appeal to specialists and advanced students across philosophy, political science and religious studies. (shrink)

In an attempt to address the theoretical gap between linguistics and philosophy, a group of semanticists, calling itself the Generic Group, has worked to develop a common view of genericity. Their research has resulted in this book, which consists of a substantive introduction and eleven original articles on important aspects of the interpretation of generic expressions. The introduction provides a clear overview of the issues and synthesizes the major analytical approaches to them. Taken together, the papers that follow reflect the (...) current state of the art in the semantics of generics, and afford insight into various generic phenomena. (shrink)

Can philosophers be good activists? This essay defines activism for the philosopher and then provides a normative conception of a good philosopher-activist that is grounded in rational integrity and sound rational deliberation. I argue that because philosophers have been trained in reasoning and argumentation, they can contribute these skills to an activist movement. An activist with rational integrity exhibits five skills or virtues: they are honest, rational, logical, deliberative, and respectful. Conversely, bad philosopher-activists display five vices: they are dishonest, manipulative, (...) obfuscating, thoughtless, and insulting. Next, I argue that rhetorical and reasoning skills are only part of what define good activism, and describe the soft skills needed for effective activism. Philosophical training sometimes works against the development of these soft skills, but they are critical to the success of the philosopher-activist. I conclude by describing activism within the context of academic life and argue that philosophers who engage in activism can do so in an intellectually responsible way. (shrink)

Natural deduction with alternatives extends Gentzen–Prawitz-style natural deduction with a single structural addition: negatively signed assumptions, called alternatives. It is a mildly bilateralist, single-conclusion natural deduction proof system in which the connective rules are unmodi_ed from the usual Prawitz introduction and elimination rules — the extension is purely structural. This framework is general: it can be used for (1) classical logic, (2) relevant logic without distribution, (3) affine logic, and (4) linear logic, keeping the connective rules fixed, and varying purely (...) structural rules. The key result of this paper is that the two principles that introduce kinds of irrelevance to natural deduction proofs: (a) the rule of explosion (from a contradiction, anything follows); and (b) the structural rule of vacuous discharge; are shown to be two sides of a single coin, in the same way that they correspond to the structural rule of weakening in the sequent calculus. The paper also includes a discussion of assumption classes, and how they can play a role in treating additive connectives in substructural natural deduction. (shrink)

This is an exploratory and expository paper, comparing display logic formulations of normal modal logics with labelled sequent systems. We provide a translation from display sequents into labelled sequents. The comparison between different systems gives us a different way to understand the difference between display systems and other sequent calculi as a difference between local and global views of consequence. The mapping between display and labelled systems also gives us a way to understand labelled systems as properly structural and not (...) just as systems encoding modal logic into first-order logic. (shrink)

In this volume, Julinna Oxley and Ramona Ilea bring together essays that examine and defend the use of experiential learning activities to teach philosophical terms, concepts, arguments, and practices. Experiential learning emphasizes the importance of student engagement outside the traditional classroom structure. Service learning, studying abroad, engaging in large-scale collaborative projects such as creating blogs, websites and videos, and practically applying knowledge in a reflective, creative and rigorous way are all forms of experiential learning. Taken together, the contributions to (...) Experiential Learning in Philosophy argue that teaching philosophy is about doing philosophy with others. The book is divided into two sections: essays that engage in the philosophical debate about defining and implementing experiential learning, and essays that describe how to integrate experiential learning into the teaching of philosophy. Experiential Learning in Philosophy provides a timely reflection on best practices for teaching philosophical ideals and theories, an examination of the evolution of the discipline of philosophy and its adoption of active modes of learning, and an anticipation of the ways in which pedagogical practices will continue to evolve in the 21 st century. (shrink)

The literature on values in science struggles with questions about how to describe and manage the role of values in scientific research. We argue that progress can be made by shifting this literature’s current emphasis. Rather than arguing about how non-epistemic values can or should figure into scientific assessment, we suggest analyzing how scientific assessment can accommodate non-epistemic values. For scientific assessment to do so, it arguably needs to incorporate goals that have been traditionally characterized as non-epistemic. Building on this (...) insight, we show how the adequacy-for-purpose framework recently developed for assessing scientific models can provide a general framework for describing scientific assessment so that it goes beyond purely epistemic considerations. Adopting this framework has significant advantages and opens the possibility of effecting a partial rapprochement between critics and proponents of the value-free ideal. (shrink)

Paraconsistent logics are often semantically motivated by considering "impossible worlds." Lewis, in "Logic for equivocators," has shown how we can understand paraconsistent logics by attributing equivocation of meanings to inconsistent believers. In this paper I show that we can understand paraconsistent logics without attributing such equivocation. Impossible worlds are simply sets of possible worlds, and inconsistent believers (inconsistently) believe that things are like each of the worlds in the set. I show that this account gives a sound and complete semantics (...) for Priest's paraconsistent logic LP, which uses materials any modal logician has at hand. (shrink)

Human activity is causing high rates of biodiversity loss. Yet, surprisingly little is known about the extent to which socioeconomic factors exacerbate or ameliorate our impacts on biological diversity. One such factor, economic inequality, has been shown to affect public health, and has been linked to environmental problems in general. We tested how strongly economic inequality is related to biodiversity loss in particular. We found that among countries, and among US states, the number of species that are threatened or declining (...) increases substantially with the Gini ratio of income inequality. At both levels of analysis, the connection between income inequality and biodiversity loss persists after controlling for biophysical conditions, human population size, and per capita GDP or income. Future research should explore potential mechanisms behind this equality-biodiversity relationship. Our results suggest that economic reforms would go hand in hand with, if not serving as a prerequisite for, effective conservation. (shrink)

The problem of negative existentials is one of the classic problems in philosophy of language. Latter-day developments in semantics resolved this problem without our help, but due to accidents of history no one noticed.

In barely the space of one generation, Athens was transformed from a conventional city-state into something completely new--a region-state on a scale previously unthinkable. This book sets out to answer a seemingly simple question: How and when did the Athenian state attain the anomalous size that gave it such influence in Greek politics and culture in the classical period? Many scholars argue that Athens's incorporation of Attica was a gradual development, largely completed some two hundred years before the classical era. (...) Anderson, however, suggests that it is not until the late sixth century that we see the first systematic attempts by the Athenian polis to integrate all of Attica. Anderson first takes issue with the prevailing view of Cleisthenes' landmark political reforms of 508-7 b.c., arguing that they were animated by a more comprehensive vision of regional political community in Attica. The Athenians' strengthened the state by establishing institutional mechanisms that would allow inhabitants of the Attic periphery to participate as never before in the life of the center. The creation of a suitable physical setting for the new order was accompanied by religious, military, and symbolic innovations. Regional participation in Athenian affairs was stimulated by encouraging the Attic populace to imagine themselves, for the first time ever, as members of a single, like-minded, self-governing political community. Greg Anderson is Assistant Professor of Classics and History, University of Illinois at Chicago. (shrink)

Wendy S. Parker and I have advanced an inductive-risk approach to the provision of climate information that relies on the contextual values of information users. This approach aims to improve the e...

This article delves into ecopedagogy, grounded in the work of the Brazilian pedagogue Paulo Freire on popular education and critical pedagogies, to teach students to critically deconstruct the subjectivity and transformability of our world (all humans, human populations) with the rest of Earth (i.e., rest of Nature). As Friere emphasized humans’ unique characteristic of ‘unfinishedness’ with abilities of self-reflexivity through our histories and goal-setting from our dreams, (environmental) pedagogues must teach toward deepened and widened understandings for praxis grounded in socio-environmental (...) justice and planetary sustainability, including disrupting anthropocentricism. This ‘unfinishedness’ has made humans agents of world-Earth unsustainably and dominance in constructing the Anthropocene, but also allows for possibilities of transformation to counter them. I argue that ecopedagogy is essential in disrupting the following falsely taught ideologies that justifies the Anthroposphere: (1) false commonsense that separates environmental and social violence (i.e., socio-environmental violence) and instills anthropocentrism that separates humans from the rest of Nature (i.e., world-Earth distancing); (2) fatalism that extinguishes hope of ending humans’ acts of unsustainable environmental violence; (3) ‘development’ for sustaining hegemony and planetary unsustainability (i.e., Development rather than development); and (4) epistemological dominance that legitimizes the first three ideologies given (e.g., epistemologies of the North). (shrink)

In the near future developments in non-invasive prenatal testing may soon provide couples with the opportunity to test for and diagnose a much broader range of heritable and congenital conditions than has previously been possible. Inevitably, this has prompted much ethical debate on the possible implications of NIPT for providing couples with opportunities for reproductive choice by way of routine prenatal screening. In view of the possibility to test for a significantly broader range of genetic conditions with NIPT, the European (...) Society of Human Genetics and American Society of Human Genetics recommend that, pending further debate, prenatal screening for reproductive choice should only be offered where concerning serious congenital conditions and childhood disorders. In support of this recommendation, the ESHG and ASHG discuss a number of ethical issues on which they prompt further debate: the informational privacy of the future child, the trivialization of abortion, the risk of information overload, and issues of distributive justice. This paper responds to this call with further reflection on each ethical issue and how it relates to the moral justification of providing couples with opportunities for meaningful reproductive choice. The paper concludes that whilst there may be good reasons for qualifying the scope of any unsolicited prenatal screening offer to serious congenital conditions and childhood disorders, if prenatal screening is justified for providing couples with opportunities for meaningful reproductive choice, then health services may have obligations to empower couples with the same opportunity where concerning other conditions. (shrink)

Alasdair Urquhart’s work on models for relevant logics is distinctive in a number of different ways. One key theme, present in both his undecidability proof for the relevant logic R and his proof of the failure of interpolation in R, is the use of techniques from geometry. In this paper, inspired by Urquhart’s work, I explore ways to generate natural models of R+\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^+$$\end{document} from geometries, and different constraints that an accessibility relation (...) in such a model might satisfy. I end by showing that a set of natural conditions on an accessibility relation, motivated by geometric considerations, is jointly unsatisfiable. (shrink)

Loïc Wacquant argues for a radicalization of the habitus concept provided by Pierre Bourdieu, suggesting that habitus is a site and mode for conducting research, not simply an explanatory or theoretical mechanism. Taking seriously this call to examine skills and communities of practice through apprenticeship, however, requires that the theoretical account of habitus be subject to empirical testing. Moreover, enquiry into communities of practice, especially the subtle psychological, behavioural and even neurological consequences of skill acquisition, means that claims about the (...) habitus can be scrutinized by fields such as psychology, neurology and even human biology. Habitus as a truly open path of inquiry will demand, not wholly novel concepts, but a recognition of when claims about practice are simultaneously testable, and falsifiable, by other forms of empirical enquiry, including the human sciences. (shrink)

The two-dimensional modal logic of Davies and Humberstone [3] is an important aid to our understanding the relationship between actuality, necessity and a priori knowability. I show how a cut-free hypersequent calculus for 2D modal logic not only captures the logic precisely, but may be used to address issues in the epistemology and metaphysics of our modal concepts. I will explain how the use of our concepts motivates the inference rules of the sequent calculus, and then show that the completeness (...) of the calculus for Davies–Humberstone models explains why those concepts have the structure described by those models. The result is yet another application of the completeness theorem. (shrink)

I argue that aesthetic ideas should play a significant role in archaeological explanation. I sketch an account of aesthetic interests which is appropriate to archaeological contexts. I illustrate the role of aesthetics through a discussion of the transition from signals to symbols. I argue that the opposition in archaeological debate between explanation and interpretation is one we should reject.

Quality of life research aims to develop and apply indices for the measurement of human welfare. It is an increasingly important field within the social sciences and its results are an important resource for policy making and evaluation. This paper explores the conceptual background of quality of life research. It focuses on its single most important issue: the controversy between the use of ``objective social indicators'' and the use of people's ``subjective evaluations'' as proxies for welfare. Most quality of life (...) researchers today argue that people's own evaluations have an indispensable role in quality of life measurement. I argue that their position must be defended on philosophical grounds, because their use of evaluations commits them to some particular theories of welfare. I explore the connections between theories of welfare in philosophy and the use of evaluations in quality of life research. I conclude that even though evaluations may have a role in particular applications, they are unlikely to have a role in all applications. (shrink)

Combining phenomenological insights from Brentano and Sartre, but also drawing on recent work on consciousness by analytic philosophers, this book defends the view that conscious states are reflexive, and necessarily so, i.e., that they have a built-in, implicit awareness of their own occurrence, such that the subject of a conscious state has an immediate, non-objectual acquaintance with it. As part of this investigation, the book also explores the relationship between reflexivity and the phenomenal, or what-it-is-like, dimension of conscious experience, defending (...) the innovative thesis that phenomenal character is constituted by the implicit self-awareness built into every conscious state. This account stands in marked contrast to most influential extant theories of phenomenal character, including qualia theories, according to which phenomenal character is a matter of having phenomenal sensations, and representationalism, according to which phenomenal character is constituted by representational content. (shrink)

A logic is said to be contraction free if the rule from A→(A→B) to A→B is not truth preserving. It is well known that a logic has to be contraction free for it to support a non-trivial naïve theory of sets or of truth. What is not so well known is that if there is another contracting implication expressible in the language, the logic still cannot support such a naïve theory. A logic is said to be robustly contraction free if (...) there is no such operator expressible in its language. We show that a large class of finitely valued logics are each not robustly contraction free, and demonstrate that some other contraction free logics fail to be robustly contraction free. Finally, the sublogics of Łω (with the standard connectives) are shown to be robustly contraction free. (shrink)

This essay is structured around the bifurcation between proofs and models: The first section discusses Proof Theory of relevant and substructural logics, and the second covers the Model Theory of these logics. This order is a natural one for a history of relevant and substructural logics, because much of the initial work — especially in the Anderson–Belnap tradition of relevant logics — started by developing proof theory. The model theory of relevant logic came some time later. As we will see, (...) Dunn’s algebraic models [76, 77] Urquhart’s operational semantics [267, 268] and Routley and Meyer’s relational semantics [239, 240, 241] arrived decades after the initial burst of activity from Alan Anderson and Nuel Belnap. The same goes for work on the Lambek calculus: although inspired by a very particular application in linguistic typing, it was developed first proof-theoretically, and only later did model theory come to the fore. Girard’s linear logic is a different story: it was discovered though considerations of the categorical models of coherence.. (shrink)

Cost effectiveness analysis is a tool for evaluating the aggregate benefits of medical treatments, health care services, and public health programs. Its opponents often claim that its use leads to unfair discrimination against people with disabilities. My aim in this paper is to clarify the conditions under which this might be so. I present some ways in which the use of cost effectiveness analysis can lead to discrimination and suggest why these forms of discrimination may be unfair. I also discuss (...) some proposals for avoiding discrimination without rejecting cost effectiveness analysis altogether. I argue that none of these proposals is ultimately convincing. I describe a different approach to the problem and conclude by answering the question in the title. (shrink)

George Orwell wondered why oppressed proletariats in the communist and capitalist worlds did not rise up and replace the governments that oppressed them with something better for them. This is a puzzle we still face today, wherever a majority faces exploitation. The chapter examines the question of why exploited peoples don’t replace exploitative governments in their own best interest, whether through revolution or through the ballot box. The question is examined through the lens of the political philosophy and political fiction (...) of George Orwell, with special attention to how his philosophy applies to the modern USA and the Trump administration. It is argued that in the modern US, there are many reasons why the masses are exploited, but the most important is that they don’t understand the nature of their exploitation. Citizens are often isolated in reality bubbles. Our basic human irrationality, hypocrisy, and willingness to rewrite the past, are harnessed and used against us. International conflicts stoke nationalism and prevent the masses from finding a common identity with the masses worldwide. Within the US, conflicts between different social groups pit the masses against one another, and prevent them from recognizing their common condition. (shrink)

This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'. Substructural logics have independently led to significant developments in philosophy, computing and linguistics. _An Introduction to Substrucural Logics_ is the first book to systematically survey the new results and the significant impact that this class of logics has had on a wide range of fields.The following topics are covered: * Proof Theory * Propositional Structures * Frames * Decidability * Coda Both (...) students and professors of philosophy, computing, linguistics, and mathematics will find this to be an important addition to their reading. (shrink)

Three decades ago, James Bogen and James Woodward argued against the possibility and usefulness of scientific explanations of data. They developed a picture of scientific reasoning where stable phenomena were identified via data without much input from theory. Rather than explain data, theories ‘save the phenomena’. In contrast, I argue that there are good reasons to explain data, and the practice of science reveals attempts to do so. I demonstrate that algorithms employed to address inverse problems in remote-sensing applications should (...) be understood as attempts to identify phenomena by explaining the data. Thus, this paper furthers understanding of data-to-phenomena reasoning in science, and demonstrates theory may play a more central role in phenomena identification than previously recognized. (shrink)