The aim of this contribution is to broaden the concept of musical meaning from an abstract and emotionally neutral cognitive representation to an emotion-integrating description that is related to the evolutionary approach to music. Starting from the dispositional machinery for dealing with music as a temporal and sounding phenomenon, musical emotions are considered as adaptive responses to be aroused in human beings as the product of neural structures that are specialized for their processing. A theoretical and empirical background is provided (...) in order to bring together the findings of music and emotion studies and the evolutionary approach to musical meaning. The theoretical grounding elaborates on the transition from referential to affective semantics, the distinction between expression and induction of emotions, and the tension between discrete-digital and analog-continuous processing of the sounds. The empirical background provides evidence from several findings such as infant-directed speech, referential emotive vocalizations and separation calls in lower mammals, the distinction between the acoustic and vehicle mode of sound perception, and the bodily and physiological reactions to the sounds. It is argued, finally, that early affective processing reflects the way emotions make our bodies feel, which in turn reflects on the emotions expressed and decoded. As such, there is a dynamic tension between nature and nurture, which is reflected in the nature-nurture-nature cycle of musical sense-making. (shrink)

The purpose of this article is to describe the process through one person or individuals from a particular group applies violence –psychological or physical– to another person in a small dosage with the intention of unbalancing and making him to be uncertain about his owns thoughts and affections. By this way such person destroys, denies and erases the another ones identity. This behaviour has as objec- tive to get that the victim can not to think or understand in order to (...) avoid the conflict, keeping her/him at the disposal of the aggressor and transferring to her/him the aggressor ideas. This process intends that the victim becomes morally perverted, as well as to get a perfect crime through a slowly destruction. The victim is eliminated by suicide induction or physical violence. We call to this behaviour “moral harassment” and we define it as each abuse behaviour –verbal or non verbal– that attends by its frequency and repetition against the dignity or psychological or physical integrity of one person. (shrink)

In the rapidly evolving field of wireless power transfer (WPT), achieving systems that combine efficiency with reliability is crucial. This paper presents a simulation-based approach using CST Studio Suite to optimize WPT systems for wireless battery chargers in electric bikes. The study fixes the size of both the transmitter and receiver coils, the spacing between turns, and the number of coil turns, with a set distance of 20mm between the transmitter and receiver coils. CST Studio Suite is employed (...) to determine the parameters of resonance capacitors and the optimal switching frequency to enhance WPT efficiency. This powerful simulation tool allows researchers and engineers to design resonance compensation circuits more effectively, optimizing power transfer efficiency. The simulation conducted with CST Studio Suite confirms its effectiveness in designing a WPT system, achieving an impressive peak efficiency of 99.61% at the resonant frequency. The paper demonstrates CST Studio Suite's capability to accurately predict WPT system performance by developing detailed electromagnetic models and fine-tuning simulation parameters to reflect real operating conditions. Iterative simulations resulted in optimized practices, validated by select results that highlight the method's effectiveness and showcase an optimal balance between system complexity and efficiency. These findings provide a strategic framework for future WPT system development, offering practical guidance for researchers and industry professionals aiming to advance WPT technology. (shrink)

I first examine John Duns Scotus’ view of contingency, pure possibility, and created possibilities, and his version of the celebrated distinction between ordained and absolute power. Scotus’ views on ethical natural law and his account of induction are characterised, and their dependence on the preceding doctrines detailed. I argue that there is an inconsistency in his treatments of the problem of induction and ethical natural law. Both proceed with God’s contingently willed creation of a given order of laws, which (...) can be revoked and replaced with a new order of laws. In the case of ethical natural law God promulgated the Decalogue, for example; in the case of nature, there are physical laws that can be known by induction. Scotus exalts the freedom of God and the mutability of ethical natural law in order to explain exceptions to it disclosed by revelation (for example, the Old Testament command to Abraham to kill Isaac). Yet he treats ethical natural laws as (mostly) not universal and immutable. In contrast, he holds that we can arrive at knowledge of the universal and immutable laws of nature, except for those regularities that result from free will. Finally, I present several ways of characterising this tension between Scotus’ doctrines. (shrink)

Learning to understand a single causal system can be an achievement, but humans must learn about multiple causal systems over the course of a lifetime. We present a hierarchical Bayesian framework that helps to explain how learning about several causal systems can accelerate learning about systems that are subsequently encountered. Given experience with a set of objects, our framework learns a causal model for each object and a causal schema that captures commonalities among these causal models. The schema organizes the (...) objects into categories and specifies the causal powers and characteristic features of these categories and the characteristic causal interactions between categories. A schema of this kind allows causal models for subsequent objects to be rapidly learned, and we explore this accelerated learning in four experiments. Our results confirm that humans learn rapidly about the causal powers of novel objects, and we show that our framework accounts better for our data than alternative models of causal learning. (shrink)

There is a long-standing myth that the history of modern India was foretold at the beginning of the nineteenth century by British liberals who predicted that the enlightened despotic rule of India's new conquerors would, by its beneficial effects, improve the native character and institutions sufficiently to prepare the people of that country one day to govern themselves. Lord William Bentinck, a disciple of Jeremy Bentham, while presenting as governor-general his case for the opening up of India to European settlers, (...) speculated on the possibility of “a vast change to have occurred in the frame of society . . . which would imply that the time had arrived when it would be wise for England to leave India to govern itself”, but added that such change “can scarcely be looked for in centuries to come”. The doctrinal basis within liberal theory for justifying a democratic country like Britain exercising despotic power in colonies such as Ireland and India was securely laid out by mid-century liberals such as John Stuart Mill. The project of “improvement” was revived at the end of the nineteenth century by Gladstonian liberals who inducted elite Indians into new representative institutions based on a very narrow franchise in preparation for some form of self-government. When power was ultimately transferred to the rulers of a partitioned subcontinent in 1947, the history of liberal progress in India was complete. The storyline was laid out, for instance, in Thompson and Garratt's Rise and Fulfilment of British Rule in India or in Percival Spear's revised edition of the hugely successful textbook by Vincent Smith. Even nationalist Indian scholars adopted at least a part of this story, nowhere more so than in the histories of constitutional law which traced the foundations of the postcolonial Indian republic to the progressive expansion of liberal state institutions under British rule. (shrink)

