The aim of this paper is to provide epistemic reasons for investigating the notions of informal rigour and informal provability. I argue that the standard view of mathematical proof and rigour yields an implausible account of mathematical knowledge, and falls short of explaining the success of mathematical practice. I conclude that careful consideration of mathematical practice urges us to pursue a theory of informal provability.

We analyse Kreisel’s notion of human-effective computability. Like Kreisel, we relate this notion to a concept of informal provability, but we disagree with Kreisel about the precise way in which this is best done. The resulting two different ways of analysing human-effective computability give rise to two different variants of Church’s thesis. These are both investigated by relating them to transfinite progressions of formal theories in the sense of Feferman.

The History of Philosophical and Formal Logic introduces ideas and thinkers central to the development of philosophical and formal logic. From its Aristotelian origins to the present-day arguments, logic is broken down into four main time periods: Antiquity and the Middle Ages The early modern period High modern period Early 20th century Each new time frame begins with an introductory overview highlighting themes and points of importance. Chapters discuss the significance and reception of influential works and look at historical arguments (...) in the context of contemporary debates. To support independent study, comprehensive lists of primary and secondary reading are included at the end of chapters, along with exercises and discussion questions. By clearly presenting and explaining the changes to logic across the history of philosophy, The History of Philosophical and Formal Logic constructs an easy-to-follow narrative. This is an ideal starting point for students looking to understand the historical development of logic. (shrink)

This paper considers Maddy’s strategy for naturalising mathematics in the context of Quine’s scientific naturalism. The aim of this proposal is to account for the acceptability of mathematics on scientific grounds without committing to revisionism about mathematical practice entailed by the Quine-Putnam indispensability argument. It has been argued that Maddy’s mathematical naturalism makes inconsistent assumptions on the role of mathematics in scientific explanations to the effect that it cannot distinguish mathematics from pseudo-science. I shall clarify Maddy’s arguments and show that (...) the objection can be overcome. I shall then reformulate a novel version of the objection and consider a possible answer, and I shall conclude that mathematical naturalism does not ultimately provide a viable strategy for accommodating an anti-revisionary stance on mathematics within a Quinean naturalist framework. (shrink)

