This paper aims to inquire whether an analysis of the concept of law is an exercise of analysis in its modest or immodest form. Our inquiry suggests that the Jacksonian distinction between modest and immodest conceptual analysis, so eagerly applied by many legal scholars, is inapplicable to analyzing a specific part of the concept of law. The crux of our argument lies in the relation between the folk theory of law and the content of the developed concept of law. As (...) an artifact concept, the concept of law must depend on the pre-existing content of the folk conception of law (which we term the ‘foundational folk theory’). This part of folk theory determines the collective intentionality necessary to bring an institutional artifact, such as law, into existence. A large part of the argument for this conclusion depends on the acceptance of a realist and functional, post-Searlean theory of artifactual types. (shrink)

In this paper we present a tableau system for deontic logics with the operator of explicit permission. By means of this system the decidability of the considered logics can be proved. We will sketch how these logics are semantically defined by means of relating semantics and how they provide a simple solution to the free choice permission problem. In short, these logics employ relating implication and a certain propositional constant. These two are in turn used to define deontic operators similarly (...) as in Andersonian-Kangerian reduction, which uses different intensional implications and constants. (shrink)

We present the (Lascar) Galois group of any countable theory as a quotient of a compact Polish group by an F_σ normal subgroup: in general, as a topological group, and under NIP, also in terms of Borel cardinality. This allows us to obtain similar results for arbitrary strong types defined on a single complete type over ∅. As an easy conclusion of our main theorem, we get the main result of [K. Krupiński, A. Pillay and T. Rzepecki, Topological dynamics and (...) the complexity of strong types, Israel J. Math.228 (2018) 863–932] which says that for any strong type defined on a single complete type over ∅, smoothness is equivalent to type-definability. We also explain how similar results are obtained in the case of bounded quotients of type-definable groups. This gives us a generalization of a former result from the paper mentioned above about bounded quotients of type-definable subgroups of definable groups. (shrink)

Author's response to: Raphael Sassower, 'Heidegger and the Sociologists: A Forced Marriage?,' Social Epistemology Review and Reply Collective 7, no. 5 (2018): 30-32. -- Part of a book-review symposium on: Jeff Kochan (2017), Science as Social Existence: Heidegger and the Sociology of Scientific Knowledge (Cambridge UK: Open Book Publishers).

REVIEW (1): "Jeff Kochan’s book offers both an original reading of Martin Heidegger’s early writings on science and a powerful defense of the sociology of scientific knowledge (SSK) research program. Science as Social Existence weaves together a compelling argument for the thesis that SSK and Heidegger’s existential phenomenology should be thought of as mutually supporting research programs." (Julian Kiverstein, in Isis) ---- REVIEW (2): "I cannot in the space of this review do justice to the richness and range of (...) Kochan's discussion [...]. There is a great deal in this foundational portion of Kochan's discussion that I find tremendously interesting and engaging [...]." (David R. Cerbone, in Studies in History and Philosophy of Science) ---- REVIEW (3): "Science as Social Existence will be of interest not only to Heidegger scholars but to anyone engaged in science and technology studies. [...] This is an informative and original book. Kochan should be praised for his clear, pleasant-to-read prose." (Michael Butler, in CHOICE). (shrink)

Historians have claimed that the two closely related concepts of animism and natural teleology were both decisively rejected in the Scientific Revolution. They tout Robert Boyle as an early modern warden against pre-modern animism. Discussing Avicenna, Aquinas, and Buridan, as well as Renaissance psychology, I instead suggest that teleology went through a slow and uneven process of rationalization. As Neoplatonic theology gained influence over Aristotelian natural philosophy, the meaning of animism likewise grew obscure. Boyle, as some historians have shown, exemplifies (...) this uneven process. There is an unresolved tension between his religious convictions and the implicit animism of his empirical practice. (shrink)

In this interview, Tomasz Zarębski speaks with Allan Janik, co-author of _Wittgenstein’s Vienna_ (1973, with Stephen Toulmin), on the occasion of the 50 th anniversary of the publication of this pathbreaking book. The conversation concerns the circumstances, motivations and reasons for his undertaking the work on the book, as well as its reception and place in Wittgenstein scholarship. A large part of the discussion refers to his perspective of Wittgenstein, Toulmin’s philosophical writings, and Janik’s own vision of philosophy. The (...) interview took place in Innsbruck on 23 rd and 25 th August 2023. (shrink)

