Non-monotonicity in logic is a symptom that may have many causes. In the formalisation of defeasible reasoning, an epistemic diagnosis has largely prevailed according to which some inferences are non-monotonic because they are provisionally drawn in the absence of relevant or complete information. The Gabbay-Makinson rules for cumulative consequence relations are a paradigmatic example of this epistemic approach. In this paper a different approach to defeasible reasoning is introduced, based on the idea of inferential perspectives. According to this approach, some (...) inferences are non-monotonic because they are drawn as from another reasoner’s perspective. Rules are introduced and discussed for a Perspectival Calculus, which show both similarities and interesting differences with respect to cumulative systems. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Ethics and Politics in Tagore, Coetzee, and Certain Scenes of TeachingGayatri Chakravorty Spivak (bio)It is practically persuasive that the eruption of the ethical interrupts and postpones the epistemological—the undertaking to construct the other as object of knowledge, an undertaking never to be given up. Lévinas is the generic name associated with such a position. A beautiful passage from Otherwise than Being lays it out, although neither interruption nor postponement (...) is mentioned. That connection is made by Derrida [Adieu 51-59].Here, then, is Lévinas, for whom Kant's critical perspectivization of the subject and the rigorous limits of pure theoretical reason seem to have been displaced by the structuralist hermeneutics of suspicion. For Lévinas, structuralism did not attend to what in Kant was the mechanism that interrupted the constrained and rigorous workings of pure reason: "The interests that Kant discovered in theoretical reason itself, he subordinated to practical reason, become mere reason. It is just these interests that are contested by structuralism, which is perhaps to be defined by the primacy of theoretical reason" [Otherwise than Being 58; trans. modified].The relationship between the postponement of the epistemological in Lévinas and the subordination of pure reason in Kant is a rich theme, beyond the scope of this essay. Let us return to what Lévinas will perceive as a general contemporary hermeneutics of suspicion, related to the primacy of theoretical reason: "The suspicions engendered by psychoanalysis, sociology and politics weigh on human identity such that we never know to whom we are speaking and what we are dealing with when we build our ideas on the basis of the human fact."1 The political calculus thematizes this suspicion into an entire code of strategy defined as varieties of game theory and rational choice. This can be verified across cultural difference, backwards through history, and in today's global academic discourse. Over against this Lévinas posits the ethical with astonishing humility: "but we do not need this knowledge in the relationship in which the other is the one next to me [le prochain]" [Otherwise 59].Kant thought that the ethical commonality of being (gemeines Wesen—repeatedly mistranslated as "the ethical state") cannot form the basis of a state. Surprisingly, there is a clear line from the face-to-face of the ethical to the state in Lévinas.2 It has long [End Page 17] been my habit to scavenge and tinker in the field of practical philosophy. I will conserve from Kant the discontinuity between the ethical and the political, from Lévinas the discontinuity between the ethical and the epistemological. I will suggest that the discontinuities between the ethical and the epistemological and political fields are tamed in the nestling of logic and rhetoric in fiction.3Enabled by such a suggestion, I can move to another bit of prose on that page in Lévinas: "for reasons not at all transcendental but purely logical, the object-man must figure at the beginning of all knowing."The figure of the "I" as object: this representation of the holy man in Lévinas does not match our colloquial and literal expectations. My general suggestion, that the protocol of fiction gives us a practical simulacrum of the graver discontinuities inhabiting (and operating?) the ethico-epistemic and the ethico-political, can, however, take such a figure on board. I will continue to want to say that fiction offers us an experience of the discontinuities that remain in place "in real life." That would be a description of fiction as an event—an indeterminate "sharing" between writer and reader, where the effort of reading is to taste the impossible status of being figured as object in the web of the other. Reading, in this special sense, is sacred.In this essay I consider not only fiction as event but also fiction as task. I locate in Rabindranath Tagore (1861-1941) and J. M. Coetzee (1940-) representations of what may be read as versions of the "I" figured as object and weave the representations together as a warning text for postcolonial political ambitions.4 I am obviously using "text" as "web," coming from Latin texere—"to... (shrink)

