In this chapter, I am going to discuss a very interesting case brought to our attention by Saul and references therein: NP-related substitution failure in simple sentences. Whereas it is well known that opacity occurs in intensional contexts and that in such contexts it is not licit to replace an NP with a co-referential one, one would not expect that substitution failure should also be exhibited by simple sentences in the context of stories about Superman. The suggested explanation of these (...) cases is to posit an embedding explicature, that is to say the insertion of structure that ipso facto creates an intensional context capable of blocking substitution. I consider various complications to this story in the light of important objections by García-Carpintero and, finally, I consider how this story fares when one applies constraints on explicatures along the lines of those proposed by Hall in an interesting paper.In general, this chapter exploits interesting considerations by Norrick on the structural similarities between stories and indirect reports. Norrick believes there are important differences, but he is inclined to concede that we could study structural similarities. An important similarity, brought out by the examples discussed by Saul, is that the narrative frame, once it is inserted into the interaction, can be left implicit and, during the act of narrating or referring to the story, one need not repeat the words ‘the story says’ or ‘we are told that…’ every time. Although implicit, these words are heard because they do some work at the structural level, as is shown by this attempt to resolve an otherwise intractable philosophical problem. The explicatures of simple sentences are perceived because they are integrated into the speakers’/hearers’ perception of the overall plan of discourse, as Haugh most interestingly notes:As Haugh and Jaszczolt note, this means that any putative “communicative intention of A is embedded within his higher-order intention”. In other words, to figure out the implicature that evidently arises here, the participants are necessarily making inferences about some kind of overall aim. According to this view, then, inferences about the intended implicature arise concomitant with inferences about the overall aim of the speaker.It follows from the considerations by Haugh that, since the explicature connected with simple sentences depends on the perception of the overall aim or plan of the conversation, it is not easily cancelled. Readers can check by themselves that the explicatures due to simple sentences cannot be cancelled, as cancelling them would involve returning to illogical discourses.. Haugh’s considerations about the overall aim of the discourse are precious in explaining how the embedding explicatures I posit are calculated once and for all for the whole stretch of the discourse framed by the narrative act. (shrink)

In line with recent interest in weak and often not fully determinate effects of communication permeating relevance-theoretic research, I contribute a discussion on two possible sources of speaker-intended indeterminacy within explicit import of an utterance: one residing in an intentionally underspecified location of an ad hoc concept between literal or non-literal (e.g. metaphorical or hyperbolic) interpretation, and the other lying in the higher-level explicature of an utterance, and being related to propositional attitude (e.g. pretence, reporting, dissociation) or speech-act (...) description (e.g. complementing, reproaching). In both cases, the speaker leaves a certain amount of indeterminacy concerning the degree of her commitment to the content communicated, by not indicating where precisely the concept or the attitude is to be located on the literalness-metaphor continuum or on the continuum of various propositional attitudes/speech-act descriptions, respectively. Using a number of illustrative examples drawn from television discourse, I try to show that this kind of intended indeterminacy gives rise to communicative effects of a non-propositional kind. Additionally, the analyses presented here support the deflationary view of figurative uses of language, on which they form continua with non-figurative utterances. (shrink)

Connectionist networks excel at extracting statistical regularities but have trouble extracting higher-order relationships. Clark & Thornton suggest that a solution to this problem might come from Elman, but I argue that the success of Elman's single recurrent network is illusory, and show that it cannot in fact represent abstract relationships that can be generalized to novel instances, undermining Clark & Thornton 's key arguments.

Expressive adjectives or expressive expletives have been argued to voice the speaker’s attitude towards the referent of the noun with which they co-occur, even though the attitude may be felt to be expressed about the referent of another sentential constituent or the state of affairs alluded to in the sentence where they are inserted. A previous pragmatic approach suggests that this is possible because these expletives perform an individual speech act, while a syntactic approach posits a feature whose detachment from (...) a particular constituent enables the speaker’s attitude to target the referent of another sentential constituent or even on the entire proposition expressed. This paper proposes an alternative relevance-theoretic account of the interpretation of utterances containing expressive expletives, which considers pragmatic factors and the cognitive processes in comprehension. It is grounded in contributions on the output of lexical pragmatic processes and the role of paralinguistic clues in utterance comprehension. (shrink)

