The iCat is a user-interface robot with the ability to express a range of emotions through its facial features. This article summarizes our research to see whether we can increase the believability and likability of the iCat for its human partners through the application of gaze behaviour. Gaze behaviour serves several functions during social interaction such as mediating conversation flow, communicating emotional information and avoiding distraction by restricting visual input. There are several types of eye and head movements that are (...) necessary for realizing these functions. We designed and evaluated a gaze behaviour system for the iCat robot that implements realistic models of the major types of eye and head movements found in living beings: vergence, vestibulo ocular reflexive, smooth pursuit movements and gaze shifts. We discuss how these models are integrated into the software environment of the iCat and can be used to create complex interaction scenarios. We report about some user tests and draw conclusions for future evaluation scenarios. (shrink)

Halbach has argued that Tarski biconditionals are not ontologically conservative over classical logic, but his argument is undermined by the fact that he cannot include a theory of arithmetic, which functions as a theory of syntax. This article is an improvement on Halbach's argument. By adding the Tarski biconditionals to inclusive negative free logic and the universal closure of minimal arithmetic, which is by itself an ontologically neutral combination, one can prove that at least one thing exists. The result can (...) then be strengthened to the conclusion that infinitely many things exist. Those things are not just all Gödel codes of sentences but rather all natural numbers. Against this background inclusive negative free logic collapses into noninclusive free logic, which collapses into classical logic. The consequences for ontological deflationism with respect to truth are discussed. (shrink)

The subject of the first section is Carnapian modal logic. One of the things I will do there is to prove that certain description principles, viz. the ''self-predication principles'', i.e. the principles according to which a descriptive term satisfies its own descriptive condition, are theorems and that others are not. The second section will be devoted to Carnapian modal arithmetic. I will prove that, if the arithmetical theory contains the standard weak principle of induction, modal truth collapses to truth. Then (...) I will propose a different formulation of Carnapian modal arithmetic and establish that it is free of collapse. Noteworthy is that one can retain the standard strong principle of induction. I will occupy myself in the third section with Carnapian epistemic logic and arithmetic. Here too it is claimed that the standard weak principle of induction is invalid and that the alternative principle is valid. In the fourth and last section I will get back to the self-predication principles and I will point to some of the consequences if one adds them to Carnapian Epistemic arithmetic. The interaction of self-predication principles and the strong principle of induction results in a collapse of de re knowability. (shrink)

The focus of this article is the question whether the notion of being in a position to know is closed under modus ponens. The question is answered negatively.

In a recent paper Horsten embarked on a journey along the limits of the domain of the unknowable. Rather than knowability simpliciter, he considered a priori knowability, and by the latter he meant absolute provability, i.e. provability that is not relativized to a formal system. He presented an argument for the conclusion that it is not absolutely provable that there is a natural number of which it is true but absolutely unprovable that it has a certain property. The argument depends (...) on a description principle. I will argue that the latter principle implies the knowability of all arithmetical truths. Therefore, Horsten's argument is either sound but its conclusion is trivial, or his argument is unsound. (shrink)

Famously, the Church–Fitch paradox of knowability is a deductive argument from the thesis that all truths are knowable to the conclusion that all truths are known. In this argument, knowability is analyzed in terms of having the possibility to know. Several philosophers have objected to this analysis, because it turns knowability into a nonfactive notion. In addition, they claim that, if the knowability thesis is reformulated with the help of factive concepts of knowability, then omniscience can be avoided. In this (...) article we will look closer at two proposals along these lines :557–568, 1985; Fuhrmann in Synthese 191:1627–1648, 2014a), because there are formal models available for each. It will be argued that, even though the problem of omniscience can be averted, the problem of possible or potential omniscience cannot: there is an accessible state at which all truths are known. Furthermore, it will be argued that possible or potential omniscience is a price that is too high to pay. Others who have proposed to solve the paradox with the help of a factive concept of knowability should take note :53–73, 2010; Spencer in Mind 126:466–497, 2017). (shrink)

