According to Humeanism about the laws, the laws of nature are nothing over and above certain kinds of regularities about particular facts. Humeanism has often been accused of circularity: according to scientific practice laws often explain their instances, but on the Humean view they also reduce to the mosaic, which includes those instances. In this paper I formulate the circularity problem in a way that avoids a number of controversial assumptions routinely taken for granted in the literature, and against which (...) many extant responses are therefore ineffective. I then propose a solution that denies the alleged Humean commitment that laws are explained by their instances. The solution satisfies three desiderata that other solutions don’t: it provides independent motivation against the idea that Humean laws are explained by their instances; it specifies the sense in which Humean laws are nonetheless “nothing over and above” their instances; and it gives an alternative account of what does explain the laws, if not their instances. This solution, I will argue, is not only the simplest but also the oldest one: it appeals only to tools and theses whose first appearance predates the earliest statements of the circularity problem itself. (shrink)

The article focuses on Kant's formal logic (formal theory of concepts, judgments, and inference, general methodology) in the systematic order of logical forms and presents the main characteristics of his transcendental logic (theory of categories and transcendental ideas). Kant's problem of the foundations of logic and its completeness is addressed. The relevance and influence of Kant's account of logic in the development of modern logic is outlined. The article gives a selection of primary and secondary sources.

Several philosophers have developed theological perspectives out of Heidegger's ontology. Yet the question of God in Heidegger's thought itself has never received full elucidation. In this revealing new study, George Kovacs poses the problem of analyzing the idea of God as a process of questioning and thus subjects Heidegger's phenomenological existentialism to a process of exposition Heidegger himself employed.

The Problem of Overlappers is a puzzle about what makes it the case, and how we can know, that we have the parts we intuitively think we have. In this paper, I develop and motivate an overlooked solution to this puzzle. According to what I call the self-making view it is within our power to decide what we refer to with the personal pronoun ‘I’, so the truth of most of our beliefs about our parts is ensured by the very (...) mechanism of self-reference. Other than providing an elegant solution to the Problem of Overlappers, the view can be motivated on independent grounds. It also has wide-ranging consequences for how we should be thinking about persons. Among other things, it can help undermine an influential line of argument against the permissibility of elective amputation. After a detailed discussion and defence of the self-making view, I consider some objections to it. I conclude that none of these objections is persuasive and we should at the very least take seriously the idea that we are to some extent self-made. (shrink)

In recent years, metaphysics has undergone what some describe as a revolution: it has become standard to understand a vast array of questions as questions about grounding, a metaphysical notion of determination. Why should we believe in grounding, though? Supporters of the revolution often gesture at what I call the Argument from Explanatoriness: the notion of grounding is somehow indispensable to a metaphysical type of explanation. I challenge this argument and along the way develop a “reactionary” view, according to which (...) there is no interesting sense in which the notion of grounding is explanatorily indispensable. I begin with a distinction between two conceptions of grounding, a distinction which extant critiques of the revolution have usually failed to take into consideration: grounding qua that which underlies metaphysical explanation and grounding qua metaphysical explanation itself. Accordingly, I distinguish between two versions of the Argument from Explanatoriness: the Unexplained Explanations Version for the first conception of grounding, and the Expressive Power Version for the second. The paper’s conclusion is that no version of the Argument from Explanatoriness is successful. (shrink)

Christine Overall has argued that miracles, if they exist, would be an evil committed by God and therefore disprove the existence of God. However, her notion of a miracle as an intervention presupposes a view about the relation between God and creation that posits God as an ‘outsider.’ Such a view has not been held by all theists. It was not held by Thomas Aquinas. I show that Aquinas ’s conception is not susceptible to Overall’s criticisms. The upshot is that (...) theists should avoid any view of God as an ‘outsider,’ if they wish to avoid Overall’s criticisms. (shrink)