Logic and Knowledge -/- Editor: Carlo Cellucci, Emily Grosholz and Emiliano Ippoliti Date Of Publication: Aug 2011 Isbn13: 978-1-4438-3008-9 Isbn: 1-4438-3008-9 -/- The problematic relation between logic and knowledge has given rise to some of the most important works in the history of philosophy, from Books VI–VII of Plato’s Republic and Aristotle’s Prior and Posterior Analytics, to Kant’s Critique of Pure Reason and Mill’s A System of Logic, Ratiocinative and Inductive. It provides the title of an important collection of papers (...) by Bertrand Russell (Logic and Knowledge. Essays, 1901–1950). However, it has remained an underdeveloped theme in the last century, because logic has been treated as separate from knowledge. -/- This book does not hope to make up for a century-long absence of discussion. Rather, its ambition is to call attention to the theme and stimulating renewed reflection upon it. The book collects essays of leading figures in the field and it addresses the theme as a topic of current debate, or as a historical case study, or when appropriate as both. Each essay is followed by the comments of a younger discussant, in an attempt to transform what might otherwise appear as a monologue into an ongoing dialogue; each section begins with an historical essay and ends with an essay by one of the editors. -/- Carlo Cellucci is Emeritus Professor of Philosophy at the University of Rome ‘La Sapienza,’ Italy. He is currently completing a book entitled, Remaking Logic: What is Logic Really? -/- Emily Grosholz is Professor of Philosophy at the Pennsylvania State University, USA. She is the author of Representation and Productive Ambiguity in Mathematics and the Sciences (Oxford University Press, 2007). -/- Emiliano Ippoliti is a Research Fellow at the University of Rome ‘La Sapienza,’ Italy. His main interests are heuristics, the logic of discovery, and problem-solving. He is currently working on a book, Ampliating Knowledge: Data, Hypotheses and Novelty. -/- TABLE OF CONTENTS -/- Foreword .................................................................................................... ix Acknowledgements ................................................................................. xxv -/- Section I: Logic and Knowledge -/- Chapter One................................................................................................. 3 The Cognitive Importance of Sight and Hearing in Seventeenthand Eighteenth-Century Logic (Mirella Capozzi) Discussion .............................................................................................. 26 (Chiara Fabbrizi) Chapter Two .............................................................................................. 33 Nominalistic Content (Jody Azzouni) Discussion ............................................................................................... 52 (Silvia De Bianchi) Chapter Three ............................................................................................ 57 A Garden of Grounding Trees (Göran Sundholm) Discussion.......................................................................................... .. 75 (Luca Incurvati) Chapter Four .............................................................................................. 81 Logics and Metalogics (Timothy Williamson) Discussion.......................................................................................... 101 (Cesare Cozzo) Chapter Five ............................................................................................ 109 Is Knowledge the Most General Factive Stative Attitude? (Cesare Cozzo) Discussion.......................................................................................... 117 (Timothy Williamson) Chapter Six .............................................................................................. 123 Classifying and Justifying Inference Rules (Carlo Cellucci) Discussion.......................................................................................... 143 (Norma B. Goethe) -/- Section II: Logic and Science -/- Chapter Seven.......................................................................................... 151 The Universal Generalization Problem and the Epistemic Status of Ancient Medicine: Aristotle and Galen (Riccardo Chiaradonna) Discussion.......................................................................................... 168 (Diana Quarantotto) Chapter Eight........................................................................................... 175 The Empiricist View of Logic (Donald Gillies) Discussion.......................................................................................... 191 (Paolo Pecere) Chapter Nine............................................................................................ 197 Artificial Intelligence and Evolutionary Theory: Herbert Simon’s Unifying Framework (Roberto Cordeschi) Discussion.......................................................................................... 216 (Francesca Ervas) Chapter Ten ............................................................................................. 221 Evolutionary Psychology and Morality: The Renaissance of Emotivism? (Mario De Caro) Discussion.......................................................................................... 232 (Annalisa Paese) Chapter Eleven ........................................................................................ 237 Between Data and Hypotheses (Emiliano Ippoliti) Discussion.......................................................................................... 262 (Fabio Sterpetti) -/- Section III: Logic and Mathematics -/- Chapter Twelve ....................................................................................... 273 Dedekind Against Intuition: Rigor, Scope and the Motives of his Logicism (Michael Detlefsen) Discussion.......................................................................................... 290 (Marianna Antonutti) Chapter Thirteen...................................................................................... 297 Mathematical Intuition: Poincaré, Polya, Dewey (Reuben Hersh) Discussion.......................................................................................... 324 (Claudio Bernardi) Chapter Fourteen ..................................................................................... 329 On the Finite: Kant and the Paradoxes of Knowledge (Carl Posy) Discussion.......................................................................................... 358 (Silvia Di Paolo) Chapter Fifteen ........................................................................................ 363 Assimilation: Not Only Indiscernibles are Identified (Robert Thomas) Discussion.......................................................................................... 380 (Diego De Simone) Chapter Sixteen ....................................................................................... 385 Proofs and Perfect Syllogisms (Dag Prawitz) Discussion.......................................................................................... 403 (Julien Murzi) Chapter Seventeen ................................................................................... 411 Logic, Mathematics, Heterogeneity (Emily Grosholz) Discussion.......................................................................................... 427 (Valeria Giardino) -/- Contributors........................................................................................ ..... 433 Index............................................................................................... ......... 437 -/- Price Uk Gbp: 49.99 Price Us Usd: 74.99. (shrink)