There have been recent arguments against the idea that substructural solutions are uniform. The claim is that even if the substructuralist solves the common semantic paradoxes uniformly by targeting Cut or Contraction, with additional machinery, we can construct higher-level paradoxes (e.g., a higher-level Liar, a higher-level Curry, and a meta-validity Curry). These higher-level paradoxes do not use metainferential Cut or Contraction, but rather, higher-level Cuts and higher-level Contractions. These (...) kinds of paradoxes suggest that targeting Cut or Contraction is not enough for solving semantic paradoxes; the substructuralist must target Cut of every level or Contraction of every level to solve the paradoxes. Hence, the substructuralists do not provide as uniform of a solution as they hoped they did. In response, we argue that the substructuralists need not admit these additional machineries. In fact, they are redundant in light of the validity predicate (i.e., there is no gain in terms of expressive power). The validity predicate is powerful enough to creep these paradoxes in the object level. The substructuralist does not need to ascend to metainferences to construct higher-level paradoxes. Moreover, there is a reading available to the substructuralist such that all the higher-level structural rules would collapse to instances of the object-level structural rules (e.g., meta \(_n\) Cut and meta \(_n\) Contraction would become instances of Cut and Contraction). We then address Barrio et al.’s worry that the validity predicate has its shortcomings; the substructuralist cannot internalize some of its metarules. We claim that the validity of metarules can be internalized without the need to strengthen the validity predicate. However, a problem raised by Barrio et al. is still present—the problem of internalizing unwanted instances of Cut in Cut-free approaches. We argue that this internalization problem is not unique to the validity predicate; the same problem is present with other problematic predicates, such as the truth predicate and the provability predicate. (shrink)

In recent literature on plurals the claim has often been made that the move from singular to plural expressions can be iterated, generating what are occasionally called higher-level plurals or superplurals, often correlated with superplural predicates. I argue that the idea that the singular-to-plural move can be iterated is questionable. I then show that the examples and arguments intended to establish that some expressions of natural language are in some sense higher-level plurals fail. Next, I argue (...) that these and some other expressions should instead be classified as plurals whose reference is articulated, an idea explained and elaborated in the paper. I also show that the related categories of plural and superplural predicates collapse to that of ordinary predicates. In the process we also see that the law of substitutivity salva veritate should be elaborated for cases involving expressions more complex than singular ones. (shrink)

here has been a large number of studies in neurological sciences on how human brain works, especially in reading and parallel information processing. So I think this statement is really sweeping. Perhaps it is better to knowledge the abilities of human brains and to comment on the limitations of the human brain. The book “Adapt” by Tim Hartford advocates micro-step changes. An important aspect in this area is to understand the processes involved behind the scenes so that it gives us (...) a better formulation of the creativity algorithms involved. I will try to put in some pointers on the depths to which higher level intelligence has been simulated by AI in the past years. Some of the higher level intelligence mechanisms such as creativity, dreams and logical thinking have been implemented in machines in certain ways. However, they are still not implemented in the way humans do the same. The exact mechanism in which these intelligence mechanisms are used by human brains is still way ahead of that done by computers. However, we now look at other aspects in them as well as other functions which might be explored in the years ahead in AI. (shrink)

Building on early work by Girard ( 1987 ) and using closely related techniques from the proof theory of many-valued logics, we propose a sequent calculus capturing a hierarchy of notions of satisfaction based on the Strong Kleene matrices introduced by Barrio et al. (Journal of Philosophical Logic 49:93–120, 2020 ) and others. The calculus allows one to establish and generalize in a very natural manner several recent results, such as the coincidence of some of these notions with their classical (...) counterparts, and the possibility of expressing some notions of satisfaction for higher-level inferences using notions of satisfaction for inferences of lower level. We also show that at each level all notions of satisfaction considered are pairwise distinct and we address some remarks on the possible significance of this (huge) number of notions of consequence. (shrink)

