Given any proposition, is it possible to have rationally acceptable attitudes towards it? Absent reasons to the contrary, one would probably think that this should be possible. In this paper I provide a reason to the contrary. There is a proposition such that, if one has any opinions about it at all, one will have a rationally unacceptable set of propositional attitudes—or if one doesn’t, one will end up being cognitively imperfect in some other manner. The proposition I am concerned (...) with is a self-referential propositional attitude ascription involving the propositional attitude of rejection. Given a basic assumption about what constitutes irrationality, and a few assumptions about the nature of cognitively ideal agents, a paradox results. This paradox is superficially like the Liar, but it is importantly different in that no alethic notions are involved at all. As such, it stands independent of the Liar and is not a ‘revenge’ version of it. After setting out the paradox I discuss possible responses. After considering several I argue that one is best off simply accepting that the paradox shows us something surprising and interesting about rationality: that some cognitive shortfall is unavoidable even for ideal agents. I argue that nothing disastrous follows from accepting this conclusion. (shrink)

Though the social world is real and objective, the way that social facts arise out of other facts is in an important way shaped by human thought, talk and behaviour. Building on recent work in social ontology, I describe a mechanism whereby this distinctive malleability of social facts, combined with the possibility of basic human error, makes it possible for a consistent physical reality to ground an inconsistent social reality. I explore various ways of resisting the prima facie case for (...) social inconsistency. I conclude, however, that the prima facie case survives scrutiny, and draw out some of the ramifications. (shrink)

Many philosophers believe that luck egalitarianism captures “desert-like” intuitions about justice. Some even think that luck egalitariansm distributes goods in accordance with desert. In this paper, we argue that this is wrong. Desertism conflicts with luck egalitarianism in three important contexts, and, in these contexts, desertism renders the proper moral judgment. First, compared to desertism, luck egalitarianism is sometimes too stingy: it fails to justly compensate people for their socially valuable contributions—when those contributions arose from “option luck”. Second, luck egalitarianism (...) is sometimes too restrictive: it fails to justly compensate people who make a social contribution when that contribution arose from “brute luck”. Third, luck egalitarianism is too limited in scope: it cannot diagnose economic injustice arising independently of comparative levels of justice. The lesson of this paper is that luck egalitarians should consider supplementing their theory with desert considerations. Or, even better, consider desertism as a superior alternative to their theory. (shrink)

The theory of collective agency and intentionality is a flourishing field of research, and our understanding of these phenomena has arguably increased greatly in recent years. Extant theories, however, are still ill-equipped to explain certain aspects of collective intentionality. In this article we draw attention to two such underappreciated aspects: the failure of the intentional states of collectives to supervene on the intentional states of their members, and the role of non-human factors in collective agency and intentionality. We propose a (...) theory of collective intentionality which builds on the ‘interpretationist’ tradition in metasemantics and the philosophy of mind as initiated by David Lewis and recently developed further by Robbie Williams. The collective-level analogue of interpretationism turns out to look different in some ways from the individual-level theory, but is well-suited to accommodating phenomena such as hybrid collective intentionality. Complemented with Kit Fine’s theory of variable embodiment, such a theory also provides a diachronic account of intentional collectives. (shrink)

Does the moral badness of pain depend on who feels it? A common, but generally only implicitly stated view, is that it does not. This view, ‘unitarianism’, maintains that the same interests of different beings should count equally in our moral calculus. Shelly Kagan’s project in How to Count Animals, more or less is to reject this common view, and develop an alternative to it: a hierarchical view of moral status, on which the badness of pain does depend on who (...) feels it. In this review essay, we critically examine Kagan’s argument for status hierarchy. In particular, we reject two of the central premises in his argument: that moral standing is ultimately grounded in agency and that unitarianism is overdemanding. We conclude that moral status may, despite Kagan’s compelling argument to the contrary, not be hierarchical. (shrink)

This introductory chapter provides a general framework for thinking about the relationship between wealth and power. It begins by situating the topic in the history of political thought, modern social science, and recent political philosophy, before putting forward an analytical framework. This has three elements: first, the idea of liberalism's public/private divide: a division between a power-wielding state from which wealth should be absent, and a market economy from which power should be absent; second, the two ways the division can (...) be transgressed by the power of the wealthy: by the wealthy subverting the power of the state and by directly exercising power within the economy; and third, the four different approaches to responding to the transgression, either aiming to reassert the public/private divide or to move beyond it. (shrink)

