Qua qua qua. Submission for Oxford graduate conference (4378 words)

Size: px
Start display at page:

Download "Qua qua qua. Submission for Oxford graduate conference (4378 words)"

Transcription

1 Qua qua qua Submission for Oxford graduate conference (4378 words) Abstract I will argue that qua objects exist, or, at least, that qua objects, if they existed, would solve a broad range of problems. Though they date at least as far back as to Aristotle, I will discuss their credentials under the form they got in Kit Fine s 1982 note Acts, Events and Things. I will show how they naturally arise in natural deduction, and how powerful a tool they are to explain all kinds of substitutivity failures and associated puzzles in the debates on material constitution, modes of presentation and belief ascription. I will show how they could be used to streamline ontology, while at the same time providing truthmakers galore and explaining, e.g., what essences are. I will criticize the only Ersatzist construal I know of and then finally try to sketch some ways in which qua objects might be given a place within one s favourite ontological picture, not offending our taste for desert landscapes. 1 What qua objects are Qua objects entered the contemporary philosophical stage in 1982, when Kit Fine wrote a short note entitled Acts, Events and Things. They have, though, a much longer history, dating back at least as far as to Aristotle, though this is not something that will concern me here. A qua object, according to Fine, is a special kind of intensional entity, consisting of a particular, say a (its basis ), together with a property, say F (its gloss ), and denoted by a qua F (Fine 1982: 100). For any particular a and any property F there is such a qua object, which exists at times and in worlds when and where a is F. Qua objects in Fine s sense are intensional entities: they are identical only if they have the same glosses and they are distinct from their bases, though they have them as constituents 1 and exemplify, at any given time and in any given world, all the properties of their bases which are not formal, i.e. which are not about the time or world in question. I propose to generalise Fine s idea, in order to accommodate my own ontological views, which I will sketch, though not try to justify, later. The crucial properties of qua objects, compared with their bases, are that they, on the one hand, have some privileged properties, properties which must be mentioned to give a full account of what that object is, while being impoverished in properties on the other hand. Qua objects are, in a sense to be made more precise later, description-relative. They are, however, existentially dependent on properties, not on predicates. So far, this does not tell us much about the ontological status of qua objects. Kit Fine, e.g., is wary not to assign them too high a grade of being: The acts, as qua objects, are in an obvious sense artificial and derivative. They are not genuinely out there in the world, but are formed from what is out there by means 1 This is not Fine s term: he says that the qua object should be regarded as some sort of amalgam of the given object and the property... (Fine 1982: 100). He later says that the basis is part of the qua object (Fine 1982: 101), but this commits him to the thesis that the whole of the basis and the gloss (the qua object) exists only if the basis has the gloss, which makes qua objects a rather special kind of whole. 1

2 of an alliance with a purely intensional element. (It is tempting to say that they are partly formed in our own minds, but this would be too psychologistic). (Fine 1982: 103) I would prefer a much more robust realistic construal. The usefulness, however, of qua objects does not depend on their ultimate ontological status, but one their following properties: a qua F is essentially F. a qua F has different modal and temporal persistence conditions than its base and any other qua object a qua G (for F and G not necessarily coextensive). a qua F depends existentially on the state of affairs of a s being F. For the present, I will call a qua object whatever satisfies these conditions. 2 Why qua objects are useful In this section, I want to show how useful qua objects are (or, if only they existed, would be) to solve a broad range of philosophical puzzles. This gives us some indirect and prima facie reason to believe in their existence. 2.1 Mathematics One place where qua objects naturally arise is in the application of the rules of universal generalisation and existential specialisation of natural deduction. The rule of universal generalisation (UG) allows us to infer x(f x) from F a for some individual constant a not occurring in F x. Existential specialisation (ES), in turn, justifies the move from x(f x) to F a for some individual constant a not occurring in F x. It seems natural to take UG to treat a in F a as a term denoting a qua object, for all we know, and all we are allowed to know, about the referent of a is that it is F. We have to make a choice, to be sure, but our choice is arbitrary, as long as it is a choice among objects qua F. The object we choose will have other properties as well: but none of them, intuitively, is a property of the object chosen as it is in itself. ES, in turn, introduces an individual constant a denoting one qua object in particular. Qua objects are also used in constructive mathematical proofs. Suppose I want to demonstrate that the sum of a triangle s interior angles is 180 degrees. I will draw a particular figure on the black board, say a. For my proof to be valid, I am not allowed to make use of any properties of a not mentioned in the definition I gave of a triangle. If I have defined, say, a triangle as a plane figure having three sides, I can make use of the fact that a has three interior angles only if I have shown how trilaterality implies triangularity. So I treat a as a qua object: the only thing I am entitled to presuppose about a is that it exemplifies its gloss. 2.2 Material Constitution Consider a particular statue, Goliath, and the lump of matter which constitutes it, Lump. They differ in their modal and temporal properties, while sharing a lot of other properties: how can this be? Qua objects provide an answer. What we call Goliath, in fact, is a (the thing which is the statue and the lump of matter) qua statue, while Lump refers to a qua lump of matter. They are one and the same in the sense that their bases are the same, but they differ in that Goliath is essentially a statue while Lump is not. If a therefore looses statuehood, say by our melting it down, Goliath ceases to exist while 2

3 Lump persists. It is true of Lump, but not of Goliath, that it might be melted down and still persist. We will later have to discuss what this sameness of bases consists in, but for the present it is enough to call it coincidence and to note that it falls short of identity tout court. 2.3 Modes of presentation It is well known that the following sentence might have been informative to a Babylonian: The evening star is the morning star. (1) The reason for this, the story goes, is that Babylonians used the morning star to refer to the last planet visible in the morning, while they used the evening star for the first planet appearing on the evening sky. But this is just to say that they used these terms to refer to qua objects: in order to know what the evening star is, a Babylonian would have had to know that it is the first planet on the evening sky. So (1) is informative because it says of two different qua objects that their bases are the same. On the strict identity conditions Fine gives, to be sure, (1) would not only be informative but false as well. Nothing, however, forces us to understand the is in (1) as the is of identity: it may also be taken to express predication or, even better, sameness of bases. It might be replied that this only works because the evening star and the morning star, despite Venus s being a planet, are definite descriptions. So let us then take Hesperus and Phosphorus and see whether we can account for the informativity of the following: Hesperus is Phosphorus. (2) Again, qua objects do the job: for if we are told by (2) that two naming chains end in two baptising acts which are directed towards the same object a and if we take the reference fixing descriptions to be the hesperizing object and the phosphorizing object respectively, we can take it to express that a qua hesperizing has the same base than a qua phosphorizing. Qua objects may also explain substitutivity failures in belief ascriptions. Take poor Pierre, believing that London, but not Londres, is ugly. He believes that it is ugly of the city qua containing such an ugly neighbourhood and that it is beautiful of the city qua containing wonderful Buckingham palace. Or take Ralph, believing that the shortest spy is a spy but not believing something at all about Ortcutt, the shortest spy. He believes something about Ortcutt qua (being) the shortest spy, but nothing about any other qua object having Ortcutt as its base. So qua objects are naturally taken to be the objects of propositional attitudes. 2.4 Substitutivity failures We can extend that account to all kinds of substitutivity failures. Take, e.g., the problem of substitutivity failures in so-called simple sentences (Saul 1997) like: Superman is more successful with women than Clark Kent. (3) Joseph G. Moore (1999: 103) tried to save substitutivity by construing Superman and Clark Kent as names of what he calls aspects, primitive, irreducible, and [...] somewhat indeterminate entities : For the moment we might think of these aspects as certain collections of Clark/Superman s properties (often temporary) features of physical appearance, character, reputation, and so on. (Moore 1999: 94) 3

