In this paper we study the termination behavior of Russell’s description elimination rewrite system. We discuss certain claims made by Kripke (2005) in his paper concerning the possible nontermination of elimination of descriptions.

Sidonius Apollinaris’ Epist. 3.12 tells how one day, while leaving Lyons, he caught a couple of gravediggers about to violate his grandfather Apollinaris’ grave, which had become unrecognizable over time. He instructs the addressee, his nephew Secundus, to restore the tomb mound and provide it with a stone for which he attaches the text. Whereas this letter is usually interpreted as a piece of self-promotion by the author for his filial piety and expert storytelling, this article suggests that there is (...) a significant subtext to be found in Lucan's Pharsalia which makes the letter first and foremost a rehabilitation of Apollinaris while strongly suggesting that the latter was executed. There follow some rather more tentative thoughts trying to grasp the precise critical moment in time for this rehabilitation. It is argued that this could be Sidonius’ departure for Clermont, in 469/470 to take on the episcopate, after his term as City Prefect of Rome and a stay in Lyons with Bishop Patiens. The letter is aimed at bolstering family cohesion in the conflict of interests between Auvergne and Provence and at securing Sidonius’ position as incumbent bishop. (shrink)

Decision outcomes sometimes result in negative emotions. This can occur when a decision appears to be wrong in retrospect, and/or when the obtained decision outcome does not live up to expectations. Regret and disappointment are the two emotions that are of central interest in the present article. Although these emotions have a lot in common, they also differ in ways that are relevant to decision making. In this article we review theories and empirical findings concerning regret and disappointment. We first (...) discuss how regret and disappointment differ with respect to their antecedent conditions, appraisals, and phenomenology. We also discuss possible behavioural consequences of experiencing these emotions. Next, we consider how the anticipation of regret and disappointment may influence decision making. We use regret and disappointment theory, developed by the economists Bell (1982, 1985), and Loomes and Sugden (1982, 1986, 1987), as a framework for our discussion. Finally, we argue that combining the theoretical approaches and research paradigms of behavioural decision theory with emotion theories will significantly increase our knowledge of antecedents and consequences of emotions. (shrink)

De Nederlandse filosoof Cornelis Verhoeven hield zich intensief bezig met de klassieke filosofie. Hij was ook jarenlang leraar op een school voor voortgezet onderwijs en hoogleraar aan de Universiteit van Amsterdam. Bovendien was hij een begenadigd schrijver van prikkelende essays. Daaronder zijn er vele die gaan over het onderwijs. De waardigheid van het vak van leraar ging hem zeer ter harte. De centrale thema’s in zijn werk zijn verwondering en dankbaarheid, ontvankelijkheid en geduld, rust en stilte. Deze bieden een tegenwicht (...) tegen oprukkende verschijnselen als het activisme, de rusteloosheid en de nadruk op snelle resultaten in het onderwijs. Cornelis Verhoeven neemt afstand van de maakbaarheidsideologie en pleit voor het niet-planbare en niet-berekenbare dat de kern van onderwijs uitmaakt: een leraar en leerlingen die zich samen buigen over de zaken uit de wereld. Joop Berding presenteert in dit boek de onderwijsfilosofie van Cornelis Verhoeven. Bovendien gaat hij in gesprekken met onderwijsmensen na wat deze visie voor het onderwijs en de leraren van vandaag te betekenen heeft. Een verrassend actuele en stimulerende bijdrage aan het doorgaande gesprek over wat onderwijs is en kan zijn. (shrink)

Social security systems differ not only in size, hut also in form. These forms have often been more controversial than the size of social expenditure. Different social forces have different conceptions of social security.Here is looked into the post-World War II settlements with regard to social security in Austria, Belgium, Britain, France, Germany, and the Netherlands, with a further glance at Denmark, Italy, Norway and Sweden. It is argued, that the labour movement had a particular vision of social security, which (...) was carried through where the labour had the political majority and was defeated where it was a minority. Postwar developments derive form this settlement, which is more visible in the current crisis than in the 1960s - early 1970s period of expansion. (shrink)

Australia II became the first foreign yacht to win the America's Cup in 1983. The boat had a revolutionary wing keel and a better underwater hull form. In official documents, Ben Lexcen is credited with the design. He is also listed as the sole inventor of the wing keel in a patent application submitted on February 5, 1982. However, as reported in _New York Times_, _Sydney Morning Herald_, and _Professional Boatbuilder_, the wing keel was in fact designed by engineer Peter (...) van Oossanen at the Netherlands Ship Model Basin in Wageningen, assisted by Dr. Joop Slooff at the National Aerospace Laboratory in Amsterdam. Based on telexes, letters, drawings, and other documents preserved in his personal archive, this paper presents van Oossanen’s account of how the revolutionary wing keel was designed. This is followed by an ethical analysis by Martin Peterson, in which he applies the American NSPE and Dutch KIVI codes of ethics to the information provided by van Oossanen. The NSPE and KIVI codes give conflicting advice about the case, and it is not obvious which document is most relevant. This impasse is resolved by applying a method of applied ethics in which similarity-based reasoning is extended to cases that are not fully similar. The key idea, presented in Peterson’s book _The Ethics of Technology_ (Peterson, The ethics of technology: A geometric analysis of five moral principles, Oxford University Press, 2017), is to use moral paradigm cases as reference points for constructing a “moral map”. (shrink)