Drawing on recent developments in dialogic approaches to learning and teaching, I examine the roots of dialogic meaning-making as a concept in classroom practices. Developments in the field of dialogic pedagogy are reviewed and the case for dialogic engagement as an approach to classroom interaction is considered. The implications of dialogic classroom approaches are discussed in the context of educational research and classroom practice. Dialogic practice is contrasted with monologic practices as evidenced by the resilient of the IRF as the (...) default discourse structure in classrooms. Recent evidence suggests the IRF is resistant to attempts to introduce interactive approaches to whole class teaching. Discussion of dialogic practice as a vehicle for increasing pupil engagement at a deep level and raising the quality of classroom interaction is illustrated through a consideration of Philosophy for Children, which is identified as a dialogic approach to classroom practice which has transformative potential for children's learning. Philosophy for Children offers an approach to pedagogy which enables teachers to value pupil voice and promote reflective learning. As such it has much to offer the current debate on dialogic teaching and learning. Research evidence suggests it will promote improved pupil outcomes on a range of assessments. (shrink)

Is political equality viable given the unequal private property holdings characteristic of a capitalist economy? This book places the wealth-politics nexus at the centre of scholarly analysis. Traditional theories of democracy and property have often ignored the ways in which the rich attempt to convert their wealth into political power, operating on the implicit assumption that politics is isolated from economic forces. This book brings the moral and political links between wealth and power into clear focus. The chapters are divided (...) into three thematic sections. Part I analyses wealth and politics from the perspective of various political traditions, such as liberalism, republicanism, anarchism, and Marxism. Part II addresses the economic sphere, and looks at the political influence of corporations, philanthropists and commons-based organizations. Finally, Part III turns to the political sphere and looks at the role of political parties and constitutions, and phenomena such as corruption and lobbying. Wealth and Power: Philosophical Perspectives will be of interest to scholars and advanced students working in political philosophy, political science, economics, and law. (shrink)

What determines whether an object is an artwork? In this paper I consider what I will call ‘social’ theories of art, according to which the arthood of objects depends in some way on the art-related social practices that we have. Though such a dependence claim is plausible in principle, social theories of art tend to unpack the determining link between artworks and social practices in terms of intentional relations between the objects in question and the people involved in the relevant (...) practices. This intentionalism has unappealing upshots. Drawing on two-dimensional approaches in social ontology, I show how social theories of art can be done differently, improving their prospects. (shrink)

This thesis is about the metaphysics of logic. I argue against a view I refer to as ‘logical realism’. This is the view that the logical constants represent a particular kind of metaphysical structure, which I dub ‘logico-metaphysical structure’. I argue instead for a more metaphysically lightweight view of logic which I dub ‘logical expressivism’. -/- In the first part of this thesis (Chapters I and II) I argue against a number of arguments that Theodore Sider has given for logical (...) realism. In Chapter I, I present an argument of his to the effect that logico-metaphysical structure provides the only good explanation of the semantic determinacy of the logical constants. I argue that other explanations are possible. In Chapter II, I present another argument of his to the effect that logico-metaphysical structure is something that comes along with ontological realism: the view that there is a non-language-relative fact of the matter about what exists. I argue that the connection between logical and ontological realism is not as close as Sider makes it out to be. -/- In the second part of this thesis (Chapters III – V) I set out a positive view of the logical constants that can explain both why their meanings are semantically determinate, and why they form part of our vocabulary. On that view, the primary bearers of logical structure are propositional attitudes, and the logical constants are in our language as vehicles for the expression of logically complex propositional attitudes. In Chapter III, I set out an expressivist theory of propositional logic. In Chapter IV, I use this theory to explain how the logical connectives end up having determinate meanings. In Chapter V, I extend the expressivist theory to predicate logic. (shrink)

An introduction to the special issue of the Erasmus Journal for Philosophy and Economics: "On the Very Idea of a Just Wage".

