Starting from the generalized concept of syntactically and semantically trivial differences between two formal theories introduced by Arsenijević, we show that two systems of the linear continuum, the Cantorian point-based system and the Aristotelian interval-based system that satisfies Cantor's coherence condition, are only trivially different. So, the 'great struggle' (to use Cantor's phrase) between the two contending parties turns out to be 'much ado about nothing'.

The talk deals with Aristotle’s famous sea-battle problem concerning the truth values of sentences about contingent future events: If an utterance of the sentence “There will be a sea battle tomorrow” is true, then it seems that it is determined that there will be a sea battle tomorrow. For otherwise, how could the utterance be true? If, however, an utterance of the sentence “There will be a sea battle tomorrow” is false, then it seems that it is determined that there (...) will be no sea battle tomorrow. For otherwise, how could the utterance be false? Thus, it seems that it is determined whether there will be a sea battle tomorrow or not – and so for any future event whatsoever. This, however, is in conflict with the assumption that there is such a thing as an open future, i.e., that at least for some future events, it is not determined whether they will take place or not. Some have argued, in light of this problem, that sentences about f uture events are neither true nor false. In this talk, however, it shall be argued that the sea-battle problem can be resolved in an intuitively plausible manner without giving up the principle of bivalence. (shrink)

A set of axioms implicitly defining the standard, though not instant-based but interval-based, time topology is used as a basis to build a temporal modal logic of events. The whole apparatus contains neither past, present, and future operators nor indexicals, but only B-series relations and modal operators interpreted in the standard way. Determinism and indeterminism are then introduced into the logic of events via corresponding axioms. It is shown that, if determinism and indeterminism are understood in accordance with their core (...) meaning, the way in which they are formally introduced here represents the only right way to do this, given that we restrict ourselves to one real world and make no use of the many real worlds assumption. But then the result is that the very truth conditions for sentences about indeterministic events imply the existence of tensed truths, in spite of the fact that these conditions are formulated (in the indeterministic axiom) in terms of tenseless language. The tenseless theory of time implies determinism, while indeterminism requires the flow of time assumption. (shrink)

This volume provides analyses of the logic-reality relationship from different approaches and perspectives. The point of convergence lies in the exploration of the connections between reality – social, natural or ideal – and logical structures employed in describing or discovering it. Moreover, the book connects logical theory with more concrete issues of rationality, normativity and understanding, thus pointing to a wide range of potential applications. -/- -/- The papers collected in this volume address cutting-edge topics in contemporary discussions amongst specialists. (...) Some essays focus on the role of indispensability considerations in the justification of logical competence, and the wide range of challenges within the philosophy of mathematics. Others present advances in dynamic logical analysis such as extension of game semantics to non-logical part of vocabulary and development of models of contractive speech act. -/- Table of Contents: Introduction: Majda Trobok, Nenad Miščević and Berislav Žarnić.- I. Logical and Mathematical Structures.- Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics: Stewart Shapiro.- Applied Mathemathics in the Sciences: Dale Jacquette.- The Philosophical Impact of the Löwenheim-Skolem Theorem: Miloš Arsenijević.- Debating (Neo)logicism: Frege and the neo-Fregeans: Majda Trobok.- II. Epistemology and Logic.- Informal Logic and Informal Consequence: Danilo Šuster.- Logical Consequence and Rationality: Nenad Smokrović.- Logic, Indispensability and Aposteriority: Nenad Miščević.- III . Dynamic Logical Models of Meaning.- Extended Game-Theoretical Semantics: Manuel Rebuschi.- Dynamic Logic of Propositional Commitments: Tomoyuki Yamada.- Is Unsaying Polite?: Berislav Žarnić.- IV Logical Methods in Ontological and Linguistic Analyses.- Towards a Formal Account of Identity Criteria: Massimiliano Carrara and Silvia Gaio.- A Mereology for the Change of Parts: Pierdaniele Giaretta and Giuseppe Spolaore.- Russell versus Frege: Imre Rusza.- Goodman’s OnlyWorld: Vladan Djordjević.-. (shrink)