Amsterdam University Press is a leading publisher of academic books, journals and textbooks in the Humanities and Social Sciences. Our aim is to make current research available to scholars, students, innovators, and the general public. AUP stands for scholarly excellence, global presence, and engagement with the international academic community.

Brouwer's papers after 1945 are characterized by a technique known as the method of the creating subject. It has been supposed that the method was radically new in his work, since Brouwer seems to introduce an idealized mathematician into his mathematical practice. A newly opened source, the unpublished text of a lecture of Brouwer from 1934, fully supports the conclusions of our analysis that: - There is no idealized mathematician involved in the method;- The method was not new at all;- (...) Brouwer uses an incomplete sequence, also known as choice sequence, in this method, which is special. The method does not take its place in the standard works on choice sequences. (shrink)

Argument-places play an important role in our dealing with relations. However, that does not mean that argument-places should be taken as primitive entities. It is possible to give an account of ‘real’ relations in which argument-places play no role. But if argument-places are not basic, then what can we say about their identity? Can they, for example, be reconstructed in set theory with appropriate urelements? In this article, we show that for some relations, argument-places cannot be modeled in aneutralway in (...) V[A], the cumulative hierarchy with basic ingredients of the relation as urelements. We argue that a natural way to conceive of argument-places is to identify them with abstract, structureless points of a derivative structure exemplified by positional frames. In case the relation has symmetry, these points may be indiscernible. (shrink)

Metaphysicians speak of laws of nature in terms of necessity and universality; scientists, in terms of symmetry and invariance. In this book van Fraassen argues that no metaphysical account of laws can succeed. He analyzes and rejects the arguments that there are laws of nature, or that we must believe there are, and argues that we should disregard the idea of law as an adequate clue to science. After exploring what this means for general epistemology, the author develops the empiricist (...) view of science as a construction of models to represent the phenomena. (shrink)

Par des suites de choix, nous comprenons des suites qui ne sont pas déterminées complètement par une loi arithmétique. Elles sont des objets caractéristiques de l’intuitionnisme de Brouwer. Nous prétendons qu’à partir de 1927, l’utilisation par Brouwer de suites de choix particulières n’est pas reconnu comme tel. Nous prétendons que l’utilisation de ces suites dans la méthode du sujet créatif, après la seconde guerre mondiale, n’a pas à être mis en relation avec l’utilisation de celles-ci dans les années vingt et (...) qu’elles sont mal interprétées. Nous montrons où se trouvent ces suites de choix dans l’œuvre de Brouwer et comment elles doivent être traitées. (shrink)

Par des suites de choix, nous comprenons des suites qui ne sont pas déterminées complètement par une loi arithmétique. Elles sont des objets caractéristiques de l’intuitionnisme de Brouwer. Nous prétendons qu’à partir de 1927, l’utilisation par Brouwer de suites de choix particulières n’est pas reconnu comme tel. Nous prétendons que l’utilisation de ces suites dans la méthode du sujet créatif, après la seconde guerre mondiale, n’a pas à être mis en relation avec l’utilisation de celles-ci dans les années vingt et (...) qu’elles sont mal interprétées. Nous montrons où se trouvent ces suites de choix dans l’œuvre de Brouwer et comment elles doivent être traitées. (shrink)

In the ordinary way of representing relations, the order of the relata plays a structural role, but in the states themselves such an order often does not seem to be intrinsically present. An alternative way to represent relations makes use of positions for the arguments. This is no problem for the love relation, but for relations like the adjacency relation and cyclic relations, different assignments of objects to the positions can give exactly the same states. This is a puzzling situation. (...) The question is what is the internal structure of relations? Is the use of positions still justified, and if so, what is their ontological status? In this paper mathematical models for relations are developed that provide more insight into the structure of relations “out there” in the real world. (shrink)

We study the logical structure of relations, and in particular the notion of occurrences of objects in a state. We start with formulating a number of principles for occurrences and defining corresponding mathematical models. These models are analyzed to get more insight in the formal properties of occurrences. In particular, we prove uniqueness results that tell us more about the possible logical structures relations might have.

