The previously introduced algorithm \sqema\ computes first-order frame equivalents for modal formulae and also proves their canonicity. Here we extend \sqema\ with an additional rule based on a recursive version of Ackermann's lemma, which enables the algorithm to compute local frame equivalents of modal formulae in the extension of first-order logic with monadic least fixed-points \mffo. This computation operates by transforming input formulae into locally frame equivalent ones in the pure fragment of the hybrid mu-calculus. In particular, we prove that (...) the recursive extension of \sqema\ succeeds on the class of `recursive formulae'. We also show that a certain version of this algorithm guarantees the canonicity of the formulae on which it succeeds. (shrink)

In a previous work we introduced the algorithm \SQEMA\ for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general correspondence and canonical completeness result. \SQEMA\ is based on transformation rules, the most important of which employs a modal version of a result by Ackermann that enables elimination of an existentially quantified predicate variable in a formula, provided a certain negative polarity condition on that variable is satisfied. In this paper we develop several extensions of (...) \SQEMA\ where that syntactic condition is replaced by a semantic one, viz. downward monotonicity. For the first, and most general, extension \SSQEMA\ we prove correctness for a large class of modal formulae containing an extension of the Sahlqvist formulae, defined by replacing polarity with monotonicity. By employing a special modal version of Lyndon's monotonicity theorem and imposing additional requirements on the Ackermann rule we obtain restricted versions of \SSQEMA\ which guarantee canonicity, too. (shrink)

In terms of validity in Kripke frames, a modal formula expresses a universal monadic second-order condition. Those modal formulae which are equivalent to first-order conditions are called elementary. Modal formulae which have a certain persistence property which implies their validity in all canonical frames of modal logics axiomatized with them, and therefore their completeness, are called canonical. This is a survey of a recent and ongoing study of the class of elementary and canonical modal formulae. We summarize main ideas and (...) results, and outline further research perspectives. (shrink)

Thesis (MA)--Stellenbosch University, 2014.

In this paper the authors examine the role the Dutch gymnasium continues to play in the institutional maintenance of educational inequality. To that end they examine the relational and spatial features of state-sponsored elite education in the Dutch system: the unique identity the gymnasium seeks to cultivate; its value to its consumers; its geographic significance; and its market position amidst a growing array of other selective forms of schooling. They argue that there is a strong correlation between a higher social (...) class background and the concern to transmit one’s cultural habitus. They further speculate on the moral implications of state-sponsored elite education, both as it concerns the specific role of the gymnasium in the reproduction of social inequality as well as the curious tendency among its supporters to rationalise the necessity of its existence. (shrink)

This paper offers a new angle on the common idea that the process of science does not support epistemic diversity. Under minimal assumptions on the nature of journal editing, we prove that editorial procedures, even when impartial in themselves, disadvantage less prominent research programs. This purely statistical bias in article selection further skews existing differences in the success rate and hence attractiveness of research programs, and exacerbates the reputation difference between the programs. After a discussion of the modeling assumptions, the (...) paper ends with a number of recommendations that may help promote scientific diversity through editorial decision making. (shrink)

This paper presents a uniform general account of regress problems in the form of a pentalemma—i.e., a set of five mutually inconsistent claims. Specific regress problems can be analyzed as instances of such a general schema, and this Regress Pentalemma Schema can be employed to generate deductively valid arguments from the truth of a subset of four claims to the falsity of the fifth. Thus, a uniform account of the nature of regress problems allows for an improved understanding of specific (...) regress objections or arguments, and, correspondingly, of the general logical geography of the debate about infinite regresses. This uniform approach is illustrated by a treatment of the classical epistemological problem of justification, but it encompasses a whole variety of cases including explanation and ontological grounding. Furthermore, this general account is compared and contrasted with the existing literature discussing argument schemata for regress objections, particularly with the work of Jan Willem Wieland. It is shown how such other schemata can be incorporated and superseded by the general Regress Pentalemma Schema. (shrink)

An interpretation of Hegel's Philosophy of Subjective Spirit showing its continued relevance to contemporary issues in the philosophy of mind.

Though Wilfrid Sellars portrayed himself as a latter-day Kantian, I argue here that he was at least as much a Hegelian. Several themes Sellars shares with Hegel are investigated: the sociality and normativity of the intentional, categorial change, the rejection of the given, and especially their denial of an unknowable thing-in-itself. They are also united by an emphasis on the unity of things—the belief that things do ‘‘hang together.’’ Hegel’s unity is idealist; Sellars’ is physicalist; the differences are substantial, but (...) so are the resonances. (shrink)

