This concept note was produced for a symposium held under the banner of Critical University Studies – South Africa (CUS-SA) at the University of Johannesburg in August 2022. The opening plenary session was addressed by Profs. Premesh Lalu, Sarah Mosoetsa and Sarah Nuttall. A summary of a paper prepared for this symposium by Michael Peters on the university in techno-rational times was presented as part of the panel. The rest of the symposium featured critical discussion in response to this concept (...) note and presentations of potential chapter contributions for a book on the theme. The concept note is followed below by six responses by South African higher education scholars in response to Michael Peters’ and the CUS-SA concept note. (shrink)

Current work in language models (LMs) helps us speed up or even skip thinking by accelerating and automating cognitive work. But can LMs help us with critical thinking -- thinking in deeper, more reflective ways which challenge assumptions, clarify ideas, and engineer new concepts? We treat philosophy as a case study in critical thinking, and interview 21 professional philosophers about how they engage in critical thinking and on their experiences with LMs. We find that philosophers do not find LMs to (...) be useful because they lack a sense of selfhood (memory, beliefs, consistency) and initiative (curiosity, proactivity). We propose the selfhood-initiative model for critical thinking tools to characterize this gap. Using the model, we formulate three roles LMs could play as critical thinking tools: the Interlocutor, the Monitor, and the Respondent. We hope that our work inspires LM researchers to further develop LMs as critical thinking tools and philosophers and other 'critical thinkers' to imagine intellectually substantive uses of LMs. (shrink)

Many types of part-whole relations have been proposed in the literature to aid the conceptual modeller to choose the most appropriate type, but many of those relations lack a formal specification to give clear and unambiguous semantics to them. To remedy this, a formal taxonomy of types of mereological and meronymic part-whole relations is presented that distinguishes between transitive and intransitive relations and the kind of entity types that are related. The demand to use it effectively brings afore new requirements (...) for automated reasoning over a hierarchy of relations. To ensure logically and ontologically correct inferencing over both the class and role hierarchy, the new reasoning service RBox compatibility for Description Logics reasoners is introduced. The proposed combination of formal semantics and the new reasoning service will improve the representation of the application domain when using part-whole relations in conceptual models and ontologies. (shrink)

As a number of philosophers have observed, our knowledge of what is passing through our own minds appears to be quite different to our knowledge of other things. I do not, it seems, need to accumulate evidence in order to know what psychological states I am in. 1 Without relying on evidence I am able to effortlessly attribute to myself beliefs, desires, intentions, hopes, fears, and a host of other psychological states. The distinctive knowledge we have of our own psychological (...) states is sometimes labeled privileged access. If ’privileged access’ means knowledge that is not evidentially based we certainly seem to have privileged access to some psychological states including those exhibiting intentionality.2 Nevertheless, some have questioned whether we do enjoy privileged access to our intentional states. One reason for doing so derives from the findings of psychologists. The time honored thesis that we have privileged access to our own psychological states is threatened by such findings (see especially Nesbitt and Wilson, 1977). Moreover, there is threat to privileged access from a different direction. It comes from a philosophical thesis commonly referred to as externalism. Externalism is the view that the content of an intentional state such as a belief is fixed by the environment external to the believer. Some externalists deny that externalism conflicts with privileged access. Donald Davidson and Tyler Bürge in particular have developed what might be called a minimalist account of privileged access which, they would claim, reconciles privileged access with externalism. An interesting feature of their account is that it suggests a defense of privileged access in the light of the psychological findings mentioned above. However, that is a topic for another paper. Here I will confine myself to assessing the Davidson Burge account of privileged access, and its implications for the relationship between privileged access and externalism. (shrink)

Representing parthood relations in ORM has received little attention, despite its added-value of the semantics at the conceptual level. We introduce a high-level taxonomy of types of meronymic and mereological relations, use it to construct a decision procedure to determine which type of part- whole role is applicable, and incrementally add mandatory and uniqueness constraints. This enables the conceptual modeller to develop models that are closer to the real-world subject domain semantics, hence improve quality of the software.