We study a simple game theoretic model of information transfer which we consider to be a baseline model for capturing strategic aspects of epistemological questions. In particular, we focus on the question whether simple learning rules lead to an efficient transfer of information. We find that reinforcement learning, which is based exclusively on payoff experiences, is inadequate to generate efficient networks of information transfer. Fictitious play, the game theoretic counterpart to Carnapian inductive logic and a more (...) sophisticated kind of learning, suffices to produce efficiency in information transfer. (shrink)

The argument from inductive risk is considered to be one of the strongest challenges for value-free science. A great part of its appeal lies in the idea that even an ideal epistemic agent—the “perfect scientist” or “scientist qua scientist”—cannot escape inductive risk. In this paper, I scrutinize this ambition by stipulating an idealized Bayesian decision setting. I argue that inductive risk does not show that the “perfect scientist” must, descriptively speaking, make non-epistemic value-judgements, at least not in (...) a way that undermines the value-free ideal. However, the argument is more successful in showing that there are cases where the “perfect scientist” should, normatively speaking, use non-epistemic values. I also show that this is possible without creating problems of illegitimate prescription and wishful thinking. Thus, while inductive risk does not refute value-freedom completely, it still represents a powerful critique of value-free science. (shrink)

The nature of concepts -- Generalizations as hierarchical -- Perceiving first-level causal connections -- Conceptualizing first-level causal connections -- The structure of inductive reasoning -- Galileo's kinematics -- Newton's optics -- The methods of difference and agreement -- Induction as inherent in conceptualization -- The birth of celestial physics -- Mathematics and causality -- The power of mathematics -- Proof of Kepler's theory -- The development of dynamics -- The discovery of universal gravitation -- Discovery is proof -- (...) Chemical elements and atoms -- The kinetic theory of gases -- The unification of chemistry -- The method of proof -- Misapplying the inductive method -- Abandoning the inductive method -- Physics as inherently mathematical -- The science of philosophy -- An end-and a new beginning. (shrink)

In ‘Induction and Natural Kinds’, I proposed a solution to the problem of induction according to which our use of inductive inference is reliable because it is grounded in the natural kind structure of the world. When we infer that unobserved members of a kind will have the same properties as observed members of the kind, we are right because all members of the kind possess the same essential properties. The claim that the existence of natural kinds is what (...) grounds reliable use of induction is based on an inference to the best explanation of the success of our inductive practices. As such, the argument for the existence of natural kinds employs a form of ampliative inference. But induction is likewise a form of ampliative inference. Given both of these facts, my account of the reliability of induction is subject to the objection that it provides a circular justification of induction, since it employs an ampliative inference to justify an ampliative inference. In this paper, I respond to the objection of circularity by arguing that what justifies induction is not the inference to the best explanation of its reliability. The ground of induction is the natural kinds themselves. (shrink)

My first goal is to motivate a distinctively metaphysical approach to the problem of induction. I argue that there is a precise sense in which the only way that orthodox Humean and non-Humean views can justify induction is by appealing to extremely strong and unmotivated probabilistic biases. My second goal is to sketch what such a metaphysical approach could possibly look like. After sketching such an approach, I consider a toy case that illustrates the way in which such a metaphysics (...) can help us make progress on the problem of induction. (shrink)

I set up two axiomatic theories of inductive support within the framework of Kolmogorovian probability theory. I call these theories ‘Popperian theories of inductive support’ because I think that their specific axioms express the core meaning of the word ‘inductive support’ as used by Popper (and, presumably, by many others, including some inductivists). As is to be expected from Popperian theories of inductive support, the main theorem of each of them is an anti-induction theorem, the stronger (...) one of them saying, in fact, that the relation of inductive support is identical with the empty relation. It seems to me that an axiomatic treatment of the idea(s) of inductive support within orthodox probability theory could be worthwhile for at least three reasons. Firstly, an axiomatic treatment demands from the builder of a theory of inductive support to state clearly in the form of specific axioms what he means by ‘inductive support’. Perhaps the discussion of the new anti-induction proofs of Karl Popper and David Miller would have been more fruitful if they had given an explicit definition of what inductive support is or should be. Secondly, an axiomatic treatment of the idea(s) of inductive support within Kolmogorovian probability theory might be accommodating to those philosophers who do not completely trust Popperian probability theory for having theorems which orthodox Kolmogorovian probability theory lacks; a transparent derivation of anti-induction theorems within a Kolmogorovian frame might bring additional persuasive power to the original anti-induction proofs of Popper and Miller, developed within the framework of Popperian probability theory. Thirdly, one of the main advantages of the axiomatic method is that it facilitates criticism of its products: the axiomatic theories. On the one hand, it is much easier than usual to check whether those statements which have been distinguished as theorems really are theorems of the theory under examination. On the other hand, after we have convinced ourselves that these statements are indeed theorems, we can take a critical look at the axioms—especially if we have a negative attitude towards one of the theorems. Since anti-induction theorems are not popular at all, the adequacy of some of the axioms they are derived from will certainly be doubted. If doubt should lead to a search for alternative axioms, sheer negative attitudes might develop into constructive criticism and even lead to new discoveries. -/- I proceed as follows. In section 1, I start with a small but sufficiently strong axiomatic theory of deductive dependence, closely following Popper and Miller (1987). In section 2, I extend that starting theory to an elementary Kolmogorovian theory of unconditional probability, which I extend, in section 3, to an elementary Kolmogorovian theory of conditional probability, which in its turn gets extended, in section 4, to a standard theory of probabilistic dependence, which also gets extended, in section 5, to a standard theory of probabilistic support, the main theorem of which will be a theorem about the incompatibility of probabilistic support and deductive independence. In section 6, I extend the theory of probabilistic support to a weak Popperian theory of inductive support, which I extend, in section 7, to a strong Popperian theory of inductive support. In section 8, I reconsider Popper's anti-inductivist theses in the light of the anti-induction theorems. I conclude the paper with a short discussion of possible objections to our anti-induction theorems, paying special attention to the topic of deductive relevance, which has so far been neglected in the discussion of the anti-induction proofs of Popper and Miller. (shrink)