Tim Ingold draws a sharp line between animism and hylomorphism, that is, between his relational ontology and a rival genealogical ontology. He argues that genealogical hylomorphism collapses under a fallacy of circularity, while his relationism does not. Yet Ingold fails to distinguish between vicious or fallacious circles, on the one hand, and virtuous or hermeneutic circles, on the other. I demonstrate that hylomorphism and Ingold’s relational animism are both virtuously circular. Hence, there is no difference between them on this count. (...) A path thus opens for what I call hylomorphic animism. While Ingold’s relational animism leads into obscurity, hylomorphic animism is able to explain the differences in power between material things. (shrink)

The aim of this paper is to reconstruct and correct one argument in support of the symmetrization postulate in quantum mechanics. I identify the central premise of the argument as a thesis specifying a particular ontic property of quantum superpositions. The precise form of this thesis depends on some underlying assumptions of a metaphysical character. I compare the exchange degeneracy argument with alternative formal arguments for the symmetrization postulate, and I discuss the role and meaning of labels in the symmetric/antisymmetric (...) representations of the states of many particles. (shrink)

William Gilbert’s 1600 book, De magnete, greatly influenced early modern natural philosophy. The book describes an impressive array of physical experiments, but it also advances a metaphysical view at odds with the soon to emerge mechanical philosophy. That view was animism. I distinguish two kinds of animism – Aristotelian and Platonic – and argue that Gilbert was an Aristotelian animist. Taking Robert Boyle as an example, I then show that early modern arguments against animism were often effective only against Platonic (...) animism. In fact, unacknowledged traces of Aristotelian animism can be found in Boyle’s mechanical account of nature. This was Gilbert’s legacy. (shrink)

Anthropologist Tim Ingold promotes Indigenous animism as a salve for perceived failures in modern science, failures he claims also hobbled his own early work. In fact, both Ingold’s early and later work rely on modern scientific ideas and images. His turn to animism marks not an exit from the history of European science, but an entrance into, and imaginative elaboration of, distinctly Neoplatonic themes within that history. This turn marks, too, a clear but unacknowledged departure from systematic social analysis. By (...) re-embracing social analysis, Ingold would overcome the obscurity that now hobbles his later work. (shrink)

Reclamation of a slur involves the creation of a new, positively-valenced meaning that gradually replaces the old pejorative meaning. This means that at a critical stage, the slur is ambiguous. It has been claimed that this ambiguity is polysemy. However, it is far from clear whether the view can explain why the introduction of the new meaning forces the old one out of existence. I argue that this datapoint can be explained by invoking the mechanism of homonymic conflict, and, therefore, (...) that the ambiguity involved in reclamation is homonymy. One generalization that follows from my account is that conventionalized verbal irony, unlike conventionalized metonymy and metaphor, begets homonymy. Along the way, I criticize the standard ways of drawing the distinction between polysemy and homonymy in terms of semantic and etymological relatedness. If the notions of polysemy and homonymy are to be invoked in explanations, they should be understood in terms of how meanings are stored in the mental lexicon. My account also provides an elegant way of conceptualizing the difference between two types of conceptual engineering, namely reclamation and amelioration. (shrink)

In this chapter, I argue that Karl Popper was a communitarian philosopher. This will surprise some readers. Liberals often tout Popper as one of their champions. Indeed, there is no doubt that Popper shared much in common with liberals. However, I will argue that Popper rejected a central, though perhaps not essential, pillar of liberal theory, namely, individualism. This claim may seem to contradict Popper's professed methodological individualism. Yet I argue that Popper was a methodological individualist in name only. In (...) fact, methodological individualism faded from Popper's vocabulary as he moved institutions and situational analysis more firmly to centre-stage. Popper's focus on institutions and situations constitutes what I call his communitarianism. If my interpretation is correct, then theorists in the socio logy of scientific knowledge and communitarian epistemology should reconsider their long-standing distrust of Popper's philosophy. Indeed, they may have much to gain by treating Popper as a friend rather than a foe. (shrink)