Both terrorism and game theory are contested concepts within the social sciences, but in this paper, I will show that a rational approach (game theory) towards the emotion-laden idea and practice of terrorism does aid understanding of the “terrorist theatre”. First, an outline will be provided on the type of actors (game players) that are, or may be, involved to a more or lesser extend in (supporting) terrorism. Then several game models will be assessed on their applicability. This includes averting (...) the joint bargaining paradox when asymmetric actors cooperate to achieve a joint goal, governments who may fare better from their point of view when dividing up refugees into geographically separate areas to decrease the possibility of cooperation between aggrieved groups and recognizing two-speed negotiations, which can have a (detrimental) effect on (deadline) negotiations. Further, an adaptation of the audience cost model explained the “war of nerves” of the terrorist theatre involving the generation of fear amongst its targets and the updating of information on moderate actors by action of extremists. Several mutations of the Prisoner’s Dilemma were discussed as options to prevent mutual harm. (shrink)

This reconsideration of Hume’s classic essay “Of Miracles” via the lens of American pragmatist ways of thinking about history and power shifts our attention from Hume’s epistemic concerns about the legitimacy of witnesses and testimony to his distaste for sacred history, his critical stance regarding the social force of revelation, and his disdain for religious authority. To view Hume’s essay both as an articulation of a critical philosophy of history and as an exercise in moral dynamism (social power or, authority, (...) is a result of epistemic transactions), is to intervene in both Hume studies and Contemporary Pragmatism. (shrink)

International Studies in the Philosophy of Science, Volume 26, Issue 3, Page 351-354, September 2012.

Under the lig ht of Being and Nothingness’s the o re t ical body – Sartre’s master piece –, it is intended to discuss the essential source of human reality as “n i h i l a t i o n” and ontological lack, as well as manifestations and cons e q u e nces from this primordial human passion to be transformed to coagulated transcendence, to be transformed in Being In-itself-For-itself: to be consciousness and, at the same t i (...) me, to be a complete and finished Being, with infinite de nsity and witho u t fissures. (shrink)

An examination of David Hume's philosophy of religion that situates his conception "true religion" within the context of his overall science of human nature, his rejection of popular religion, and his Ciceronian influence"--Provided by publisher.

Drawing on recent findings, this study examines whether valence concordant electromyography (EMG) responses can be explained as an unconditional effect of mere stimulus processing or as somatosensory simulation driven by task-dependent processing strategies. While facial EMG over the Corrugator supercilii and the Zygomaticus major was measured, each participant performed two tasks with pictures of album covers. One task was an affective evaluation task and the other was to attribute the album covers to one of five decades. The Embodied Emotion Account (...) predicts that valence concordant EMG is more likely to occur if the task necessitates a somatosensory simulation of the evaluative meaning of stimuli. Results support this prediction with regard to Corrugator supercilii in that valence concordant EMG activity was only present in the affective evaluation task but not in the non-evaluative task. Results for the Zygomaticus major were ambiguous. Our findings are in line with the view that EMG activity is an embodied part of the evaluation process and not a mere physical outcome. (shrink)

Étude sur deux pensées philosophiques de l'existence qui furent influencées par le romantisme au milieu du XIXe siècle. L'auteur s'interroge sur la conception de l'homme que chacun des deux philosophes propose. D'après lui, leurs postulats sont parents par bien des aspects. L'existence est envisagée dans ses dimensions littéraires, philosophiques et religieuses.--Résumé de l'éditeur.

Le rôle de David Hume dans la philosophie moderne, par A. L. Leroy.--The enlightenment of David Hume, by E. C. Mossner.--Hume and Jurieu: possible Calvinist origins of Hume's theory of belief, by R. H. Popkin.--Hume: philosopher or psychologist? A problem of exegesis, by T. E. Jessop.--L'astrazione nella filosofia di Hume, di M. Dal Pra.--Infinite divisibility in Hume's "Treatise," by A. Flew.--Note a "La rgola del gusto," di E. Migliorini.--Kant, Hamann-Jacobi and Schelling on Hume, by P. Merlan.--Bibliografia humiana dal 1937 al (...) 1966, di E. Ronchetti. (shrink)