After a brief flirtation with logicism around 1917, David Hilbertproposed his own program in the foundations of mathematics in 1920 and developed it, in concert with collaborators such as Paul Bernays andWilhelm Ackermann, throughout the 1920s. The two technical pillars of the project were the development of axiomatic systems for everstronger and more comprehensive areas of mathematics, and finitisticproofs of consistency of these systems. Early advances in these areaswere made by Hilbert (and Bernays) in a series of lecture courses atthe (...) University of Göttingen between 1917 and 1923, and notably in Ackermann's dissertation of 1924. The main innovation was theinvention of the -calculus, on which Hilbert's axiom systemswere based, and the development of the -substitution methodas a basis for consistency proofs. The paper traces the developmentof the ``simultaneous development of logic and mathematics'' throughthe -notation and provides an analysis of Ackermann'sconsistency proofs for primitive recursive arithmetic and for thefirst comprehensive mathematical system, the latter using thesubstitution method. It is striking that these proofs use transfiniteinduction not dissimilar to that used in Gentzen's later consistencyproof as well as non-primitive recursive definitions, and that thesemethods were accepted as finitistic at the time. (shrink)

A simple cut elimination proof for arithmetic with the epsilon symbol is used to establish the termination of a modified epsilon substitution process. This opens a possibility of extension to much stronger systems.

The usual visual experiences possess a perspectival phenomenology as they seem to present objects from a certain perspective. Nevertheless, it is not obvious how to characterise experiential content determining such phenomenology. In particular, while there are many works investigating perspectival properties of experienced objects, a question regarding how subject is represented in visual perspectival experiences attracted less attention. In order to address this problem, I consider four popular phenomenal intuitions regarding perspectival experiences and argue that the (...) major theories of perspectival experiences do not account for all of them. Relying on these observations, I show how a theory which accommodates all these intuitions can be developed by (a) recognising that visual perspectival experiences are, in fact, multimodal visuo-bodily experiences and (b) distinguishing between egocentric and structural contents. (shrink)