Very often moral disagreements can be resolved by appealing to factual considerations because in these cases the parties to the dispute agree as to which factual considerations are relevant. They agree, that is, with respect to their basic moral standards. Hence, when their disagreement about the non-moral facts is resolved, so is their moral disagreement. But sometimes moral disagreement persists in spite of agreement on factual considerations. When this happens, and when neither party is guilty of illogical thinking, we have (...) a case of moral deadlock. (shrink)

Decision theory and folk psychology both purport to represent the same phenomena: our belief-like and desire- and preference-like states. They also purport to do the same work with these representations: explain and predict our actions. But they do so with different sets of concepts. There's much at stake in whether one of these two sets of concepts can be accounted for with the other. Without such an account, we'd have two competing representations and systems of prediction and explanation, a dubious (...) dualism. Folk psychology structures our daily lives and has proven fruitful in the study of mind and ethics, while decision theory is pervasive in various disciplines, including the quantitative social sciences, especially economics, and philosophy. My interest is in accounting for folk psychology with decision theory -- in particular, for believe and wanting, which decision theory omits. Many have attempted this task for belief. (The Lockean Thesis says that there is such an account.) I take up the parallel task for wanting, which has received far less attention. I propose necessary and sufficient conditions, stated in terms of decision theory, for when you're truly said to want; I give an analogue of the Lockean Thesis for wanting. My account is an alternative to orthodox accounts that link wanting to preference (e.g. Stalnaker (1984), Lewis (1986)), which I argue are false. I argue further that want ascriptions are context-sensitive. My account explains this context-sensitivity, makes sense of conflicting desires, and accommodates phenomena that motivate traditional theses on which 'want' has multiple senses (e.g. all-things-considered vs. pro tanto). (shrink)

This is a companion to a paper by the authors entitled “Gödel’s natural deduction,” which presented and made comments about the natural deduction system in Gödel’s unpublished notes for the elementary logic course he gave at the University of Notre Dame in 1939. In that earlier paper, which was itself a companion to a paper that examined the links between some philosophical views ascribed to Gödel and general proof theory, one can find a brief summary of Gödel’s notes for the (...) Notre Dame course. In order to put the earlier paper in proper perspective, a more complete summary of these interesting notes, with comments concerning them, is given here. (shrink)

This paper deals with Schaffer’s distinction between metaphysical structures, as well as his appeal for revival of neo-Aristotelian approaches that imply ordered structure, based on the criticism of Quine’s method that, in his view, implies flat metaphysical structure. However, although we believe that Schaffer’s distinction between metaphysical structures is an interesting and, basically, acceptable view, we will try to show that Schaffer’s arguments are not convincing enough to persuade us to abandon Quine’s method and adopt the Aristotelian metaphysical model. Moreover, (...) when mistakes that Schaffer makes are corrected and Quine’s method is given due attention, we will see that this can enable us a more tenable interpretation of the concepts that Schaffer speaks of (metaphysical structures), but also – as in his case – to draw certain conclusions that go beyond objectives of classification as such. (shrink)

_ Source: _Volume 56, Issue 3-4, pp 241 - 271 William of Ockham and John Buridan provide different accounts of the distinction between formal and material consequences. Some consequences – in particular, enthymemes – that Ockham would classify as formal would be classified as material by Buridan. This paper explains this taxonomical discrepancy. It identifies the root of the discrepancy not in a difference between Ockham’s and Buridan’s notions of propositional hylomorphism but rather in Ockham’s endorsement of relational characterizations of (...) consequences. (shrink)

Transhumanism, the movement that promotes radical enhancement by non-traditional means based in scientific and technological advances, has contributed to contemporary interest in Nietzsche?s philosophy. In this paper, we are going to claim that transhumanists? references to Nietzsche?s philosophy are unfounded. Moreover, we will make a few remarks about Nietzsche?s ethical doctrine in order to show that his conception of enhancement, contrary to transhumanist conceptions, relies on traditional means, such as upbringing and education. Although Nietzsche?s positive ethical doctrines cannot be used (...) to justify transhumanist goals, his critique of morality can be used as a critique of the transhumanist conceptions of human enhancement. nema. (shrink)