Multiple different understandings and uses exist of what granularity is and how to implement it, where the former influences success of the latter with regards to storing granular data and using granularity for reasoning over the data or information. We propose a taxonomy of types of granularity and discuss for each leaf type how the entities or instances relate within its granular level. Such unambiguous distinctions can guide a conceptual modeler to better distinguish between the types of granularity and the (...) software developer to improve on implementations of granularity. (shrink)

Social constructionists maintain that we invent the properties of the world rather than discover them. Is reality constructed by our own activity? Do we collectively invent the world rather than discover it? André Kukla presents a comprehensive discussion of the philosophical issues that arise out of this debate, analysing the various strengths and weaknesses of a range of constructivist arguments and arguing that current philosophical objections to constructivism are inconclusive. However, Kukla offers and develops new objections to constructivism, distinguishing (...) between the social causes of scientific beliefs and the view that all ascertainable facts are constructed. (shrink)

An essential aspect of conceptual data modeling methodologies is the language’s expressiveness so as to represent the subject domain as precise as possible to obtain good quality models and, consequently, software. To gain better insight in the characteristics of the main conceptual modeling languages, we conducted a comparison between ORM, ORM2, UML, ER, and EER with the aid of Description Logic languages of the DLR family and the new formally defined generic conceptual data modeling language CMcom that is based on (...) DLRifd. ORM, ER, EER, and UML class diagrams are proper fragments of ORM2 and CMcom has the most expressive common denominator with these languages. CMcom simplifies prospects for automated, online, interoperability among the considered languages so that modelers not only can continue using their preferred modeling language yet be compatible with the other ones, but also have a common ground that eases database and software integration based on commonly used conceptual data models. (shrink)

A recurring problem in conceptual modelling and ontology development is the representation of part-whole relations, with a requirement to be able to distinguish between essential and mandatory parts. To solve this problem, we formally characterize the semantics of these shareability notions by resorting to the temporal conceptual model E RVT and its formalization in the description logic DLRUS.

Unlike identification with keys and reference schemes in ER and ORM, UML uses internal, system-generated, identifiers, with a little-known underspecified option for user-defined identifiers. To increase the ontological foundations of UML, we propose two language enhancements for UML, being formally defined simple and compound identifiers and the notion of defined class, which also have a corresponding extension of UML’s metamodel.

Few ontologies in the ecological domain exist, but their development can take advantage of gained experience in other domains and from existing modeling practices in ecology. Taxonomies do not suffice because more expressive modeling techniques are already available in ecology, and the perspective of flow with its centrality of events and processes cannot be represented adequately in a taxonomy. Therefore, formal ontologies are required for sufficient expressivity and to be of benefit to ecologists, which also enables future reuse. We have (...) created a formal mapping between the software-supported ecological modeling method and software tool STELLA and ontology elements, which simplifies bottom-up ontology development considerably and has excellent potential for semi-automated ontology development. However, the conducted experiments also revealed that ontology development for ecology is close to being part of ecological research that through the formalized representation of the knowledge more clearly points to lacunas and suggestions for further research in ecology. (shrink)

One of the relations used with granularity is indistinguishability, where distinguishable entities in a finer-grained granule are indistinguishable in a coarser-grained granule. This relation is a subtype of equivalence relation, which is used in the other direction to create finer-grained granules. Together with the notion of similarity, we formally prove some intuitive properties of the indistinguishability relation for both qualitative and quantitative granularity, that with a given granulation there must be at least two granules (levels of granularity) for it to (...) be granular, and derive a strict order between finer and coarser granules. Based on these results, granulation hierarchy is defined as extra assisting structure to augment implementations. (shrink)

A formal theory of the ecological niche is indispensable not only for semantic precision in philosophy to understand and compare it with other meanings of niche, but also when computer scientists and ecologists desire to create interoperable software where one can retrieve the niche of a species and compare their parameters. The proposed model is a more fine-grained description of the ecological niche, including the distinction between its complex concept, the abstract niche (‘fundamental niche’) with its hypervolume in multidimensional space, (...) and its realisations (‘realised niches’). The presented ecological niche may initiate new avenues for research in ecology, particularly concerning the conditions/categories of a hypervolume, as well as further philosophical inquiry and comparison with other niches. (shrink)