Kearns (2021) reconstructs Berkeley’s (1713) Master Argument as a formally valid argument against the Materialist Thesis, with the key premise the Distinct Conceivability Thesis, namely the thesis that truths about sensible objects having or lacking thinkable qualities are (distinctly) conceivable and as its conclusion that all sensible objects are conceived. It will be shown that Distinct Conceivability Thesis entails the Reduction Thesis, which states that de dicto propositional (ordinary or distinct) conceivability reduces to de re propositional (ordinary or distinct) conceivability. (...) While Kearns (2021) set out to avoid the confusion of a de re claim with a de dicto claim, which Prior (1955) accused Berkeley of, Kearns can be accused of making a similar conceptual confusion. (shrink)

From Leibniz to Krauss philosophers and scientists have raised the question as to why there is something rather than nothing. Why-questions request a type of explanation and this is often thought to include a deductive component. With classical logic in the background only trivial answers are forthcoming. With free logics in the background, be they of the negative, positive or neutral variety, only question-begging answers are to be expected. The same conclusion is reached for the modal version of the Question, (...) namely ‘Why is there something contingent rather than nothing contingent?’. The categorial version of the Question, namely ‘Why is there something concrete rather than nothing concrete?’, is also discussed. The conclusion is reached that deductive explanations are question-begging, whether one works with classical logic or positive or negative free logic. I also look skeptically at the prospects of giving causal-counterfactual or probabilistic answers to the Question, although the discussion of the options is less comprehensive and the conclusions are more tentative. The meta-question, viz. ‘Should we not stop asking the Question’, is accordingly tentatively answered affirmatively. (shrink)

Marton ( 2019 ) argues that that it follows from the standard antirealist theory of truth, which states that truth and possible knowledge are equivalent, that knowing possibilities is equivalent to the possibility of knowing, whereas these notions should be distinct. Moreover, he argues that the usual strategies of dealing with the Church–Fitch paradox of knowability are either not able to deal with his modal-epistemic collapse result or they only do so at a high price. Against this, I argue that (...) Marton’s paper does not present any seriously novel challenge to anti-realism not already found in the Church–Fitch result. Furthermore, Edgington ( 1985 ) reformulated antirealist theory of truth can deal with his modal-epistemic collapse argument at no cost. (shrink)

Carnap's theory of descriptions was restricted in two ways. First, the descriptive conditions had to be non-modal. Second, only primitive predicates or the identity predicate could be used to predicate something of the descriptum . The motivating reasons for these two restrictions that can be found in the literature will be critically discussed. Both restrictions can be relaxed, but Carnap's theory can still be blamed for not dealing adequately with improper descriptions.

Though educators often deal with stressful social conflicts, many face them ad hoc without much training. We studied if and how virtual agents can help University staff manage student-teacher conflicts. We explored educators' verbal, behavioral, and physiological reactions to a virtual agent that brought up a student-teacher conflict and held exit-interviews. Our qualitative analysis revealed that virtual agents for conflict training were positively received, but not for conflict mediation with cross-cultural differences. Those with non-Western backgrounds felt that an agent could (...) help “save face,” whereas Westerners preferred to resolve conflicts in person. In line with this, participants with a Western background rated the virtual agent to be less competent compared to those with non-Western backgrounds. While physiological measures only allow for limited conclusions, we found that participants who believed that the agent was controlled by a human had higher normalized hear rate variability than people who thought that the agent was autonomous. We discuss implications for implementing virtual agents for training purposes, the impact of physiological signals, and the need to consider cultural and individual differences. (shrink)

The subject of this article is Modal-Epistemic Arithmetic (MEA), a theory introduced by Horsten to interpret Epistemic Arithmetic (EA), which in turn was introduced by Shapiro to interpret Heyting Arithmetic. I will show how to interpret MEA in EA such that one can prove that the interpretation of EA is MEA is faithful. Moreover, I will show that one can get rid of a particular Platonist assumption. Then I will discuss models for MEA in light of the problems of logical (...) omniscience and logical competence. Awareness models, impossible worlds models and syntactical models have been introduced to deal with the first problem. Certain conditions on the accessibility relations are needed to deal with the second problem. I go on to argue that those models are subject to the problem of quantifying in, for which I will provide a solution. (shrink)