Popular culture continues fuelling public imagination with things, human and non-human, that we might beco-me or confront. Besides robots, other significant tropes in popular fiction that generated images include non-human humans and cyborgs, wired into his-torically varying sociocultural realities. Robots and artificial intelligence are re-defining the natural order and its hierar-chical structure. This is not surprising, as natural order is always in flux, shaped by new scientific discoveries, especially the reading of the genetic code, that reveal and redefine relationships between (...) life forms. However, for the first time, a new, artificial, species is being introduced into the existing diagrams, and, for the first time, it appears to hybridise the anthro-pocentric natural world order. (shrink)

This paper develops and motivates a unification theory of metaphysical explanation, or as I will call it, Metaphysical Unificationism. The theory’s main inspiration is the unification account of scientific explanation, according to which explanatoriness is a holistic feature of theories that derive a large number of explananda from a meager set of explanantia, using a small number of argument patterns. In developing Metaphysical Unificationism, I will point out that it has a number of interesting consequences. The view offers a novel (...) conception of metaphysical explanation that doesn’t rely on the notion of a “determinative” or “explanatory” relation; it allows us to draw a principled distinction between metaphysical and scientific explanations; it implies that naturalness and fundamentality are distinct but intimately related notions; and perhaps most importantly, it re-establishes the unduly neglected link between explanation and understanding in the metaphysical realm. A number of objections can be raised against the view, but I will argue that none of these is conclusive. The upshot is that Metaphysical Unificationism provides a powerful and hitherto overlooked alternative to extant theories of metaphysical explanation. (shrink)

Nobel laureate Roald Hoffmann's contributions to chemistry are well known. Less well known, however, is that over a career that spans nearly fifty years, Hoffmann has thought and written extensively about a wide variety of other topics, such as chemistry's relationship to philosophy, literature, and the arts, including the nature of chemical reasoning, the role of symbolism and writing in science, and the relationship between art and craft and science. In Roald Hoffmann on the Philosophy, Art, and Science of Chemistry, (...) Jeffrey Kovac and Michael Weisberg bring together twenty-eight of Hoffmann's most important essays. Gathered here are Hoffmann's most philosophically significant and interesting essays and lectures, many of which are not widely accessible. In essays such as "Why Buy That Theory," "Nearly Circular Reasoning," "How Should Chemists Think," "The Metaphor, Unchained," "Art in Science," and "Molecular Beauty," we find the mature reflections of one of America's leading scientists. Organized under the general headings of Chemical Reasoning and Explanation, Writing and Communicating, Art and Science, Education, and Ethics, these stimulating essays provide invaluable insight into the teaching and practice of science. (shrink)

The Question of Iterated Grounding (QIG) asks what grounds the grounding facts. Although the question received a lot of attention in the past few years, it is usually discussed independently of another important issue: the connection between metaphysical explanation and the relation or relations that supposedly “back” it. I will show that once we get clear on the distinction between metaphysical explanation and the relation(s) backing it, we can distinguish no fewer than four questions lumped under QIG. I will also (...) argue that given some plausible assumptions about what it would take for a relation to back metaphysical explanation, many salient views about grounding allow us to give “easy” answers to these questions—easy in the sense that we can straightforwardly derive them from the respective conception of grounding without getting into the sorts of complexities that typically inform answers to QIG. The paper's main upshot is that we cannot expect to make much progress on QIG without first addressing the difficult issue of how exactly grounding is related to metaphysical explanation. (shrink)

Many philosophers embrace grounding, supposedly a central notion of metaphysics. Grounding is widely assumed to be irreflexive, but recently a number of authors have questioned this assumption: according to them, it is at least possible that some facts ground themselves. The primary purpose of this paper is to problematize the notion of self-grounding through the theoretical roles usually assigned to grounding. The literature typically characterizes grounding as at least playing two central theoretical roles: a structuring role and an explanatory role. (...) Once we carefully spell out what playing these roles includes, however, we find that any notion of grounding that isn’t irreflexive fails to play these roles when they are interpreted narrowly, and is redundant for playing them when they are interpreted more broadly. The upshot is that no useful notion of grounding can allow a fact to ground itself. (shrink)