There are various recent efforts to broaden applications of ontologies with vague knowledge, motivated in particular by applications of bio(medical)-ontologies, as well as to enhance rough set information systems with a knowledge representation layer by giving more attention to the intension of a rough set. This requires not only representation of vague knowledge but, moreover, reasoning over it to make it interesting for both ontology engineering and rough set information systems. We propose a minor extension to OWL 2 DL, called (...) rOWL, and define the novel notions of rough subsumption reasoning and classification for rough concepts and their approximations. (shrink)

To address the problems of both structured coordination of linked and modularised ontologies and to query a large dynamic ontology system, we propose a basic granularity framework and a set of functions to query such a granulated system. The granularity framework enforces a constrained and structured modularization. This facilitates automation of both dividing a large body of represented information as well as relinking the pieces. The functions enable basic cross-granular querying in a transparent and scalable way, as they rely on (...) the unambiguous management layer provided by the granularity framework, and are reusable for ontologies represented and stored in different formats. (shrink)

From the side of modelers and early-adopter industry, interest in reasoning over conceptual models and other online usage of conceptual models is growing. To obtain a more precise insight in the characteristics of the main conceptual modeling languages, we define the (semi-)standardized ORM, ORM2, UML, ER, and EER diagram languages in terms of the new generic conceptual data modeling language CMcom that is based on the DL language DLRifd. CMcom has the most expressive common denominator with these languages. CMcom advances (...) prospects for automated, online, interoperability among diverse conceptual data models and ensures compatibility with and between industrygrade conceptual data modeling languages. (shrink)

Scientific realists have argued that the truth(likeness) of our theories provides the only explanation for the success of science. I consider alternative explanations proposed by antirealists. I endorse Leplin's contention that neither van Fraassen's Darwinist explanation nor Laudan's methodological explanation provides the sort of explanatory alternative which is called for in this debate. Fine's suggestion--that the empirical adequacy of our theories already explains their success--is more promising for antirealists. Leplin claims that this putative explanation collapses into realism on one reading (...) and into vacuity on another reading. But his analysis conflates three doctrines into two, and one of the three avoids both realism and vacuity. (shrink)

Over the past fifteen years there has been a considerable amount of debate concerning what theoretical population dynamic models tell us about the nature of natural selection and drift. On the causal interpretation, these models describe the causes of population change. On the statistical interpretation, the models of population dynamics models specify statistical parameters that explain, predict, and quantify changes in population structure, without identifying the causes of those changes. Selection and drift are part of a statistical description of population (...) change; they are not discrete, apportionable causes. Our objective here is to provide a definitive statement of the statistical position, so as to allay some confusions in the current literature. We outline four commitments that are central to statisticalism. They are: 1. Natural Selection is a higher order effect; 2. Trait fitness is primitive; 3. Modern Synthesis (MS)-models are substrate neutral; 4. MS-selection and drift are model-relative. (shrink)

According to an externalist theory of content the content of an individual’s thoughts and the meaning of her words need not supervene on her intrinsic history. Two individuals may be intrinsically exactly alike yet entertain different thoughts, and attach different meanings to the words they use. ETC, which has been most notably defended by Saul Kripke, Hilary Putnam and Tyler Burge, has attained the status of current orthodoxy. Nevertheless, some maintain that combining ETC with the premisses that we have privileged (...) access to our intentional states yields a surprising conclusion. It yields the conclusion that we can have a priori knowledge of features of the external world that seem only accessible to empirical investigation. Call the argument from ETC and privileged access to this conclusion the main argument. Some take the main argument to be a reductio of ETC. Since we have privileged access to our intentional states, and lack the a priori knowledge attributed by the main argument, ETC is false. Some take the main argument to refute the premisses that we have privileged access to those intentional states falling within the scope of ETC. Others see the main argument as a refutation of external world scepticism. We will show that the main argument does not support any of these interesting conclusions. We will show that the main argument does not threaten to restrict privileged access, refute external world scepticism, or constitute a reductio of ETC. More exactly, we will show that the most defensible version of ETC, even when combined with the premiss that we have unrestricted privileged access to our intentional states, yields no a priori knowledge of the external world. (shrink)