Argument-places play an important role in our dealing with relations. However, that does not mean that argument-places should be taken as primitive entities. It is possible to give an account of relations in which argument-places play no role. But if argument-places are not basic, then what can we say about their identity? Can they, for example, be reconstructed in set theory with appropriate urelements? In this article, we show that for some relations, argument-places cannot be modeled in a neutral way (...) in V[A], the cumulative hierarchy with basic ingredients of the relation as urelements. We argue that a natural way to conceive of argument-places is to identify them with abstract, structureless points of a derivative structure exemplified by positional frames. In case the relation has symmetry, these points may be indiscernible. (shrink)

What is empiricism and what could it be? Bas . van Fraassen, one of the world’s foremost contributors to philosophical logic and the philosophy of science, here undertakes a fresh consideration of these questions and offers a program for renewal of the empiricist tradition. The empiricist tradition is not and could not be defined by common doctrines, but embodies a certain stance in philosophy, van Fraassen says. This stance is displayed first of all in a searing, recurrent critique of metaphysics, (...) and secondly in a focus on experience that requires a voluntarist view of belief and opinion. Van Fraassen focuses on the philosophical problems of scientific and conceptual revolutions and on the not unrelated ruptures between religious and secular ways of seeing or conceiving of ourselves. He explores what it is to be or not be secular and points the way toward a new relationship between secularism and science within philosophy. (shrink)

How we talk about relations has a great influence on how we think about relations. By saying that Spain defeated the Netherlands we obviously say something entirely different from saying that the Netherlands defeated Spain. This makes many of us think that in the underlying relation itself one of the relata comes first and the other comes second. However, there are good reasons to view the order as a representational artifact. In this paper I present a new logic that allows (...) us to think and talk about relations in a coordinate-free manner. The logic is minimalistic in the sense that it has no predicates except equality, but its expressive power is the same as that of first-order predicate logic. (shrink)

A theory of relations is presented that provides a detailed account of the logical structure of relational complexes. The theory draws a sharp distinction between relational complexes and relational states. A salient difference is that relational complexes belong to exactly one relation, whereas relational states may be shared by different relations. Relational complexes are conceived as structured perspectives on states ‘out there’ in reality. It is argued that only relational complexes have occurrences of objects, and that different complexes of the (...) same relation may correspond to the same state. (shrink)

A new logic is presented without predicates—except equality. Yet its expressive power is the same as that of predicate logic, and relations can faithfully be represented in it. In this logic we also develop an alternative for set theory. There is a need for such a new approach, since we do not live in a world of sets and predicates, but rather in a world of things with relations between them.

What is empiricism and what could it be? Bas C. van Fraassen, one of the world’s foremost contributors to philosophical logic and the philosophy of science, here undertakes a fresh consideration of these questions and offers a program for renewal of the empiricist tradition. The empiricist tradition is not and could not be defined by common doctrines, but embodies a certain stance in philosophy, van Fraassen says. This stance is displayed first of all in a searing, recurrent critique of metaphysics, (...) and second in a focus on experience that requires a voluntarist view of belief and opinion._ _Van Fraassen focuses on the philosophical problems of scientific and conceptual revolutions and on the not unrelated ruptures between religious and secular ways of seeing or conceiving of ourselves. He explores what it is to be or not be secular and points the way toward a new relationship between secularism and science within philosophy. (shrink)

In recent years, animal welfare has become an important element of sustainable production that has evolved along with the transformation of animal production systems. Consumer attitudes towards farm animal welfare are changing around the world, especially at emerging markets of Asia, Africa and Latin America. Survey-based research on consumer attitudes towards farm animal welfare has increased. However, the geographical coverage of studies on consumer attitudes and perceptions about farm animal welfare has mostly been limited to Europe, and North America. Until (...) now, Latin American consumers’ attitudes towards animal welfare have not been well studied. Despite the fact that Mexico, Chile and Brazil belong to the same region, there are marked differences between these countries in terms of their economical and geographical characteristics among other factors. Those differences potentially have an impact on consumer attitudes towards animal welfare and livestock production systems in general. Given the evidence from the literature review, it seems advisable that Latin American producers and food industry who engage in animal welfare-enhancing practices should clearly label their products with information on the type of husbandry system to reach those consumers who want to make an informed choice. Therefore, there are some aspects that need to be studied and cannot be worked separately in order to promote and understand consumer attitudes towards dairy and beef systems, such as geography, economic development, and politics. (shrink)

This essay argues that there are theoretical benefits to keeping distinct—more pervasively than the literature has done so far—the psychological states of imagining that p versus believing that in-the-story p, when it comes to cognition of fiction and other forms of narrative. Positing both in the minds of a story’s audience helps explain the full range of reactions characteristic of story consumption. This distinction also has interesting conceptual and explanatory dimensions that haven’t been carefully observed, and the two mental state (...) types make distinct contributions to generating emotional responses to stories. Finally, the differences between the mental states illuminate how a given story can be both shared with others and at the same time experienced as personal. (shrink)