Analogical reasoning by comparison is considered a special case of inductive reasoning, which is fundamental to the scientific method. By reasoning analogically, learners can abstract the underlying commonalities of several entities, thereby ignoring single objects’ superficial features. We tested whether different task environments designed to trigger analogical reasoning by comparison would support preschoolers’ induction of the concept of material kind to predict and explain objects’ floating or sinking as a central aspect of scientific reasoning. Specifically, in two experiments, we (...) investigated whether the number of presented objects (one versus two standards), consisting of a specific material and the labeling of objects with the respective material name, would benefit preschoolers’ material-based inferences. For each item set used in both experiments, we asked the children ( N = 59 in Experiment 1, N = 99 in Experiment 2) to predict an object’s floating or sinking by matching it to the standards and to verbally explain their selections. As expected, we found a significant effect for the number of standards in both experiments on the prediction task, suggesting that children successfully induced the relevance of material kind by comparison. However, labels did not increase the effect of the standards. In Experiment 2, we found that the children could transfer their conceptual knowledge on material kind but that transfer performance did not differ among the task environments. Our findings suggest that tasks inviting analogical reasoning by comparison with two standards are useful for promoting young children’s scientific reasoning. (shrink)

The backward induction controversy in game theory flared up and then practically ended within a decade – the 1990s. The protagonists, however, did not converge on an agreement about the source of the controversy. Why was this the case, if opposing sides had access to the same modelling techniques and empirical facts? In this paper I offer an explanation for this controversy and its unsettled end. The answer is not to be found in the modelling claims made by the opposing (...) protagonists, but in the tacit metaphors they operate under. Aristotle defined metaphor as giving a 'thing a name that belongs to something else' (Poetica, 1457b). The meaning of metaphors has not changed much since then – in contrast to models which are comparatively new, and still not well-understood, scientific tools. The controversy of backward induction in game theory provides a test bed for the explanatory power of metaphors. This paper frames the controversy in terms of metaphor choice to provide a common framework for the protagonists. This results in the identification of three different domains – mathematical logic, game theory and the world – each connected to the other via different metaphors. The controversy around backward induction is placed in, and tentatively explained by, this framework. (shrink)

While dissent is key to successful science, it is not always beneficial. By requiring scientists to respond to objections, epistemically detrimental dissent (EDD) consumes resources that could be better devoted to furthering scientific discovery. Moreover, bad-faith dissent can create a chilling effect on certain lines of inquiry and make settled controversies seem open to debate. Such dissent results in harm to scientific progress and the public policy that depends on this science. Biddle and Leuschner propose four criteria that draw on (...) inductive risk as a method for separating this EDD from beneficial dissent while de Melo-Martín and Intemann reject this approach for failing to capture paradigmatic instances of EDD. Against de Melo-Martín and Intemann’s objections, I propose the inductive risk account can be saved and strengthened through the following modifications: (1) removing the requirement that the four conditions of EDD be jointly satisfied, (2) requiring that each criterion be measured as a matter of degree rather than as a binary, and (3) requiring that the four criteria are measured holistically. These modifications not only mitigate the criticisms but produce five benefits over Biddle and Leuschner’s account, including: (1) capturing paradigmatic instances of EDD, (2) reflecting the degree to which an instance of EDD is problematic, (3) capturing the interactions between criteria, (4) avoiding legitimizing inappropriate dissent, and (5) reflecting changes to the epistemic standing of dissent. As such, I argue that the modified IndRA provides a powerful tool for identifying EDD and strengthening science. (shrink)

Most philosophers hold that the use of our deductive powers confers an especially strong warrant on some of our mathematical and logical beliefs. By contrast, many of the same philosophers hold that it is a matter of serious debate whether any inductive inferences are cogent. That is, they hold that we might well have no warrant for inductively licensed beliefs, such as generalizations. I argue that we cannot know that we know logical and mathemati- cal truths unless we use (...) induction. Our confidence in our logical and mathematical powers is not justified if we are inductive scep- tics. This means that inductive scepticism leads to a deductive scep- ticism. I conclude that we should either be philosophical sceptics about our knowledge of deduction and induction, or accept that some of our inductive inferences are cogent. (shrink)