It is commonly accepted that if an agent wants p, then she has a desire that is satisfied in exactly the worlds where p is true. Call this the ‘Satisfaction-is-Truth Principle’. We argue that this principle is false: an agent may want p without having a desire that is satisfied when p obtains in any old way. For example, Millie wants to drink milk but does not have a desire that is satisfied when she drinks spoiled milk. Millie has a (...) desire whose satisfaction conditions are what we call ways-specific. Fara (2003, 2013) and Lycan (2012, ms) have also argued for this conclusion, but their claims about desire satisfaction rest solely on contested intuitions about when agents get what they want. We set these intuitions to one side, instead arguing that desire satisfaction is ways-specific by appealing to the dispositional role of desire. Because agents are disposed to satisfy their desires, dispositions provide important evidence about desire satisfaction. Our argument further provides new insight on the dispositional role of desire satisfaction. (shrink)

What are the truth conditions of want ascriptions? According to a highly influential and fruitful approach, championed by Heim (1992) and von Fintel (1999), the answer is intimately connected to the agent’s beliefs: ⌜S wants p⌝ is true iff within S’s belief set, S prefers the p worlds to the ~p worlds. This approach faces a well-known and as-yet unsolved problem, however: it makes the entirely wrong predictions with what we call '(counter)factual want ascriptions', wherein the agent either believes p (...) or believes ~p—e.g., ‘I want it to rain tomorrow and that is exactly what is going to happen’ or ‘I want this weekend to last forever but of course it will end in a few hours’. We solve this problem. The truth conditions for want ascriptions are, we propose, connected to the agent’s conditional beliefs. We bring out this connection by pursuing a striking parallel between (counter)factual and non-(counter)factual want ascriptions on the one hand and counterfactual and indicative conditionals on the other. (shrink)

I want to see the concert, but I don’t want to take the long drive. Both of these desire ascriptions are true, even though I believe I’ll see the concert if and only if I take the drive.Yet they, and strongly conflicting desire ascriptions more generally, are predicted incompatible by the standard semantics, given two standard constraints. There are two proposed solutions. I argue that both face problems because they misunderstand how what we believe influences what we desire. I then (...) sketch my own solution: a coarse-worlds semantics that captures the extent to which belief influences desire. My semantics models what I call some-things-considered desire. Considering what the concert would be like, but ignoring the drive, I want to see the concert; considering what the drive would be like, but ignoring the concert, I don’t want to take the drive. (shrink)

Here I reply to a recent exchange between Edgar Danielyan and Brian Garrett regarding Alvin Plantinga’s assessment of Gaunilo’s ‘ideal island’ objection to Anselm’s ontological argument. I argue that an ideal island is conceivable if it’s defined as any island exhibiting an ideal ratio of great-making island properties.

The convergence of computing, sensing, and communication technology will soon permit large-scale deployment of self-driving vehicles. This will in turn permit a radical transformation of traffic control technology. This paper makes a case for the importance of addressing questions of social justice in this transformation, and sketches a preliminary framework for doing so. We explain how new forms of traffic control technology have potential implications for several dimensions of social justice, including safety, sustainability, privacy, efficiency, and equal access. Our central (...) focus is on efficiency and equal access as desiderata for traffic control design. We explain the limitations of conventional traffic control in meeting these desiderata, and sketch a preliminary vision for a next-generation traffic control tailored to address better the demands of social justice. One component of this vision is cooperative, hierarchically distributed self-organization among vehicles. Another component of this vision is a priority system enabling selection of priority levels by the user for each vehicle trip in the network, based on the supporting structure of non-monetary credits. (shrink)

This book explores a much-neglected area of moral philosophy--the typology of immorality. Ronald D. Milo questions the adequacy of Aristotle's suggestion that there are two basic types of immorality--wickedness and moral weakness--and argues that we must distinguish between at least six different types of immoral behavior. Originally published in 1984. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of (...) these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)