Modern rationalism transformed the modern homeland to a discursive space and time by means of institutes governing the modern society in all its walks. Based on the Newtonian and Kantian conception of space and time the discursive field is just a scene wherein any human individual adopts stewardship to create progress by reducing landscape and non-human life to auxiliary items for human’s benefit. In contrast, Aldo Leopold considered humans, non human life and the landscape as mutually influencing participants and enlarged (...) ethical care to all living participants and the landscape, called ´the land´. Integrity and autonomy of the homeland are the central topics of Leopold’s land ethics. Baird Callicott suggested to complete it with new metaphysical conceptions of space and time. -/- We formulated a metaphysical background for Leopold’s land ethics by phenomenology of space and time based on the Leibnizian conception of space-time. The latter is constructed by particular places and events called ´ecotopois´ embracing all human participants, locals and foreigners in a varying symbolic temporal and spatial field of dynamic process of identification and self consciousness. Adopting Warwick Fox´ transpersonal identification idea non-human life and landscape enriches these processes. Finally, it is not a matter of conquering the land, it is matter of making a community. -/- Though landscape and participants are particular, integrity and autonomy of the homeland claim the universal status of the land. Adopting Gadamer hermeneutical way of understanding, we reject mutual and equally understanding. Only acceptance of mutual prejudice makes room for asymmetric praxis between locals and foreigners as well as between humans and non-humans. What is more, Gadamer´s hermeneutics makes an ontological status of the foreigner possible and recognizes the interest of homeland’s particularity. This universal status is guaranteed as a priori space-time that links subject’s tradition and that of the land to actual contact with the foreigner. Transpersonal identification is a consequence of converging hermeneutical understanding of foreigner’s particularity and that of the landscape. Ethics of the land evolves from the ethical status of any foreigner in the own homeland. -/- . (shrink)

This essay is a response to Patrick Reider’s essay “Sellars on Perception, Science and Realism: A Critical Response.” Reider is correct that Sellars’s realism is in tension with his generally Kantian approach to issues of knowledge and mind, but I do not think Reider’s analysis correctly locates the sources of that tension or how Sellars himself hoped to be able to resolve it. Reider’s own account of idealism and the reasons supporting it are rooted in the epistemological tradition that informed (...) the British empiricists, rather than in the metaphysical reasons that ruled within the German tradition from Leibniz through Hegel that has much more in common with Sellars’s position. Thus, Reider takes Sellars’s notion of picturing to be just another version of the representationalism that has dominated the Anglo-American tradition since Locke, whereas, in my view, because picturing is a non-semantical relation, it is an important ingredient in naturalizing the coherentist theories of the idealists. (shrink)

In the novel "Het Been" by the Flemish writer Willem Elsschot. In the novel, a businessman becomes obsessive over the fact that a victim of his unscrupulous business practices refuses to forgive him. This raises the following questions: Why does one find it upsetting when the victim of one's wrongdoing refuses to accept our apologies? Why does one find it upsetting when the victim is unwilling to grant us the forgiveness that we are asking for?

Time as the key to a theory of everything became recently a renewed topic in scientific literature. Social constructivism applied to physics abandons the inevitable essentials of nature. It adopts uncertainty in the scope of the existential activity of scientific research. We have enlightened the deep role of social constructivism of the predetermined Newtonian time and space notions in natural sciences. Despite its incompatibility with determinism governing the Newtonian mechanics, randomness and entropy are inevitable when negative localized energy is transformed (...) into spatially dissipative heat. In sharp contrast to the Newtonian notion, social constructivism makes room for the temporal twin of cyclic conservation and pseudo-linearly structural evolution both reconciling mechanical order and thermodynamic chaos in Leibnizian space-time. In the broad scope of natural sciences this triad nature of time produces a multiple reality and gives appropriate answers on virtual physical paradoxes. (shrink)