Induction–recursion is a powerful definition method in intuitionistic type theory. It extends inductive definitions and allows us to define all standard sets of Martin-Löf type theory as well as a large collection of commonly occurring inductive data structures. It also includes a variety of universes which are constructive analogues of inaccessibles and other large cardinals below the first Mahlo cardinal. In this article we give a new compact formalization of inductive–recursive definitions by modeling them as initial algebras (...) in slice categories. We give generic formation, introduction, elimination, and equality rules generalizing the usual rules of type theory. Moreover, we prove that the elimination and equality rules are equivalent to the principle of the existence of initial algebras for certain endofunctors. We also show the equivalence of the current formulation with the formulation of induction–recursion as a reflection principle given in Dybjer and Setzer 93). Finally, we discuss two type-theoretic analogues of Mahlo cardinals in set theory: an external Mahlo universe which is defined by induction–recursion and captured by our formalization, and an internal Mahlo universe, which goes beyond induction–recursion. We show that the external Mahlo universe, and therefore also the theory of inductive–recursive definitions, have proof-theoretical strength of at least Rathjen's theory KPM. (shrink)

Interpreters of Hume on causation consider that an advantage of the ‘quasi-realist’ reading is that it does not commit him to scepticism or to an error theory about causal reasoning. It is unique to quasi-realism that it maintains this positive epistemic result together with a rejection of metaphysical realism about causation: the quasi-realist supplies an appropriate semantic theory in order to justify the practice of talking ‘as if’ there were causal powers in the world. In this paper, I problematise the (...) quasi-realist reading of Hume on causation by showing how quasi-realism does not speak to inductive scepticism. I also offer evidence that Hume takes inductive scepticism to result from his theory of causation, and that his scepticism is tied to his rejection of metaphysical causal realism. (shrink)

Drawing the complex terrain of the theories of induction and of the various ways to ground inductive knowledge in the middle ages is the aim of this paper. There have already been two excellent attempts to draw this terrain. The first is by Julius R. Weinberg and the second by E. P. Bos. My attempt differs from theirs in two major respects. The first is that it is more detailed in the examination of the various theories and their relations. (...) The second is that I focus on the role of natural necessities in induction. In particular, I try to place the various conceptions of induction within a network of issues that relate to the problem of universals, natural necessities and a power-based approach to activity in nature. Here is the road map. Section 2 explains Aristotle’s views of induction, as this were mainly developed in Posterior Analytics Book II.19 and states what I take it to be the main dilemma of induction, as this was described by Sextus Empiricus: induction is either perfect and impossible or imperfect and unjustified. In section 3, I move to Thomas Aquinas and his own attempt to justify induction and the actuality of general and necessary principles based on experience by an appeal to the natural light of reason. In section 4 I discuss John Duns Scotus’s reliance on a self-evident maxim to bridge the gap between imperfect and perfect induction. Section 5 moves to William of Ockham ’s peculiar attempt to justify single-instance inductions. Then, section 6 offers a detailed account of Jean Buridan’s ground-breaking re-conceptualisation of induction and the role of intellect in it. Section 7 discusses the critique of induction by Nicolaus of Autrecourt. Finally, section 8 offers a brief account of Pseudo-Scotus’s move from knowledge to opinion. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Inductive Scepticism and Experimental Reasoning in Moral Subjects in Hume's Philosophy Anne Jaap Jacobson According to its title page, Hume's Treatise Concerning HumanNature is An ATTEMPT to introduce the experimental Method ofReasoning INTO MORAL SUBJECTS."1 And from the first section onwards, Hume makes statements about the human mind which are given an unqualified generality;An Enquiry ConcerningHuman Understanding is marked by a similar assurance that much about human understanding (...) can be known. Because of this, exegesis which attributes to Hume an unrestrained scepticism about the experimental method appears to attribute to him inconsistency on such a scale as to render the interpretation itselfquestionable. Nonetheless, there is, atleast on the face ofit, considerable justification for ascribing to Hume just such a scepticism. In this paper I explore sceptical features, some ofthem important but little noticed, in Hume's treatment of causality and our beliefs about the unobserved. Though I end by suggestinghow to avoidviewing Hume in this area as simply lamentably inconsistent, Hume's use of the experimental method doesremain problematic, as, I suggest, Hume himselfthought. The first three of the following sections in this paper treat connected themes in Hume's philosophy which, when taken together, present us with a very sceptical view of experimental reasoning. I. Necessity as projected impression Hume holds that our beliefs about causality in the objects are in large part the result of a projection of an internal impression of (some kind of) necessity. The thesis ofprojection is not entirely straightforward; to see this, let us ask the question, is the impression which is projected semantically simple or complex? There are excellentreasonsforregarding the impression as simple as Hume conceives of "simple" in this context. Hume himselfappears to sayitis simple (E 64, n. 1). Andmuch of Hume's discussion ofnecessity is driven by the principle that there can be no idea without a preceding impression, and this principle applies only to simple ideas. But the consequent reading is far from satisfactory. To see the problem, let us look at what seems to be the Volume XV Number 2 325 ANNE JAAP JACOBSON most entrenched understanding ofHume, one perhaps amark ofKemp Smith's influence. This is the view that Hume is saying that the impression source of our idea of necessity is a feeling of anticipation. The problem is this: ifa feeling ofanticipation is a simple impression, it is not at all clear that the impression can do the job Hume has for it. Remember that if the impression is in content itselfrelational, then it is not a simple impression on Hume's own account, since ideas of relations are for him complex (T 13). Hence, we might take the impression to be of the sort described by Stroud, according to whom the impression yielding our idea of necessity is semantically unrelated to the elements of the relation. But such a reading robs Hume of the explanatory position he so clearly thinks he has. If we have a semantically simple impression it becomes a mystery why the spreading has the effects that it does: when we transfer the determination ofthe thought to external objects, andsuppose any real intelligible connexion betwixt them. (T 168, my emphasis) Why does spreading some simple, indefinable feeling result in our supposing there is a real intelligible connection between the objects on which the mind has spread? To get this result it looks as though the mind will have tomake two mistakes: thefirstmistake is the spreading, and the second mistake consists in the mind's inferring from the experience of the impression as spread that somehow the causal inference itself is also out there in nature as an intelligible connection. But, while Hume does sometimes seem to suggest we make this sort of two-step error (T 223, for example), such a picture makes it seem that the impression spread is not really the semantic source of (that is, wholly determinate of the content of) our idea ofnecessity. Rather, on the two-step error model, our belief that there are connections enters as a result of an inference following upon the spreading; however, for Hume, an inference is not the way an impression ofX gives rise to an idea ofX... (shrink)