When some P implies some Q, this should have some impact on what attitudes we take to P and Q. In other words: logical consequence has a normative import. I use this idea, recently explored by a number of scholars, as a stepping stone to a bolder view: that relations of logical consequence can be identified with norms on our propositional attitudes, or at least that our talk of logical consequence can be explained in terms of such norms. I investigate (...) the prospects of such a cognitive norm account of logical consequence. I go over the challenges involved in finding a plausible bridge principle connecting logical consequence to cognitive norms, in particular a biconditional principle that gives us not only necessary but sufficient conditions for logical consequence in terms of norms on propositional attitudes. Then, on the assumption that an adequate norm can be found, I consider what the philosophical merits of such a cognitive norm account would be, and what theoretical commitments it would generate. (shrink)

Relationships with international students can be beneficial to higher education in terms of financial and human resources. For this reason, establishing and maintaining such relationships are usually pre-eminent concerns. In this study, we extended the application of the disconfirmation expectation model by incorporating components from subjective task value to predict the loyalty of international students toward their host countries. On a sample of 410 Vietnamese students enrolled in establishments of higher education in over 15 countries across the globe, we employed (...) structural equation model to construct the conceptual model. Our empirical findings revealed that while the roles of satisfaction and disconfirmation are still important as direct and indirect antecedents of international student loyalty, its most powerful predictors are the three components of subjective task value: attainment, utility and intrinsic. These insights result in a number of implications for actors on the higher ducation scene, such as heads of institutions and policy makers. (shrink)

We submit this brief in support of the Nonhuman Rights Project’s efforts to secure habeas corpus relief for the elephant named Happy. The Supreme Court, Bronx County, declined to grant habeas corpus relief and order Happy’s transfer to an elephant sanctuary, relying, in part, on previous decisions that denied habeas relief for the NhRP’s chimpanzee clients, Kiko and Tommy. Those decisions use incompatible conceptions of ‘person’ which, when properly understood, are either philosophically inadequate or, in fact, compatible with Happy’s personhood.

The Philosophy for Children in Schools Project is an ongoing research project to explore the impact of philosophy for children (P4C) on classroom practice. this paper responds on the responses of head teachers, teachers and local educational authority (LA) officers in South Wales, UK, to the initial training programme in P4C carried out by the University School of Education. Achieving change in schools through the embedding of new practices is an important challenge for head teacher.s Interviews and qualitative questionnaires were (...) used to explore perceptions of and attitudes towards the dialogic practice of P4C and the related challenged for school leaders. The results provide an insight into how head teachers planned to embed the new practice of P4C in their schools. Results from the interviews and questionnaires have been subject to iterative analysis and categories derived under which to discuss the findings. There are many similarities in the the ways in which different head teachers go about planning change in their schools as well as differences. The results provide insight into the role of initial continuing professional development (CPD) in school development and the processes by which individual heads plan to embed change in practice across the whole school. (shrink)

Short introduction to the V2 publication of "The War of Appearances: Transparency, Opacity, Radiance" (2016). An anthology with Matteo Pasquinelli, Luciana Parisi, Graham Harman, Tomas Saraceno, René ten Bos, Tim Morton, McKenzie Wark, Wim Delvoye, Diana Scherer, Paolo Cirio, Paul Frissen, and Willem Schinkel.

This research focuses on Schizophrenia and Clairaudience that is part of doctoral research for a Doctorate of Metaphysical Sciences at the University of Metaphysics. The mental illness known as Schizophrenia has been known for centuries. There are various symptoms associated with this mental illness upon which a diagnosis is based. The exact causes of the mental illness Schizophrenia remain unknown, as does the actual part of the individual which is effect by the illness. The most prominent and definable symptom of (...) Schizophrenia remains to be auditory hallucinations. Another explanation for individual's being able to hear voices, is that of clairaudience, a psychic ability. Clairaudient ability has a positive connotation upon the ability to hear voices, whereas the diagnosis of Schizophrenia is most commonly treated with pharmaceutical drugs to reduce or eliminate symptoms. This paper involves information about Schizophrenia, how it is perceived and treated. It also discusses various views of clairaudience, and how it is effective and manageable. A new approach is required to the medical industry when individuals are being treated for a diagnosis of Schizophrenia. (shrink)