4 The basic problem, however, is that collections of properties, even when taken as primitive, are not successful with women at all. The remedy, of course, are qua objects: Clark Kent is, in fact, more successful with Lois Lane qua Superman than qua Clark Kent, for she would not have kissed him were it not for his fancy dress. 2.5 Diagonal intensions Qua objects relate in the following way to the nowadays popular two-dimensional method of specifying what would once have been called the sense of a term. To determine Stalnaker s diagonal intension of a propositional concept or Chalmer s epistemic intension of a word, we are asked to determine the referents and extensions of our words or concepts under certain counterfactual circumstances we are supposed to imagine being actual. We are, e.g., to wonder what our word or concept water would refer to if it would turn out that the substance in our lakes has in fact the chemical structure XYZ. By this method, it is claimed, we find out something about our actual use of words and concepts. While Stalnaker takes this method to individuate the propositional concepts we actually use and Chalmers takes it to determine the notional, i.e. introspectively accessible and inferentially crucial, content of our words, I would say that we find out something about their reference: if in all possible utterance situations of water, we would refer by it to what is there the local watery stuff, then we use water to refer to water (that is H 2 O) qua watery stuff. Water qua watery stuff might have XYZ-constituted counterparts, while water qua H 2 O does not. So water is watery stuff, if it is a priori, is a priori because it has the logical form of a qua F is F. 2.6 Essences a qua F, we said, is essentially F, even if a tout court is not. Glossing, then, affects modal behaviour. A natural explanation of what essences are is that a property is essential to an object iff it is shared by all its counterparts (Lewis 1968: 35). This makes essences cheap: what counts as a counterpart may depend on the context; contextually salient features may narrow down the class of counterparts and we end up with spurious essences. Qua objects to the rescue: For F to be an essential property of a, we should require not only that all its counterparts are F but also that they are counterparts of a qua F. If Socrates is essentially a man, anything which resembles him resembles him with respect to manhood. There is reason to believe, however, that the criterion is still too weak: for there are non-essential properties resemblance with respect to which is cheap, for anything whatsoever has them. These are the necessary and universal properties like being self-identical, being such that = 4 and so on. But not only these: there may other properties be shared by all the counterparts of a qua object which are not specific enough to determine its base. 2 In such cases, glossing widens the similarity class, rather than narrowing it down. To exclude such non-specific properties, we have to require that any counterpart of a qua F is a counterpart of a tout court. Then we may define essential properties as follows. A property F is essential to a iff a and a qua F have the same counterparts. (4) This account of essences allows us to fix a loophole in our account of material constitution. The account we presented seemed to be symmetric, while constitution is not: lumps can fail to be statues altogether while statues are generically dependent on there being lumps. a qua statue, then, is essentially a lump, while a qua lump is only accidentially a statue. Everything that 2 In the tripartite distinction of Fine (1994: 68) between essential, accidential and definite properties, such properties constitute the third category. Fine draws an interesting analogy to definitions: essential properties of a are those that must, while definite properties are those that may, figure in an (adequate) definition of a. 4

5 resembles a qua statue, ipso facto resembles it with respect to lumphood, while there may be counterparts of a qua lump tout court which fail to be counterparts of it qua statue. This is just to say that there are more lumps than statues in modal space. 2.7 Truthmakers Qua objects provide us with all the truthmakers we ever thought we needed. What makes it true that a is F, most naturally, is a qua F, an entity necessarily such that it exists iff a is F. As David Lewis (2003) has shown in recent work, even the ontologically more scrupulous, restricting the formation of qua objects to properties which are exemplified intrinsically by their base, get enough truthmakers. Predications of relational properties are then made true by qua objects having the mereological sum of the relata as their base and a certain structural, hence intrinsic property of this sum as their gloss. Negative existentials like there are no unicorns are made true by the actual world qua lacking unicorns. 2.8 Ontology Qua objects, while themselves, at least at first sight, quite bizarre entities, streamline ontology: they allow us to dispense with other bizarre entities, namely properties, states of affairs and tropes. Qua objects not only depend existentially on states of affairs; they also allow us to get rid of them. a qua F exists (at a time, in a world) only if a is F (at that time, in that world). Whenever and whereever a is F, on the contrary, there is at least one corresponding qua object, whose existence (at that time and in that world) entails that a is F. Why keep states of affairs if they are not needed for the truthmaking job? The trope involved in a s being F, a s particular F -ness, is what, if added to a, gives us the new object a qua F. Properties may be taken to be sums, fusions or sets of their instances: F is what all and only the objects of the form a qua F have in common. 3 Qua objects allow us to draw us the following nice picture: The world is a world of things, objects, of different kinds. Some objects are incomplete, or dependent, but this does neither make them wholly qualitative. Everything exists in space-time. Every object has a property, and every property is had by an object. There is only one world, and every modal fact is made true by an object existing in that world. There are no forms, abstract objects, and senses dangling around in outer-space. We can even go further, though. Having qua objects, we do not need anything else. For any ordinary thing, say a, can be taken to be nothing but a qua F, where F is a supervenience base for all of a s essential properties. 3 Why qua objects won t go away Granted, one may reply, qua objects are indeed useful, if they exist, but this is not enough to show that they exist. Unfortunately, not everything potentially useful is at our disposition. It must be shown, in addition, that nothing else can do the job qua objects are good at. Maybe we can have the same benefits at a lesser ontological price. It is difficult to argue for negative existential claims. All one can do is to proceed case by case and try to show why the different Ersatzist proposals do not work. Fortunately, I know of only 3 But does not this give us only the property being essentially F? To this it might be replied that this property is (nothing but) F, exemplified in some particular way (which, if there are only qua objects, is the only way properties are exemplified). 5