Two powerful arguments have famously dominated the realism debate in philosophy of science: The No Miracles Argument (NMA) and the Pessimistic Meta-Induction (PMI). A standard response to the PMI is selective scientific realism (SSR), wherein only the working posits of a theory are considered worthy of doxastic commitment. Building on the recent debate over the NMA and the connections between the NMA and the PMI, I here consider a stronger inductive argument that poses a direct challenge for SSR: Because (...) it is sometimes exactly the working posits which contradict each other, i.e., that which is directly responsible for empirical success, SSR cannot deliver a general explanation of scientific success. (shrink)

In Xenopus, as in all amphibians and possibly in vertebrate embryos in general, mesoderm formation and the establishment of the dorsoventral axis depend on inductive cell interactions. Molecules involved in mesoderm induction include FGF which acts predominantly as a ventrolateral inducer, the TGF‐β homolog activin which can induce all types of mesoderm, and members of the Wnt family which have powerful dorsalizing effects. Early effects of inducer action include the activation of regulatory genes. Among such genes, particular interest is (...) focused on three genes encoding putative transcription factors that are expressed specifically in the Spemann organizer region of the gastrula. Expression of one of these genes, goosecoid, has been shown to be sufficient to elicit the formation of a dorsal axis including head and notochord in the embryo. (shrink)

Mr. E. J. Nelson, in “The Inductive Argument for an External World,” treats of fundamental topics with erudition and urbanity, but his essay remains inconclusive, I believe, with respect to its purpose of discrediting the argument. He agrees with Mr. Savery, Mr. Pratt, and me, as against the positivists, that the question of the existence of an external world is meaningful and indeed of paramount importance for both metaphysics and logic. But he argues against us that it cannot be (...) inductively established by its supposed power of “saving the appearances.” He is not sure that any induction is valid; but even if other inductions are valid, he thinks this one can not be, for the following reasons. By the multiplicative axiom of probability-theory, evidence for a hypothesis can only multiply its antecedent probability, and can increase the probability only when the latter is finite, while the hypothesis of an external world has and can have no finite antecedent probability. By the same axiom, even granted an antecedent probability for the hypothesis itself, no experience can act as evidence to increase the probability of a hypothesis except in so far as the hypothesis implies, makes probable, or “explains” the evidence, and this the hypothesis of an external world cannot do. (shrink)

It is shown that over any countable first-order structure, IND programs with dictionaries accept exactly the Π 1 1 relations. This extends a result of Harel and Kozen 118) relating IND and Π 1 1 over countable structures with some coding power, and provides a computational analog of a result of Barwise et al. 108) relating the Π 1 1 relations on a countable structure to a certain family of inductively definable relations on the hereditarily finite sets over that (...) structure. (shrink)

Selective attention depends on goal-directed and stimulus-driven modulatory factors, each relayed by different brain rhythms. Under certain circumstances, stress-related states can change the balance between goal-directed and stimulus-driven factors. However, the neuronal mechanisms underlying these changes remain unclear. In this study, we explored how psychosocial stress can modulate brain rhythms during an attentional task and a task-free period. We recorded the EEG and ECG activity of 42 healthy participants subjected to either the Trier Social Stress Test, a controlled procedure to (...) induce stress, or a comparable control protocol, flanked by an attentional task, a 90 s of task-free period and a state of anxiety questionnaire. We observed that psychosocial stress induced an increase in heart rate, self-reported anxiety, and alpha power synchronization. Also, psychosocial stress evoked a relative beta power increase during correct trials of the attentional task, which correlates positively with anxiety and heart rate increase, and inversely with attentional accuracy. These results suggest that psychosocial stress affects performance by redirecting attentional resources toward internal threat-related thoughts. An increment of endogenous top-down modulation reflected an increased beta-band activity that may serve as a compensatory mechanism to redirect attentional resources toward the ongoing task. The data obtained here may contribute to designing new ways of clinical management of the human stress response in the future and could help to minimize the damaging effects of persistent stressful experiences. (shrink)

In the first part of this paper we investigate the intuitionistic version $iI\!\Sigma_1$ of $I\!\Sigma_1$ (in the language of $PRA$ ), using Kleene's recursive realizability techniques. Our treatment closely parallels the usual one for $HA$ and establishes a number of nice properties for $iI\!\Sigma_1$ , e.g. existence of primitive recursive choice functions (this is established by different means also in [D94]). We then sharpen an unpublished theorem of Visser's to the effect that quantifier alternation alone is much less powerful intuitionistically (...) than classically: $iI\!\Sigma_1$ together with induction over arbitrary prenex formulas is $\Pi_2$ -conservative over $iI\!\Pi_2$ . In the second part of the article we study the relation of $iI\!\Sigma_1$ to $iI\!\Pi_1$ (in the usual arithmetical language). The situation here is markedly different from the classical case in that $iI\!\Pi_1$ and $iI\!\Sigma_1$ are mutually incomparable, while $iI\!\Sigma_1$ is significantly stronger than $iI\!\Pi_1$ as far as provably recursive functions are concerned: All primitive recursive functions can be proved total in $iI\!\Sigma_1$ whereas the provably recursive functions of $iI\!\Pi_1$ are all majorized by polynomials over ${\Bbb N}$ . 0 $iI\!\Pi_1$ is unusual also in that it lacks closure under Markov's Rule $\mbox{MR}_{PR}$. (shrink)