This is a critical examination of Zizek's concept of ideology in his work on the Sublime of Ideology. His account on this connotes that people are basing only in the conscious state without considering the unconscious "I." This framework in psychology has led Zizek to relate it in the process of economics which is greatly manifested in the contradictory poles of the oppressor and the oppressed and its relationship to the process of commodities. Looking into this orientation, this leaves the (...) author to incorporate the ideological character of Zizek through the lens of Anti-Terrorism Law which is not seen in the naked eye. (shrink)

Short introduction to the V2 publication of "The War of Appearances: Transparency, Opacity, Radiance" (2016). An anthology with Matteo Pasquinelli, Luciana Parisi, Graham Harman, Tomas Saraceno, René ten Bos, Tim Morton, and many others.

In December 2013, the Nonhuman Rights Project (NhRP) filed a petition for a common law writ of habeas corpus in the New York State Supreme Court on behalf of Tommy, a chimpanzee living alone in a cage in a shed in rural New York (Barlow, 2017). Under animal welfare laws, Tommy’s owners, the Laverys, were doing nothing illegal by keeping him in those conditions. Nonetheless, the NhRP argued that given the cognitive, social, and emotional capacities of chimpanzees, Tommy’s confinement constituted (...) a profound wrong that demanded remedy by the courts. Soon thereafter, the NhRP filed habeas corpus petitions on behalf of Kiko, another chimpanzee housed alone in Niagara Falls, and Hercules and Leo, two chimpanzees held in research facilities at Stony Brook University. Thus began the legal struggle to move these chimpanzees from captivity to a sanctuary, an effort that has led the NhRP to argue in multiple courts before multiple judges. The central point of contention has been whether Tommy, Kiko, Hercules, and Leo have legal rights. To date, no judge has been willing to issue a writ of habeas corpus on their behalf. Such a ruling would mean that these chimpanzees have rights that confinement might violate. Instead, the judges have argued that chimpanzees cannot be bearers of legal rights because they are not, and cannot be persons. In this book we argue that chimpanzees are persons because they are autonomous. (shrink)

In this brief, we argue that there is a diversity of ways in which humans (Homo sapiens) are ‘persons’ and there are no non-arbitrary conceptions of ‘personhood’ that can include all humans and exclude all nonhuman animals. To do so we describe and assess the four most prominent conceptions of ‘personhood’ that can be found in the rulings concerning Kiko and Tommy, with particular focus on the most recent decision, Nonhuman Rights Project, Inc v Lavery.

Brouwer’s intuitionism was a far-reaching attempt to reform the foundations of mathematics. While the mathematical community was reluctant to accept Brouwer’s work, its response to later-developed brands of intuitionism, such as those presented by Hermann Weyl and Arend Heyting, was different. The paper accounts for this difference by analyzing the intuitionistic versions of Brouwer, Weyl, and Heyting in light of a two-tiered model of the body and image of mathematical knowledge. Such a perspective provides a richer account of each story (...) and points to a possible connection between the community’s reaction and the changes each mathematician had proposed. (shrink)

La sincronicità, è “la simultaneità di un certo stato psichico con uno o più eventi esterni che paiono paralleli significativi della condizione momentaneamente soggettiva” (Jung, 1952). C.G.Jung e il fisico quantistico premio Nobel, W. Pauli, ci introducono con tale concettualizzazione in un mondo, nel quale ciò che è interno e ciò che è esterno a noi non è così nettamente definito, mondo nel quale le “coincidenze” non sono più tali, ma rivestono un significato ed un’importanza per la nostra psiche, per (...) la nostra vita. Se un bambino mentre gioca sulla riva di un fiume, vi cade e rischia di venire trascinato dalla corrente, e nello stesso momento sua madre dall’altra parte della città è preda di un’angoscia che l’attanaglia e grida: “il mio bambino!”, siamo in presenza di un evento sincronistico, nel senso della definizione di Jung sopracitata. Noi crediamo, sulla scia di Jung e Pauli che la sincronicità possa essere un possibile principio esplicativo della realtà da affiancare alla causalità, per Pauli vi sono nella realtà sia elementi razionali sia irrazionali ed è quindi impossibile per la fisica dire l’ultima parola sulla realtà, visto che quest’ultima è così complessa. L’attuazione dei fenomeni sincronistici è fuori dalla portata di qualsiasi tipo di previsione razionale, l’evento sincronistico non è riproducibile ed è in qualche modo l’emblema dell’aspetto non razionale della realtà, e come detto, insieme alla più consueta logica causalistica, (ad esempio, una mela su un albero quando è matura può anche cadere), danno una visione più completa della realtà. E questa visione più completa era l’intento di Jung nell’approcciare questi fenomeni: “Cercare di aprire una via verso “l’animazione della materia” a partire dall’assunzione che “ciò che esiste sia dotato di senso”…” ( Pauli e Jung 1992, lettera n.59 di Jung, p. 100). (shrink)