Within the context of the Quine–Putnam indispensability argument, one discussion about the status of mathematics is concerned with the ‘Enhanced Indispensability Argument’, which makes explicit in what way mathematics is supposed to be indispensable in science, namely explanatory. If there are genuine mathematical explanations of empirical phenomena, an argument for mathematical platonism could be extracted by using inference to the best explanation. The best explanation of the primeness of the life cycles of Periodical Cicadas is genuinely mathematical, according to Baker (...) :223–238, 2005; Br J Philos Sci 60:611–633, 2009). Furthermore, the result is then also used to strengthen the platonist position :779–793, 2017a). We pick up the circularity problem brought up by Leng Mathematical reasoning, heuristics and the development of mathematics, King’s College Publications, London, pp 167–189, 2005) and Bangu :13–20, 2008). We will argue that Baker’s attempt to solve this problem fails, if Hume’s Principle is analytic. We will also provide the opponent of the Enhanced Indispensability Argument with the so-called ‘interpretability strategy’, which can be used to come up with alternative explanations in case Hume’s Principle is non-analytic. (shrink)

The central question of this article is how to combine counterfactual theories of knowledge with the notion of actuality. It is argued that the straightforward combination of these two elements leads to problems, viz. the problem of easy knowledge and the problem of missing knowledge. In other words, there is overgeneration of knowledge and there is undergeneration of knowledge. The combination of these problems cannot be solved by appealing to methods by which beliefs are formed. An alternative solution is put (...) forward. The key is to rethink the closeness relation that is at the heart of counterfactual theories of knowledge. (shrink)

The topic of this article is the closure of a priori knowability under a priori knowable material implication: if a material conditional is a priori knowable and if the antecedent is a priori knowable, then the consequent is a priori knowable as well. This principle is arguably correct under certain conditions, but there is at least one counterexample when completely unrestricted. To deal with this, Anderson proposes to restrict the closure principle to necessary truths and Horsten suggests to restrict it (...) to formulas that belong to less expressive languages. In this article it is argued that Horsten’s restriction strategy fails, because one can deduce that knowable ignorance entails necessary ignorance from the closure principle and some modest background assumptions, even if the expressive resources do not go beyond those needed to formulate the closure principle itself. It is also argued that it is hard to find a justification for Anderson’s restricted closure principle, because one cannot deduce it even if one assumes very strong modal and epistemic background principles. In addition, there is an independently plausible alternative closure principle that avoids all the problems without the need for restriction. (shrink)

This study described the relationships between academic class and student moral sensitivity and reasoning and between curriculum design components for ethics education and student moral sensitivity and reasoning. The data were collected from freshman (n = 506) and senior students (n = 440) in eight baccalaureate nursing programs in South Korea by survey; the survey consisted of the Korean Moral Sensitivity Questionnaire and the Korean Defining Issues Test. The results showed that moral sensitivity scores in patient-oriented care and conflict were (...) higher in senior students than in freshman students. Furthermore, more hours of ethics content were associated with higher principled thinking scores of senior students. Nursing education in South Korea may have an impact on developing student moral sensitivity. Planned ethics content in nursing curricula is necessary to improve moral sensitivity and moral reasoning of students. (shrink)

Antirealists who hold the knowability thesis, namely that all truths are knowable, have been put on the defensive by the Church-Fitch paradox of knowability. Rejecting the non-factivity of the concept of knowability used in that paradox, Edgington has adopted a factive notion of knowability, according to which only actual truths are knowable. She has used this new notion to reformulate the knowability thesis. The result has been argued to be immune against the Church-Fitch paradox, but it has encountered several other (...) triviality objections. Schlöder in a forthcoming paper defends the general approach taken by Edgington, but amends it to save it in turn from the triviality objections. In this paper I will argue, first, that Schlöder's justification for the factivity of his version of the concept of knowability is vulnerable to criticism, but I will also offer an improved justification that is in the same spirit as his. To the extent that some philosophers are right about our intuitive concept of knowability being a factive one, it is important to explore factive concepts of knowability that are made formally precise. I will subsequently argue that Schlöder's version of the knowability thesis overgenerates knowledge or, in other words, it leads to attributions of knowledge where there is ignorance. This fits a general pattern for the research programme initiated by Edgington. This paper also contains preliminary investigations into the internal and logical structure of lines of inquiries, which raise interesting research questions. (shrink)

Many philosophical discussions hinge on the concept of knowability. For example, there is a blooming literature on the so-called paradox of knowability. How to understand this notion, however? In this paper, we examine several approaches to the notion: the naive approach to take knowability as the possibility to know, the counterfactual approach endorsed by Edgington (1985) and Schlöder (2019) , approaches based on the notion of a capacity or ability to know (Fara 2010, Humphreys 2011), and finally, approaches that make (...) use of the resources of dynamic epistemic logic (van Benthem 2004, Holliday 2017). (shrink)