This paper develops the Diachronic Self-Making View, the view that we are the non-accidentally best candidate referents of our ‘I’-beliefs. A formulation and defence of DSV is followed by an overview of its treatment of familiar puzzle cases about personal identity. The rest of the paper focuses on a challenge to DSV, the Puzzle of Inconstant ‘I’-beliefs: the view appears to force on us inconsistent verdicts about personal identity in cases that we would naturally describe as changes in one’s de (...) se beliefs. To solve this problem, the paper defends the possibility of overlapping people, and addresses a number of objections to this idea. (shrink)

This paper invokes the conceptual framework of Bourdieu to analyse the mechanisms, which help to maintain inappropriate authorship practices and the functions these practices may serve. Bourdieu’s social theory with its emphasis on mechanisms of domination can be applied to the academic field, too, where competition is omnipresent, control mechanisms of authorship are loose, and the result of performance assessment can be a matter of symbolic life and death for the researchers. This results in a problem of game-theoretic nature, where (...) researchers’ behaviour will be determined more by the logic of competition, than by individual character or motives. From this follows that changing this practice requires institutionalized mechanisms, and change cannot be expected from simply appealing to researchers’ individual conscience. The article aims at showing that academic capital is translated into honorary authorship. With little control, undetected honorary authorship gives the appearance of possessing intellectual capital. In this way a dominant position is made to be seen as natural result of intellectual ability or scientific merit, which makes it more acceptable to those in dominated positions. The final conclusion of this paper is that undemocratic authorship decisions and authorship based performance assessment together are a form of symbolic violence. (shrink)

Supervenience is necessary co-variation between two sets of entities. In the good old days, supervenience was considered a useful philosophical tool with a wide range of applications in the philosophy of mind, metaethics, epistemology, and elsewhere. In recent years, however, supervenience has fallen out of favor, giving place to grounding, realization, and other, more metaphysically “meaty”, notions. The emerging consensus is that there are principled reasons for which explanatory theses cannot be captured in terms of supervenience, or as the slogan (...) goes: “Supervenience Is Nonexplanatory”. While SIN is widely endorsed, it is far from clear what it amounts to and why we should believe it. In this paper, I will distinguish various theses that could be meant by it, and will argue that none of them is both interesting and plausible: on some interpretations of ‘explanatory’, we have no reason to believe that supervenience is unexplanatory, while on other interpretations, supervenience is indeed unexplanatory, but widely accepted textbook cases of explanatory relations come out as unexplanatory, too. This result raises doubts as to whether there is any interesting sense in which SIN is true, and suggests that the contemporary consensus about supervenience is mistaken. (shrink)

Revisionary ontologies seem to go against our common sense convictions about which material objects exist. These views face the so-called Problem of Reasonableness: they have to explain why reasonable people don’t seem to accept the true ontology. Most approaches to this problem treat the mismatch between the ontological truth and ordinary belief as superficial or not even real. By contrast, I propose what I call the “uncompromising solution”. First, I argue that our beliefs about material objects were influenced by evolutionary (...) forces that were independent of the ontological truth. Second, I draw an analogy between the Problem of Reasonableness and the New Evil Demon Problem and argue that the revisionary ontologist can always find a positive epistemic status to characterize ordinary people’s beliefs about material objects. Finally, I address the worry that the evolutionary component of my story also threatens to undermine the best arguments for revisionary ontologies. (shrink)

When an entity ontologically depends on another entity, the former ‘presupposes’ or ‘requires’ the latter in some metaphysical sense. This paper defends a novel view, Dependence Deflationism, according to which ontological dependence is what I call an aggregative cluster concept: a concept which can be understood, but not fully analysed, as a ‘weighted total’ of constructive and modal relations. The view has several benefits: it accounts for clear cases of ontological dependence as well as the source of disagreement in controversial (...) ones; it gives a nice story about the evidential relevance of modal, mereological and set-theoretic facts to ontological dependence; and it makes sense of debates over the relation's formal properties. One important upshot of the deflationary account is that questions of ontological dependence are generally less deep and less interesting than usually thought. (shrink)

