In this paper we propose a way to deal with natural language inference by implementing Modern Type Theoretical Semantics in the proof assistant Coq. The paper is a first attempt to deal with NLI and natural language reasoning in general by using the proof assistant technology. Valid NLIs are treated as theorems and as such the adequacy of our account is tested by trying to prove them. We use Luo’s Modern Type Theory with coercive subtyping as the formal language into (...) which we translate natural language semantics, and we further implement these semantics in the Coq proof assistant. It is shown that the use of a MTT with an adequate subtyping mechanism can give us a number of promising results as regards NLI. Specifically, it is shown that a number of inference cases, i.e. quantifiers, adjectives, conjoined noun phrases and temporal reference among other things can be successfully dealt with. It is then shown, that even though Coq is an interactive and not an automated theorem prover, automation of all of the test examples is possible by introducing user-defined automated tactics. Lastly, the paper offers a number of innovative approaches to NL phenomena like adjectives, collective predication, comparatives and factive verbs among other things, contributing in this respect to the theoretical study of formal semantics using MTTs. (shrink)

It is natural to think that the relationship between ‘rain’ and the location of rain is different from the relationship between ‘dance’ and the location of dancing. Utterances of (1) are typically interpreted as, in some sense, being about a location in which it rains. (2) is, typically, not interpreted as being about a location in which the dancing takes place.

The paper proposes a process-based model for an ontology that encompasses the emergence of process systems generated by increasingly complex levels of organization. Starting with a division of processes into those that are persistent and those that are fleeting, the model builds through a series of exclusive and exhaustive disjunctions. The crucial distinction is between those persistent and cohesive systems that are energy wells, and those that are far-from-equilibrium. The latter are necessarily open; they can persist only by interaction with (...) their environments. Further distinctions, developed by means of the notions of self-maintenance and error detection, lead to the identification of complex biological organisms that are flexible learners, some of which are self-conscious and form themselves into social institutions. This model provides a non-reductive model for understanding human beings as both embodied and yet emergent. In particular, it provides a way of characterizing action as ‘metaphysically deep’, not an ontological embarrassment within an otherwise physicalist world. (shrink)

This paper is about the situation in which an author (writer or speaker) presents a deductively invalid argument, but the addressee aims at a charitable interpretation and has reason to assume that the author intends to present a valid argument. How can he go about interpreting the author’s reasoning as enthymematically valid? We suggest replacing the usual find-the-missing-premise approaches by an approach based on systematic efforts to ascribe a belief state to the author against the background of which the argument (...) has to be evaluated. The suggested procedure includes rules for recording whether the author in fact accepts or denies the premises and the conclusion, as well as tests for enthymematic validity and strategies for revising belief state ascriptions. Different degrees of interpretive charity can be exercised. This is one reason why the interpretation or reconstruction of an enthymematic argument typically does not result in a unique outcome. (shrink)

There is a long-standing debate whether propositions, sentences, statements or utterances provide an answer to the question of what objects logical formulas stand for. Based on the traditional understanding of logic as a science of valid arguments, this question is firstly framed more exactly, making explicit that it calls not only for identifying some class of objects, but also for explaining their relationship to ordinary language utterances. It is then argued that there are strong arguments against the proposals commonly put (...) forward in the debate. The core of the problem is that an informative account of the objects formulas stand for presupposes a theory of formalization; that is, a theory that explains what formulas may adequately substitute for an inference in proofs of validity. Although such theories are still subject to research, some consequences can be drawn from an analysis of the reasons why the common accounts featuring sentences, propositions or utterances fail. Theories of formalization cannot refer to utterances qua expressions of propositions; instead they may refer to sentences and rely on additional information about linguistic structure and pragmatic context. (shrink)

In “Real Patterns” Daniel Dennett developed an argument about the reality of beliefs on the basis of an analogy with patterns and noise. Here I develop Dennett’s analogy into an argument for descriptivism, the view that belief reports do no specify belief contents but merely describe what someone believes, and show that this view is also supported by empirical evidence. No description can do justice to the richness and specificity or “noisiness” of what someone believes, and the same belief can (...) be described by different sentences or propositions (which is illustrated by Dennett’s analogy, some Gettier cases, and Frege’s puzzle), but in some contexts some of these competing descriptions are misleading or even false. Faithful (or truthful) description must be guided by a principle (or principles) related to the principle of charity: belief descriptions should not attribute irrationality to the believer or have other kinds of “deviant” implications. (shrink)