Nick Bostrom’s “simulation argument” purports to show that if it is possible to create and run a vast number of computer simulations indistinguishable from the reality we are living in, then it is highly probable that we are already living in a computer simulation. However, the simulation argument requires a modification to escape the undermining implications of the scepticism it implies, as argued by Birch. The present paper shows that, even if the modified simulation argument is valid, still it is (...) unsound since it relies on the indistinguishability assumption that even in principle cannot be tested. To account for the unsoundness of the simulation argument, the present paper draws on John Woods' theory of fiction, to expose structural similarities between general fiction and the simulation argument. Though the simulation argument is unsound, it seems persuasive, because the argument immerses the reader in a fictive world with the help of tacit assumptions, leveraging just enough common sense to remain compelling while covering over an untestable premise. Simultaneously with the critique of Bostrom’s argument, Chalmers' argument for the matrix hypothesis is assessed on similar criteria. In either case, both arguments rely on an accumulation of assumptions, both implicit and explicit, hiding the premises that are untestable in principle. (shrink)

This book explores a much-neglected area of moral philosophy--the typology of immorality.

I present an analysis according to which the current state of the definition of substitution leads to a contradiction in the system of Transparent Intensional Logic. I entail the contradiction using only the basic definitions of TIL and standard results. I then analyse the roots of the contradiction and motivate the path I take in resolving the contradiction. I provide a new amended definition of collision-less substitution which blocks the contradiction in a non-ad hoc way. I elaborate on the consequences (...) of the amended definition, namely the invalidity of the Church-Rosser theorem. I present a counterexample to the validity of the theorem in TIL with an amended definition of substitution. (shrink)

This paper deals with Peirce’s understanding of perceptual judgment, relating it to the conditions for the use of language defined by Michael Dummett. Namely, drawing on Dummett’s requirement for harmony between descriptive and evaluative aspects of our linguistic practice, we will try to give an interpretation of Peirce’s view of perception that implies rejecting the idea that the formation of a perceptual judgment has an inferential structure. On the other hand, since it is, in Peirce’s opinion, the structure of abductive (...) inference, this approach should enable us to draw some conclusions related to abduction in general. (shrink)

The article provides a critical review of the books Rijec je o slici by Jagor Bucan and Slika i rec by the Serbian Society for Aesthetics. From the titles it is already evident that they share the same topic. The paper points out the similarities between the two texts on both what is present and what is absent in them, which also seems important for understanding the theoretical problems they deal with.

By and large, contemporary news stories are stories about a particular nation, told to an audience that is seen and addressed in national terms. However, the understanding of the exact ways in which national imagination becomes engrained in the narrative conventions of news reporting is still rather limited, in particular when it comes to audiovisual genres. This article aims to fill a part of this blank by examining the links between national imagination and the narrative conventions of television news. Building (...) on existing debates about different modes of news reporting, the article distinguishes two distinct sets of narrative conventions at work in television news: one typically found in routine reporting, the other characteristic of crisis and celebratory reporting. It is argued that each of these two sets of conventions is tied to a different form of nationalism, and normally arises in a different political climate. Links between national imagination and narrative conventions vary accordingly. To demonstrate this, the article provides a comparative analysis of narrative structures in selected samples of television news bulletins broadcast in the early 1990s in the Socialist Federal Republic of Yugoslavia. The concluding section reflects on the external validity of the chosen case study and surveys supportive evidence from four other relevant cases, drawn from the UK and Israel. (shrink)

Although Williams’ contextual thesis is above all a critique of one way of interpreting contextualism in epistemology, viz., simple conversational contextualisam, I will argue that this thesis has also been a very successful means for the critique of a standpoint on which that interpretation, and the entire traditional epistemology rests - epistemological realism. Accordingly, in spite of certain weaknesses in Williams’ position pointed out by his critiques, in this paper I will try to show that, by interpreting the problem of (...) scepticism as first and foremost a methodological necessity of epistemological realism, Williams succeeds in offering an enlightening diagnosis of the sceptical paradox problem which is at the centre of epistemology traditionally construed. (shrink)

The paper examines the fundamental concepts of the political publicist Miloš Štefanovi?, which in the 1980ies and 1990ies suggested the transformation of Slovak political thinking as well as abandoning the voluntarily adopted passive attitude. Štefanovi? developed a consistent conception of national politics based on self-respon- sible, independent, bottom up political work grounded in patriotic self-criticism. He was also one of the prime movers of the cooperation between nationalities in Hungary as well as a critique of the distorted political culture of (...) the government establishment. (shrink)