We study the process of observation (measurement), within the framework of a “perspectival” (“relational,” “relative state”) version of the modal interpretation of quantum mechanics. We show that if we assume certain features of discreteness and determinism in the operation of the measuring device (which could be a part of the observer's nerve system), this gives rise to classical characteristics of the observed properties, in the first place to spatial localization. We investigate to what extent semi-classical behavior of the object (...) system itself (as opposed to the observational system) is needed for the emergence of classicality. Decoherence is an essential element in the mechanism of observation that we assume, but it turns out that in our approach no environment-induced decoherence on the level of the object system is required for the emergence of classical properties. (shrink)

Objects often manifest themselves in incompatible ways across perspectives that are epistemically on a par. The standard response to such cases is to deny that the properties that things appear to have from different perspectives are properties that things really have out there. This type of response seems worrying: too many properties admit of perspectival variance and there are good theoretical reasons to think that such properties are genuinely instantiated. So, we have reason to explore views on which things (...) can have the incompatible properties they appear to have across perspectives. This paper explores the view that things can have incompatible properties if the world is not a metaphysically unified place but is instead fragmented. There is a sensible notion of co-obtainment, on which two facts can each obtain without co-obtaining. Using this notion, we can step back from our embedded perspectives on the world without deeming the contents of those perspectives to be mere appearances. This renders th.. (shrink)

What does it mean to be a realist about science if one takes seriously the view that scientific knowledge is always perspectival, namely historically and culturally situated? In this book, Michela Massimi articulates an original answer to this question. The book begins with an exploration of how scientific communities often resort to several models and a plurality of practices in some areas of inquiry, drawing on examples from nuclear physics, climate science, and developmental psychology. Taking this plurality in science (...) as a starting point, Massimi explains the perspectival nature of scientific representation, the role of scientific models as inferential blueprints, and the variety of scientific realism that naturally accompanies such a view. Perspectival realism is realism about phenomena (rather than about theories or unobservable entities). The book defends this novel realist view, which places epistemic communities and their situated knowledge center stage. The result is a portrait of scientific knowledge as a collaborative inquiry, where the reliability of science is made possible by a plurality of historically and culturally situated scientific perspectives. Along the way, Massimi offers insights into the nature of scientific modelling, scientific knowledge qua modal knowledge, data-to-phenomena inferences, and natural kinds as sortal concepts. Perspectival realism is ultimately realism that takes the multicultural nature of science seriously and couples it with cosmopolitan duties about how one ought to think about scientific knowledge and the distribution of the benefits resulting from scientific advancements. (shrink)

The problem of whether Lambek Calculus is complete with respect to (w.r.t.) relational semantics, has been raised several times, cf. van Benthem (1989a) and van Benthem (1991). In this paper, we show that the answer is in the affirmative. More precisely, we will prove that that version of the Lambek Calculus which does not use the empty sequence is strongly complete w.r.t. those relational Kripke-models where the set of possible worlds,W, is a transitive binary relation, while that version (...) of the Lambek Calculus where we admit the empty sequence as the antecedent of a sequent is strongly complete w.r.t. those relational models whereW=U×U for some setU. We will also look into extendability of this completeness result to various fragments of Girard's Linear Logic as suggested in van Benthem (1991), p. 235, and investigate the connection between the Lambek Calculus and language models. (shrink)

This paper examines whether firms strategically legitimize large labor dismissals by performing ex-ante downward earnings management. We further assess whether the effect is larger under stakeholder pressure and whether these practices influence the external perception of firms’ behavior. As laying off employees without an economic reason is perceived as a breach of the social contract, stakeholders pressure firms to provide economic justification for LLDs. We argue that firms strategically legitimize LLDs by artificially worsening their financial performance through downward earnings management. (...) From a sample of European listed firms for the period 1998–2014, using a propensity score matching model to control for differences in observable characteristics between LLD and non-LLD firms, we find that firms manage their earnings downward in the year prior to LLDs. These results are more pronounced in the presence of high stakeholder pressure. As such, firms with stronger trade unions, higher visibility, stricter employment protection legislation, and more stakeholder-oriented legal environments have stronger incentives to manage earnings downward before LLDs. Finally, we document that downward earnings management prior to LLDs is effective at legitimizing LLDs, offsetting the negative external perceptions of firms in the aftermath of LLDs. This study contributes to the business ethics literature by identifying unintended consequences of stakeholder pressure around LLDs. It also brings important empirical insights into how ethically questionable decisions are strategically legitimized through further unethical practices. (shrink)

As with mathematics, logic is easier to do if its symbols and their rules are better. In a graphic way, the logic symbols introduced in thís paper show their truth-table values, their composite truth-functions, and how to say them as either ?or? or ?if ? then? propositions. Simple rules make the converse, add or remove negations, and resolve propositions.

The method of calculating the degree of completeness presented below differs from methods discussed in [1] and [2] and is explicitly based on elementary properties of Lukasiewiczian valuations and reveals the character of possible enlargements of given n-valued Lukasiewicz logic. Above all it seems to be especially convenient for didactic purposes.

I discuss the prospects of perspectival realism for resolving the problem of incompatible models or theories in scientific practice. My diagnosis is that the perspectivist can secure the ‘realism’ in her position only by employing suitable relations between the models. It is such relations that do the work, not the general philosophical claim about the perspectival nature of knowledge claims. But appeal to such relations has also been the preferred strategy of scientific realist approaches to the problem. With (...) respect to the problem of incompatible models, then, it is not clear that perspectivism has a clear advantage—even though the issue was among the motivating problems for proposing this view. I suggest, however, that the required inter-model relations embody a narrower notion of perspective, a notion that is explicitly part of the models themselves and that is essential in maintaining a realist view. (shrink)

Someday there will be no more articles written about the.