6 one (of the same generality, at least). The proposal is that every predication involving (apparent) reference to qua objects can be analyzed by a locution involving because : a qua F is G a is G because a is F (5) Let us examine the credentials of this proposal. Beside a minor point about reflexivity ( a qua F is F, as we have seen, is trivially true, while... because is usually taken to be irreflexive), the main problem seems to me to be that the variable positions in F x because Gy are referentially transparent, while x in x qua F is G is not. So if Superman is successful with women because of his fancy dress, so is Clark Kent, contrary to what we saw about the two qua objects involved. It seems, therefore, that the benefits cannot be had for less. Perhaps, however, they cannot be had at all. 4 How qua objects might exist Even if qua objects are useful, many will be reluctant to admit their existence as long as they lack a precise idea how such bizarre entities might be part of the furniture of the world. This is why I will now try to sketch some ways one might accommodate qua objects within one s ontological framework. 4.1 Parts of ordinary objects The most straightforward way is to make them parts of ordinary objects, in the ordinary sense of part (which I think is the only sense of part). The details are somehow more complicated, however. Call a property F of an object a intrinsic to a iff a s being F is only a matter of how a is and not at all of how other objects are, a property a could have if it were the only existing thing. Being bent (under at least one reading), or talking are intrinsic properties of mine, while being a philosopher or being called Philipp are not. Intrinsicness is a relational term. If the particular involved is chosen large enough, every property and relation is intrinsic to some thing. If we allow for enough structural properties, e.g., relations are intrinsic to the mereological sum or fusion of their relata. My proposal now is that exemplification of intrinsic properties is ordinary parthood. So every property or relation is part of some thing, though not, of course, a spatio-temporal part, and a qua F for any property F intrinsic to a is just the mereological fusion of a s spatio-temporal parts with F. a qua F may still share other properties with a, but these will be extrinsic to it, with the exception of all the properties implied by it s being F Ordinary objects under competing descriptions Another possibility to accommodate qua objects is to stay content with ordinary, non-qua, things, but allow for different counterpart relations. Something b in a possible world v is a counterpart of a in w iff a would be b if w turned out to be v. Counterpart relations depend on overall intrinsic and extrinsic similiarity and sometimes on similarity-in-a-given-respect. 4 Given qua objects, the parthood analysis may perhaps be extended to all properties and relations. Take, e.g., a certain relation, say being in the same room as that holds between me and all of you. This relation may be taken to be a part of our mereological sum s. We would then have a qua object, s qua being in the same room. I, by being part of s, am a part of that qua object: the relational property being in the same room than all of you is this property that is a non-spatiotemporal part both of me and of the qua object s qua being in the same room. So I qua being in the same room than all of you is a part of me. 6

7 If we allow for different counterpart relations we might say that one and the same thing, e.g. the lump of matter and the statue, might have counterparts in one respect which are not counterparts of it in another respect, e.g. melted-down counterparts which are sufficiently similar to it with respect to lump-hood, but not to statue-hood. The difficulty is, of course, to say how such counterpart relations are selected and why their difference does not violate Leibniz s Law. Letting, as Lewis (1971: 53) does, the appropriate counterpart relation by the sense of the proper name used, not only riddles us with senses of proper names, but neither gives us a general procedure. 5 For sometimes, Lewis says, the appropriate counterpart relation is selected by a special clause like regarded as an F. We are very close to qua objects indeed. Different counterpart relations are distinguished by the fact that they derive from different properties of one and the same thing:... counterpart relations are a matter of over-all resemblance in a variety of respects. If we vary the relative importances of different respects of similarity and dissimilarity, we will get different counterpart relations. Two respects of similarity and dissimilarity among enduring things are, first, personhood and personal traits, and, second, bodyhood and bodily traits. If we assign great weight to the former, we get the personal counterpart relation. Only a person, or something very like a person, can resemble a person in respect of personhood and personal traits enough to be his personal counterpart. But if we assign great weight to the latter, we get the bodily counterpart relation. Only a body, or something very like a body, can resemble a body in respect to bodyhood and bodily traits enough to be its bodily counterpart. (Lewis 1971: 51 52) Because glosses of qua objects are precisely what constrains their similarity relations, it seems to me that the different-counterpart-relations theory is just a variant of the full-blown qua object theory, perhaps preferable to the ontologically cautious. As always where there is a trade-off between what Quine calls ontology and ideology, however, there is a price to pay: even de re modal predications, when couched in a multiple counterpart theory, will not be referentially transparent and the great advantage of counterpart theory in the first place will be lost. By accepting qua objects we will restore referential transparency and gain much more. 4.3 Modal continuants There is an attractive way to combine both proposals just sketched. Achille Varzi (2001) has shown that counterpart theory may be smoothly couched in terms of modal occurrents, 6 i.e. transworld individuals which have their worldy parts as modal stages in much the same way that perduring things have and consist of temporal stages. As counterpart relations, being a matter of similarity, are not equivalence relations, one and the same thing will be part of many different modal continuants. But given a multiplicity of counterpart relations, this was to be expected anyway. These trans-world individuals, I would like to argue, are nothing else than qua objects. Qua objects are partially identical, they may share stages, and these stages are the objects what we normally refer to. In modal, as in temporal, discourse, the wholes of which these stages are part matter: they are what makes true our modal and temporal predications. The vagueness of statements like Pavarotti might have been a ballerina, our uncertainty with respect to what will count as a counterpart of Pavarotti and our uncertainty about whether the person or the body is relevant, is assimilated to the case of Tibbles, the cat which is partly identical to many lumps of feline matter which might have been cats if Tibbles had not. So contingent and temporal identity is nothing but partial identity, of temporal and modal continuants respectively. 5 In Things qua Truthmakers, Lewis (2003) speaks of names evoking counterpart relations. 6 Lewis (1983: 40 42) misleadingly calls such trans-world individuals modal continuants. 7

8 5 Concluding remarks I hope to have shown you that qua objects, if they existed, might us do much good and to have indicated some ways in which they might indeed exist. It is obvious, however, that I have not offered you a general and unified theory of everything qua objects are good for, and there is much work left to be done. But I hope to have shown, however, that undertaking this work is to pursue a promising route which might even lead us to paradise. References Kit Fine, 1982, Acts, Events and Things, in W. Leinfellner, E. Kraemer, and J. Schank (eds.) Proceedings of the 6th International Wittgenstein Symposium, pp , Wien: Hölder- Pichler-Tempsky. Kit Fine, 1994, Essence and Modality, in James E. Tomberlin (ed.) Philosophical Perspectives 8: Logic and Language, pp. 1 16, Oxford, England: Basil Blackwell Publishers, the Second Philosophical Perspectives Lecture. Dale Jacquette (ed.) 2002, Philosophy of Logic: An Anthology, Blackwell Philosophy Anthologies, Oxford, England: Basil Blackwell Publishers. David K. Lewis, 1968, Counterpart Theory and Quantified Modal Logic, The Journal of Philosophy 65, pp , reprinted in Lewis (1983) and Jacquette (2002). David K. Lewis, 1971, Counterparts of Persons and Their Bodies, The Journal of Philosophy 68, pp , reprinted in Lewis (1983). David K. Lewis, 1983, Philosophical Papers, volume 1, Oxford, England: Oxford University Press. David K. Lewis, 2003, Things qua Truthmakers, in Hallvard Lillehammer and Gonzalo Rodriguez-Pereyra (eds.) Real Metaphysics Essays in honour of D.H. Mellor, Routledge Studies in twentieth-century Philosophy, pp , london: Routledge. Joseph Moore, 1999, Propositions without Identity, Noûs 33(3), pp Jennifer M. Saul, 1997, Substitution and Simple Sentences, Analysis 57(2), pp Achille C. Varzi, 2001, Parts, counterparts, and modal occurrents, in Denis Miéville (ed.) Méréologie et Modalités Aspects Critiques et Développements, CdRS: Université de Neuchâtel. 8