Jonathan Lowe has argued that a particular variation on C.I. Lewis' notion of strict implication avoids the paradoxes of strict implication. We show that Lowe's notion of implication does not achieve this aim, and offer a general argument to demonstrate that no other variation on Lewis' notion of constantly strict implication describes the logical behaviour of natural-language conditionals in a satisfactory way.

Rosenkranz has recently proposed a logic for propositional, non-factive, all-things-considered justification, which is based on a logic for the notion of being in a position to know, 309–338 2018). Starting from three quite weak assumptions in addition to some of the core principles that are already accepted by Rosenkranz, I prove that, if one has positive introspective and modally robust knowledge of the axioms of minimal arithmetic, then one is in a position to know that a sentence is not provable (...) in minimal arithmetic or that the negation of that sentence is not provable in minimal arithmetic. This serves as the formal background for an example that calls into question the correctness of Rosenkranz’s logic of justification. (shrink)

One of the divine attributes is omniscience. The standard concept of omniscience is the concept of having complete knowledge: God knows every truth. But there are also other concepts of omniscience that are consistent with having incomplete knowledge. I will propose a new concept of omniscience, namely the concept of having supreme knowledge. It is inspired by how Anselm talks about God's knowledge and it makes good sense of a key premise in an Anselmian argument for omniscience. Moreover, it can (...) be used to escape some of the set-theoretical and logical arguments against divine omniscience. (shrink)

The central topic of this article is (the possibility of) de re knowledge about natural numbers and its relation with names for numbers. It is held by several prominent philosophers that (Peano) numerals are eligible for existential quantification in epistemic contexts (‘canonical’), whereas other names for natural numbers are not. In other words, (Peano) numerals are intimately linked with de re knowledge about natural numbers, whereas the other names for natural numbers are not. In this article I am looking for (...) an explanation of this phenomenon. It is argued that the standard induction scheme plays a key role. (shrink)

Stephenson (2022) has argued that Kant’s thesis that all transcendental truths are transcendentally a priori knowable leads to omniscience of all transcendental truths. His arguments depend on luminosity principles and closure principles for transcendental knowability. We will argue that one pair of a luminosity and a closure principle should not be used, because the closure principle is too strong, while the other pair of a luminosity and a closure principle should not be used, because the luminosity principle is too strong. (...) Stephenson’s argument also depends on a factivity principle for transcendental knowability, which we will argue to be false. (shrink)

Semantic externalism in the style of McDowell and Evans faces a puzzle formulated by Pryor: to explain that a sentence such as 'Jack exists' is only a posteriori knowable, despite being logically entailed by the seemingly logical truth 'Jack is self-identical', and hence being itself a logical truth and therefore a priori knowable. Free logics can dissolve the puzzle. Moreover, Pryor has argued that the existentially hedged 'If Jack exists, then Jack is self-identical', when properly formalised, is a logical truth (...) in a system of neutral free logic and therefore a priori knowable, while it does not entail that Jack exists. The latter holds also for negative free logic. In response, Yeakel has argued that on any system of neutral free logic existence hedges will either entail some unwanted existence claims or they will not entail some wanted existence claims. The dilemma also holds for any non-positive free logic. It will be shown that the extension of one of the systems of neutral free logic with a truth operator escapes Yeakel's dilemma, whereas no other non-positive free logic when extended with the truth operator does the same (or it breaks quantifier exchangeability). (shrink)

Both Lowe and Tsai have presented their own versions of the theory that both indicative and subjunctive conditionals are strict conditionals. We critically discuss both versions and we find each version wanting.

This article is about the ontological dispute between finitists, who claim that only finitely many numbers exist, and infinitists, who claim that infinitely many numbers exist. Van Bendegem set out to solve the 'general problem' for finitism: how can one recast finite fragments of classical mathematics in finitist terms? To solve this problem Van Bendegem comes up with a new brand of finitism, namely so-called 'apophatic finitism'. In this article it will be argued that apophatic finitism is unable to represent (...) the negative ontological commitments of infinitism or, in other words, that which does not exist according to infinitism. However, there is a brand of infinitism, so-called 'apophatic infinitism', that is able to represent both the positive and the negative ontological commitments of apophatic finitism. Unfortunately, apophatic finitism cannot adopt that way without losing the ability to represent the positive ontological commitments of infinitism. (shrink)