Light effects on the activity of several genes have recently been exploited in studies of plant gene expression. We discuss here some examples involving nuclear genes of higher plants, with emphasis on responses mediated by the phytochrome system. Recent work has revealed considerable diversity in the responses of different genes, indicating that several different regulatory programs are probably involved. A start has been made in studies of nuclear events associated with the changes in expression. Transcriptional regulation almost certainly occurs, although (...) many details remain to be studied and effects on mRNA processing and turnover have not been ruled out. Recent in vitro mutagenesis and gene transfer experiments with the gene for the small subunit of RuBP carboxylase indicate that sequences involved in regulating the level of expression in the light are located 5′ to the gene within about 1 kb of the start of transcription. (shrink)

Gerhard Schurz claims to have a solution to Hume’s problem of induction based on results from machine-learning concerning meta-induction. His argument has two steps. The first is to establish a justification for following a certain meta-inductive strategy based on its predictive optimality. The second step is to show how this justification can be transferred to object-induction. I unpack the second step and fail to find a convincing argument supporting the transfer of justification from meta-induction to object-induction. My conclusion (...) is that the problem of induction has not yet been solved by appeal to meta-induction. (shrink)

According to the one-fallacy theory, the only real fallacy is equivocation. In particular, the fallacy of incomplete evidence draws a conclusion inductively from parts of our evidence while ignoring other parts of it which undermine the conclusion. T his is an equivocation on the relative term 'probable': the conclusion is probable relative to a part of our evidence but not relative to the whole of it. Unfortunately, this view is not entirely consistent with my meta-theory of fallacies which allows t (...) hat some failures of rationality are errors simply in inductive reasoning rather than being equivocations. (shrink)

This paper discusses the social effects resulting from the transfer of knowledge and skill both in the spheres of production and machine design. Relevant design determinants and their impact on technological developments are discussed within the theoretical framework of industrial cultures. Two types of skill transfer are analysed in connection with different production philosophies — one more Tayloristic, the other more workshop-oriented. Finally, the paper discusses the relation of both philosophies to the requirements of future production concepts.

This paper provides characterisations of the equational theory of the PER model of a typed lambda calculus with inductive types. The characterisation may be cast as a full abstraction result; in other words, we show that the equations between terms valid in this model coincides with a certain syntactically defined equivalence relation. Along the way we give other characterisations of this equivalence; from below, from above, and from a domain model, a version of the Kreisel-Lacombe-Shoenfield theorem allows us to (...) transfer the result from the domain model to the PER model. (shrink)

This paper aims to advance two claims. First, it aims to show that Hume’s argument against the rationality of induction is sound. However, I claim that the conclusion does not follow merely from the self-defeating attempts to justify the rule of induction, unlike traditional readings of the argument. Rather, the skeptical conclusion must also take into account Hume’s argument that the secret powers that are present in bodies and give rise to sensible qualities are unknowable. The paper’s second aim is (...) to show that Newtonian induction escapes Hume’s secret powers argument, given that it includes a transductive inference, from observable phenomena to the powers present in the ultimate parts of matter. Consequently Hume’s argument against the rationality of induction does not demonstrate the non-rational nature of Newtonian induction. (shrink)

This paper presents a new account of Hume’s “probability of causes”. There are two main results attained in this investigation. The first, and perhaps the most significant, is that Hume developed – albeit informally – an essentially sound system of probabilistic inductive logic that turns out to be a powerful forerunner of Carnap’s systems. The Humean set of principles include, along with rules that turn out to be new for us, well known Carnapian principles, such as the axioms of (...) semiregularity, symmetry with respect to individuals (exchangeability), predictive irrelevance and positive instantial relevance. The second result is that Hume developed an original conception of probability, which is subjective in character, although it differs from contemporary personalistic views because it includes constraints that are additional to simple consistency and do not vary between different persons. The final section is a response to Gower’s thesis, by which Hume’s probability of causes is essentially non-Bayesian in character. It is argued that, on closer examination, Gower’s reading of the relevant passages is untenable and that, on the contrary, they are in accordance with the Bayesian reconstruction presented in this paper. (shrink)

In several early 19th century works, Mary Shepherd articulates a theory of causation that is intended to respond to Humean skepticism. I argue that Shepherd's theory should be read in light of the science of the day and her conception of her place in the British philosophical tradition. Reading Shepherd’s theory in light of her conception of the history of philosophy, including her claim to be the genuine heir of Locke, illuminates the broader significance of her attempt to reinstate reason (...) as the source of scientific knowledge. Reading Shepherd's theory in light of the science of the day helps make plausible her claim that there are robust natural kinds in nature, defined by their causal powers: this is precisely what then-recent advances in chemistry hold. (shrink)