1. MacBride s description of reductionist theories of modality

1. MacBride s description of reductionist theories of modality DANIEL VON WACHTER The Ontological Turn Misunderstood: How to Misunderstand David Armstrong s Theory of Possibility T here has been an ontological turn, states Fraser MacBride at the beginning of his article

More information

Tropes and Facts. onathan Bennett (1988), following Zeno Vendler (1967), distinguishes between events and facts. Consider the indicative sentence

Tropes and Facts. onathan Bennett (1988), following Zeno Vendler (1967), distinguishes between events and facts. Consider the indicative sentence URIAH KRIEGEL Tropes and Facts INTRODUCTION/ABSTRACT The notion that there is a single type of entity in terms of which the whole world can be described has fallen out of favor in recent Ontology. There

More information

Two Concepts of Possible Worlds or Only One?

Two Concepts of Possible Worlds or Only One? THEORIA, 2008, 74, 318 330 doi:10.1111/j.1755-2567.2008.00027.x Two Concepts of Possible Worlds or Only One? by JIRI BENOVSKY University of Fribourg, Switzerland Abstract: In his Two Concepts of Possible

More information

REINTERPRETING 56 OF FREGE'S THE FOUNDATIONS OF ARITHMETIC

REINTERPRETING 56 OF FREGE'S THE FOUNDATIONS OF ARITHMETIC REINTERPRETING 56 OF FREGE'S THE FOUNDATIONS OF ARITHMETIC K.BRADWRAY The University of Western Ontario In the introductory sections of The Foundations of Arithmetic Frege claims that his aim in this book

More information

22c181: Formal Methods in Software Engineering. The University of Iowa Spring Propositional Logic

22c181: Formal Methods in Software Engineering. The University of Iowa Spring Propositional Logic 22c181: Formal Methods in Software Engineering The University of Iowa Spring 2010 Propositional Logic Copyright 2010 Cesare Tinelli. These notes are copyrighted materials and may not be used in other course

More information

Goal-Directed Tableaux

Goal-Directed Tableaux Goal-Directed Tableaux Joke Meheus and Kristof De Clercq Centre for Logic and Philosophy of Science University of Ghent, Belgium Joke.Meheus,Kristof.DeClercq@UGent.be October 21, 2008 Abstract This paper

More information

ON PERSISTENCE THROUGH TIME: A FURTHER LOOK AT THE ENDURANCE VS. PERDURANCE DEBATE

ON PERSISTENCE THROUGH TIME: A FURTHER LOOK AT THE ENDURANCE VS. PERDURANCE DEBATE ON PERSISTENCE THROUGH TIME: A FURTHER LOOK AT THE ENDURANCE VS. PERDURANCE DEBATE Author: Nicholas Lauda Faculty Sponsor: Consuelo Preti, Department of Philosophy ABSTRACT From the title of his paper,

More information

Modal logic. Benzmüller/Rojas, 2014 Artificial Intelligence 2

Modal logic. Benzmüller/Rojas, 2014 Artificial Intelligence 2 Modal logic Benzmüller/Rojas, 2014 Artificial Intelligence 2 What is Modal Logic? Narrowly, traditionally: modal logic studies reasoning that involves the use of the expressions necessarily and possibly.

More information

William of Sherwood, Singular Propositions and the Hexagon of Opposition.

William of Sherwood, Singular Propositions and the Hexagon of Opposition. William of Sherwood, Singular Propositions and the Hexagon of Opposition. Yurii D. Khomskii yurii@deds.nl Institute of Logic, Language and Computation (ILLC) University of Amsterdam William of Sherwood,

More information

Uploading and Consciousness by David Chalmers Excerpted from The Singularity: A Philosophical Analysis (2010)

Uploading and Consciousness by David Chalmers Excerpted from The Singularity: A Philosophical Analysis (2010) Uploading and Consciousness by David Chalmers Excerpted from The Singularity: A Philosophical Analysis (2010) Ordinary human beings are conscious. That is, there is something it is like to be us. We have

More information

at the Same Time: An Argument

at the Same Time: An Argument American Philosophical Quarterly Volume 46, Number 3, July 2009 On (Not) Being in Two Places at the Same Time: An Argument against Endurantism Jiri Benovsky 1. My neighbor Cyrano has a big nose. My other

More information

Awareness and Understanding in Computer Programs A Review of Shadows of the Mind by Roger Penrose

Awareness and Understanding in Computer Programs A Review of Shadows of the Mind by Roger Penrose Awareness and Understanding in Computer Programs A Review of Shadows of the Mind by Roger Penrose John McCarthy Computer Science Department Stanford University Stanford, CA 94305. jmc@sail.stanford.edu

More information

will talk about Carry Look Ahead adder for speed improvement of multi-bit adder. Also, some people call it CLA Carry Look Ahead adder.

will talk about Carry Look Ahead adder for speed improvement of multi-bit adder. Also, some people call it CLA Carry Look Ahead adder. Digital Circuits and Systems Prof. S. Srinivasan Department of Electrical Engineering Indian Institute of Technology Madras Lecture # 12 Carry Look Ahead Address In the last lecture we introduced the concept

More information

Communication Engineering Prof. Surendra Prasad Department of Electrical Engineering Indian Institute of Technology, Delhi

Communication Engineering Prof. Surendra Prasad Department of Electrical Engineering Indian Institute of Technology, Delhi Communication Engineering Prof. Surendra Prasad Department of Electrical Engineering Indian Institute of Technology, Delhi Lecture - 16 Angle Modulation (Contd.) We will continue our discussion on Angle

More information

Adam Aziz 1203 Words. Artificial Intelligence vs. Human Intelligence

Adam Aziz 1203 Words. Artificial Intelligence vs. Human Intelligence Adam Aziz 1203 Words Artificial Intelligence vs. Human Intelligence Currently, the field of science is progressing faster than it ever has. When anything is progressing this quickly, we very quickly venture

More information

37 Game Theory. Bebe b1 b2 b3. a Abe a a A Two-Person Zero-Sum Game

37 Game Theory. Bebe b1 b2 b3. a Abe a a A Two-Person Zero-Sum Game 37 Game Theory Game theory is one of the most interesting topics of discrete mathematics. The principal theorem of game theory is sublime and wonderful. We will merely assume this theorem and use it to

More information

BRENTANO S PSYCHOLOGY FROM AN EMPIRICAL STANDPOINT: ITS BACKGROUND AND CONCEPTION

BRENTANO S PSYCHOLOGY FROM AN EMPIRICAL STANDPOINT: ITS BACKGROUND AND CONCEPTION BRENTANO S PSYCHOLOGY FROM AN EMPIRICAL STANDPOINT: ITS BACKGROUND AND CONCEPTION ROBIN D. ROLLINGER Abstract. While Brentano s most important philosophical writings were most certainly left in manuscript