The aim of this essay is to provide an overview of New Realism in its opposition and reaction to Postmodernism. An analysis of the implications of both philosophical approaches in diverse fields will be offered, from epistemology, to politics, to ethics. Ethical new realism is presented as particularly promising and important to the future of philosophy.

In this pages the author suggests a spiritual interpretation of Jungian epistemology as a way towards authenticity. He also argues that Martin Heidegger's philosophy and panpsychism can confirm the possibility offered by Jung - with his alchemical - archetypical description of human nature - to achieve a deeper and more authentic awareness of our existence.

Paolo Barbò da Soncino conosciuto anche come il „Soncinas" (Soncinate) fu un domenicano italiano, filosofo e teologo tomista. Visse durante il periodo del rinascimento italiano nel XV secolo tra Bologna e Milano, morto a Cremona nel 1495. La suo apiù importante opera è proprio il commento alla Metafisica di Aristotele (Acutissimae quaestiones metaphysicales, 1 ed. Venezia 1498) che rappresenta una particolare sintesi del commentatore arabo Averrè, Tommaso d'Aquino, Erveo Natale († 1323) e Giovanni Capreolo († 1444). L'opera filosofica del Soncinate (...) era spesso discusso tra il XVI e XVII secolo. Il libro offre la prima biografia scientifica dell'autore in italiano, e l'edizione critica del suo commento al IV libro della Metafica di Aristotele in latino. -/- Paolo Barbò da Soncino called "Soncinas" was an Italian Dominican, Thomist philosopher and theologian. His life and work fall within the ambit of Italian Renaissance Thomism of the fifteenth century, between Bologna and Milano, died in 1495 in Cremona. His principal work, the exposition of Aristotle's Metaphysics, (Acutissimae quaestiones metaphysicales 1 ed. Venice 1498) proceeds from a particular synthesis of the Arabic commentator Averroes, Thomas Aquinas, Hervaeus Natalis (d. 1323), and John Capreolus (d. 1444). Soncinas' work and position were frequently discussed from the sixteenth to the seventeenth century. This study offers the first scientific biography, description and analysis of the method, sources and doctrine of Soncinas, in particular the critical Latin edition of the 4th book of his Acutissimae Quaestiones Metaphysicales (the exposition of Aristotle's Metaphysics). (shrink)

The article argues for the variant ‘tractabimus’ in Book 8, ch. 1 of Augustine’s De Trinitate as opposed to the reading ‘tractavimus’ adopted in the Corpus Christianorum edition, and explains the implications of this variant for the understanding of the overall structure of the work.

Errett Bishop's work in constructive mathematics is overwhelmingly regarded as a turning point for mathematics based on intuitionistic logic. It brought new life to this form of mathematics and prompted the development of new areas of research that witness today's depth and breadth of constructive mathematics. Surprisingly, notwithstanding the extensive mathematical progress since the publication in 1967 of Errett Bishop's Foundations of Constructive Analysis, there has been no corresponding advances in the philosophy of constructive mathematics Bishop style. The aim of (...) this paper is to foster the philosophical debate about this form of mathematics. I begin by considering key elements of philosophical remarks by Bishop, especially focusing on Bishop's assessment of Brouwer. I then compare these remarks with ``traditional'' philosophical arguments for intuitionistic logic and argue that the latter are in tension with Bishop's views. ``Traditional'' arguments for intuitionistic logic turn out to be also in conflict with significant recent developments in constructive mathematics. This rises pressing questions for the philosopher of mathematics, especially with regard to the possibility of offering alternative philosophical arguments for constructive mathematics. I conclude with the suggestion to look anew at Bishop's own remarks for inspiration. (shrink)