Despite the widespread use of key concepts of the Neyman–Pearson (N–P) statistical paradigm—type I and II errors, significance levels, power, confidence levels—they have been the subject of philosophical controversy and debate for over 60 years. Both current and long-standing problems of N–P tests stem from unclarity and confusion, even among N–P adherents, as to how a test's (pre-data) error probabilities are to be used for (post-data) inductive inference as opposed to inductive behavior. We argue that the relevance (...) of error probabilities is to ensure that only statistical hypotheses that have passed severe or probative tests are inferred from the data. The severity criterion supplies a meta-statistical principle for evaluating proposed statistical inferences, avoiding classic fallacies from tests that are overly sensitive, as well as those not sensitive enough to particular errors and discrepancies. Introduction and overview 1.1 Behavioristic and inferential rationales for Neyman–Pearson (N–P) tests 1.2 Severity rationale: induction as severe testing 1.3 Severity as a meta-statistical concept: three required restrictions on the N–P paradigm Error statistical tests from the severity perspective 2.1 N–P test T(): type I, II error probabilities and power 2.2 Specifying test T() using p-values Neyman's post-data use of power 3.1 Neyman: does failure to reject H warrant confirming H? Severe testing as a basic concept for an adequate post-data inference 4.1 The severity interpretation of acceptance (SIA) for test T() 4.2 The fallacy of acceptance (i.e., an insignificant difference): Ms Rosy 4.3 Severity and power Fallacy of rejection: statistical vs. substantive significance 5.1 Taking a rejection of H0 as evidence for a substantive claim or theory 5.2 A statistically significant difference from H0 may fail to indicate a substantively important magnitude 5.3 Principle for the severity interpretation of a rejection (SIR) 5.4 Comparing significant results with different sample sizes in T(): large n problem 5.5 General testing rules for T(), using the severe testing concept The severe testing concept and confidence intervals 6.1 Dualities between one and two-sided intervals and tests 6.2 Avoiding shortcomings of confidence intervals Beyond the N–P paradigm: pure significance, and misspecification tests Concluding comments: have we shown severity to be a basic concept in a N–P philosophy of induction? (shrink)

To clarify the proper role of values in science, focusing on controversial expert responses to Covid-19, this article examines the status of (in)convenient hypotheses. Polarizing cases like health experts downplaying mask efficacy to save resources for healthcare workers, or scientists dismissing “accidental lab leak” hypotheses in view of potential xenophobia, plausibly involve modifying evidential standards for (in)convenient claims. Societies could accept that scientists handle (in)convenient claims just like nonscientists, and give experts less political power. Or societies could hold scientists (...) to a higher bar, by expecting them not to modify evidential standards to avoid costs only incidentally tied to error. (shrink)

This research is conducted by the Intellectual Property and Policy Research Group at the W. Maurice Young Centre for Applied Ethics at the University of British Columbia. It is part of the GE3LS component of the Genome Canada Project "Dissecting Gene Expression Networks in Mammalian Organogenesis," MORGEN, which is located principally at the British Columbia Cancer Agency, Vancouver, British Columbia, Canada. The project is involved in upstream, basic genomic research. Part of this work includes the characterization of gene regulatory mechanisms (...) governing organogenesis with a special focus on the heart, liver and pancreas. This paper serves as an introduction to both the MORGEN case study and the role of alternative mechanisms, such as open source. We discuss interim research results as they relate to our broader study of the relationship between open science, commercialization and technology transfer offices. The role of technology transfer offices is central to our analysis and is viewed as a key factor in implementing Genome Canada policies and principles associated with IP and commercialization. (shrink)

I began this study with Laudan's argument from the pessimistic induction and I promised to show that the caloric theory of heat cannot be used to support the premisses of the meta-induction on past scientific theories. I tried to show that the laws of experimental calorimetry, adiabatic change and Carnot's theory of the motive power of heat were independent of the assumption that heat is a material substance, approximately true, deducible and accounted for within thermodynamics.I stressed that results and (...) were known to most theorists of the caloric theory and that result was put forward by the founders of the new thermodynamics. In other words, the truth-content of the caloric theory was located, selected carefully, and preserved by the founders of thermodynamics.However, the reader might think that even if I have succeeded in showing that laudan is wrong about the caloric theory, I have not shown how the strategy followed in this paper can be generalised against the pessimistic meta-induction. I think that the general strategy against Laudan's argument suggested in this paper is this: the empirical success of a mature scientific theory suggests that there are respects and degrees in which this theory is true. The difficulty for — and and real challenge to — philosophers of science is to suggest ways in which this truth-content can be located and shown to be preserved — if at all — to subsequent theories. In particular, the empirical success of a theory does not, automatically, suggest that all theoretical terms of the theory refer. On the contrary, judgments of referential success depend on which theoretical claims are well-supported by the evidence. This is a matter of specific investigation. Generally, one would expect that claims about theoretical entities which are not strongly supported by the evidence or turn out to be independent of the evidence at hand, are not compelling. For simply, if the evidence does not make it likely that our beliefs about putative theoretical entities are approximately correct, a belief in those entities would be ill-founded and unjustified. Theoretical extrapolations in science are indespensable, but they are not arbitrary. If the evidence does not warrant them I do not see why someone should commit herself to them. In a sense, the problem with empricist philisophers is not that they demand that theoretical beliefs must be warranted by evidence. Rather, it is that they claim that no evidence can warrant theorretical beliefs. A realist philosopher of science would not disagree on the first, but she has good grounds to deny the second.I argued that claims about theoretical entities which are not strongly supported by the evidence must not be taken as belief-worthy. But can one sustaon the more ambitious view that loosely supported parts of a theory tend to be just those that include non-referring terms? There is an obvious excess risk in such a generalisation. For there are well-known cases in which a theoretical claim was initially weakly supported by the evidence. (shrink)