Since the early Medieval Time people contested theological legitimation and rational discursive discours on authority as well as retreated to refuges to escape from any secular or ecclesiastical authority. Modern attempts formulated rational legitimation of authority in several ways: pragmatic authority by Monteigne, Bodin and Hobbes, or the contract authority of Locke and Rousseou. However, Enlightened Anarchism, first formulated in 1793 by the English philosopher William Godwin fulminated against all rational restrictions of human freedom and self-determination. However, we do not (...) analyze anarchism by the ‘what’ and the ‘why’, but by looking for the best actual approach of Anarchist’s ‘Promised Land’. Furthermore, we follow the footsteps of Thoreau’s Walden Pond experiment considered as a place of salvation and prototype of 19th century romantic’s extreme individualism towards Leopold’s ethics of the land. Indeed, Thoreau’s and later Muir’s concepts of refuges are tightly connected to territorial and temporal bio-regional constraints and imply an internally organized public area based on mutualism and Hannah Arendt’s agape. From these ideas of refuges, Aldo Leopold formulated his Land-ethics that claimed integrity and autonomy of the ‘Land’. His foundation is a prototype of the eco-centric free space version of eco-anarchism as formulated by Bookchin. In order to formulate a philosophical foundation of eco-anarchism we reject Newtonian homogeneous space-temporal conception, preceding the whole Modern discours about authority and state. On the contrary, we adopt the pluralistic Leibnizian space-time from which thinking-humans do not dissociate themselves, but participate as part of the rational infrastructure of eco-refuges. In eco-refuges, citizen belong to the civil society that stays in equilibrium with the landscape and all forms of biological life. Space is the boundary condition of human activity and determines how borders, environmental organization and institutes are sustained. Space has its proper essence of sustainability, unity and integrity. The individual feelings of security are embedded in a timelike tradition and evolution of the free space, while individual particular conceptions of space and time integrate into the social processes of identification with the refuge. Therefore, the creation of eco-refuges transforms the actual world of national authorities into a world of anarchistic democratic eco-regional homelands. (shrink)

Niettegenstaande de tendens van het failliet van het multiculturalisme is multiculturele dialoog niet weg te denken in een zich globaliserende wereld. Taylor, Gadamer, Honneth en Kymlicka hebben een bijdrage geleverd op het vlak van de erkenning van identiteit, respect en waardering van verschil. Wij voeren het argument aan dat bovenstaande auteurs niet ontsnappen aan het postmodernistisch dilemma van zelfautonomie en slachtofferschap. Dit komt doordat zij in hun rationale vertrekken van het afzonderlijke subject en deze situeren in een ruimte-tijd waarin de (...) tijd slechts een historische rol heeft en de ruimte geen actieve rol speelt. Tegenover deze uitvloeisels van het postmodern denken stellen wij het eco-communau-tarisme. Vanuit de vaststelling dat het individu denkt, spreek en handelt in de context van zijn taal en cultuur en dus vanuit zijn gemeenschap, situeren wij dit subject en de gemeenschap tevens in een particulier territorium of het ecotoop. Door middel van Hacking’s sociaal constructivisme, het Leibniziaanse meerwereldenbeeld en het biologische paradigma als nieuw denkkader, structureren wij de gemeenschap volgens een cyclisch en een lineair tijdverloop. Het cyclische waarborgt de traditie van een gemeenschap, het lineaire doet de gemeenschap evolueren naar een moreel betere toekomst en heeft een transcendent statuut. Het eco-communautarisme biedt het kader voor een kwalitatieve evolutie van individuen en gemeenschappen. Het normerend aspect hiervan is de pluriforme en multiculturele dialoog. (shrink)

Anne TIHON, Théorie et réalité : l’exemple de l’astronomie an­cienne (pp. 7-23) ; Isabelle DRAELANTS, Les encyclopédies com­me sommes des connaissances, d’Isidore de Séville au XIIIe siè­cle, avec les fondements antiques (pp. 25-50) ; Andrée COLINET, Alchimie antique et médiévale avant 1300 : mystères et réalités (pp. 51-70) ; Baudouin VAN DEN ABEELE, Quelques pas de grue à travers l’histoire naturelle médiévale : un regard diversifié sur le réel (pp. 71-98) ; Régine LEURQUIN, L’astrolabe plan (pp. 99- 117) ; Patricia (...) RADELET-DE GRAVE, Copernic, Stevin, Galilée et la réalité des orbites célestes (pp. 119-151) ; Brigitte VAN TIGGELEN, Étiqueter ou définir : le réalisme dans la nomen­cla­ture chimique aux XVIIe et XVIIIe siècles (pp. 153-183) ; Michel GHINS, L’existence de l’espace et du temps selon Leon­hard Euler (pp. 185-193) ; Chantal TILMANS-CABIAUX, Le rap­port de l’idée théorique à l’expérimentation chez Hahnemann : le système homéo­pathique naissant et le réalisme (pp. 195-214) ; Jean MAWHIN, La Terre tourne-t-elle ? À propos de la philosophie scientifique de Poincaré (pp. 215-252) ; Michel WILLEM, Paul Lévy et les fondements du calcul des probabilités (pp. 253-263). (shrink)

Short introduction to the V2 publication of "The War of Appearances: Transparency, Opacity, Radiance" (2016). An anthology with Matteo Pasquinelli, Luciana Parisi, Graham Harman, Tomas Saraceno, René ten Bos, Tim Morton, McKenzie Wark, Wim Delvoye, Diana Scherer, Paolo Cirio, Paul Frissen, and Willem Schinkel.