We want to show that Aristotle’s general conception of syllogism includes as its essential part the logical concept of necessity, which can be understood in a causal way. This logical conception of causality is more general then the conception of the causality in the Aristotelian theory of proof (“demonstrative syllogism”), which contains the causal account of knowledge and science outside formal logic. Aristotle’s syllogistic is described in a purely intensional way, without recourse to a set-theoretical formal semantics. It is shown (...) that the conclusion of a syllogism is justified by the accumulation of logical causes applied during the reasoning process. It is also indicated that logical principles as well as the logical concept of causality have a fundamental ontological role in Aristotle’s “first philosophy”. (shrink)

This study investigates the integration of the interactive whiteboard into Science teaching during the primary educational cycle and teachers’ perceptions about the use of the information and communication technology in the school subject Science. An online questionnaire was distributed to Croatian schools in 2015/2016. A total of 104 teachers expressed their perceptions, 65 of them were from schools without an IWB, while the remaining 39 responded to our online questionnaire from schools with an implemented IWB. The results indicate the higher (...) usage of ICT in schools with an IWB compared to schools without an IWB. Teachers use IWBs and computers mostly once or twice per week and DVDs once per week. Additional results pointed to the positive teachers’ perceptions on technology in linking student motivation to outcome levels in science. The findings reveal the constant education focused on IWB integration, and internet and technical support as a starting point for an innovative practice in science. Future studies are directed to the investigation of the use of technology in all schools in the Republic of Croatia. U radu se prikazuju rezultati istraživanja o korištenju pametne ploče u nastavi Prirode i društva te stavova učitelja o uporabi informacijske i komunikacijske tehnologije u podučavanju tih nastavnih sadržaja. Istraživanje je provedeno putem online upitnika koji je bio poslan u škole u Hrvatskoj tijekom školske godine 2015/2016. Ukupno 104 učitelja iskazalo je svoje stavove: 65 učitelja iz škola bez pametne ploče, a 39 iz škola u kojima koriste pametnu ploču. Rezultati ukazuju na češću uporabu IKT u školama s pametnom pločom u usporedbi sa školama bez nje. Učitelji pametnu ploču i računala najčešće koriste jednom do dva puta tjedno, a DVD jednom tjedno. Rezultati također pokazuju pozitivne stavove učitelja o uporabi tehnologije za povećanje motivacije učenika i njihovih postignuća. Nalazi istraživanja ukazuju na kontinuiranu edukaciju usmjerenu na rad s pametnom pločom te tehničku podršku kao ključne za inovativnu nastavu. Buduća istraživanja trebala bi analizirati korištenje tehnologije u svim školama u Republici Hrvatskoj. (shrink)

The present study explored the types of stressors faced by rhythmic gymnastics athletes, their parents, and coaches. Semi-structured interviews with 12 participants—four gymnasts, five coaches, and three parents—were analyzed using reflexive thematic analysis in a theory-driven framework. The categorizations of sport-related stressors for the parents, coaches, and gymnasts were based on existing theories. The results showed that both the gymnasts and the coaches predominantly noted mastery-avoidance goals in terms of performance, while the interviews with parents mostly indicated performance-avoidance goals. All (...) three groups of participants consistently reported a detrimental atmosphere in rhythmic gymnastics. For instance, they emphasized the stress related to inadequate communication between the concerned parties. Moreover, all parties believed that having a lean body was linked to success in the competitive world of rhythmic gymnastics. The present study provides insight into some of the potential major stressors and the related subjective experiences affecting athletes socializing in the same sporting environment. (shrink)