It is well known that Hume gave a powerful skeptical argument against induction. Many philosophers think that even though Hume’s description of induction is inadequate in some respects, his skeptical argument is still irrefutable. However, Okasha argues that this cannot be right: Once we adequately describe what we are doing with induction, Hume’s skeptical argument cannot be applied to this adequate description of induction any more. In this paper, in opposition to Okasha, I will argue that Hume’s skeptical argument still (...) can be applied even on the ‘adequate’ description of induction. (shrink)

In this paper we study local induction w.r.t. Σ1‐formulas over the weak arithmetic. The local induction scheme, which was introduced in, says roughly this: for any virtual class that is progressive, i.e., is closed under zero and successor, and for any non‐empty virtual class that is definable by a Σ1‐formula without parameters, the intersection of and is non‐empty. In other words, we have, for all Σ1‐sentences S, that S implies, whenever is progressive. Since, in the weak context, we have (at (...) least) two definitions of Σ1, we obtain two minimal theories of local induction w.r.t. Σ1‐formulas, which we call Peano Corto and Peano Basso.In the paper we give careful definitions of Peano Corto and Peano Basso. We establish their naturalness both by giving a model theoretic characterization and by providing an equivalent formulation in terms of a sentential reflection scheme.The theories Peano Corto and Peano Basso occupy a salient place among the sequential theories on the boundary between weak and strong theories. They bring together a powerful collection of principles that is locally interpretable in. Moreover, they have an important role as examples of various phenomena in the metamathematics of arithmetical (and, more generally, sequential) theories. We illustrate this by studying their behavior w.r.t. interpretability, model interpretability and local interpretability. In many ways the theories are more like Peano arithmetic or Zermelo Fraenkel set theory, than like finitely axiomatized theories as Elementary Arithmetic, and. On the one hand, Peano Corto and Peano Basso are very weak: they are locally cut‐interpretable in. On the other hand, they behave as if they were strong: they are not contained in any consistent finitely axiomatized arithmetical theory, however strong. Moreover, they extend, the theory of parameter‐free Π1‐induction. (shrink)

In this paper, I will discuss accounts to solve the problem of induction by introducing necessary connections. The basic idea is this: if we know that there are necessary connections between properties F and G such that F -ness necessarily brings about G-ness, then we are justified to infer that all, including future or unobserved, F s will be Gs. To solve the problem of induction with ontology has been proposed by David Armstrong and Brian Ellis. In this paper, I (...) will argue that these attempts to solve the problem of induction fail. Necessary connections fail to reliably imply the respective regularities for two main reasons: Firstly, according to an argument originally presented by Helen Beebee, the respective necessary connections might be time-limited, and hence do not warrant inferences about future cases. As I will discuss, arguments against the possibility or explanatory power of time-limited necessary connections fail. Secondly, even time-unlimited necessary connections do not entail strict or non-strict regularities, and nor do they allow inferences about individual cases, which is an important function of inductive reasoning. Moreover, the proposed solution to the problem of induction would only apply to a tiny minority of inductive inferences. I argue that most inductive inferences are not easily reducible to the proposed inference pattern, as the vast majority of everyday inductive inferences do not involve necessary connections between fundamental physical properties or essences. (shrink)

In the last three decades, a cultural perspective has been used to understand scientific knowledge and technology. This relatively new perspective has introduced literature on the ethical dimension to the development of technology, which are embedded in techniques, tools and artifacts. Today, more than ever, there is an urgent need to comprehend the global ramifications of modernization. In this paper, we make an attempt to look at science and technology based on culture, wisdom, ecology and ethical values. We move towards (...) reviewing and consolidating significant literature on philosophy of technology and culture within contemporary times. Furthermore, this article touches upon the transformative power of technologies in relation to modernity. (shrink)

It has largely been assumed that when an intentional community loses its charismatic leader for one reason or another, the group will most likely disband unless that individual’s charisma has become routinized. The Kashi Ashram in Sebastian, Florida, is a spiritual community that was established, thanks to the vision of their Guru, Ma Jaya Sati Bhagavati. Her students were so devoted to her that her physical death in 2012 could have initiated a crisis in the community. Although bureaucratic offices had (...) been established to carry out some of the necessary functions of the Ashram, no one came close to filling her role as a spiritual teacher. And yet, more than 6 years later, new members are still joining the community and the way they describe Ma’s presence in their lives is little different from how older members that knew Ma in this lifetime talk about her. While I do not disagree that the routinization of charisma is an important step in ensuring the longevity of new religious movements, in this paper, I argue that an individual’s charisma may be transferred to a geographic place such that the Ashram becomes an active agent in the attraction and retention of new members. (shrink)

We consider two variants of transfinite induction, one with monotonicity assumption on the predicate and one with the induction hypothesis only for cofinally many below. The latter can be seen as a transfinite analogue of the successor induction, while the usual transfinite induction is that of cumulative induction. We calculate the supremum of ordinals along which these schemata for \ formulae are provable in \. It is shown to be larger than the proof-theoretic ordinal \ by power of base (...) 2. We also show a similar result for the structural transfinite induction, defined with fundamental sequences. (shrink)

The theory , axiomatized by the induction scheme for sharply bounded formulae in Buss’ original language of bounded arithmetic , has recently been unconditionally separated from full bounded arithmetic S2. The method used to prove the separation is reminiscent of those known from the study of open induction.We make the connection to open induction explicit, showing that models of can be built using a “nonstandard variant” of Wilkie’s well-known technique for building models of IOpen. This makes it possible to (...) class='Hi'>transfer many results and methods from open to sharply bounded induction with relative ease.We provide two applications: the Shepherdson model of IOpen can be embedded into a model of , which immediately implies some independence results for ; extended by an axiom which roughly states that every number has a least 1 bit in its binary notation, while significantly stronger than plain , does not prove the infinity of primes. (shrink)