In this paper, we look at applying the techniques from analyzing superintuitionistic logics to extensions of the cointuitionistic Priest-da Costa logic daC (introduced by Graham Priest as “da Costa logic”). The relationship between the superintuitionistic axioms- definable in daC- and extensions of Priest-da Costa logic (sdc-logics) is analyzed and applied to exploring the gap between the maximal si-logic SmL and classical logic in the class of sdc-logics. A sequence of strengthenings of Priest-da Costa logic is examined and employed to pinpoint (...) the maximal non-classical extension of both daC and Heyting-Brouwer logic HB . Finally, the relationship between daC and Logics of Formal Inconsistency is examined. (shrink)

Mathematical objects are divided into (1) those which are autonomous, i.e., not dependent for their existence upon mathematicians’ conscious acts, and (2) intentional objects, which are so dependent. Platonist philosophy of mathematics argues that all objects belong to group (1), Brouwer’s intuitionism argues that all belong to group (2). Here we attempt to develop a dualist ontology of mathematics (implicit in the work of, e.g., Hilbert), exploiting the theories of Meinong, Husserl and Ingarden on the relations between autonomous and intentional (...) objects. In particular we develop a phenomenology of mathematical works, which has the stratified intentional structure discovered by Ingarden in his study of the literary work. (shrink)