A first-order logic of belief with identity is proposed, primarily to give an account of possible de re contradictory beliefs, which sometimes occur as consequences of de dicto non-contradictory beliefs. A model has two separate, though interconnected domains: the domain of objects and the domain of appearances. The satisfaction of atomic formulas is defined by a particular S-accessibility relation between worlds. Identity is non-classical, and is conceived as an equivalence relation having the classical identity relation as a subset. A tableau (...) system with labels, signs, and suffixes is defined, extending the basic language $\mathscr{L}_{\mathbf{QB}}$ by quasiformulas (to express the denotations of predicates). The proposed logical system is paraconsistent since $\phi \wedge \neg\phi$ does not ``explode'' with arbitrary syntactic consequences. (shrink)

Aristotelian causal theories incorporate some philosophically important features of the concept of cause, including necessity and essential character. The proposed formalization is restricted to one-place predicates and a finite domain of attributes (without individuals). Semantics is based on a labeled tree structure, with truth defined by means of tree paths. A relatively simple causal prefixing mechanism is defined, by means of which causes of propositions and reasoning with causes are made explicit. The distinction of causal and factual explanation are elaborated, (...) and examples of cyclic and convergent causation are given. Soundness and completeness proofs are sketched. (shrink)

In a series of recent papers, David Rose and Jonathan Schaffer use a number of experiments to show that folk intuitions about composition and persistence are driven by pre-scientific teleological tendencies. They argue that these intuitions are fit for debunking and that the playing field for competing accounts of composition and persistence should therefore be considered even: no view draws more support from folk intuitions than its rivals, and the choice between them should be made exclusively on the basis of (...) theoretical considerations. In this paper I argue that Rose and Schaffer draw the wrong conclusion from their own findings, which should instead push us toward sparse views about composition and persistence. Most metaphysicians (including Schaffer himself, and arguably Rose too) should be worried by this result, since they hold views that are flatly incompatible with it. (shrink)

The paper sets out from Göodel's question about primitive concepts, in connection with Gödel's proposal of the employment of phenomenological method. The author assumes that the answer that can be found in Kant is relevant as a starting point. In a modification of the approach by K. Reich, a reconstruction of Kant's "deduction'' of logical forms of judgment is presented, which serve Kant as the basis for his "metaphysical deduction of categories'' including substantiality and causality. It is proposed that different (...) aspects of Kant's "original unity of self-consciousness'' as applied and attached to concrete representations step by step yield different forms of concepts, judgments, and inferences. Categorical, hypothetical and disjunctive judgments are shown to be gradually strengthening the conditions of bringing our representations under the "objective unity of consciousness", and in this way gradually implementing logical laws. The corresponding concepts of substantiality, causality, and mutual influence appear to be grounded in the primitive forms of our thinking. (shrink)

Menelaus' question in 1050 has puzzled interpreters. Why would Euripides put a joke at the end of this scene? It is true that of all the scenes in this play, the Helen scene is the only one that could admit a joke without terrible discomfort. And there is already humour in it. Hecuba employs scornful laughter and an amusing reductio ad absurdum in her arguments against Helen. So a joke here is not as utterly ruinous as it would be, for (...) example, in the scene where Astyanax is buried. (shrink)

Gödel's ontological argument is related to Gödel's view that causality is the fundamental concept in philosophy. This explicit philosophical intention is developed in the form of an onto-theological Gödelian system based on justification logic. An essentially richer language, so extended, offers the possibility to express new philosophical content. In particular, theorems on the existence of a universal cause on a causal "slingshot" are formulated.

Logical reasoning is not only a component of religious faith (cf., for instance, the "Golden rule"), but, in addition, the religious faith itself can be conceived as a logical pragmatic function applied to sentences and their meanings. Pragmatic role of religious faith is shown on the examples of the analogy of seed and spoken word (e.g., Mt 13:3-23) and on the degrees of faith described in the episode about Nicodemus (John 3). Pragmatics adds (different grades of) perseverance to the correctness (...) of reasoning and to the truth-preservation of the consequence relation. Correspondingly, religious faith is described by formally defined model and satisfaction relation, which are applied to and examined on the text of John 3. (shrink)