Marianna Papastephanou University of Cyprus Since Plato’s allegory of the cave two educational-philosophical critical modes have stood out: the descriptive and the normative (rea...

In this paper, I will focus on a type of confabulation that emerges in relation to questions about mental attitudes whose causes we cannot introspectively access. I argue against two popular views that see confabulations as mainly offering a psychological story about ourselves. On these views, confabulations are the result of either a cause-tracking mechanism or a self-directed mindreading mechanism. In contrast, I propose the view that confabulations are mostly telling a normative story: they are arguments primarily offered to justify (...) one’s attitudes, and they are produced by our argumentative reasoning mechanism driven by the biological goal of presenting ourselves as good reasoners and as reliable sources of information. (shrink)

Old and new complicities of collective political attachment in violence give patriotism a bad name. Simplistic positions often view collective attachment as either entirely bad or as sanitizable merely by adding to patriotism the adjective ‘critical’. Patriotic affectivity, as illustrated with the political emotion of pride, stands out within philosophical debates. This article argues that, to think about patriotism differently, we need to look more closely at ‘optics’ of patriotism and pride that have escaped debate although they are crucial for (...) avoiding older pitfalls. To this end, I revisit Richard Rorty’s and Martha Nussbaum’s positions on pride by introducing more challenging examples of what being/feeling patriotic should mean. I reframe patriotism so that an ‘outward’ ‘optic’ acts as a strong corrective of the usual inward preoccupation with domestic issues within the polity and the state. (shrink)

The Depression Anxiety Stress Scales is a set of psychometrically sound scales that is widely used to assess negative emotional states in adults. In this project, we developed the Depression Anxiety Stress Scales for Youth and tested its psychometric properties. Data were collected from 2,121 Australian children and adolescents aged 7–18. This sample was split randomly into a calibration group and a cross-validation group. First, we used Confirmatory Factor Analysis on the calibration group to test the 3-factor DASS model on (...) 40 items we had developed in previous exploratory studies. We then selected the best-performing 21 items based on both statistical and theoretical considerations, guided by the structure and item content of the adult DASS. We cross-validated this new 21-item model in the second half of the sample. Results indicated good fit for the final 21-item 3-factor DASS model in both groups of children and adolescents. Multiple regression analyses showed that when scores on the other DASS-Y scales were held constant, the DASS-Y Depression scale had a strong negative relationship with positive affect and life satisfaction, the DASS-Y Anxiety scale was strongly associated with physiological hyperarousal, and the DASS-Y Stress scale was associated with excessive worrying. However, the relationship between Stress and worrying was only evident from age 10 onwards. Our results show that the core symptoms that define depression, anxiety and stress in children and adolescents are similar to those previously found in adults. The DASS-Y is a public domain instrument that we hope will prove useful in both research and clinical contexts. (shrink)

Traditional medical practices and relationships are changing given the widespread adoption of AI-driven technologies across the various domains of health and healthcare. In many cases, these new technologies are not specific to the field of healthcare. Still, they are existent, ubiquitous, and commercially available systems upskilled to integrate these novel care practices. Given the widespread adoption, coupled with the dramatic changes in practices, new ethical and social issues emerge due to how these systems nudge users into making decisions and changing (...) behaviours. This article discusses how these AI-driven systems pose particular ethical challenges with regards to nudging. To confront these issues, the value sensitive design approach is adopted as a principled methodology that designers can adopt to design these systems to avoid harming and contribute to the social good. The AI for Social Good factors are adopted as the norms constraining maleficence. In contrast, higher-order values specific to AI, such as those from the EU High-Level Expert Group on AI and the United Nations Sustainable Development Goals, are adopted as the values to be promoted as much as possible in design. The use case of Amazon Alexa's Healthcare Skills is used to illustrate this design approach. It provides an exemplar of how designers and engineers can begin to orientate their design programs of these technologies towards the social good. (shrink)

Healthcare is becoming increasingly automated with the development and deployment of care robots. There are many benefits to care robots but they also pose many challenging ethical issues. This paper takes care robots for the elderly as the subject of analysis, building on previous literature in the domain of the ethics and design of care robots. Using the value sensitive design approach to technology design, this paper extends its application to care robots by integrating the values of care, values that (...) are specific to AI, and higher-scale values such as the United Nations Sustainable Development Goals. The ethical issues specific to care robots for the elderly are discussed at length alongside examples of specific design requirements that work to ameliorate these ethical concerns. (shrink)

While there is a widespread acceptance of the link between religiosity and ethics, there is less certainty how this influence occurs exactly, necessitating further research into these issues. A main roadblock to our understanding of this influence from an Islamic perspective is the absence of a validated measurement tool. The purpose of this study therefore is to develop a Scale of Muslims’ Views of Allah. This article discusses how the SMVA was developed through the following five steps: establishment of content (...) and face validity; application of a cognitive interviewing technique to pretest the SMVA with sixteen participants; pilot testing of the SMVA with twelve participants; administration of the SMVA online to marketing and management professionals via a multi-stage cluster sampling process to verify the scale’s reliability and validity; and testing criterion-related validity. The results showed that the newly constructed 13-item scale had adequate psychometric properties. Finally, the implications for organisations, limitations and future research are discussed. (shrink)

The pervasiveness of AI-empowered technologies across multiple sectors has led to drastic changes concerning traditional social practices and how we relate to one another. Moreover, market-driven Big Tech corporations are now entering public domains, and concerns have been raised that they may even influence public agenda and research. Therefore, this chapter focuses on assessing and evaluating what kind of business model is desirable to incentivise the AI for Social Good (AI4SG) factors. In particular, the chapter explores the implications of this (...) discourse for SDG #17 (global partnership) and how this goal may encourage Big Tech corporations to strengthen multi-stakeholder partnerships that promote effective public-private and civil society partnerships and the meaningful co-presence of non-market and market values. In doing so, the chapter proposes an analysis of the sociological notion of "social license to operate" (SLO) elaborated in the mining and extractive industry literature and introduces it into the discourse on sustainable digital business models and responsible management of risks in the digital age. This serves to explore how such a social license can be adopted as a practice by digital business models to foster trust, collaboration and coordination among different actors - AI researchers and initiatives, institutions and civil society at large - for the support of SDGs interrelated targets and goals. (shrink)

What form does power take in situations of retaliation against whistleblowers? In this article, we move away from dominant perspectives that see power as a resource. In place, we propose a theory of normative power and violence in whistleblower retaliation, drawing on an in-depth empirical study. This enables a deeper understanding of power as it circulates in complex processes of whistleblowing. We offer the following contributions. First, supported by empirical findings we propose a novel theoretical framing of whistleblower retaliation and (...) the role of mental health, which draws upon poststructuralist psychoanalytic thinking. Specifically, we highlight how intra- and inter-psychic affective and ambivalent attachments to organizations influence the use of normative violence in cases of whistleblower retaliation. The second contribution is empirical and builds upon the existing literature on whistleblower retaliation by highlighting how organizations position whistleblower subjects as mentally unstable and unreliable individuals, to undermine their claims. We conclude by highlighting the implications of normative power for the outcomes of whistleblower struggles. (shrink)

The logic of Conditional Beliefs has been introduced by Board, Baltag, and Smets to reason about knowledge and revisable beliefs in a multi-agent setting. In this article both the semantics and the proof theory for this logic are studied. First, a natural semantics forCDLis defined in terms of neighbourhood models, a multi-agent generalisation of Lewis’ spheres models, and it is shown that the axiomatization ofCDLis sound and complete with respect to this semantics. Second, it is shown that the neighbourhood semantics (...) is equivalent to the original one defined in terms of plausibility models, by means of a direct correspondence between the two types of models. On the basis of neighbourhood semantics, a labelled sequent calculus forCDLis obtained. The calculus has strong proof-theoretic properties, in particular admissibility of contraction and cut, and it provides a decision procedure for the logic. Furthermore, its semantic completeness is used to obtain a constructive proof of the finite model property of the logic. Finally, it is shown that other doxastic operators can be easily captured within neighbourhood semantics. This fact provides further evidence of the naturalness of neighbourhood semantics for the analysis of epistemic/doxastic notions. (shrink)

While the notion of risk remains under-theorised in moral philosophy, risk aversion and moralist self-protection appear as dominant cultural tendencies saturating educational orientation and practice. Philosophy of education has responded to the educational emphasis on risk management by exposing the unavoidable and positive presence of risk in any endeavour to learn and teach. Taking such responses into account, I discuss how the theoretical connection of risk and education could be radicalised through an ethical approach combined with epistemological and existential concerns. (...) My aim is to propose an ethics that is sensitive to the difference between risks taken and risks imposed and to the cultural variations of what counts as danger. Finally, I explain how the educational relevance of such an ethics requires a prior questioning of the western understanding of self and world that has functioned as a subtext of the dominant view of risk. (shrink)

The article explores the relationship between Baukunst and Zeitwille in the practice and pedagogy of Ludwig Mies van der Rohe, and the significance of the notions of civilization and culture for his philosophy of education and design practice. Focusing on the negation of metropolitan life and mise en scene of architectural space as its starting point, it examines how Georg Simmel’s notion of objectivity could be related to Mies’s understanding of civilization. Its key insight is to recognize that Mie’s practice (...) and pedagogy was directed by the idea that architecture should capture the driving force of civilization. The paper also summarizes the foundational concepts of Mies’s curriculum in Chicago. It aims to highlight the importance of the notions of Zeitwille and impersonality in Mies van der Rohe’s thought and to tease apart the tension between the impersonality and the role of the autonomous individual during the modernist era. (shrink)

The article examines the impact of the virtual public sphere on how urban spaces are experienced and conceived in our data-driven society. It places particular emphasis on urban scale digital twins, which are virtual replicas of cities that are used to simulate environments and develop scenarios in response to policy problems. The article also investigates the shift from the technical to the socio-technical perspective within the field of smart cities. Despite the aspirations of urban scale digital twins to enhance the (...) participation of citizens in the decision-making processes relayed to urban planning strategies, the fact that they are based on a limited set of variables and processes makes them problematic. The article aims to shed light on the tension between the real and the ideal at stake during this process of abstracting sets of variables and processes in the case of urban scale digital twins. (shrink)

The article scrutinizes the impact of the 1968 student protests on architectural education and epistemology within the Italian and American context, the advocacy planning movement and the relationship of architecture and urban planning with the socio-political climate around 1968. It aims to demonstrate how the concepts of urban renewal and ‘nuova dimensione’ were progressively abandoned in the USA and Italy respectively. It presents how the critique of these concepts was related to the conviction that they were incompatible with socially effective (...) architecture and urban design approaches. The article sheds light on the complexity of the reorientations that took place in both contexts, taking into consideration the impact of student protests, and the 1968 Civil Rights Action the architects and urban planners’s task on the curricula of schools of architecture. It also investigates certain counter-events and counter-publications in the USA and Italy, shedding light on how they reinvented the relationship between architecture and democracy. It reveals the tensions between enhancing equality in planning process and local bureaucracy in the case of advocacy planning strategies. (shrink)

Analytic Philosophy, Volume 62, Issue 3, Page 295-311, September 2021.

Many of our beliefs behave irrationally: this is hardly news to anyone. Although beliefs’ irrational tendencies need to be taken into account, this paper argues that beliefs necessarily preserve at least a minimal level of rationality. This view offers a plausible picture of what makes belief unique and will help us to set beliefs apart from other cognitive attitudes.

The article scrutinizes the impact of the 1968 student protests on architectural education and epistemology within the Italian and American context, the advocacy planning movement and the relationship of architecture and urban planning with the socio-political climate around 1968. It aims to demonstrate how the concepts of urban renewal and ‘nuova dimensione’ were progressively abandoned in the USA and Italy respectively. It presents how the critique of these concepts was related to the conviction that they were incompatible with socially effective (...) architecture and urban design approaches. The article sheds light on the complexity of the reorientations that took place in both contexts, taking into consideration the impact of student protests, and the 1968 Civil Rights Action the architects and urban planners’s task on the curricula of schools of architecture. It also investigates certain counter-events and counter-publications in the USA and Italy, shedding light on how they reinvented the relationship between architecture and democracy. It reveals the tensions between enhancing equality in planning process and local bureaucracy in the case of advocacy planning strategies. (shrink)

In search for the “missing links” of queer posthumanist discourses, some nonhuman animals play a crucial role in setting up new possible ontologies of sexual diversity. However, the desire to trace “natural” evidence for sexual diversity and a non-binary gender system that goes beyond the simplistic “social constructionism” vs. “biological essentialism” dichotomy in the nonhuman world should be critically examined. In this article I analyze both the scientific and popular representations of “wild and weird” nonhuman animals that became rich semiotic-material (...) referents to human sexuality and gender diversity in order to propose “transpecies intimacies” as a strategy for overcoming the deadlock present in naturalizing and essentializing discourses. This essay focuses on the case of the spotted hyena, because this nonhuman animal functions as an important signifier and material resource for sexual differences on multiple levels of power relations – institutional, scientific, educational, somatic, discursive, and even affective. I consider how biomedical narratives on sexualized nonhuman animals employ hegemonic economies of sexual difference to build stories of a naturalized sexuality and an embodied gender difference wherein some chemical substances, like hormones, and some body parts, like genitals, serve as primary actors in this semiotic-material system. (shrink)

Adjectives such as “environmental”, “social”, “cosmopolitan”, “relational”, “distributive”, etc. reflect how scholars discern the many faces of justice and put several claims to, and claimants of, justice in perspective. They have also helped related research to focus on some surfaces of justice, that is, on spaces that invite justice, localities and formations, such as the state, social policies, social institutions, etc. within which ethical-political challenges unravel. Diverse philosophical perspectives enable context-specific explorations of faces of justice. However, I argue, there is (...) more to the concept of justice than what perspectives allow us to view. To theorize how this surplus may be more discernible through stereoscopic rather than perspectival optics I first describe how educational-philosophical perspectives, old and new, discuss just education or education for justice; and then I critique the very notion of perspective on which scholarly work relies. Despite their merits, perspectival framings of justice fail to address the interconnectivity of various faces of justice. (shrink)

The error theory is a metaethical theory that maintains that normative judgments are beliefs that ascribe normative properties, and that these properties do not exist. In a recent paper, Bart Streumer argues that it is impossible to fully believe the error theory. Surprisingly, he claims that this is not a problem for the error theorist: even if we can’t fully believe the error theory, the good news is that we can still come close to believing the error theory. In this (...) paper I show that Streumer’s arguments fail. First, I lay out Streumer’s argument for why we can’t believe the error theory. Then, I argue against the unbelievability of the error theory. Finally, I show that Streumer’s positive proposal that we can come close to believing the error theory is actually undermined by his own argument for why we can’t believe the error theory. (shrink)