Lexical Semantics is about the meaning of words. Although obviously a central concern of linguistics, the semantic behaviour of words has been unduly neglected in the current literature, which has tended to emphasize sentential semantics and its relation to formal systems of logic. In this textbook D. A. Cruse establishes in a principled and disciplined way the descriptive and generalizable facts about lexical relations that any formal theory of semantics will have to encompass. Among the topics covered in depth are (...) idiomaticity, lexical ambiguity, synonymy, hierarchical relations such as hyponymy and meronymy, and various types of oppositeness. Syntagmatic relations are also treated in some detail. The discussions are richly illustrated by examples drawn almost entirely from English. Although a familiarity with traditional grammar is assumed, readers with no technical linguistic background will find the exposition always accessible. All readers with an interest in semantics will find in this original text not only essential background but a stimulating new perspective on the field. (shrink)

A record of the words and teachings of Confucius, _The Analects_ is considered the most reliable expression of Confucian thought. However, the original meaning of Confucius's teachings have been filtered and interpreted by the commentaries of Confucianists of later ages, particularly the Neo-Confucianists of the Song dynasty, not altogether without distortion.In this monumental translation by Professor D. C. Lau, an attempt has been made to interpret the sayings as they stand. The corpus of the sayings is taken as an organic (...) whole and the final test of the interpretation rests on the internal consistency it exhibits. In other words, _The Analects_ is read in the light of _The Analects._This results in a truer understanding of Confucius' thought than the traditional interpretation and paves the way for a re-assessment of its importance in the history of Chinese thought and its relevance to the present day world.This volume also contains an introduction to the life and teachings of Confucius, and three appendices on the events in the life of Confucius, on his disciples, and on the composition of _The Analects._. (shrink)

The focus of the article is the self-predication principle, according to which the/a such-and-such is such-and-such. We consider contemporary approaches (Frege, Russell, Meinong) to the self-predication principle, as well as fourteenth-century approaches (Burley, Ockham, Buridan). In crucial ways, the Ockham-Buridan view prefigures Russell’s view, and Burley’s view shows a striking resemblance to Meinong’s view. In short the Russell-Ockham-Buridan view holds: no existence, no truth. The Burley-Meinong view holds, in short: intelligibility suffices for truth. Both views approach self-predication in a uniform (...) way. We were unable to find a medieval philosopher who, like Frege, approaches self-predication in a non-uniform way. We do not want to dispute that there are also considerable differences between the contemporary and the fourteenth-century approach to self-predication. Importantly, fourteenth-century accounts of self-predication rely strongly on the identity theory of predication, and this theory is not endorsed by contemporary philosophers of language. Nevertheless, some basic tenets seem to us to be clearly shared between fourteenth-century and contemporary thinkers. (shrink)

Fregean theories of descriptions as terms have to deal with improper descriptions. To save bivalence various proposals have been made that involve assigning referents to improper descriptions. While bivalence is indeed saved, there is a price to be paid. Instantiations of the same general scheme, viz. the one and only individual that is F and G is G, are not only allowed but even required to have different truth values.

"By combining recent advances in the physical sciences with some of the novel ideas, techniques, and data of modern biology, this book attempts to achieve a new and different kind of evolutionary synthesis. I found it to be challenging, fascinating, infuriating, and provocative, but certainly not dull."--James H, Brown, University of New Mexico "This book is unquestionably mandatory reading not only for every living biologist but for generations of biologists to come."--Jack P. Hailman, Animal Behaviour , review of the first (...) edition "An important contribution to modern evolutionary thinking. It fortifies the place of Evolutionary Theory among the other well-established natural laws."--R.Gessink, TAXON. (shrink)