The European tradition makes a sharp distinction between animism and science. On the basis of this distinction, either animism is reproved for failing to reach the heights of science, or science is reproved for failing to reach the heights of animism. In this essay, I draw on work in the history and philosophy and science, combined with a method from the sociology of scientific knowledge, to question the sharpness of this distinction. Along the way, I also take guidance from the (...) research of North American Indigenous scholars. As it turns out, there is a rich, if largely overlooked, tradition of Aristotelian animism running through the history of modern European science, and this tradition sometimes resonates with Indigenous perspectives. By challenging the entrenched distinction between animism and science, I aim to help reconcile ongoing tensions between Indigenous and European scientific groups, and so strengthen prospects for their mutually beneficial cooperation. (shrink)

This article critically reviews an outstanding collection of new essays addressing Edmund Husserl’s Crisis of European Sciences. In Science and the Life-World (Stanford, 2010), David Hyder and Hans-Jörg Rheinberger bring together an impressive range of first-rate philosophers and historians. The collection explicates key concepts in Husserl’s often obscure work, compares Husserl’s phenomenology of science to the parallel tradition of historical epistemology, and provocatively challenges Husserl’s views on science. The explications are uniformly clear and helpful, the comparative work intriguing, and the (...) criticisms interesting but uneven. The article also elaborates on Husserl’s phenomenological method as it relates to the historiography of science, and compares his views on mathematical idealisation to more recent work in the analytical tradition. (shrink)

MacKay and Robinson (2016) claim that some legal procedures that regulate organ donations (VAC, opt-in, opt-out) bypass people's rational capacities and thus are “potentially morally worse than MAC”, which only employs a very mild form of coercion. We provide a critique of their argumentation and defend the opposite thesis: MAC is potentially morally worse than the three other options.

A persistent puzzle for philosophers of science is the well-documented appeal made by scientists to their aesthetic emotions in the course of scientific research. Emotions are usually viewed as irremediably subjective, and thus of no epistemological interest. Yet, by denying an epistemic role for scientists’ emotional dispositions, philosophers find themselves in the awkward position of ignoring phenomena which scientists themselves often insist are of importance. This paper suggests a possible solution to this puzzle by challenging the wholesale identification of emotion (...) with subjectivity. The proposed method is a naturalistic and externalist one, calling for empirical investigation into the intersubjective processes by which scientists’ emotional dispositions become refined and attuned to specific objects of attention. The proposal is developed through a critical discussion of Michael Polanyi’s theory of scientific passions, as well as plant geneticist Barbara McClintock’s celebrated “feeling for the organism.”. (shrink)

Joseph Rouse has drawn from Heidegger’s early philosophy to develop what he calls a “practical hermeneutics of science.” With this, he has not only become an important player in the recent trend towards practice-based conceptualisations of science, he has also emerged as the predominant expositor of Heidegger’s philosophy of science. Yet, there are serious shortcomings in both Rouse’s theory of science and his interpretation of Heidegger. In the first instance, Rouse’s practical hermeneutics appears confused on the topic of realism. In (...) the second instance, Rouse suppresses Heidegger’s distinction between existence and essence, and hence fails to grasp the latter’s corollary distinction between scientic research and everyday practice. I argue that, by accepting a correction in his interpretation of Heidegger, Rouse would find the means to resolve the debilitating tensions in his stance towards realism. (shrink)

Colin Howson argues that (1) my sociologistic reliabilism sheds no light on the objectivity of epistemic content, and that (2) sorites does not threaten the reliability of modus ponens . I reply that argument (1) misrepresents my position, and that argument (2) is beside the point.

Deutsch 2010 (The Review of Philosophy and Psychology 1: 447–460) claims that hypothetical scenarios are evaluated using arguments, not intuitions, and therefore experiments on intuitions are philosophically inconsequential. Using the Gettier case as an example, he identifies three arguments that are supposed to point to the right response to the case. In the paper, I present the results of studies ran on Polish, Indian, Spanish, and American participants that suggest that there’s no deep difference between evaluating the Gettier case with (...) intuitions and evaluating it with Deutsch’s arguments. Specifically, I argue that one would find these arguments persuasive if and only if one is already disposed to exhibit the relevant intuition. (shrink)