The content for an advanced logic course is presented, which includes the properties of first-order logic language, soundness and completeness of the first-order logic deductive system, Peano arithmetic, Gödel's incompleteness theorems, higher-order logic and its properties. As a reminder, a brief description of first-order logic is included.

The abstract status of Kant's account of his ‘general logic’ is explained in comparison with Gödel's general definition of a formal logical system and reflections on ‘abstract’ (‘absolute’) concepts. Thereafter, an informal reconstruction of Kant's general logic is given from the aspect of the principles of contradiction, of sufficient reason, and of excluded middle. It is shown that Kant's composition of logic consists in a gradual strengthening of logical principles, starting from a weak principle of contradiction that tolerates a sort (...) of contradictions in predication, and then proceeding to the (constructive) principle of sufficient reason, and to a classical-like logic, which includes the principle of excluded middle. A first-order formalisation is applied to this reconstruction, which reveals implicit modalities in Kant's account of logic, and confirms the implementability of Kant's logic into a sound and complete formal system. (shrink)

dicar, qua uiolens obstrepit Aufiduset qua pauper aquae Daunus agrestiumregnauit populorum ex humili potensprinceps Aeolium carmen ad Italos 13deduxisse modos. Surely there is something puzzling about 13–14? What Horace was the first to do was to write Latin poetry using the metrical schemes of the Greek lyricists, principally Alcaeus and Sappho, who wrote in the Aeolic dialect of Lesbos. There can be no reasonable doubt that Aeolium carmen refers in the first instance to Horace's adoption of Aeolic metre. For deduxisse (...) there are two possibilities, and conceivably Horace meant both to operate. The first involves motion, bringing something or someone home or into port. So Horace took Greek metres and moved them in one way or another to Italy. Secondarily deducere might mean ‘to produce ’, a usage found at Sat. 2.1.2-4 similisque meorum mille die uersus deduci posse. (shrink)

It is argued, on a variety of evidence, that the usual view of 35–6, “But if you, Maeceas, include me in the canon of lyric poets, I shall strike the stars with my exalted head”, is mistaken. Rather, they mean “But make me one of those lyric poets, and I shall strike, etc.”. This is the “depersonalized” indefinite second person, illustrated by pone at Odes 1. 22. 17–24, dedisses at Serm. 1. 3. 15–16, and other passages. It does not imply (...) that any particular person can do the action in question but merely invites the supposition that the action is performed. A second section treats 29–34, showing two ways in which they can be consistent with the suggested interpretation of 35–6. (shrink)

The authority of great scholars such as Fraenkel and Wilamowitz means that any mistakes they make tend to be accepted even when the evidence adduced is weak. Fraenkel’s interpretation of ego, quem vocas in Odes 2. 20. 6 as “I, whom you invite to dinner” has apparently silenced all debate. Yet Bentley construed non ego, pauperum sanguis parentum, non ego, quem vocas as a single idea, “I, the man you call the offspring of penniless parents.” For various reasons this seems (...) preferable to Fraenkel’s rendering. Likewise, Fraenkel has silenced doubts about 3. 30. 10–14, where he takes qua violens obstrepit Aufidus et qua pauper aquae Daunus agrestium regnavit populorum with dicar although this implies the boast that Horace will be famous in Apulia, a spatial restriction hard to square with the limitless temporal vistas of 1–9. Unless we alter the text, the words cited above have no anchoring point in what follows, but potens in 12 seems for various reasons dubious and should be replaced by, e.g. editus. (shrink)

Constitution is the relation that holds between an object and what it is made of: statues are constituted by the lumps of matter they coincide with; flags, one may think, are constituted by colored pieces of cloth; and perhaps human persons are constituted by biological organisms. Constitution is often thought to be a.