In the first chapter I have introduced Carnapian intensional logic against the background of Frege's and Quine's puzzles. The main body of the dissertation consists of two parts. In the first part I discussed Carnapian modal logic and arithmetic with descriptions. In the second chapter, I have described three Carnapian theories, CCL, CFL, and CNL. All three theories have three things in common. First, they are formulated in languages containing description terms. Second, they contain a system of modal logic. Third, (...) they do not contain the unrestricted classical substitution principle, but they do contain the classical substitution principle restricted to non-modal formulas and the Carnapian substitution principle, which says that two terms can be substituted salva veritate if they are necessarily coreferential. There are two major differences between the three theories. First, CCL and CFL allow universal instantiation with description terms, whereas CNL does not. Moreover, the quantificational theory of the CCL is classical, whereas the quantificational theory of CFL is a free logic. Another difference is that CCL and CFL contain different description principles. Most importantly, the description principle of CCL ensures that even improper descriptions have a denotation, whereas the description principle of CFL does not guarantee this. CNL does not have a description principle. In the third chapter, I have studied collapse arguments for CCL, CFL, and CNL. A collapse argument is an argument for the following statement: if p is true, then it is necessarily true. A crucial role in the proofs of these collapse results was played by so-called self-predication principles, which say that under certain conditions the predicate that expresses the descriptive condition can be combined by the description term formed out of that predicate with the result being a true sentence. In this chapter I have discussed a collapse argument for the extension of CCL with a self-predication principle, I have given a collapse argument for a similarly extended CFL, and most importantly, I have given a collapse argument for the extension of CNL with a self- predication principle. Finally, I have argued that the relevant self-predication principles are unsound under a Carnapian interpretation. In the fourth chapter, I have studied the extension of Peano Arithmetic with a Carnapian modal logic C, which is a dummy letter standing for either CCL or CFL. One can prove that the principle of the necessity of identity is a theorem of CPA. This implies that one gets a collapse result for CPA. The standard principle of weak induction was crucial for the proof. One can also prove that, if one assumes a particular self-predication principle, and if one assumes the principle of strong induction or, equivalently, the least-number principle, then one gets a partial collapse of de re modal truths in de dicto modal truths. I have argued that, if the box operator is interpreted as a metaphysical necessity operator, then Platonists would not be inimical to the collapse result. But if CPA is extended with a physical theory, then there is a threat that physical truths become physical necessiti es. It was shown that, under a Carnapian interpretation, the standard principle of weak induction is unsound, and that it can be replaced by a Carnapian principle of weak induction that is sound. The problem of logical and mathematical omniscience prevents ordinary Carnapian intensional logic from being taken seriously as a logic adequate for describing the principles of demonstrability. Yet many of the proof-theoretic results of the first part carry over to the part on Carnapian epistemic arithmetic with descriptions, since proof-theoretic results are independent of the informal reading of the operators. In the fifth chapter, I looked at extensions of arithmetic with a modal logic in which the box operator is interpreted as a demonstrability operator. A first extension in that sense is Shapiro s Epistemic Arithmetic. Shapiro himself offered the problem of mathematical omniscience as a reason why it is difficult to find a model theory for EA. Horsten attempted to provide a model theory via the detour of Modal-Epistemic Arithmetic. The attention of the reader was drawn to an incoherence in the model theory of. Two alternative solutions were presented and, after a short discussion of the problem of de re demonstrability one of those alternatives was chosen. The discussion of the problem of de re demonstrability made it clear that it would be interesting to study the epistemic properties of notation systems. Horsten himself provided a framework for this, viz. Carnapian Epistemic Arithmetic, and he started a systematic study of the epistemic properties of notation systems within that framework. However, he did not provide non-trivial but adequate models. To make a start with solving the problem of finding good models for CEA, I introduced Carnapian Modal-Epistemic Arithmetic In constructing CMEA I incorporated the lesson about the principle of weak induction learnt in the fourth chapter. In the sixth chapter, I gave a critical assessment of an argument concerning the limits of de re demonstrability about the natural numbers. The conclusion of the Description Argument is that it is undemonstrable that there is a natural number that has a certain property but of which it is undemonstrable that it has that property. A crucial step in the Description Argument involved a self-predication principle. Making good use of one of the results obtained in the third chapter, I proved a collapse result for the background theory against which the Description Argument was formulated. I concluded that either the either the Description Argument is sound but its conclusion is trivial, o r the Description Argument is unsound, or it is a cheapshot. As an appendix I included an article co-authored by prof. dr. Leon Horsten and me. The topic of the article is indirectly related to some other topics investigated in my dissertation. Also, it backs up one of the addition al theses I might be asked to publicly defend during my doctoral exam. T he topic of the appendix is the set of the so-called paradoxes of strict implication. Jonathan Lowe has argued that a particular variation on C.I. Lewis notion of strict implication avoids the paradoxes of strict implication. Pace Lowe, it is argued that Lowe s notion of implication does not achieve this aim. Moreover, a general argument is offered to the effect that no other variation on Lewis notion of constantly strict implication describes the logical behaviour of natural language conditional s in a satisfactory way. (shrink)