We show how removing faith-based beliefs in current philosophies of classical and constructive mathematics admits formal, evidence-based, definitions of constructive mathematics; of a constructively well-defined logic of a formal mathematical language; and of a constructively well-defined model of such a language. -/- We argue that, from an evidence-based perspective, classical approaches which follow Hilbert's formal definitions of quantification can be labelled `theistic'; whilst constructive approaches based on Brouwer's philosophy of Intuitionism can be labelled `atheistic'. -/- We then adopt what may (...) be labelled a finitary, evidence-based, `agnostic' perspective and argue that Brouwerian atheism is merely a restricted perspective within the finitary agnostic perspective, whilst Hilbertian theism contradicts the finitary agnostic perspective. -/- We then consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary, evidence-based, definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways. -/- We show that the two definitions correspond to two distinctly different---not necessarily evidence-based but complementary---assignments of satisfaction and truth to the compound formulas of PA over N. -/- We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both the complementary interpretations; and conclude some unsuspected constructive consequences of such complementarity for the foundations of mathematics, logic, philosophy, and the physical sciences. -/- . (shrink)

In his last book, Le complexe des trois singes. Essai sur l’animalité humaine (2017), the French philosopher Étienne Bimbenet accuses “sensocentric” (« pathocentristes ») animal ethics of committing a performative contradiction: according to Bimbenet, these theories of animal rights — among which he focuses on the case of Zoopolis (2011) by Sue Donaldson and Will Kymlicka — would undermine themselves by means of declaring reason a “non-essential” feature of human beings, while at the same time those theories themselves can only (...) be understood as a highly rational human endeavour. As we will try to point out, the alleged performative contradiction does not actually take place. First of all, Donaldson and Kymlicka only describe reason as “non essential” when it comes to describing moral patients, not moral agents, and particularly not moral theoreticians. In the second place, Zoopolis presents itself explicitly as an effort in “articulating moral reasons” — not as a renouncement of reason as such. (shrink)

I argue against the interpretation of propositions as intentions and proof-objects as fulfillments proposed by Heyting and defended by Tieszen and van Atten. The idea is already a frequent target of criticisms regarding the incompatibility of Brouwer’s and Husserl’s positions, mainly by Rosado Haddock and Hill. I raise a stronger objection in this paper. My claim is that even if we grant that the incompatibility can be properly dealt with, as van Atten believes it can, two fundamental issues indicate that (...) the interpretation is unsustainable regardless: (1) it is hard to determine, without appealing to propositional intentions on pain of circularity, what intention a proof-object should be understood as a fulfillment of; (2) due to a difficult fulfillment dilemma, it is unclear, at best, what the object of an intention corresponding to a proposition is. (shrink)

The major point in [1] chapter 2 is the following claim: “Any formalized system for the Theory of Computation based on Classical Logic and Turing Model of Computation leads us to a contradiction.” So, in the case we wish to save Classical Logic we should change our Computational Model. As we see in chapter two, the mentioned contradiction is about and around the concept of time, as it is in the contradiction of modified version of paradox. It is natural to (...) try fabricating the paradox not by time but in some other linear ordering or the concept of space. Interestingly, the attempts to have similar contradiction by the other concepts like space and linear ordering, is failed. It is remarkable that, the paradox is considered either Epistemological or Logical traditionally, but by new considerations the new version of paradox should be considered as either Logical or Physical paradox. Hence, in order to change our Computational Model, it is natural to change the concept of time, but how? We start from some models that are different from the classical one but they are intuitively plausible. The idea of model is somewhat introduced by Brouwer and Husserl [3]. This model doesn’t refute the paradox, since the paradox and the associated contradiction would be repeated in this new model. The model is introduced in [2]. Here we give some more explanations. (shrink)

The classical interpretation of mathematical statements can be seen as comprising two separate but related aspects: a domain and a truth-schema. L. E. J. Brouwer’s intuitionistic project lays the groundwork for an alternative conception of the objects in this domain, as well as an accompanying intuitionistic truth-schema. Drawing on the work of Arend Heyting and Michael Dummett, I present two objections to classical mathematical semantics, with the aim of creating an opening for an alternative interpretation. With this accomplished, I then (...) make the case for intuitionism as a suitable candidate to fill this void. (shrink)

One of the open problems in the philosophy of information is whether there is an information logic (IL), different from epistemic (EL) and doxastic logic (DL), which formalises the relation “a is informed that p” (Iap) satisfactorily. In this paper, the problem is solved by arguing that the axiom schemata of the normal modal logic (NML) KTB (also known as B or Br or Brouwer’s system) are well suited to formalise the relation of “being informed”. After having shown that IL (...) can be constructed as an informational reading of KTB, four consequences of a KTB-based IL are explored: information overload; the veridicality thesis (Iap → p); the relation between IL and EL; and the Kp → Bp principle or entailment property, according to which knowledge implies belief. Although these issues are discussed later in the article, they are the motivations behind the development of IL. (shrink)

My main aim is to clarify what we mean by ‘look’ sentences such as (1) below – ones that we use to talk about visual experience: -/- (1) The ball looked red to Sue -/- This is to help better understand a part of natural language that has so far resisted treatment, and also to help better understand the nature of visual experience. -/- By appealing to general linguistic principles I argue for the following account. First, we use (1) to (...) talk about an event. Second, we use the verb ‘look’ to specify the kind of event about which we are talking – it is a looking event. Third, we use the subject ‘the ball’ to specify a stimulus of the event – something that looks some way in the event. Fourth, we use the adjunct ‘to Sue’ to specify an experiencer of the event – someone to whom things look some way in the event. Finally, we use the complement ‘red’ to specify a way of the event – a way in which the event occurs (I take ways of occurring to be properties of events). Which way do we use ‘red’ in (1) to specify? I argue: the maximally specific way w such that the following is generically true: looking events whose stimulus is red occur in way w (it is important that this is understood generically: this is what does much of the work in explaining our use of (1) and other ‘look’ sentences). Putting this together, what we mean by (1) is: there was a looking event whose stimulus was the ball, whose experiencer was Sue, and which occurred in the maximally specific way that looking events occur when their stimulus is red. -/- This account of how we use ‘red’ in (1) is one of the most interesting aspects of my thesis. It extends to an account of how we use ‘proud’ in ‘John walks proud’, ‘as if he is American’ in ‘John talks as if he is American’, ‘like a duck’ in ‘John sounds like a duck’, and so on. In each case we use the expression in question to specify a way: the maximally specific way proud people walk, the maximally specific way American people talk, and so on. So the study of ‘look’ sentences has much to tell us about the functioning of many other English language constructions, and suggests that ways have a significant role to play in the semantics of natural language – a fact that has not yet been sufficiently recognised by linguists or philosophers of language. -/- My thesis also has implications for the philosophy of perception. One of the central questions about perception is: What is the nature of visual experience? What is it, for example, for a ball to look red to Sue? My thesis offers an answer: What it is for the ball to look red to Sue is for whatever it is that we mean by ‘The ball looks red to Sue’ to be the case, and what we mean by ‘The ball looks red to Sue’ is that there is a looking event whose stimulus is the ball, whose experiencer is Sue, and which is occurring in a certain way. It thus delivers an adverbial account of visual experience, one that has the resources to better deal with problems that are traditionally thought to be decisive against adverbial accounts. (shrink)

In order to handle presuppositions in the scope of attitude verbs, the binding theory allows presuppositions triggered in a subject's beliefs to be bound at the matrix level; and it allows presuppositions triggered in non-doxastic attitudes to be bound in the subject's beliefs (Geurts, 1999; Maier, 2015). However, we argue that this leads to serious overgeneration, for example it predicts that the unacceptable `Sue will come to the party, but Bill is sure that she won't and that only Sue will (...) come to the party' should be equivalent to the acceptable `Sue will come to the party, but Bill is sure that nobody will come to the party'. This is because the presupposition triggered by `only Sue will come to the party' should be able to be bound at the matrix level. We discuss some responses to this problem, but argue that they all have shortcomings. (shrink)