Plural Logic is an extension of First-Order Logic which has, as well as singular terms and quantifiers, their plural counterparts. Analogously, Higher-Level Plural Logic is an extension of Plural Logic which has, as well as plural terms and quantifiers, higher-level plural ones. Roughly speaking, higher-level plurals stand to plurals like plurals stand to singulars; they are pluralised plurals. Allegedly, Higher-Level Plural Logic enjoys the expressive power of a simple type theory while committing (...) us to nothing more than the austere ontology of First-Order Logic. Were this true, Higher-Level Plural Logic would be a useful tool, with various applications in philosophy and linguistics. However, while the notions of plural reference and quantification enjoy widespread acceptance today, their higher-level counterparts have been received with a lot of scepticism. In this paper, I argue for the legitimacy of Higher-Level Plural Logic by providing evidence to the effect that natural languages contain higher-level plural expressions and showing that it is likely that they do so in an indispensable manner. Since the arguments I put forward are of the same sort advocates of Plural Logic have employed to defend their position, I conclude that the commonly held view that Plural Logic is legitimate, but not so its higher-level plural extensions is untenable. (shrink)

The standard assumption for what perception must do in order to represent a “higher level” content—say, tiger—is that it must represent the kind as such. I argue that this “as such condition” is not constitutive of what it means for a content to be “higher‐level”, and that embracing it produces a range of unfortunate dialectical consequences. After offering this critique, I give an alternative construal, the “extended perceptual space” view of higher‐level contents. This view (...) captures the phenomena targeted by the “higher‐level content” thesis, is empirically supported, and avoids the negative dialectical consequences of the as such condition. (shrink)

We present our calculus of higher-level rules, extended with propositional quantification within rules. This makes it possible to present general schemas for introduction and elimination rules for arbitrary propositional operators and to define what it means that introductions and eliminations are in harmony with each other. This definition does not presuppose any logical system, but is formulated in terms of rules themselves. We therefore speak of a foundational account of proof-theoretic harmony. With every set of introduction rules a (...) canonical elimination rule, and with every set of elimination rules a canonical introduction rule is associated in such a way that the canonical rule is in harmony with the set of rules it is associated with. An example given by Hazen and Pelletier is used to demonstrate that there are significant connectives, which are characterized by their elimination rules, and whose introduction rule is the canonical introduction rule associated with these elimination rules. Due to the availabiliy of higher-level rules and propositional quantification, the means of expression of the framework developed are sufficient to ensure that the construction of canonical elimination or introduction rules is always possible and does not lead out of this framework. (shrink)

List (2014, 2019) has recently argued for a particular view of free will as a higher-level phenomenon compatible with determinism. According to List, one could refute his account by showing that determinism at the physical level implies the impossibility of doing otherwise at the agential level. This paper takes up that challenge. Based on assumptions to which List’s approach is committed, I provide a simple probabilistic model that establishes the connection between physical determinism and the impossibility (...) of doing otherwise at the agential level that is needed to refute free will as a higher-level phenomenon. (shrink)

Suppose two persons disagree over whether an act is right, justifying their judgments by appealing to divergent higher-level moral principles. These principles function as backing and rebuttals in their argumentation. To justify these principles, we may argue either that they would be accepted in some ideal model or that they are in reflective equilibrium with our considered moral judgments. Disagreement over the model indicates difference in philosophical anthropology but does not preclude resolution through argument.

Constructive Neutral Evolution theory provides selectively neutral explanations of the origin and maintenance of biological complexity. This essay provides an analysis of CNE as an explanatory strategy defined by a tripartite set of conditions, and shows how this applies to cases of the evolution of complexity at higher-levels of the biological hierarchy. CNE was initially deployed to help explain a variety of complex molecular structures and processes, including spliceosomal splicing, trypansomal pan-editing, scrambled genes in ciliates, duplicate gene retention and (...) fungal ATP synthetase structure. CNE has also been generalized to apply to phenomena at the cellular level, including protein-protein interaction network modularity, obligate microbial symbioses, eukaryogenesis and microbial unculturability. This essay further extends CNE to cases of complexity at levels of organization higher than the molecular and cellular. These are multicellular phenotypic complexity, multicellular ecological complexity and, some cases of cultural complexity. (shrink)