Stanley and Williamson have defended the intellectualist thesis that knowing-how is a subspecies of knowing-that by appeal to the syntax and semantics of ascriptions of knowing-how. Critics have objected that this way of defending intellectualism places undue weight on linguistic considerations and fails to give sufficient attention to empirical considerations from the scientific study of the mind. In this paper, I examine and reject Stanley's recent attempt to answer the critics.

The book sets out a new logic of rules, developed to demonstrate how such a logic can contribute to the clarification of historical questions about social rules. The authors illustrate applications of this new logic in their extensive treatments of a variety of accounts of social changes, analysing in these examples the content of particular social rules and the course of changes in them.

This paper aims to shed new light on certain philosophical theories of perceptual experience by examining the semantics of perceptual ascriptions such as “Jones sees an apple.” I start with the assumption, recently defended elsewhere, that perceptual ascriptions lend themselves to intensional readings. In the first part of the paper, I defend three theses regarding such readings: I) intensional readings of perceptual ascriptions ascribe phenomenal properties, II) perceptual verbs are not ambiguous between intensional and extensional readings, and III) intensional perceptual (...) ascriptions have a relational form. The second part of the paper describes the implications of I-III for theories of perceptual experience. I argue that I-III support and reconcile the three main views of perceptual experience, relationalism, disjunctivism, and representationalism. However, I-III leave open at least one important point of contention: particularism, the view that we experience external objects. I conclude by exploring the implications of accepting or denying particularism given I-III. (shrink)

In 'A Theory of Human Action' (1970) Alvin Goldman launched an attack on what has become known as the Anscombe-Davidson Identity Thesis. In brief, this is the thesis that our acts are our body movements, and that all the different effects of that movement do not entail that different acts have been performed, but only that an identical act has different descriptions. In her response to Goldman, Anscombe (1981) claims that Goldman is arguing at cross-purposes. I will argue that this (...) is partially true, but only because she accepts what I shall call the Symmetry Thesis. This thesis in turn is natural if you accept a third thesis called the Irreducibility Thesis. These three theses form a consistent set that the defenders of the Identity Thesis would accept and its detractors would deny. It follows that the best way to attack the Identity Thesis is to attack the Irreducibility Thesis on which it is based. I believe that this can be done and that Goldman is basically right, but I will not be concerned with a full defense of Goldman's method of individuating actions against its competitors. Rather, I want to show the grounds, some of them extralogical, upon which preference can be made. (shrink)

Most event-referring expressions are vague; it is utterly difficult, if not impossible, to specify the exact spatiotemporal location of an event from the words that we use to refer to it. We argue that in spite of certain prima facie obstacles, such vagueness can be given a purely semantic (broadly supervaluational) account.