More information

WITTGENSTEIN AND HIS IMPACT ON CONTEMPORARY THOUGHT

WITTGENSTEIN AND HIS IMPACT ON CONTEMPORARY THOUGHT SONDERDRUCK aus WITTGENSTEIN AND HIS IMPACT ON CONTEMPORARY THOUGHT PROCEEDINGS OFTHE 2" INTERNATIONAL WITTGENSTEIN SYMPOSIUM 2gth AUGUST TO 4th SEPTEMBER 1977 KIRCHBERG AUSTRIA) WITTGENSTEIN UND SEIN

More information

Philosophy and the Human Situation Artificial Intelligence

Philosophy and the Human Situation Artificial Intelligence Philosophy and the Human Situation Artificial Intelligence Tim Crane In 1965, Herbert Simon, one of the pioneers of the new science of Artificial Intelligence, predicted that machines will be capable,

More information

Island Universe Problems

Island Universe Problems Cleveland State University EngagedScholarship@CSU Philosophy & Comparative Religion Department Faculty Publications Philosophy & Comparative Religion Department 2014 Island Universe Problems William Simkulet

More information

Games of Make-Believe and Factual Information

Games of Make-Believe and Factual Information Theoretical Linguistics 2017; 43(1-2): 95 101 Sandro Zucchi* Games of Make-Believe and Factual Information DOI 10.1515/tl-2017-0007 1 Two views about metafictive discourse Sentence (1) is taken from Tolkien

More information

EA 3.0 Chapter 3 Architecture and Design

EA 3.0 Chapter 3 Architecture and Design EA 3.0 Chapter 3 Architecture and Design Len Fehskens Chief Editor, Journal of Enterprise Architecture AEA Webinar, 24 May 2016 Version of 23 May 2016 Truth in Presenting Disclosure The content of this

More information

FICTIONAL HIERARCHIES AND MODAL THEORIES OF FICTION JOHANNES SCHMITT USC SCHOOL OF PHILOSOPHY

FICTIONAL HIERARCHIES AND MODAL THEORIES OF FICTION JOHANNES SCHMITT USC SCHOOL OF PHILOSOPHY Postgraduate Journal of Aesthetics, Vol. 6, No. 1, April 2009 FICTIONAL HIERARCHIES AND MODAL THEORIES OF FICTION JOHANNES SCHMITT USC SCHOOL OF PHILOSOPHY I. INTRODUCTION Some philosophers of fiction

More information

The popular conception of physics

The popular conception of physics 54 Teaching Physics: Inquiry and the Ray Model of Light Fernand Brunschwig, M.A.T. Program, Hudson Valley Center My thinking about these matters was stimulated by my participation on a panel devoted to

More information

MAS336 Computational Problem Solving. Problem 3: Eight Queens

MAS336 Computational Problem Solving. Problem 3: Eight Queens MAS336 Computational Problem Solving Problem 3: Eight Queens Introduction Francis J. Wright, 2007 Topics: arrays, recursion, plotting, symmetry The problem is to find all the distinct ways of choosing

More information

On Relativist Approaches to Many-One Identity

On Relativist Approaches to Many-One Identity On Relativist Approaches to Many-One Identity Composition as identity is the view that a whole is identical to its parts taken collectively. Such a view raises the question of how the same portion of reality

More information

Communication Engineering Prof. Surendra Prasad Department of Electrical Engineering Indian Institute of Technology, Delhi

Communication Engineering Prof. Surendra Prasad Department of Electrical Engineering Indian Institute of Technology, Delhi Communication Engineering Prof. Surendra Prasad Department of Electrical Engineering Indian Institute of Technology, Delhi Lecture - 23 The Phase Locked Loop (Contd.) We will now continue our discussion

More information

(Refer Slide Time: 3:11)

(Refer Slide Time: 3:11) Digital Communication. Professor Surendra Prasad. Department of Electrical Engineering. Indian Institute of Technology, Delhi. Lecture-2. Digital Representation of Analog Signals: Delta Modulation. Professor:

More information

Thought-Experiment Intuitions and Truth in Fiction

Thought-Experiment Intuitions and Truth in Fiction 14TH ANNUAL HARVARD/MIT MARCH 2006 GRADUATE STUDENT PHILOSOPHY CONFERENCE Thought-Experiment Intuitions and Truth in Fiction Jonathan Ichikawa BROWN UNIVERSITY 1 Introduction WE START (where else?) with

More information

Uploading and Personal Identity by David Chalmers Excerpted from The Singularity: A Philosophical Analysis (2010)

Uploading and Personal Identity by David Chalmers Excerpted from The Singularity: A Philosophical Analysis (2010) Uploading and Personal Identity by David Chalmers Excerpted from The Singularity: A Philosophical Analysis (2010) Part 1 Suppose that I can upload my brain into a computer? Will the result be me? 1 On

More information

An Analytic Philosopher Learns from Zhuangzi. Takashi Yagisawa. California State University, Northridge

An Analytic Philosopher Learns from Zhuangzi. Takashi Yagisawa. California State University, Northridge 1 An Analytic Philosopher Learns from Zhuangzi Takashi Yagisawa California State University, Northridge My aim is twofold: to reflect on the famous butterfly-dream passage in Zhuangzi, and to display the

More information

All the children are not boys

All the children are not boys "All are" and "There is at least one" (Games to amuse you) The games and puzzles in this section are to do with using the terms all, not all, there is at least one, there isn t even one and such like.

More information

MODALITY, SI! MODAL LOGIC, NO!

MODALITY, SI! MODAL LOGIC, NO! MODALITY, SI! MODAL LOGIC, NO! John McCarthy Computer Science Department Stanford University Stanford, CA 94305 jmc@cs.stanford.edu http://www-formal.stanford.edu/jmc/ 1997 Mar 18, 5:23 p.m. Abstract This

More information

Strategic Bargaining. This is page 1 Printer: Opaq

Strategic Bargaining. This is page 1 Printer: Opaq 16 This is page 1 Printer: Opaq Strategic Bargaining The strength of the framework we have developed so far, be it normal form or extensive form games, is that almost any well structured game can be presented

More information

CE213 Artificial Intelligence Lecture 1

CE213 Artificial Intelligence Lecture 1 CE213 Artificial Intelligence Lecture 1 Module supervisor: Prof. John Gan, Email: jqgan, Office: 4B.524 Homepage: http://csee.essex.ac.uk/staff/jqgan/ CE213 website: http://orb.essex.ac.uk/ce/ce213/ Learning

More information

WEEK 1: MODAL DEFINITIONS OF KNOWLEDGE

WEEK 1: MODAL DEFINITIONS OF KNOWLEDGE Knowledge & Reality Tutor: James Openshaw 1 WEEK 1: MODAL DEFINITIONS OF KNOWLEDGE Edmund Gettier (1963), Is Justified True Belief Knowledge?, Analysis 23: 121 123. Robert Nozick (1981), Knowledge and

More information

Cutting a Pie Is Not a Piece of Cake