Does inferential justification require the subject to be aware that her premises support her conclusion? Externalists tend to answer “no” and internalists tend to answer “yes”. In fact, internalists often hold the strong higher-level requirement that an argument justifies its conclusion only if the subject justifiably believes that her premises support her conclusion. I argue for a middle ground. Against most externalists, I argue that inferential justification requires that one be aware that her premises support her conclusion. Against (...) many internalists, I argue that this higher-level awareness needn’t be doxastic or justified. I also argue that the required higher-level awareness needn’t be caused in some appropriate way, e.g. by a reliable or properly functioning faculty. I suspect that this weaker higher-level requirement is overlooked because, at first glance, it seems absurd to allow nondoxastic, unjustified, and unreliably-caused higher-level awareness to contribute to inferential justification. One of the central goals of this paper is to explain how such weak awareness can make an essential contribution to inferential justification. (shrink)

In this commentary we describe findings in normal human subjects and in patients with visual hemineglect that support the importance of higher-level influences on saccade generation during visual exploration. As the duration of fixations increases with increases in the cognitive demand of the task, the timing of exploratory saccades is controlled more by centers of cognitive and perceptual processing at levels 4 and 5 than by reflex-like automatic processes at level 3. In line with this, unilateral frontal (...) eye field lesions impair systematic, intentional saccadic exploration of visual scenes, causing prolonged fixations and contralesional hemineglect, but leave visually triggered reflexive saccades largely intact. (shrink)

One of Stuart Glennan's most prominent contributions to the new mechanist debate consists in his reductive analysis of higher-level causation in terms of mechanisms (Glennan, 1996). In this paper I employ the causal Bayes net framework to reconstruct his analysis. This allows for specifying general assumptions which have to be satis ed to get Glennan's approach working. I show that once these assumptions are in place, they imply (against the background of the causal Bayes net machinery) that (...) class='Hi'>higher-level causation indeed reduces to interactions between component parts of mechanisms. I also briefly discuss the plausibility of these assumptions and some consequences for the mechanism debate. (shrink)