We prove that all semisimple varieties of FL ew-algebras are discriminator varieties. A characterisation of discriminator and EDPC varieties of FL ew-algebras follows. It matches exactly a natural classification of logics over FL ew proposed by H. Ono.

Essay review of Andrew Barry, Political Machines: Governing a Technological Society (Athlone, 2001).

In recent years, the so-calledindispensability argument has been given a lotof attention by philosophers of mathematics.This argument for the existence of mathematicalobjects makes use of the fact, neglected inclassical schools of philosophy of mathematics,that mathematics is part of our best scientifictheories, and therefore should receive similarsupport to these theories. However, thisobservation raises the question about the exactnature of the alleged connection betweenexperience and mathematics (for example: is itpossible to falsify empirically anymathematical theorems?). In my paper I wouldlike to address this (...) question by consideringthe explicit assumptions of different versionsof the indispensability argument. My primaryclaim is that there are at least three distinctversions of the indispensability argument (andit can be even suggested that a fourth,separate version should be formulated). I willmainly concentrate my discussion on thisvariant of the argument, which suggests thepossibility of empirical confirmation ofmathematical theories. A large portion of mypaper will focus on the recent discussion ofthis topic, starting from the paper by E.Sober, who in my opinion put reasonablerequirements on what is to be counted as anempirical confirmation of a mathematicaltheory. I will develop his model into threeseparate scenarios of possible empiricalconfirmation of mathematics. Using an exampleof Hilbert space in quantum mechanicaldescription I will show that the most promisingscenario of empirical verification ofmathematical theories has neverthelessuntenable consequences. It will be hypothesizedthat the source of this untenability lies in aspecific role which mathematical theories playin empirical science, and that what is subjectto empirical verification is not themathematics used, but the representabilityassumptions. Further I will undertake theproblem of how to reconcile the allegedempirical verification of mathematics withscientific practice. I will refer to thepolemics between P. Maddy and M. Resnik,pointing out certain ambiguities of theirarguments whose source is partly the failure todistinguish carefully between different sensesof the indispensability argument. For thatreason typical arguments used in the discussionare not decisive, yet if we take into accountsome metalogical properties of appliedmathematics, then the thesis that mathematicshas strong links with experience seems to behighly improbable. (shrink)

W artykule omówione zostały sprawy organizacyjne, przebieg i znaczenie polityczne pobytu elektora saskiego Fryderyka Augusta w Opolu w dniach 15 grudnia 1733 r. – 3 stycznia 1734 r. Jest to ważny epizod tak w dziejach miasta, jak i Rzeczypospolitej Obojga Narodów, pomijany jednak do tej pory w historiografii. Tymczasem na przełomie 1733 i 1734 r. o wizycie przyszłego króla polskiego w Opolu było stosunkowo głośno w Europie, a notatki informujące o tym publikowane były w prasie wydawanej w Austrii, Rzeszy Niemieckiej, (...) Rosji czy Wielkiej Brytanii. W artykule wykorzystano doniesienia gazetowe, a przede wszystkim relacje z podróży elektora, jego żony Marii Józefy i dworu saskiego, dokumenty logistyczne oraz korespondencję i rachunki przechowywane w archiwach saskich, austriackich oraz w Archiwum Państwowym w Opolu. (shrink)

The article presents a formalization of Anselm's so-called Ontological Arguments from Proslogion . The main idea of our research is to stay to the original text as close as is possible. We show, against some common opinions, that (i) the logic necessary for the formalization must be neither a purely sentential modal calculus, nor just non-modal first-order logic, but a modal first-order theory; (ii) such logic cannot contain logical axiom ⌜ A → ⋄ A ⌝; (iii) none of Anselm's reasonings (...) requires the assumptions that God is a consistent object or that existence of God is possible (in symbols "⋄Eg"); (iv) no such thing as the so-called Anselm's Principle (in symbols "□(Eg → □Eg)") is involved in any of the proofs; (v) Anselm's claims (that God exists in reality and that God necessarily exists in reality) can be obtained independently, hence there is no need for presenting them in an opposite order than Anselm did. Moreover we show a single line of reasoning underlying the whole Proslogion and allowing Anselm to deduce many theorems concerning God's nature. Last but not least we study the possibility of proving the uniqueness of God within the outlined theory. (shrink)