In this paper we will try to show the differences between Quine’s and Gibson’s interpretation of the naturalized epistemology project. Namely, although Gibson points out that the genetic approach advocated by Quine is the best strategy there is to investigate the relations between evidence and theory, and that externalizing of empiricism that it requires is one of Quine’s major philosophical contributions, we argue that the assumptions on which Gibson’s project is based, apart from the fact that they are in conflict (...) with some strongly held intuitions, would have to be essentially different from Quine’s. In other words, contrary to Quine’s position within which we have the possibility of staying on more moderate, and in our opinion, more plausible behavioristic line of approach, we will try to show that one of the consequences of Gibson’s interpretation is that this possibility is ruled out in Gibson’s case. On the other hand, this should enable us to draw some more radical conclusions about the nature of Quine’s epistemological project. (shrink)

In this paper, we will try to confront Quine’s and Davidson’s holistic position through Davidson’s thesis of the mental as a non-ontological category. In this regard, since Davidson came to this position through the thesis of the mental as a decidedly conceptual category, we will try to show how this approach does not, nevertheless, rule out the possibility of its interpretation in ontological terms. However, in what follows we will draw attention to the fact that the mental can be interpreted (...) so that it proves to be immune to ontologizing in Quine’s sense. This would be the evidence of different ways, which are not necessarily compatible, to argue for Davidson’s central thesis - the thesis about holistic character of the mental - as well as, which is closely related, a certain difference that exists between Davidson’s view of the mental as a conceptual category on the one hand, and a holistic category on the other. (shrink)

Miloš Ćipranić Punoletstvo misli: Trivo Inđić.

The aim of this paper is to call into question the logic of interpretation of the texts of Ortega y Gasset about Vel?zquez made by Trivo Indjic. The sociologist from Belgrade in his text?Ortega i Velaskes? [?Ortega and Vel?zquez?] overlooked an important question which the philosopher from Madrid proposed with regard to his interpretation of Vel?zquez - what is actually the condition of possibility to comprehend the work of painter? Painting is a mute form of expression. Ortega y Gasset asks (...) - how to speak about the persons who do not speak? Because Trivo Indjic did not stress the importance of this question and did not discover this transcendental motif, his text will be problematized in that direction. nema. (shrink)

Paul Spade argues that there is a tension between Ockham’s descriptions of the various types of supposition at Summa Logicae I.64 and a rule he provides at sl I.65. In later papers, Spade proposes a solution: a term supposits significatively just in case it supposits for everything it signifies. I evaluate Spade’s proposal and explore some of its implications. I show that it successfully resolves the tension and that it suggests a way to more precisely describe material and simple supposition. (...) I argue furthermore that Ockham is committed to the proposal by showing that uncontroversial features of his theory imply it. In doing so, I raise and refute three potential objections. Finally, I highlight and discuss a controversial result: self-signifying conventional terms can supposit materially. I argue that this result makes for a more satisfying theory. (shrink)

The subject of this paper is the debate between externalism and internalism about mental content presented by Tim Crane in Chapter 4 of his book Elements of Mind. Crane’s sympathies in this debate are with internalism. The paper attempts to show that Crane’s argumentation is not refuting the Twin Earth argument and externalism, and that in its basis it does not differ much from externalism itself Crane’s version of the argument for externalism features two key premises: (1) The content of (...) a thought determines what the thought is about/what it refers to (the Content Determines Reference Principle); and (2) Twins are referring to different things when they use the word “water”. From these, in a few simple steps, Crane’s externalist infers: Therefore, their thoughts are not “in their heads”. Crane suggests denying the Content Determines Reference Principle in the light of indexical thoughts. In the first stage, Crane reduces “content” to “some aspect of content”, although he needs all aspects of content to secure identity of thoughts. However, his view then comes close to something acceptable to externalists. In the second stage, Crane makes content relative to context, but then reference still determines content. (shrink)