In his famous 1982 paper, Allen Newell [22, 23] introduced the notion of knowledge level to indicate a level of analysis, and prediction, of the rational behavior of a cognitive arti cial agent. This analysis concerns the investigation about the availability of the agent knowledge, in order to pursue its own goals, and is based on the so-called Rationality Principle (an assumption according to which "an agent will use the knowledge it has of its environment to achieve its (...) goals" [22, p. 17]. By using the Newell's own words: "To treat a system at the knowledge level is to treat it as having some knowledge, some goals, and believing it will do whatever is within its power to attain its goals, in so far as its knowledge indicates" [22, p. 13]. In the last decades, the importance of the knowledge level has been historically and system- atically downsized by the research area in cognitive architectures (CAs), whose interests have been mainly focused on the analysis and the development of mechanisms and the processes governing human and (arti cial) cognition. The knowledge level in CAs, however, represents a crucial level of analysis for the development of such arti cial general systems and therefore deserves greater research attention [17]. In the following, we will discuss areas of broad agree- ment and outline the main problematic aspects that should be faced within a Common Model of Cognition [12]. Such aspects, departing from an analysis at the knowledge level, also clearly impact both lower (e.g. representational) and higher (e.g. social) levels. (shrink)

Questions are not on all fours with assertions or directions, but higher-level acts that can operate on either to yield theoretical questions, as when one asks whether the door is closed, or practical questions, as when one asks whether to close it. They contain interrogative force indicators, which present positions of wondering, but also assertoric or directive force indicators which present the position of theoretical or practical knowledge the subject is striving for. Views based on the traditional force-content (...) distinction take the indicative mood for granted and therefore do not understand assertion in contrast to direction, but in contrast to questions and other higher-level acts such as logical and fictional acts. But a corresponding sign like Frege's judgement stroke can only redundantly signal the absence of a higher-level act. (shrink)

Internalists tend to impose on justification higher-level requirements, according to which a belief is justified only if the subject has a higher-level belief (i.e., a belief about the epistemic credentials of a belief). I offer an error theory that explains the appeal of this requirement: analytically, a belief is not justified if we have a defeater for it, but contingently, it is often the case that to avoid having defeaters, our beliefs must satisfy a higher- (...) class='Hi'>level requirement. I respond to the objection that externalists who endorse this error theory will be forced to accept a radical form of scepticism. (shrink)

A central argument for non-reductive accounts of group agency is that complex social entities are capable of exerting causal influence independently of and superseding the causal efficacy of the individuals constituting them. A prominent counter is that non-reductionists run into an insuperable dilemma between identity and redundancy – with identity undermining independent higher-level efficacy and redundancy leading to overdetermination or exclusion. This paper argues that critics of non-reductionism can manage with a simpler and more persuasive reductio strategy called (...) mapping: allow that group agents are causally efficacious in their own right and chart how their causal efficacy is carried out; how it relates to the causal efficacy of individual determiners; how it connects to the causal relevance of background structural factors. The focus exclusively on whether groups are or are not causally efficacious black-boxes implementation, while close attention to how causation is wired increases the visibility of individualist arguments and countenances structure-oriented explanations. (shrink)

New accents in the philosophy of technology and philosophy of science amounting, e.g., to the so-called schools of the “New Experimentalism”, “New Instrumentalism” and, recently, “New Mechanism” emphasize the impact of instruments, experiments, and “mechanisms” of the respective technologies opened up by the progress of ever-improving measuring instruments, procedures etc. In addition, it would be necessary to accentuate the process- and action-orientation including practical responsibility problems and dynamic systems models from an epistemological perspective of the methodological scheme-interpretationist approach developed by (...) the author since the seventies of last century. The necessity of multi-disciplinary mutual influences was already time and again stressed regarding philosophy of science. But relatively new is not only the methodological turn involved but also the necessity to go to higher levels of abstraction, metatheories, action- and value-orientation. Therefore, we have to go more interdisciplinary, systems-oriented, and higher-level. That implies notable consequences for an ethics, or rather, meta-ethics for philosophy of science. Practice-oriented philosophers of science will have to go more methodological, multidisciplinary and even responsible. (shrink)

The current investigation was designed to examine the association of parenting during late childhood and early adolescence, a time of rapid physical development, with biological propensity for inflammation. Based on life course theory, it was hypothesized that parenting during this period of rapid growth and development would be associated with biological outcomes and self-reported health assessed in young adulthood. It was expected that association of parenting with health would be mediated either by effects on methylation of a key inflammatory factor, (...) Tumor necrosis factor (TNF), or else by association with a pro-inflammatory shift in the distribution of mononuclear blood cells. Supporting expectations, in a sample of 398 African American youth residing in rural Georgia, followed from age 11 to age 19, parenting at ages 11–13 was associated with youth reports of better health at age 19. We found that parenting was associated with changes in TNF methylation as well as with changes in cell-type composition. However, whereas methylation of TNF was a significant mediator of the association of parenting with young adult health, variation in mononuclear white blood cell types was not a significant mediator of the association of parenting with young adult health. The current research suggests the potential value of examining the health-related effects of parenting in late childhood and early adolescence. Further examination of protection against pro-inflammatory tendencies conferred by parenting appears warranted. (shrink)

Several authors have recently claimed that the notorious causal exclusion problem, according to which higher-level causes are threatened with causal pre-emption by lower-level causes, can be avoided if causal relevance is understood in terms of Woodward's interventionist account of causation. They argue that if causal relevance is defined in interventionist terms, there are cases where only higher-level properties, but not the lower-level properties underlying them, qualify as causes of a certain effect. In this article, (...) I show that the line of reasoning supposed to establish this claim does not succeed and that interventionism is not better capable of dealing with higher-level causal claims than other accounts of causation. According to Woodward, higher-level causal claims are nonetheless more adequate than lower-level ones if they describe a realization-independent dependency relationship and, hence, meet the requirement that causes should be proportional to their effects. I argue, however, that combining interventionism with proportionality considerations raises difficulties and that, therefore, Woodward's account does not vindicate higher-level causation. (shrink)

Kim (1998) has argued that a genuine robust physicalism does not leave any room for real, causally efficacious mental properties. Despite all of his concerns about the reality and causal efficacy of mental phenomena Kim does not eliminate all higher-level macro causation. Kim’s problem with the mental is that most current cognitive theories imply that the mind is not higher-level but higher-order. In this paper I argue that connectionism makes meaning higher-level and therefore (...) by Kim’s own standards puts meaning on the same footing as other real causally efficacious higher-level properties. The upshot is that we can side-step the current debate about mental causation by moving the mind to the shared uncontroversially real and physical common-ground. (shrink)

In 2005 the author introduced networks which allow attacks on attacks of any level. So if a → b reads a attacks 6, then this attack can itself be attacked by another node c. This attack itself can attack another node d. This situation can be iterated to any level with attacks and nodes attacking other attacks and other nodes. In this paper we provide semantics (of extensions) to such networks. We offer three different approaches to obtaining semantics. (...) 1. The translation approach This uses the methodology of ' Logic by translation'. We translate faithfully the new networks into ordinary Dung networks with more nodes and extract the semantics from the translation. 2. The labelling approach This method regards the arrows as additional entities to be attacked and to mount attacks and applies a variation of the usual machinery of Camindada like labelling to the network. The new concept we need to employ here is that of 'joint attacks'. 3. The logic programming approach We translate the higher level network into a logic program and obtain semantics for it through known semantics for logic programs. We then compare our methods with those of S. Modgil and P. M. Dung et al. (shrink)

Supporters of the autonomy of higher-level causation (or explanation) often appeal to proportionality, arguing that higher-level causes are more proportional than their lower-level realizers. Recently, measures based on information theory and causal modeling have been proposed that allow one to shed new light on proportionality and the related notion of specificity. In this paper we apply ideas from this literature to the issue of higher vs. lower-level causation (and explanation). Surprisingly, proportionality turns out (...) to be irrelevant for the question of whether higher-level causes (or explanations) can be autonomous; specificity is a much more informative notion for this purpose. (shrink)

A natural extension of Natural Deduction was defined by Schroder-Heister where not only formulas but also rules could be used as hypotheses and hence discharged. It was shown that this extension allows the definition of higher-level introduction and elimination schemes and that the set $\{ \vee, \wedge, \rightarrow, \bot \}$ of intuitionist sentential operators forms a {\it complete} set of operators modulo the higher level introduction and elimination schemes, i.e., that any operator whose introduction and elimination (...) rules are instances of the higher-level schemes can be defined in terms of $\{ \vee, \wedge, \rightarrow, \bot \}$.The aim of the present work is to extend the well-known connections between Proof Theory and Category Theory to higher-level Natural Deduction. To be precise, we will show how an adjointness between cartesian closed categories with finite coproducts can be associated, in a systematic way, with any operator $\phi$ defined by the higher-level schemes. The objects in the categories will be rules instead of formulas. (shrink)

This paper offers a critical review of Edouard Machery's Doing Without Concepts, with a particular emphasis on an approach to concept individuation that is consistent with many of Machery's arguments but has the potential to avoid his eliminativist conclusion. The approach agrees with Machery's claims to the effect that prototypes, exemplars, theories (and so on) form a heterogeneous class, but construes these theoretical entities as implementing a unified, albeit coarse-grained, notion of a concept.

In 2005 the author introduced networks which allow attacks on attacks of any level. So if a → b reads a attacks 6, then this attack can itself be attacked by another node c. This attack itself can attack another node d. This situation can be iterated to any level with attacks and nodes attacking other attacks and other nodes. In this paper we provide semantics to such networks. We offer three different approaches to obtaining semantics. 1. The (...) translation approach This uses the methodology of ' Logic by translation'. We translate faithfully the new networks into ordinary Dung networks with more nodes and extract the semantics from the translation. 2. The labelling approach This method regards the arrows as additional entities to be attacked and to mount attacks and applies a variation of the usual machinery of Camindada like labelling to the network. The new concept we need to employ here is that of 'joint attacks'. 3. The logic programming approach We translate the higher level network into a logic program and obtain semantics for it through known semantics for logic programs. We then compare our methods with those of S. Modgil and P. M. Dung et al. (shrink)

This paper sketches an account of the intrinsic goodness of virtue and intrinsic evil of vice that can fit within a consequentialist framework. This treats the virtues and vices as higher-level intrinsic values, ones that consist in, respectively, appropriate and inappropriate attitudes to other, lower-level values. After presenting the main general features of the account, the paper illustrates its strengths by showing how it illuminates a series of particular vices. In the course of doing so, it distinguishes (...) between the categories of what it calls pure vices, vices of indifference, and vices of disproportion, and shows how each category is made vicious by a different general feature of the recursive account. (shrink)

In Sahan et al ’s article,1 they present the ethical challenges faced by clinical laboratory scientists in genetic medicine, including labour allocation and responsibility, interpretation and accuracy of results with new technologies, and the need for better standardisation and ethical consistency. At the same time, they also propose a potential solution to the aforementioned challenges: ethical preparedness(EP). Along with their vivid case discussions and insightful analysis, I would like to propose two more points that are worth further examination and discussion (...) to aid stakeholders in better comprehending the ethical issues that clinical laboratory scientists face in the practice of genetic medicine. The case 1 reported by Sahan et al raises concerns about who should be responsible for tracking families or individuals with genetic results, particularly in the absence of mainstream services to track future risks. However, this should not be a factor influencing the decision to inform gene carriers. If there is a clear division of responsibilities in current practice, clinical laboratory scientists can report detected gene carriers without psychological burden. However, the decision to report gene carriers should be based on who is being served when clinical laboratory scientists face genetic problems in clinical practice and who is being considered when …. (shrink)

Given an argumentation network we associate with it a modal formula representing the 'logical content' of the network. We show a one-to-one correspondence between all possible complete Caminada labellings of the network and all possible models of the formula.

Structuralist foundations of mathematics aim for an ‘invariant’ conception of mathematics. But what should be their basic objects? Two leading answers emerge: higher groupoids or higher categories. I argue in favor of the former over the latter. First, I explain why to choose between them we need to ask the question of what is the correct ‘categorified’ version of a set. Second, I argue in favor of groupoids over categories as ‘categorified’ sets by introducing a pre-formal understanding of (...) groupoids as abstract shapes. This conclusion lends further support to the perspective taken by the Univalent Foundations of mathematics. (shrink)

Jonathan Vogel has recently argued that counterfactual reliabilism cannot account for higher‐level knowledge that one's belief is true, or not false. His particular argument for this claim is straightforward and valid. Interestingly, there is a parallel argument, based on an alternative but plausible reinterpretation of the main premise in Vogel's argument, which squares CR with higher‐level knowledge both that one's belief is true and that one's belief is not false. I argue that, while Vogel's argument reveals (...) the incompatibility of CR and knowledge of certain higher‐level propositions, it does not establish the general claim that CR is incompatible with knowledge that any of one's beliefs is true, or not false. (shrink)

Jonathan Vogel has recently argued that counterfactual reliabilism cannot account for higher‐level knowledge that one's belief is true, or not false. His particular argument for this claim is straightforward and valid. Interestingly, there is a parallel argument, based on an alternative but plausible reinterpretation of the main premise in Vogel's argument, which squares CR with higher‐level knowledge both that one's belief is true and that one's belief is not false. I argue that, while Vogel's argument reveals (...) the incompatibility of CR and knowledge of certain higher‐level propositions, it does not establish the general claim that CR is incompatible with knowledge that any of one's beliefs is true, or not false. (shrink)

In their Every Thing Must Go, Ladyman and Ross defend a novel version of Neo- Russellian metaphysics of causation, which falls into three claims: (1) there are no fundamental physical causal facts (orthodox Russellian claim), (2) there are higher-level causal facts of the special sciences, and (3) higher-level causal facts are explanatorily emergent. While accepting claims (1) and (2), I attack claim (3). Ladyman and Ross argue that higher-level causal facts are explanatorily emergent, because (...) (a) certain aspects of these higher-level facts (their universality) can be captured by renormalization group (RG) explanations, and (b) RG explanations are not reductive explanations. However, I argue that RG explanation should be understood as reductive explanations. This result undermines Ladyman and Ross’s RG-based argument for the explanatory emergence of higher-level causal facts. (shrink)