Genocide remembrance is a complex epistemological/ethical achievement, whereby survivors and descendants give meaning to the past in the quest for both personal-historical and social-historical truth. This paper offers an argument of epistemic injustice specifically as it occurs in relation to practices of (individual and collective) genocide remembrance. In particular, I argue that under conditions of genocide denialism, understood as collective genocide misremembrance and memory distortion, genocide survivors and descendants are confronted with hermeneutical oppression. Drawing on Sue Campbell’s relational, reconstructive account (...) of remembering, I argue that genocide denialism involves disrespectful challenges to memory, which systematically misrecognize rememberers. Adopting the case of Turkey’s denialism of the Armenian genocide, I discuss two interrelated mechanisms through which this can happen: i) through the systematic portrayal of survivors and descendants as vicious rememberers, and ii) through distortions of the very concept of ‘genocide’. Based on this, I show how hermeneutical and testimonial injustice are crucially interrelated when it comes to “contested” memories of historical injustice and the biographical testimony it gives rise to. (shrink)

Kripke frames (and models) provide a suitable semantics for sub-classical logics; for example, intuitionistic logic (of Brouwer and Heyting) axiomatizes the reflexive and transitive Kripke frames (with persistent satisfaction relations), and the basic logic (of Visser) axiomatizes transitive Kripke frames (with persistent satisfaction relations). Here, we investigate whether Kripke frames/models could provide a semantics for fuzzy logics. For each axiom of the basic fuzzy logic, necessary and sufficient conditions are sought for Kripke frames/models which satisfy them. It turns out that (...) the only fuzzy logics (logics containing the basic fuzzy logic) which are sound and complete with respect to a class of Kripke frames/models are the extensions of the Gödel logic (or the super-intuitionistic logic of Dummett); indeed this logic is sound and strongly complete with respect to reflexive, transitive and connected (linear) Kripke frames (with persistent satisfaction relations). This provides a semantic characterization for the Gödel logic among (propositional) fuzzy logics. (shrink)

MethodologyA new hypothesis on the basic features characterizing the Foundations of Mathematics is suggested.Application of the methodBy means of it, the several proposals, launched around the year 1900, for discovering the FoM are characterized. It is well known that the historical evolution of these proposals was marked by some notorious failures and conflicts. Particular attention is given to Cantor's programme and its improvements. Its merits and insufficiencies are characterized in the light of the new conception of the FoM. After the (...) failures of Frege's and Cantor's programmes owing to the discoveries of an antinomy and internal contradictions, respectively, the two remaining, more radical programmes, i.e. Hilbert's and Brouwer's, generated a great debate; the explanation given here is their mutual incommensurability, defined by means of the differences in their foundational features.ResultsThe ignorance of this phenomenon explains the inconclusiveness of a century-long debate between the advocates of these two proposals. Which however have been so greatly improved as to closely approach or even recognize some basic features of the FoM.Discussion on the resultsYet, no proposal has recognized the alternative basic feature to Hilbert's main one, the deductive organization of a theory, although already half a century before the births of all the programmes this alternative was substantially instantiated by Lobachevsky's theory on parallel lines. Some conclusive considerations of a historical and philosophical nature are offered. In particular, the conclusive birth of a pluralism in the FoM is stressed. (shrink)