There are languages – e.g., German, Inuktitut, andRussian – in which the aspectual reference of clausesdepends on the telicity of their event predicates. Weargue that in such languages, clauses or verb phrasesnot overtly marked for viewpoint aspect implicateor entail `event realization'', a property akin toParsons''s (1990) `culmination''. The aspectualreference associated with the use of clauses notovertly marked for aspect is computed in accordancewith the dependence of realization conditions ontelicity and in line with principles of Gricean pragmatics.We formalize event realization and (...) capture thetelicity-dependent patterns of aspectual reference onwhich it is based by combining Krifka''s (1989, 1992,1998) event lattices with a model-theoreticinterpretation of Klein''s (1994) theory of tense andaspect. The latter permits us to treat the `topic times''of aspectual operators as temporal constraints on event realization. (shrink)

This is the first part of a larger project that aims to develop a cross-categorical semantic account of a broad range of _as if_ constructions in English. In this paper, we focus on descriptive uses of _as if_ with regular truth-conditional content. The core proposal is that _as if_-phrases contribute hypothetical (_if_-like) and comparative (_as_-like) properties of situations, which are instantiated by an event, state, or larger situation when it resembles in some relevant respect its counterparts in selected stereotypical worlds (...) described by the clause embedded under _as if_. We motivate and develop this situation-semantic analysis in detail for examples like _Pedro danced as if he was possessed by demons_ where the modifying _as if_-adjunct is used to inferentially convey the manner of a reported activity. We extend this analysis to _as if_-complements of perception verbs in reports like _The soup tastes as if it contains fish sauce_, offering an alternative to conceptually problematic approaches that assimilate such perceptual resemblance reports to propositional attitude ascriptions. We also examine the predicative function of _as if_ in examples like _The state of the house is as if a tornado passed through it_ where the _as if_-phrase denotes a hypothetical comparative property of the nominal subject. (shrink)

In this paper we argue that hybrid logic is the deductive setting most natural for Kripke semantics. We do so by investigating hybrid axiomatics for a variety of systems, ranging from the basic hybrid language (a decidable system with the same complexity as orthodox propositional modal logic) to the strong Priorean language (which offers full first-order expressivity).We show that hybrid logic offers a genuinely first-order perspective on Kripke semantics: it is possible to define base logics which extend automatically to a (...) wide variety of frame classes and to prove completeness using the Henkin method. In the weaker languages, this requires the use of non-orthodox rules. We discuss these rules in detail and prove non-eliminability and eliminability results. We also show how another type of rule, which reflects the structure of the strong Priorean language, can be employed to give an even wider coverage of frame classes. We show that this deductive apparatus gets progressively simpler as we work our way up the expressivity hierarchy, and conclude the paper by showing that the approach transfers to first-order hybrid logic. (shrink)

I present and develop the view that omissions are de re possibilities of actual events. Omissions do not literally fail to occur; rather, they possibly occur. An omission is a tripartite metaphysical entity composed of an actual event, a possible event, and a contextually specified counterpart relation between them. This view resolves ontological, causal, and semantic puzzles about omissions, and also accounts for important data about moral responsibility for outcomes resulting from omissions.

There was a duel at dawn between A and B. A shot B, who lingered on until dusk of that day, and then died of his bulletwound. Certain background conditions are satisfied which make it right to say not just that A caused B's death but that he killed him. So, A shot B and killed him. This seems to be structurally different from "A shot B and he kicked him," but what is this structural difference? How does the shooting (...) relate to the killing? (shrink)

A natural language argument may be valid in at least two nonequivalent senses: it may be interpretationally or representationally valid (Etchemendy in The concept of logical consequence. Harvard University Press, Cambridge, 1990). Interpretational and representational validity can both be formally exhibited by classical first-order logic. However, as these two notions of informal validity differ extensionally and first-order logic fixes one determinate extension for the notion of formal validity (or consequence), some arguments must be formalized by unrelated nonequivalent formalizations in order (...) to formally account for their interpretational or representational validity, respectively. As a consequence, arguments must be formalized subject to different criteria of adequate formalization depending on which variant of informal validity is to be revealed. This paper develops different criteria that formalizations of an argument have to satisfy in order to exhibit the latter’s interpretational or representational validity. (shrink)

This article identifies problems with regard to providing criteria that regulate the matching of logical formulae and natural language. We then take on to solve these problems by defining a necessary and sufficient criterion of adequate formalization. On the basis of this criterion we argue that logic should not be seen as an ars iudicandi capable of evaluating the validity or invalidity of informal arguments, but as an ars explicandi that renders transparent the formal structure of informal reasoning.

Monists and pluralists disagree concerning how many ordinary objects there are in a single situation. For instance, pluralists argue that a statue and the clay it is made of have different properties, and thereby are different. The standard monist’s response is to hold that there is just a single object, and that, under the description “being a statue”, this object is, e.g., aesthetically valuable, and that, under the description “being a piece of clay”, it is not aesthetically valuable. However, Fine (...) provided an ontological reading of the expression “an object under a description”: the theory of rigid embodiments. The debate between monists and pluralists reduplicates in the domain of ordinary occurrences, like walks and conferences. Specifically, they disagree whether an occurrence in progress (also called “process”) like John’s walk that is happening at tn is identical to some completed occurrence (also called “event”) like John’s walk that happened between, e.g., t1 and tn. Under the adoption of the pluralist’s position, the article aims to provide a novel theory of ordinary occurrences that develops the ontological reading of “under a description” to account for occurrences in progress and completed occurrences. As a first result, we formulate a theory according to which both occurrences in progress and completed occurrences are rigid embodiments. As a second result, we argue that the suggested theory is explanatorily powerful to the extent it solves two puzzles that we call “the Puzzle from the Completion of a Process” and “the Metaphysical-cum-Semantical Puzzle”. (shrink)

John goes out for a walk. If John endures and his walk perdures, they are different entities. However, what if both John and his walk perdure? Is John’s walk identical to his relevant temporal part? Some philosophers answer in the affirmative. Their motivations rest on ontological parsimony and the quest for clear-cut identity criteria for existing things. By contrast, one of the most widely accepted theories of events – the theory of events as property-exemplifications – allows us to formulate an (...) argument to the effect that objects’ temporal parts are distinct from the events they participate in: the AID argument, as I shall call it. In this paper, I argue that accepting austere nominalism is the best strategy a supporter of the identification between events and temporal parts of objects can take in order to resist the AID argument. (shrink)

A popular claim in recent philosophy of mind and action is that events only exist once they are over. This has been taken to have the consequence that many temporal phenomena cannot be understood ‘from the inside’, as they are unfolding, purely in terms of events. However, as I argue here, the claim that events exist only when over is incoherent. I consider two ways of understanding the claim and the notion of existence it involves: one that ties existence to (...) the logic of quantification, and another that assimilates the existence of an event to that of a continuant. The first of these, I argue, cannot be the right way to understand the target claim, as there are serious logical obstacles to regarding this notion of existence as temporally variable. The second, on the other hand, leaves it ultimately mysterious what the existence of an event could amount to. I close with the suggestion that the undeniable temporal asymmetries which parties to the debate are interested in are properly understood in perspectival, not ontological, terms. (shrink)

Can an identity be the proper subject of an explanation? A popular stance, albeit not one often argued for, gives a negative answer to this question. Building from a contentious passage from Jaegwon Kim in this direction, we reconstruct an argument to the conclusion that identities, to the extent in which they are necessary, cannot be explained. The notion of contrastive explanation, characterized as difference-seeking, will be crucial for this argument; however, we will eventually find the argument to be unsatisfactory. (...) On the contrary, the discussion provides enough resource to sketch a very simple framework for a non-causal contrastive explanation of identities. Many instances will be provided, with different varieties of explanans, ultimately suggesting that certain entailment or biconditional principles involving identities (first and foremost, so-called two-level identity criteria) may indeed be taken to have an inherent explanatory value. (shrink)

This paper investigates the semantics of tense and aspect in Romance languages. Its goal is to develop a compositional, model-theoretic semantics for tense and temporal adverbs which is sensitive to aspectual distinctions. I will consider durative adverbial distributions and aspectual contrasts across different morphological tense forms. I will examine tense selection under habitual meanings, generic meanings and state of result constructions. In order to account for these facts I will argue that temporal homogeneity plays a fundamental role in tense selection (...) in Romance languages. (shrink)

This paper focuses on the interpretation of the Italian approximative adverb quasi 'almost' by primarily looking at cases in which it modifies temporal connectives, a domain which, to our knowledge, has been largely unexplored thus far. Consideration of this domain supports the need for a scalar account of the semantics of quasi (close in spirit to Hitzeman's semantic analysis of almost, in: Canakis et al. (eds) Papers from the 28th regional meeting of the Chicago Linguistic Society, 1992). When paired with (...) suitable analyses of temporal connectives, such an account can provide a simple explanation of the patterns of implication that are observed when quasi modifies locational (e. g. quando 'when'), directional (e. g. fino 'until' and da 'since'), and event-sequencing temporal connectives (e. g. prima 'before' and dopo ' after'). A challenging empirical phenomenon that is observed is a contrast between the modification of fino and da by quasi, on the one hand, and the modification of prima and dopo by the same adverb, on the other. While quasi fino and quasi da behave symmetrically, a puzzling asymmetry is observed between quasi prima and quasi dopo. To explain the asymmetry, we propose an analysis of prima and dopo on which the former has the meaning of the temporal comparative più presto 'earlier', while the latter is seen as an atomic predicate denoting temporal succession between events (Del Prete, Nat Lang Semantics 16: 157-203, 2008). We show that the same pattern of implication observed for quasi prima is attested when quasi modifies overt comparatives, and propose a pragmatic analysis of this pattern that uniformly applies to both cases, thus providing new evidence for the claim that prima is underlyingly a comparative. A major point of this paper is a discussion of the notion of scale which is relevant for the semantics of quasi', in particular, we show that the notion of Horn (entailment-based) scale is not well-suited for handling modification of temporal connectives, and that a more general notion of scale is required in order to provide a uniform analysis of quasi as a cross-categorial modifier. (shrink)

English has plural terms as well as singular terms. But our standard formal languages, e.g., the predicate calculus, feature only singular terms. How can the plural idiom be formalized?‘Changing the subject’ is by far the most common plurals strategy among both philosophers and linguists: a plural term is replaced by a singular term standing for some complex object that ‘contains’ the individuals to which the plural term alludes. For example, one might simply replace ‘A, B imply C’ with ‘{A, B} (...) implies [singular] C’. We uncover a surprising variety of ways to change the subject, of ever‐increasing complexity and ingenuity. Our question is whether any can made to work. (shrink)

According to the Causal Theory of Action, actions are causally produced events and causal transitivity seems to apply to all such events. However, strong intuitions support the idea that actions cannot be transitively caused. This is a tension that has plagued this theory’s effort to account for action. In particular, it has fueled a serious objection suggesting that this theory of action seriously distorts the attribution of agency when two agents interact with each other. Based on Donald Davidson’s analysis of (...) the accordion effect and the nature of actions, I provide an answer to the problem of agential attribution. It is an answer that shows that the Causal Theory of Action can unambiguously attribute agency without resorting to a stipulation or denying that actions can be transitively caused. I then identify the sources of the problematic intuitions in the need to recognize spheres of agential influence and preserve their integrity. (shrink)

Resultant moral luck occurs whenever aspects of an agent’s moral responsibility are affected by luck pertaining to the outcomes of their actions. Many authors reject the existence of moral luck in this sense, but they do so in different ways. Michael Zimmerman argues that resultant luck affects the scope of moral responsibility, but not its degree. That is, it affects what agents are responsible for, but not how responsible they are. Andrew Khoury takes a more resolute approach, arguing that both (...) the scope and the degree of moral responsibility are free from resultant luck. -/- In this paper, I criticize both accounts and develop an alternative. I argue, first, that Khoury’s approach leads to an implausibly far-reaching error-theory about moral responsibility. Second, Zimmerman’s account cannot account for all the ways in which moral responsibility comes in degrees. Third, these problems can be overcome by introducing a distinction between two concepts of responsibility that both come with scope and degree. The first concept I call internal responsibility, as it applies exclusively to agent-internal factors. The second concept I call external responsibility, as it applies to (partly) agent-external factors such as actions and their outcomes. Given this distinction, we can avoid the problems of Khoury’s as well as Zimmerman’s accounts while preserving the central intuition behind the rejection of resultant moral luck. (shrink)

A critical survey of the main philosophical theories about events and event talk, organized in three main sections: (i) Events and Other Categories (Events vs. Objects; Events vs. Facts; Events vs. Properties; Events vs. Times); (ii) Types of Events (Activities, Accomplishments, Achievements, and States; Static and Dynamic Events; Actions and Bodily Movements; Mental and Physical Events; Negative Events); (iii) Existence, Identity, and Indeterminacy.

In the paper, I distinguish between the semantic and the “direct” approach to event ontology. The first approach, employed by D. Davidson, starts with logical analysis of natural language. This analysis uncovers quantification over the domain of events. Thus, we have ontological commitment to events and, at the same time, also a suggestion of how to view their nature. The second approach, used by J. Kim and D. Lewis, deals with events “directly”, i.e. not by analyzing language first. Events are (...) postulated because they are useful in other theories and their nature is adjusted to the needs of these theories. In the paper, I analyze both approaches and outline their problems and advantages. I conclude that we should conditionally prefer the latter approach on methodological grounds. This preference is based on the assumption that submitting hypotheses to tests seems to be a crucial part of metaphysical methodology. Since the “direct” approach to event ontology allows for more testing, it should be preferred over the semantic approach. (shrink)

This paper will first give an overview of the role of events in semantics against the background of Davidsonian semantics and its Neo-Davidsonian variant. Second, it will discuss some serious issues for standard views of events in contemporary semantics and present novel proposals of how to address them. These are [1] the semantic role of abstract (or Kimean) states, [2] wide scope adverbials, and [3] the status of verbs as event predicates with respect to the mass-count distinction. The paper will (...) show that abstract states as the entities described by (most) stative verbs are incompatible with Neo-Davidsonian event semantics and proposes a decompositional analysis of stative verbs that may be able to overcome the difficulty. The paper will argue that in addition to Davidsonian events, the semantics of adverbials requires events as truthmakers as well as actions as more complex entities sharply distinguished from events. The paper will also argue that the verbal domain of events sides with mass nouns rather than dividing into mass and count, unlike event nouns. (shrink)

The problem of the ‘Unity of the Proposition’ is the problem of explaining the difference between a content-expressing declarative sentence and a ‘mere list’ of referents. The prevailing view is that such a problem is to be solved metaphysically, either by reducing our ontology to exclude propositions or universals, or by explaining how it is possible for a certain kind of complex entity – the ‘proposition’– to ‘unify’ its constituents. I argue that these metaphysical approaches cannot succeed; instead the only (...) viable approach is linguistic, identifying features of the (type–) sentence itself that enable it to express a content. Thus the problem of the ‘Unity of the Proposition’ (distinguishing sentences from lists) is distinct from the problem of ‘propositional unity’ (explaining how the constituents of propositions form a unified content). I suggest that, while the latter problem is not pressing, the former does not permit of an answer which applies in generality in all languages; we can only fully explain the Unity of the Proposition for single languages or groups of similar languages. (shrink)

This article focuses on the main methods used in analytic metaphysics. It first considers five important sources of constraints on metaphysical theorizing: linguistic and conceptual analysis, consulting intuitions, employing the findings of science, respecting folk opinion, and applying theoretical virtues in metaphysical theory choice such as preferring simpler theories, or preferring more explanatory theories. It then examines the role of formal methods in metaphysics as well as the role of metaphysical communities, traditions, and the place of the history of metaphysics (...) in contemporary work. It also discusses the issue of whether metaphysics should be seen as an enterprise that will yield knowledge of metaphysical matters or whether it should have more modest epistemic goals. Finally, it explores the question of how much of metaphysics is a priori. (shrink)

This is the most comprehensive book ever published on philosophical methodology. A team of thirty-eight of the world's leading philosophers present original essays on various aspects of how philosophy should be and is done. The first part is devoted to broad traditions and approaches to philosophical methodology. The entries in the second part address topics in philosophical methodology, such as intuitions, conceptual analysis, and transcendental arguments. The third part of the book is devoted to essays about the interconnections between philosophy (...) and neighbouring fields, including those of mathematics, psychology, literature and film, and neuroscience. (shrink)

Ways of Scope Taking is concerned with syntactic, semantic and computational aspects of scope. Its starting point is the well-known but often neglected fact that different types of quantifiers interact differently with each other and other operators. The theoretical examination of significant bodies of data, both old and novel, leads to two central claims. (1) Scope is a by-product of a set of distinct Logical Form processes; each quantifier participates in those that suit its particular features. (2) Scope interaction is (...) further constrained by the semantics of the interacting operators. The arguments are developed using Minimalist syntax, Generalized Quantify theory, Discourse Representation Theory, and algebraic semantics. The contributors (Beghelli, Ben-Shalom, Doetjes, Farkas, Gutiérrez Rexach, Honcoop, Stabler, Stowell, Szabolcsi and Zwarts) make tightly related theoretical assumptions and focus on related empirical phenomena, which include the direct and inverse scope of quantifiers, distributivity, negation, modal and intensional contexts, weak islands, event-related readings, interrogatives, wh/quantifier interactions, and Hungarian syntax. An introduction to the formal semantics background is provided. Audience: Linguists, philosophers, computational and psycholinguists; advanced undergraduates, graduate students and researchers in these fields. (shrink)

A crucial question for a process view of life is how to identify a process and how to follow it through time. The genidentity view can contribute decisively to this project. It says that the identity through time of an entity X is given by a well-identified series of continuous states of affairs. Genidentity helps address the problem of diachronic identity in the living world. This chapter describes the centrality of the concept of genidentity for David Hull and proposes an (...) extension of Hull’s view to the ubiquitous phenomenon of symbiosis. Finally, using immunology as a key example, it shows that the genidentity view suggests that the main interest of a process approach is epistemological rather than ontological and that its principal claim is one of priority, namely that processes precede and define things, and not vice versa. (shrink)

This paper argues that the notion of a single object or 'being one' does not require worldly or perceived conditions of integrity and even less so concept-relative atomicity. It generally is based on conditions of integrity of some sort, but not strictly so. It rather is imposed by the use of count categories in natural language and thus makes a case for linguistic idealism.

Ontologiset kategoriateoriat pyrkivät vastaamaan metafysiikan klassiseen ongelmaan: kysymykseen siitä, mihin eri kategorioihin oliot eli entiteetit jakaantuvat. Olioilla tarkoitetaan tässä mitä tahansa, joka on olemassa. Olevan kategoriat eli ontologiset kategoriat (lyhyesti kategoriat) ovat alustavasti olioiden hyvin yleisiä lajeja. Jäsenyys olioiden kategoriassa ei niinkään kerro sitä, mitä piirteitä oliolla on, vaan sen olemisen tavan ¬– miten se esimerkiksi on tai voi olla maailman rakenneosa. Esimerkkejä mahdollisista kategorioista ovat konkreettiset partikulaariset yksilöoliot (substanssit), ominaisuudet, relaatiot, prosessit, tapahtumat ja joukot. -/- 1. Mitä ovat ontologiset (...) kategoriateoriat -/- 2. Uusaristoteelinen realismi -/- 3. Russellilainen realismi -/- 4. Universaalikimpputeoriat -/- 5. Nominalismi: substanssi-modus-teoriat -/- 6. Trooppiteoriat -/- 7. Jyrkkä nominalismi -/- 8. Tapahtuma- ja prosessiontologiat -/- 9. Ontologisten kategorioiden tutkimus Suomessa -/- 10. Suositeltavaa jatkolukemista -/- 11. Lähteet . (shrink)

In this paper, I explore ways in which metaphors contribute to hermeneutical resistance, that is, to practices that overcome and/or ameliorate hermeneutical injustice. I distinguish two aspects of hermeneutical injustice and two corresponding kinds of resistance: exoteric and esoteric hermeneutical injustice/resistance. The former injustice consists in unjust harm due to an inability to make one's experience understood to others. The latter consists in such a harm due to an inability to fully understand one's own experiences. In exoteric hermeneutical resistance, metaphors (...) can overcome resistances in others to understand oppressed agents' contributions because of its automatic processing and anti-deniability. In esoteric hermeneutical resistance, metaphors may highlight common structures in various aspects of marginalised agent's experiences, they can provide means of denoting social properties obscured by hermeneutical injustice and they can exhibit hermeneutical injustice by resisting interpretation. I illustrate these practices through works by Emily Dickinson, Ralph Ellison, Frantz Fanon, Paul Celan and Nelly Sachs. Those examples show the power of metaphors in hermeneutical resistance. (shrink)

The aim of this paper is to display an alternative to the familiar decompositional approach in action theory, one that resists the demand for an explanation of action in non-agential terms, while not simply treating the notion of intentional agency as an unexplained primitive. On this Anscombean alternative, action is not a worldly event with certain psychological causes, but a distinctive form of material process, one that is not simply caused by an exercise of reason but is itself a productive (...) exercise of reason. I argue that to comprehend the proposed alternative requires an account of the temporality of events in general. An event does not simply have a position in time, but is itself temporally structured. With the inner temporality of events in view, the Anscombean conception of action as a specifically self-conscious form of temporal unity is made available for critical reflection. (shrink)