Het meest succesvolle denken over de natuur vind je in de natuurwetenschappen. Filosofie wordt wel eens omschreven als denken over denken. In het handboek Over wetenschappelijk denken behandelen we het denken over het wetenschappelijk denken. Dat maakt van dit boek zowel een algemene inleiding in de wijsbegeerte als meer in het bijzonder een inleiding tot de wetenschapsfilosofie. Eerst gaan we in dit handboek dieper in op de natuurfilosofische revolutie in het antieke Griekenland. De mythische verklaringen van natuurfenomenen zoals regenbogen moesten (...) toen plaats maken voor natuurfilosofische verklaringen die beroep doen op zuiver fysische oorzaken, zoals gekleurde wolken. Vervolgens komt de natuurwetenschappelijke revolutie aan bod. Het filosofisch denken over de natuur en het Aristotelische wereldbeeld worden op hun beurt verdrongen door de moderne natuurwetenschap en astronomie van Copernicus, Kepler, Galilei, Newton en Lavoisier. Zowel de oude Grieken als moderne filosofen en natuurwetenschappers zoals Bacon en Newton dachten niet alleen over de natuur na, maar ook over de manier waarop het best over de natuur wordt nagedacht. Wetenschappelijke redeneervormen zoals deductie, inductie en abductie hebben daarin een prominente plaats. Elk van deze redeneervormen en ook logica en waarschijnlijkheid bekijken we van naderbij. De observatie van een enkele zwarte zwaan (cover) volstaat om te deduceren dat niet alle zwanen wit zijn, ook als we door talloze vroegere observaties van witte zwanen inductief hadden afgeleid dat het waarschijnlijk is dat alle zwanen wit zijn. Zo komen we tot reflectie op wat wetenschap nu eigenlijk is en hoe we wetenschap kunnen onderscheiden van pseudowetenschap. (shrink)

I will examine three claims made by Ackerman and Kripke. First, they claim that not any arithmetical terms is eligible for universal instantiation and existential generalisation in doxastic or epistemic contexts. Second, Ackerman claims that Peano numerals are eligible for universal instantiation and existential generalisation in doxastic or epistemic contexts. Kripke's position is a bit more subtle. Third, they claim that the successor relation and the smaller-than relation must be effectively calculable. These three claims will be examined from the framework (...) of modal-epistemic arithmetic, i.e. arithmetic extended with certain modal, epistemic and modal-epistemic principles. I will present theorems that give support to the claims made by Ackerman and Kripke. (shrink)

This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propositional calculus and the many-valued calculi of Post and Lukasiewicz.

Leading philosopher of religion D. Z. Phillips argues that intellectuals need not see their task as being for or against religion, but as one of understanding it. What stands in the way of this task are certain methodological assumptions about what enquiry into religion must be. Beginning with Bernard Williams on Greek gods, Phillips goes on to examine these assumptions in the work of Hume, Feuerbach, Marx, Frazer, Tylor, Marett, Freud, Durkheim, Le;vy-Bruhl, Berger and Winch. The result exposes confusion, but (...) also gives logical space to religious belief without advocating personal acceptance of that belief, and shows how the academic study of religion may return to the contemplative task of doing conceptual justice to the world. Religion and the Hermeneutics of Contemplation extends in important ways D. Z. Phillips' seminal 1976 book Religion Without Explanation. It will be of interest to scholars and students of philosophy, anthropology, sociology and theology. (shrink)

Introduction What is the point of studying Aristotle's theory of moral virtue? In the first place, many interesting questions are raised, in metaphysics, ...

RésuméLa croyance que l'on est (ou pas) dans un état de douleur est singulière en ceci qu'elle semble pouvoir être qualifiée d'infaillibilité ou d'incorrigibilité logique, de même que le cogito. Mais comment se peut-il que l'existence d'une croyance (vraie) et l'existence du fait qui est l'objet de cette croyance puisssent constituer la même existence? Je propose ici une réponse à cette question. Parfois, une croyance peut être un désir.