The central point of this essay is to demonstrate the incommensurability of ‘Darwinian fitness’ with the numeric values associated with reproductive rates used in population genetics. While sometimes both are called ‘fitness’, they are distinct concepts coming from distinct explanatory schemes. Further, we try to outline a possible answer to the following question: from the natural properties of organisms and a knowledge of their environment, can we construct an algorithm for a particular kind of organismic life-history pattern that itself will (...) allow us to predict whether a type in the population will increase or decrease relative to other types? 1. Introduction2. Darwinian fitness3. Reproductive fitness and genetical models of evolution4. The models of reproductive fitness4.1 The Standard Viability Model4.2 Frequency-dependent selection4.3 Fertility models4.4 Overlapping generations5. Fitness as outcome5.1 Fitness as actual increase in type5.2 Fitness as expected increase in type5.2.1 Expected increase within a generation5.2.2 Expected increase between generations5.2.3 Postponed reproductive fitness effects6. The book-keeping problem7. Conclusion. (shrink)

Annotation: This is a comprehensive and psychological history of art from a variety of cultures by one of the eminent thinkers of the twentieth century.

There are few successful applications of automated reasoning over OWL-formalised bio-ontologies, and requirements are often unclearly formulated. Of what is available, usage and prospective scenarios of automated reasoning is often different from the straightforward classification and satisfiability. We list nine types of scenarios and specify the requirements in more detail. Several of these requirements are already possible in practice or at least in theory, others are in need of further research, in particular regarding the linking of the OWL ontology to (...) data, reasoning over roles, and dynamically linking modular ontologies. (shrink)

The aim of this paper is to elucidate the question of whether Newtonian mechanics can be derived from relativity theory. Physicists agree that classical mechanics constitutes a limiting case of relativity theory. By contrast, philosophers of science like Kuhn and Feyerabend affirm that classical mechanics cannot be deduced from relativity theory because of the incommensurability between both theories; thus what we obtain when we take the limit c → ∞ in relativistic mechanics cannot be Newtonian mechanics sensu stricto. In this (...) paper I focus on the alleged change of reference of the term mass in the transition from one theory to the other. Contradicting Kuhn and Feyerabend, special relativity theory supports the view that the mass of an object is a characteristic property of the object, that it has the same value in whatever frame of reference it is measured, and that it does not depend on whether the object is in motion or at rest. Thus mass preserves the reference through the change of theory, and the existence of a Newtonian limit of relativity theory provides a good example of the rationality of theory change in mathematical physics. (shrink)

Le génie de Léonard de Vinci, celui de Michel-Ange ressortent mieux sur le fond révélateur de l’Académie de Careggi, où Marsile Ficin règne en maître, évoquant sinon invoquant Platon. La culture platonicienne entretenue par Ficin - mais Cristoforo Landino ou Ange Politien sont tour à tour convoqués - délimite le contour d’un nouvel ordre artistique dont André Chastel, dans un travail de jeunesse qui engage déjà ses subtiles analyses d’histoire de l’art et des idées, rend raison avec passion. En (...) quelques pages lumineuses, Jean Wirth donne à ce maître livre sa juste place dans une tradition historiographique qu’il a contribué à renouveler. (shrink)

Occasions of Identity is an exploration of timeless philosophical issues about persistence, change, time, and sameness. Andre Gallois offers a critical survey of various rival views about the nature of identity and change, and puts forward his own original theory. He supports the idea of occasional identities, arguing that it is coherent and helpful to suppose that things can be identical at one time but distinct at another. Gallois defends this view, demonstrating how it can solve puzzles about persistence dating (...) back to the Ancient Greeks, and investigates the metaphysical consequences of rejecting the necessity and eternity of identities. (shrink)