Cutting a Pie Is Not a Piece of Cake Cutting a Pie Is Not a Piece of Cake Julius B. Barbanel Department of Mathematics Union College Schenectady, NY 12308 barbanej@union.edu Steven J. Brams Department of Politics New York University New York,

More information

School Based Projects

School Based Projects Welcome to the Week One lesson. School Based Projects Who is this lesson for? If you're a high school, university or college student, or you're taking a well defined course, maybe you're going to your

More information

Three of these grids share a property that the other three do not. Can you find such a property? + mod

Three of these grids share a property that the other three do not. Can you find such a property? + mod PPMTC 22 Session 6: Mad Vet Puzzles Session 6: Mad Veterinarian Puzzles There is a collection of problems that have come to be known as "Mad Veterinarian Puzzles", for reasons which will soon become obvious.

More information

Turing Centenary Celebration

Turing Centenary Celebration 1/18 Turing Celebration Turing s Test for Artificial Intelligence Dr. Kevin Korb Clayton School of Info Tech Building 63, Rm 205 kbkorb@gmail.com 2/18 Can Machines Think? Yes Alan Turing s question (and

More information

SOME EXAMPLES FROM INFORMATION THEORY (AFTER C. SHANNON).

SOME EXAMPLES FROM INFORMATION THEORY (AFTER C. SHANNON). SOME EXAMPLES FROM INFORMATION THEORY (AFTER C. SHANNON). 1. Some easy problems. 1.1. Guessing a number. Someone chose a number x between 1 and N. You are allowed to ask questions: Is this number larger

More information

Say My Name. An Objection to Ante Rem Structuralism. Tim Räz. July 29, 2014

Say My Name. An Objection to Ante Rem Structuralism. Tim Räz. July 29, 2014 Say My Name. An Objection to Ante Rem Structuralism Tim Räz July 29, 2014 Abstract In this paper I raise an objection to ante rem structuralism, proposed by Stewart Shapiro: I show that it is in conflict

More information

Propositional attitudes

Propositional attitudes Propositional attitudes Readings: Portner, Ch. 9 1. What are attitude verbs? We have already seen that verbs like think, want, hope, doubt, etc. create intensional environments. For example, (1a) and (1b)

More information

Daniel Lee Kleinman: Impure Cultures University Biology and the World of Commerce. The University of Wisconsin Press, pages.

Daniel Lee Kleinman: Impure Cultures University Biology and the World of Commerce. The University of Wisconsin Press, pages. non-weaver notion and that could be legitimately used in the biological context. He argues that the only things that genes can be said to really encode are proteins for which they are templates. The route

More information

The Digital Challenge: Photographic Realism Revisited

The Digital Challenge: Photographic Realism Revisited The Digital Challenge: Photographic Realism Revisited Geert Gooskens * University of Antwerp Abstract. It has been argued that digital photography, unlike its analog predecessor, is not realistic. The

More information

A paradox for supertask decision makers

A paradox for supertask decision makers A paradox for supertask decision makers Andrew Bacon January 25, 2010 Abstract I consider two puzzles in which an agent undergoes a sequence of decision problems. In both cases it is possible to respond

More information

Is Artificial Intelligence an empirical or a priori science?

Is Artificial Intelligence an empirical or a priori science? Is Artificial Intelligence an empirical or a priori science? Abstract This essay concerns the nature of Artificial Intelligence. In 1976 Allen Newell and Herbert A. Simon proposed that philosophy is empirical

More information

Notes on 4-coloring the 17 by 17 grid

Notes on 4-coloring the 17 by 17 grid otes on 4-coloring the 17 by 17 grid lizabeth upin; ekupin@math.rutgers.edu ugust 5, 2009 1 or large color classes, 5 in each row, column color class is large if it contains at least 73 points. We know

More information

Game Theory and Algorithms Lecture 19: Nim & Impartial Combinatorial Games

Game Theory and Algorithms Lecture 19: Nim & Impartial Combinatorial Games Game Theory and Algorithms Lecture 19: Nim & Impartial Combinatorial Games May 17, 2011 Summary: We give a winning strategy for the counter-taking game called Nim; surprisingly, it involves computations

More information

Strict Finitism Refuted? Ofra Magidor ( Preprint of paper forthcoming Proceedings of the Aristotelian Society 2007)

Strict Finitism Refuted? Ofra Magidor ( Preprint of paper forthcoming Proceedings of the Aristotelian Society 2007) Strict Finitism Refuted? Ofra Magidor ( Preprint of paper forthcoming Proceedings of the Aristotelian Society 2007) Abstract: In his paper Wang s paradox, Michael Dummett provides an argument for why strict

More information

Technology and Normativity

Technology and Normativity van de Poel and Kroes, Technology and Normativity.../1 Technology and Normativity Ibo van de Poel Peter Kroes This collection of papers, presented at the biennual SPT meeting at Delft (2005), is devoted

More information

(Refer Slide Time: 01:45)

(Refer Slide Time: 01:45) Digital Communication Professor Surendra Prasad Department of Electrical Engineering Indian Institute of Technology, Delhi Module 01 Lecture 21 Passband Modulations for Bandlimited Channels In our discussion

More information

Modular Arithmetic. Kieran Cooney - February 18, 2016

Modular Arithmetic. Kieran Cooney - February 18, 2016 Modular Arithmetic Kieran Cooney - kieran.cooney@hotmail.com February 18, 2016 Sums and products in modular arithmetic Almost all of elementary number theory follows from one very basic theorem: Theorem.

More information

Ideas beyond Number. Teacher s guide to Activity worksheets

Ideas beyond Number. Teacher s guide to Activity worksheets Ideas beyond Number Teacher s guide to Activity worksheets Learning objectives To explore reasoning, logic and proof through practical, experimental, structured and formalised methods of communication

More information

My papers are on the above web page. This paper is

My papers are on the above web page. This paper is APPROXIMATE CONCEPTS AND APPROXIMAT THEORIES John McCarthy Computer Science Department Stanford University jmc@cs.stanford.edu http://www-formal.stanford.edu/jmc/ March 28, 2006 My papers are on the above

More information

A Logic for Social Influence through Communication

A Logic for Social Influence through Communication A Logic for Social Influence through Communication Zoé Christoff Institute for Logic, Language and Computation, University of Amsterdam zoe.christoff@gmail.com Abstract. We propose a two dimensional social

More information

Review on The Secret of Chess by Lyudmil Tsvetkov. by IM Herman Grooten

Review on The Secret of Chess by Lyudmil Tsvetkov. by IM Herman Grooten Review on The Secret of Chess by Lyudmil Tsvetkov by IM Herman Grooten When I was reading and scrolling through this immense book of Lyudmil Tsvetkov I first was very surprised about the topic of this

More information

Artistic imagination needs more understanding than scientific imagination

Artistic imagination needs more understanding than scientific imagination Artistic imagination needs me understanding than scientific imagination Ningombam Bupenda Meitei, St.Stephen s College,University of Delhi Department of Philosophy,University of Delhi. The article is non-exposity

More information

Logic and Artificial Intelligence Lecture 16

Logic and Artificial Intelligence Lecture 16 Logic and Artificial Intelligence Lecture 16 Eric Pacuit Currently Visiting the Center for Formal Epistemology, CMU Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/ epacuit

More information

MITOCW watch?v=fp7usgx_cvm

MITOCW watch?v=fp7usgx_cvm MITOCW watch?v=fp7usgx_cvm Let's get started. So today, we're going to look at one of my favorite puzzles. I'll say right at the beginning, that the coding associated with the puzzle is fairly straightforward.

More information

Scientific Models and Games of Make-Believe: A Modal-Logical Perspective

Scientific Models and Games of Make-Believe: A Modal-Logical Perspective Scientific Models and Games of Make-Believe: A Modal-Logical Perspective Matthieu Gallais University of Lille UMR 8163 - STL matthieu.gallais@gmail.com DOI 10.1515/kjps-2016-0018 Introduction The fictionalist

More information

Beyond technology Rethinking learning in the age of digital culture

Beyond technology Rethinking learning in the age of digital culture Beyond technology Rethinking learning in the age of digital culture This article is a short summary of some key arguments in my book Beyond Technology: Children s Learning in the Age of Digital Culture

More information

Midterm with Answers and FFQ (tm)

Midterm with Answers and FFQ (tm) Midterm with s and FFQ (tm) CSC 242 6 March 2003 Write your NAME legibly on the bluebook. Work all problems. Best strategy is not to spend more than the indicated time on any question (minutes = points).

More information

Course Unit Outline 2017/18

Course Unit Outline 2017/18 Title: Course Unit Outline 2017/18 Knowledge Production and Justification in Business and Management Studies (Epistemology) BMAN 80031 Credit Rating: 15 Level: (UG 1/2/3 or PG) PG Delivery: (semester 1,

More information

Student Outcomes. Classwork. Exercise 1 (3 minutes) Discussion (3 minutes)

Student Outcomes. Classwork. Exercise 1 (3 minutes) Discussion (3 minutes) Student Outcomes Students learn that when lines are translated they are either parallel to the given line, or the lines coincide. Students learn that translations map parallel lines to parallel lines.

More information

4 The Examination and Implementation of Use Inventions in Major Countries

4 The Examination and Implementation of Use Inventions in Major Countries 4 The Examination and Implementation of Use Inventions in Major Countries Major patent offices have not conformed to each other in terms of the interpretation and implementation of special claims relating

More information

Turing s model of the mind

Turing s model of the mind Published in J. Copeland, J. Bowen, M. Sprevak & R. Wilson (Eds.) The Turing Guide: Life, Work, Legacy (2017), Oxford: Oxford University Press mark.sprevak@ed.ac.uk Turing s model of the mind Mark Sprevak

More information

Accuracy, Precision, Tolerance We understand the issues in this digital age?

Accuracy, Precision, Tolerance We understand the issues in this digital age? Accuracy, Precision, Tolerance We understand the issues in this digital age? Abstract Survey4BIM has put a challenge down to the industry that geo-spatial accuracy is not properly defined in BIM systems.

More information

CHAPTER 8 RESEARCH METHODOLOGY AND DESIGN

CHAPTER 8 RESEARCH METHODOLOGY AND DESIGN CHAPTER 8 RESEARCH METHODOLOGY AND DESIGN 8.1 Introduction This chapter gives a brief overview of the field of research methodology. It contains a review of a variety of research perspectives and approaches

More information

Game Maker Tutorial Creating Maze Games Written by Mark Overmars

Game Maker Tutorial Creating Maze Games Written by Mark Overmars Game Maker Tutorial Creating Maze Games Written by Mark Overmars Copyright 2007 YoYo Games Ltd Last changed: February 21, 2007 Uses: Game Maker7.0, Lite or Pro Edition, Advanced Mode Level: Beginner Maze

More information

LESSON 6. The Subsequent Auction. General Concepts. General Introduction. Group Activities. Sample Deals

LESSON 6. The Subsequent Auction. General Concepts. General Introduction. Group Activities. Sample Deals LESSON 6 The Subsequent Auction General Concepts General Introduction Group Activities Sample Deals 266 Commonly Used Conventions in the 21st Century General Concepts The Subsequent Auction This lesson

More information

Games and the Mathematical Process, Week 2

Games and the Mathematical Process, Week 2 Games and the Mathematical Process, Week 2 Kris Siy October 17, 2018 1 Class Problems Problem 1.1. Erase From 1000: (a) On a chalkboard are written the whole numbers 1, 2, 3,, 1000. Two players play a

More information

Enterprise Architecture 3.0: Designing Successful Endeavors Chapter II the Way Ahead

Enterprise Architecture 3.0: Designing Successful Endeavors Chapter II the Way Ahead Enterprise Architecture 3.0: Designing Successful Endeavors Chapter II the Way Ahead Leonard Fehskens Chief Editor, Journal of Enterprise Architecture Version of 18 January 2016 Truth in Presenting Disclosure

More information

2. GENERAL CLARIFICATION OF INTRINSIC ELEMENTS IN LITERATURE. In this chapter, the writer will apply the definition and explanation about

2. GENERAL CLARIFICATION OF INTRINSIC ELEMENTS IN LITERATURE. In this chapter, the writer will apply the definition and explanation about 2. GENERAL CLARIFICATION OF INTRINSIC ELEMENTS IN LITERATURE In this chapter, the writer will apply the definition and explanation about intrinsic elements of a novel theoretically because they are integrated

More information

Game Mechanics Minesweeper is a game in which the player must correctly deduce the positions of

Game Mechanics Minesweeper is a game in which the player must correctly deduce the positions of Table of Contents Game Mechanics...2 Game Play...3 Game Strategy...4 Truth...4 Contrapositive... 5 Exhaustion...6 Burnout...8 Game Difficulty... 10 Experiment One... 12 Experiment Two...14 Experiment Three...16

More information

AP WORLD HISTORY 2016 SCORING GUIDELINES

AP WORLD HISTORY 2016 SCORING GUIDELINES AP WORLD HISTORY 2016 SCORING GUIDELINES Question 1 BASIC CORE (competence) 1. Has acceptable thesis The thesis must address at least two relationships between gender and politics in Latin America in the

More information

The Philosophy of Time. Time without Change

The Philosophy of Time. Time without Change The Philosophy of Time Lecture One Time without Change Rob Trueman rob.trueman@york.ac.uk University of York Introducing McTaggart s Argument Time without Change Introducing McTaggart s Argument McTaggart

More information

Improved Draws for Highland Dance

Improved Draws for Highland Dance Improved Draws for Highland Dance Tim B. Swartz Abstract In the sport of Highland Dance, Championships are often contested where the order of dance is randomized in each of the four dances. As it is a

More information

CIS 2033 Lecture 6, Spring 2017

CIS 2033 Lecture 6, Spring 2017 CIS 2033 Lecture 6, Spring 2017 Instructor: David Dobor February 2, 2017 In this lecture, we introduce the basic principle of counting, use it to count subsets, permutations, combinations, and partitions,

More information

Universiteit Leiden Opleiding Informatica

Universiteit Leiden Opleiding Informatica Universiteit Leiden Opleiding Informatica Solving and Constructing Kamaji Puzzles Name: Kelvin Kleijn Date: 27/08/2018 1st supervisor: dr. Jeanette de Graaf 2nd supervisor: dr. Walter Kosters BACHELOR

More information

Interoperability concept in a COM thermodynamic server architecture. Example of integration in Microsoft Excel.

Interoperability concept in a COM thermodynamic server architecture. Example of integration in Microsoft Excel. Interoperability concept in a COM thermodynamic server architecture. Example of integration in Microsoft Excel. SIMO 24-25 th of October 2002 Toulouse, France Alain Vacher, Philippe Guittard ProSim SA

More information

Complex DNA and Good Genes for Snakes

Complex DNA and Good Genes for Snakes 458 Int'l Conf. Artificial Intelligence ICAI'15 Complex DNA and Good Genes for Snakes Md. Shahnawaz Khan 1 and Walter D. Potter 2 1,2 Institute of Artificial Intelligence, University of Georgia, Athens,

More information

[Existential Risk / Opportunity] Singularity Management

[Existential Risk / Opportunity] Singularity Management [Existential Risk / Opportunity] Singularity Management Oct 2016 Contents: - Alexei Turchin's Charts of Existential Risk/Opportunity Topics - Interview with Alexei Turchin (containing an article by Turchin)

More information

Microeconomics II Lecture 2: Backward induction and subgame perfection Karl Wärneryd Stockholm School of Economics November 2016

Microeconomics II Lecture 2: Backward induction and subgame perfection Karl Wärneryd Stockholm School of Economics November 2016 Microeconomics II Lecture 2: Backward induction and subgame perfection Karl Wärneryd Stockholm School of Economics November 2016 1 Games in extensive form So far, we have only considered games where players

More information

Games on graphs. Keywords: positional game, Maker-Breaker, Avoider-Enforcer, probabilistic

Games on graphs. Keywords: positional game, Maker-Breaker, Avoider-Enforcer, probabilistic Games on graphs Miloš Stojaković Department of Mathematics and Informatics, University of Novi Sad, Serbia milos.stojakovic@dmi.uns.ac.rs http://www.inf.ethz.ch/personal/smilos/ Abstract. Positional Games

More information

Game Theory and Algorithms Lecture 3: Weak Dominance and Truthfulness

Game Theory and Algorithms Lecture 3: Weak Dominance and Truthfulness Game Theory and Algorithms Lecture 3: Weak Dominance and Truthfulness March 1, 2011 Summary: We introduce the notion of a (weakly) dominant strategy: one which is always a best response, no matter what

More information

Partizan Kayles and Misère Invertibility

Partizan Kayles and Misère Invertibility Partizan Kayles and Misère Invertibility arxiv:1309.1631v1 [math.co] 6 Sep 2013 Rebecca Milley Grenfell Campus Memorial University of Newfoundland Corner Brook, NL, Canada May 11, 2014 Abstract The impartial

More information

CHAPTER 6: Tense in Embedded Clauses of Speech Verbs

CHAPTER 6: Tense in Embedded Clauses of Speech Verbs CHAPTER 6: Tense in Embedded Clauses of Speech Verbs 6.0 Introduction This chapter examines the behavior of tense in embedded clauses of indirect speech. In particular, this chapter investigates the special

More information

Aesthetically Pleasing Azulejo Patterns

Aesthetically Pleasing Azulejo Patterns Bridges 2009: Mathematics, Music, Art, Architecture, Culture Aesthetically Pleasing Azulejo Patterns Russell Jay Hendel Mathematics Department, Room 312 Towson University 7800 York Road Towson, MD, 21252,

More information

Spring Conference of European Data Protection Authorities (Budapest, May 2016)

Spring Conference of European Data Protection Authorities (Budapest, May 2016) Spring Conference of European Data Protection Authorities (Budapest, 26-27 May 2016) Giuseppe Busia Secretary General Italian Data Protection Authority Garante per la protezione dei dati personali Introductory

More information

Introduction to Coding Theory

Introduction to Coding Theory Coding Theory Massoud Malek Introduction to Coding Theory Introduction. Coding theory originated with the advent of computers. Early computers were huge mechanical monsters whose reliability was low compared

More information

Impediments to designing and developing for accessibility, accommodation and high quality interaction

Impediments to designing and developing for accessibility, accommodation and high quality interaction Impediments to designing and developing for accessibility, accommodation and high quality interaction D. Akoumianakis and C. Stephanidis Institute of Computer Science Foundation for Research and Technology-Hellas

More information

Three-player impartial games

Three-player impartial games Three-player impartial games James Propp Department of Mathematics, University of Wisconsin (November 10, 1998) Past efforts to classify impartial three-player combinatorial games (the theories of Li [3]

More information

5.4 Imperfect, Real-Time Decisions

5.4 Imperfect, Real-Time Decisions 5.4 Imperfect, Real-Time Decisions Searching through the whole (pruned) game tree is too inefficient for any realistic game Moves must be made in a reasonable amount of time One has to cut off the generation

More information

Old and New Riddles on Concept Sharing

Old and New Riddles on Concept Sharing Old and New Riddles on Concept Sharing Emanuele Bottazzi, Claudio Masolo, and Daniele Porello Laboratory for Applied Ontology, ISTC-CNR, Trento, Italy Abstract. We ask whether social interaction demands

More information

Tutorial: Creating maze games

Tutorial: Creating maze games Tutorial: Creating maze games Copyright 2003, Mark Overmars Last changed: March 22, 2003 (finished) Uses: version 5.0, advanced mode Level: Beginner Even though Game Maker is really simple to use and creating

More information

LAWS Eitan Levy

LAWS Eitan Levy EBL 6 th TD WORKSHOP, LARNACA - CYPRUS: 8-11 February 2018 LAWS 45 46 47 Eitan Levy The 2017 Laws changes to Laws 45-46-47 deal mainly with rewording and other small changes. This lecture deals with the

More information

arxiv: v1 [math.co] 30 Jul 2015

arxiv: v1 [math.co] 30 Jul 2015 Variations on Narrow Dots-and-Boxes and Dots-and-Triangles arxiv:1507.08707v1 [math.co] 30 Jul 2015 Adam Jobson Department of Mathematics University of Louisville Louisville, KY 40292 USA asjobs01@louisville.edu

More information

Part I. First Notions

Part I. First Notions Part I First Notions 1 Introduction In their great variety, from contests of global significance such as a championship match or the election of a president down to a coin flip or a show of hands, games

More information

Playing with Permutations: Examining Mathematics in Children s Toys

Playing with Permutations: Examining Mathematics in Children s Toys Western Oregon University Digital Commons@WOU Honors Senior Theses/Projects Student Scholarship -0 Playing with Permutations: Examining Mathematics in Children s Toys Jillian J. Johnson Western Oregon

More information