§1. Introduction. Natural sets that can be enumerated by a computable function always seem to be either actually computable or of the same complexity as the Halting Problem, the complete r.e. set K. The obvious question, first posed in Post [1944] and since then called Post's Problem is then just whether there are r.e. sets which are neither computable nor complete, i.e., neither recursive nor of the same Turing degree as K?Let be the r.e. degrees, i.e., the r.e. sets modulo (...) the equivalence relation of equicomputable with the partial order induced by Turing computability. This structure is a partial order with least element 0, the degree of the computable sets, and greatest element 1 or 0′, the degree of K. Post's problem then asks if there are any other elements of.The solution of Post's problem by Friedberg [1957] and Muchnik [1956] was followed by various algebraic or order theoretic results that were interpreted as saying that the structure was in some way well behaved:Theorem 1.1. Every countable partial ordering or even uppersemilattice can be embedded into.Theorem 1.2. For every nonrecursive r.e. degreeathere are r.e. degreesb, c < asuch thatb ∨ c = a.Theorem 1.3. For every pair of nonrecursive r.e. degreesa < bthere is an r.e. degreecsuch thata < c < b. (shrink)

English summary: Marc Andre Wiegand analyzes the neo-Kantian premises of Gustav Radbruch's legal philosophy.

Covering the basics as well as recent research results, this book provides a very readable introduction to the exciting interface of computability and ...

ABSTRACT: In this essay I characterize arguments by analogy, which have an impor- tant role both in philosophical and everyday reasoning. Arguments by analogy are dif- ferent from ordinary inductive or deductive arguments and have their own distinct features. I try to characterize the structure and function of these arguments. It is further discussed that some arguments, which are not explicit arguments by analogy, nevertheless should be interpreted as such and not as inductive or deductive arguments. The result is that (...) a presumed outcome of a philosophical dispute will have to be reconsidered. (shrink)

The interplay between computability and randomness has been an active area of research in recent years, reflected by ample funding in the USA, numerous workshops, and publications on the subject. The complexity and the randomness aspect of a set of natural numbers are closely related. Traditionally, computability theory is concerned with the complexity aspect. However, computability theoretic tools can also be used to introduce mathematical counterparts for the intuitive notion of randomness of a set. Recent research shows that, conversely, concepts (...) and methods originating from randomness enrich computability theory.The book covers topics such as lowness and highness properties, Kolmogorov complexity, betting strategies and higher computability. Both the basics and recent research results are desribed, providing a very readable introduction to the exciting interface of computability and randomness for graduates and researchers in computability theory, theoretical computer science, and measure theory. (shrink)

What do Jerry Fodor and Bas van Fraassen, the archetypical scientific realist and his antirealist shadow, have in common? They’re both defenders of the theory-observation distinction. It isn’t surprising that a realist and an antirealist should agree about something; but it is curious that van Fraassen’s and Fodor’s defenses of the theory-observation distinction play diametrically opposite roles in their philosophical agendas. Van Fraassen needs it to support his antirealism; Fodor wants it in support of his realism. Van Fraassen needs the (...) distinction in order to protect antirealism from the charge of incoherence. Antirealists wish to ascribe a more exalted status to the observational import of a theory than to its nonobservational claims. Van Fraassen’s version of the antirealist thesis is that belief in observational claims is rationally warranted under some logically and nomologically possible conditions, whereas belief in theoretical claims is never warranted. This identifies the species of antirealism at issue as epistemic antirealism. This position would be a nonstarter if the observational import couldn’t be distinguished from the rest. And, in fact, denying the coherence of the theory-observation distinction has been a popular realist gambit in the debate about scientific realism. (shrink)

Traditionally, this puzzle has been solved in various ways. Aristotle, for example, distinguished between “accidental” and “essential” changes. Accidental changes are ones that don't result in a change in an objects' identity after the change, such as when a house is painted, or one's hair turns gray, etc. Aristotle thought of these as changes in the accidental properties of a thing. Essential changes, by contrast, are those which don't preserve the identity of the object when it changes, such as when (...) a house burns to the ground and becomes ashes, or when someone dies. Armed with these distinctions, Aristotle would then say that, in the case of accidental changes, (1) and (2) are both false—a changing thing can really change one of its “accidental properties” and yet literally remain one and the same thing before and after the change. (shrink)