결정론으로부터 비롯되는 도덕적 책임에 대한 회의론에 대처하면서 양립가능론자들과 양립불가능론자들은 서로 다른 자유의 개념을 제시한다. 양립가능론자들에 따르면, 자유는 행위자가 자신의 의지나 행동을 실현하는데 어떤 물리적/심리적 제약이 없는 상태를 의미한다. 필자는 이러한 자유의 개념을 자유에 대한 불구속 모델이라 부른다. 반면 양립불가능론자들에 따르면, 자유롭게 선택하거나 행위한다는 것은 서로 양립불가능한 둘 이상의 행위방식 혹은 선택지가 행위자에게 열려있고 행위자는 그 중 어느 것도 현실화할 수 있다는 것을 의미한다. 필자는 이러한 자유의 개념을 자유에 대한 갈림길 모델이라 부른다. 각 모델의 지지자들에게는 자신이 옹호하는 모델의 자유 개념이 도덕적 (...) 책임 귀속의 근거가 된다는 점을 보여주는 것이 매우 중요하다. 만일 자유에 관한 어떤 이론이 도덕적 책임 귀속의 문제와 설명적으로 무관하다면, 그러한 이론은 성공적이라고 보기 어렵기 때문이다. 우리는 이러한 이론적 요청을 도덕적 책임에 관한 설명적 요청이라 부를 수 있다. 본 논문에서 필자는 앞서 언급한 두 모델이 도덕적 책임에 관한 설명적 요청을 만족하지 못한다는 점을 논증한다. 필자는 전형적인 프랑크푸르트류의 사례를 분석하면서, 갈림길 모델이 왜 이러한 설명적 요청을 만족하지 못하는지를 논의한다. 또한 계층적 자유의지론에 관해 논의하면서 불구속 모델 또한 이 설명적 요청과 관련하여 성공적이지 못하다는 점을 논의한다. 끝으로 필자는 이 두 모델의 난점을 피하기 위해 논리적으로 귀결되는 자유 개념의 모델을 개략적으로 기술한다. (shrink)

Putnam's Model-Theoretic argument purports to show that, contrary to what the metaphysical realist is committed to, an epistemically ideal theory which satisfies all operational and theoretical constraints can be guaranteed to be true. He draws the additional antirealist conclusion that there can be no single privileged relation of reference. I argue that the very possibility of a so-called ideal theory satisfying all operational constraints presupposes a determinate relation of reference, and hence Putnam must assume precisely what he (...) denies. (shrink)

This paper argues that even when simple analogue models picture parallel worlds, they generally still serve as isolating tools. But there are serious obstacles that often stop them isolating in just the right way. These are obstacles that face any model that functions as a thought-experiment but they are especially pressing for economic models because of the paucity of economic principles. Because of the paucity of basic principles, economic models are rich in structural assumptions. Without these no interesting conclusions (...) can be drawn. This, however, makes trouble when it comes to exporting conclusions from the model to the world. One uncontroversial constraint on induction from special cases is to beware of extending conclusions to situations that we know are different in relevant respects. In the case of economic models it is clear by inspection that the unrealistic structural assumptions of the model are intensely relevant to the conclusion. Any inductive leap to a real situation seems a bad bet. (shrink)

The standard model of precedential constraint holds that a court is equally free to modify a precedent of its own and a precedent of a superior court—overruling aside, it does not differentiate horizontal and vertical precedents. This paper shows that no model can capture the U.S. doctrine of precedent without making that distinction. A precise model is then developed that does just that. This requires situating precedent cases in a formal representation of a hierarchical legal structure, and (...) adjusting the constraint that a precedent imposes based on the relationship of the precedent court and the instant court. The paper closes with suggestions for further improvements of the model. (shrink)

Recent theoretical models suggest that the difference between human and nonhuman primate life-history patterns may be due to a reliance on complex foraging strategies requiring extensive learning. These models predict that children should reach adult levels of efficiency faster when foraging is cognitively simple. We test this prediction with data on Meriam fishing, spearfishing, and shellfishing efficiency. For fishing and spearfishing, which are cognitively difficult, we can find no significant amount of variability in return rates because of experiential factors correlated (...) with age. However, for shellfish collecting, which is relatively easy to learn, there are strong age-related effects on efficiency. Children reach adult efficiency more quickly in fishing as compared to shellfish collecting, probably owing to the size and strength constraints of the latter. (shrink)

Background -/- Ontology Design Patterns (ODPs) are representational artifacts devised to offer solutions for recurring ontology design problems. They promise to enhance the ontology building process in terms of flexibility, re-usability and expansion, and to make the result of ontology engineering more predictable. In this paper, we analyze ODP repositories and investigate their relation with upper-level ontologies. In particular, we compare the BioTop upper ontology to the Action ODP from the NeOn an ODP repository. In view of the differences in (...) the respective approaches, we investigate whether the Action ODP can be embedded into BioTop. We demonstrate that this requires re-interpreting the meaning of classes of the NeOn Action ODP in the light of the precepts of realist ontologies. -/- Results -/- As a result, the re-design required clarifying the ontological commitment of the ODP classes by assigning them to top-level categories. Thus, ambiguous definitions are avoided. Classes of real entities are clearly distinguished from classes of information artifacts. The proposed approach avoids the commitment to the existence of unclear future entities which underlies the NeOn Action ODP. Our re-design is parsimonious in the sense that existing BioTop content proved to be largely sufficient to define the different types of actions and plans. -/- Conclusions -/- The proposed model demonstrates that an expressive upper-level ontology provides enough resources and expressivity to represent even complex ODPs, here shown with the different flavors of Action as proposed in the NeOn ODP. The advantage of ODP inclusion into a top-level ontology is the given predetermined dependency of each class, an existing backbone structure and well-defined relations. Our comparison shows that the use of some ODPs is more likely to cause problems for ontology developers, rather than to guide them. Besides the structural properties, the explanation of classification results were particularly hard to grasp for 'self-sufficient' ODPs as compared with implemented and 'embedded' upper-level structures which, for example in the case of BioTop, offer a detailed description of classes and relations in an axiomatic network. This ensures unambiguous interpretation and provides more concise constraints to leverage on in the ontology engineering process. (shrink)

Several articles have recently appeared arguing that there really are no viable alternatives to mechanistic explanation in the biological sciences (Kaplan and Bechtel; Kaplan and Craver). We argue that mechanistic explanation is defined by localization and decomposition. We argue further that systems neuroscience contains explanations that violate both localization and decomposition. We conclude that the mechanistic model of explanation needs to either stretch to now include explanations wherein localization or decomposition fail or acknowledge that there are counterexamples to mechanistic (...) explanation in the biological sciences. (shrink)

This paper examines a model in which people’s preferences adjust to changes in their relative ability to attain various goals. Preference changes are modeled as changes in the configuration of weights (or values) attached to these goals. The model permits to explain common prototype changes of preferences such as the ‘sour grapes’ or the ‘overcompensating’ phenomenon. It is found that whether the first or the second phenomenon occurs depends on whether a goal is easy or difficult to substitute (...) by other goals. If two goals are sufficiently strong substitutes for each other, no weight will be placed on that goal which is harder to attain. The results readily apply to the standard microeconomic set-up involving goods and prices, rather than abstract goals and abilities. In this case, one implication of the model is that only a subset of the overall commodity space is relevant for everyday consumer choice, which reduces the complexity of the choice procedure. The model also permits to explain how new and unfamiliar products are incorporated into the consumer’s preference pattern. (shrink)

Several articles have recently appeared arguing that there really are no viable alternatives to mechanistic explanation in the biological sciences. This claim is meant to hold both in principle and in practice. The basic claim is that any explanation of a particular feature of a biological system, including dynamical explanations, must ultimately be grounded in mechanistic explanation. There are several variations on this theme, some stronger and some weaker. In order to avoid equivocation and miscommunication, in section 1 we will (...) argue that mechanistic explanation is defined by localization and decomposition. In section 2 we will argue that systems neuroscience contains explanations that violate both localization and decomposition on any non-trivial construal of these concepts. Therefore, in section 3 we conclude the mechanistic model of explanation either needs to stretch to now include explanations wherein localization or decomposition fail, or acknowledge that there are counter-examples to mechanistic explanation in the biological sciences. We will also consider consequences and possible replies on the part of the mechanist in section 3. (shrink)

This commentary explores biological models of analogical and associative learning in support of Illusion 1 and Illusion 4 in D. Noble’s target article. The intent is to support Noble’s theses of emergent higher level functionality from lower level stochastic dynamics and his etiological claim that “there is no privileged level of causation” through a biosemiotic lens. Upon these arguments, a case for creative agency via higher-dimensional constraints will also be made in support of Noble’s claim that organismic behavior is (...) actively directed by an agent. (shrink)

I argue that our judgements regarding the locally causal models that are compatible with a given constraint implicitly depend, in part, on the context of inquiry. It follows from this that certain quantum no-go theorems, which are particularly striking in the traditional foundational context, have no force when the context switches to a discussion of the physical systems we are capable of building with the aim of classically reproducing quantum statistics. I close with a general discussion of the possible implications (...) of this for our understanding of the limits of classical description, and for our understanding of the fundamental aim of physical investigation. _1_ Introduction _2_ No-Go Results _2.1_ The CHSH inequality _2.2_ The GHZ equality _3_ Classically Simulating Quantum Statistics _3.1_ GHZ statistics _3.2_ Singlet statistics _4_ What Is a Classical Computer Simulation? _5_ Comparing the All-or-Nothing GHZ with Statistical equalities _6_ General Discussion _7_ Conclusion. (shrink)

Correlations of spins in a system of entangled particles are inconsistent with Kolmogorov’s probability theory (KPT), provided the system is assumed to be non-contextual. In the Alice–Bob EPR paradigm, non-contextuality means that the identity of Alice’s spin (i.e., the probability space on which it is defined as a random variable) is determined only by the axis $\alpha _{i}$ chosen by Alice, irrespective of Bob’s axis $\beta _{j}$ (and vice versa). Here, we study contextual KPT models, with two properties: (1) Alice’s (...) and Bob’s spins are identified as $A_{ij}$ and $B_{ij}$ , even though their distributions are determined by, respectively, $\alpha _{i}$ alone and $\beta _{j}$ alone, in accordance with the no-signaling requirement; and (2) the joint distributions of the spins $A_{ij},B_{ij}$ across all values of $\alpha _{i},\beta _{j}$ are constrained by fixing distributions of some subsets thereof. Of special interest among these subsets is the set of probabilistic connections, defined as the pairs $\left( A_{ij},A_{ij'}\right) $ and $\left( B_{ij},B_{i'j}\right) $ with $\alpha _{i}\not =\alpha _{i'}$ and $\beta _{j}\not =\beta _{j'}$ (the non-contextuality assumption is obtained as a special case of connections, with zero probabilities of $A_{ij}\not =A_{ij'}$ and $B_{ij}\not =B_{i'j}$ ). Thus, one can achieve a complete KPT characterization of the Bell-type inequalities, or Tsirelson’s inequalities, by specifying the distributions of probabilistic connections compatible with those and only those spin pairs $\left( A_{ij},B_{ij}\right) $ that are subject to these inequalities. We show, however, that quantum-mechanical (QM) constraints are special. No-forcing theorem says that if a set of probabilistic connections is not compatible with correlations violating QM, then it is compatible only with the classical–mechanical correlations. No-matching theorem says that there are no subsets of the spin variables $A_{ij},B_{ij}$ whose distributions can be fixed to be compatible with and only with QM-compliant correlations. (shrink)

A serious crisis is identified in theories of neurocomputation, marked by a persistent disparity between the phenomenological or experiential account of visual perception and the neurophysiological level of description of the visual system. In particular, conventional concepts of neural processing offer no explanation for the holistic global aspects of perception identified by Gestalt theory. The problem is paradigmatic and can be traced to contemporary concepts of the functional role of the neural cell, known as the Neuron Doctrine. In the absence (...) of an alternative neurophysiologically plausible model, I propose a perceptual modeling approach, to model the percept as experienced subjectively, rather than modeling the objective neurophysiological state of the visual system that supposedly subserves that experience. A Gestalt Bubble model is presented to demonstrate how the elusive Gestalt principles of emergence, reification, and invariance can be expressed in a quantitative model of the subjective experience of visual consciousness. That model in turn reveals a unique computational strategy underlying visual processing, which is unlike any algorithm devised by man, and certainly unlike the atomistic feed-forward model of neurocomputation offered by the Neuron Doctrine paradigm. The perceptual modeling approach reveals the primary function of perception as that of generating a fully spatial virtual-reality replica of the external world in an internal representation. The common objections to this picture-in-the-head concept of perceptual representation are shown to be ill founded. Key Words: brain-anchored; Cartesian theatre; consciousness; emergence; extrinsic constraints; filling-in; Gestalt; homunculus; indirect realism; intrinsic constraints; invariance; isomorphism; multistability; objective phenomenology; perceptual modeling; perspective; phenomenology; psychophysical parallelism; psychophysical postulate; qualia; reification; representationalism; structural coherence. (shrink)

While action selection strategies in well‐defined domains have received considerable attention, little is yet known about how people choose what to do next in ill‐defined tasks. In this contribution, we shed light on this issue by considering everyday tasks, which in many cases have a multitude of possible solutions (e.g., it does not matter in which order the items are brought to the table when setting a table) and are thus categorized as ill‐defined problems. Even if there are no hard (...) constraints on the ordering of subtasks in everyday activities, our research shows that people exhibit specific preferences. We propose that these preferences arise from bounded rationality, that is, people only have limited knowledge and processing power available, which results in a preference to minimize the overall physical and cognitive effort. In the context of everyday activities, this can be achieved by (a) taking properties of the spatial environment into account to use them to one's advantage, and (b) employing a stepwise‐optimal action selection strategy. We present the Opportunistic Planning Model as an explanatory cognitive model, which instantiates these assumptions, and show that the model is able to generalize to new everyday tasks, outperforming machine learning models such as neural networks during generalization. (shrink)

Human adaptive behavior in sensorimotor control is aimed to increase the confidence in feedforward mechanisms when sensory afferents are uncertain. It is thought that these feedforward mechanisms rely on predictions from internal models. We investigate whether the brain uses an internal model of physical laws to help estimate body equilibrium when tactile inputs from the foot sole are depressed by carrying extra weight. As direct experimental evidence for such a model is limited, we used Judoka athletes thought to (...) have built up internal models of external loads as compared with Non-Athlete participants and Dancers. Using electroencephalography, we first tested the hypothesis that the influence of tactile inputs was amplified by descending cortical efferent signals. We compared the amplitude of P1N1 somatosensory cortical potential evoked by electrical stimulation of the foot sole in participants standing still with their eyes closed. We showed smaller P1N1 amplitudes in the Load compared to No Load conditions in both Non-Athletes and Dancers. This decrease neural response to tactile stimulation was associated with greater postural oscillations. By contrast in the Judoka’s group, the neural early response to tactile stimulation was unregulated in the Load condition. This suggests that the brain can selectively increase the functional gain of sensory inputs, during challenging equilibrium tasks when tactile inputs were mechanically depressed by wearing a weighted vest. In Judokas, the activation of regions such as the right posterior inferior parietal cortex as early as the P1N1 is likely the source of the neural responses being maintained similar in both Load and No Load conditions. An overweight internal model stored in the right PPC known to be involved in maintaining a coherent representation of one’s body in space can optimize predictive mechanisms in situations with high balance constraints. This hypothesis has been confirmed by showing that postural reaction evoked by a translation of the support surface on which participants were standing wearing extra-weight was improved in Judokas. (shrink)

The likelihood principle is typically understood as a constraint on any measure of evidence arising from a statistical experiment. It is not sufficiently often noted, however, that the LP assumes that the probability model giving rise to a particular concrete data set must be statistically adequate—it must “fit” the data sufficiently. In practice, though, scientists must make modeling assumptions whose adequacy can nevertheless then be verified using statistical tests. My present concern is to consider whether the LP applies to (...) these techniques of model verification. If one does view model verification as part of the inferential procedures that the LP intends to constrain, then there are certain crucial tests of model verification that no known method satisfying the LP can perform. But if one does not, the degree to which these assumptions have been verified is bracketed from the evidential evaluation under the LP. Although I conclude from this that the LP cannot be a universal constraint on any measure of evidence, proponents of the LP may hold out for a restricted version thereof, either as a kind of “ideal” or as defining one among many different forms of evidence. (shrink)

A general model of problem‐solving processes based on misconception elimination is presented to simulate both impasses and solving processes. The model operates on goal‐related rules and a set of constraint rules in the form of “if (state or goal), do not (Action)” for the explicit constraints in the instructions and the implicit constraints that come from misconceptions of legal moves. When impasses occur, a constraint elimination mechanism is applied. Because successive eliminations of implicit constraints enlarge (...) the problem space and have an effect on planning, the model integrates “plan‐based” and “constraint‐based” approaches to problem‐solving behavior.Simulating individual protocols of Tower of Hanoi situations shows that the model, which has a proper set of constraints, predicts a single move with no alternative on about 61% of the movements and that protocols are quite successfully simulated movement by movement. Finally, it is shown that many features of previous models are embedded in the constraint elimination model. (shrink)

An SR model is presented that shows how an objective (noncontextual and local) interpretation of quantum mechanics can be constructed, which contradicts some well-established beliefs following from the standard interpretation of the theory and from known no-go theorems. The SR model is not a hidden variables theory in the standard sense, but it can be considered a hidden parameters theory which satisfies constraints that are weaker than those usually imposed on standard hidden variables theories. The SR (...) class='Hi'>model is also extended in a natural way that shows how a broader theory embodying quantum mechanics can be envisaged which is realistic in a semantic sense, hence compatible with various “realistic” perspectives. (shrink)

This study examines the impact of digital financing on the degree of financing constraints and discusses the mediating effect of investor confidence. The data are based on companies listed on the Shanghai Stock Exchange and the Shenzhen Stock Exchange from 2010 to 2019. To investigate the impact of digital financing on the financing constraints of companies in different situations, the heterogeneity of internal control and equity characteristics of different organizations is analyzed. The results using fixed-effects models show that (...) the change in digital finance has a significant negative impact on the level of corporate financing constraints; investor confidence plays a mediating role between digital finance and financing constraints; and the level of internal control impacts the relationship between the digital finance and the corporate financing constraints. Specifically, for the organizations with better internal control, there is a significant negative relationship between digital finance and corporate financing constraints while for organizations with poor internal control, digital finance has no significant influence on the extent of financing constraints; and digital finance of private organizations is significantly negatively correlated with the extent of financing constraints, while for government organizations, a negative relationship is not evident. (shrink)

Wood and Spekkens argue that any causal model explaining the EPRB correlations and satisfying the no-signalling constraint must also violate the assumption that the model faithfully reproduces the statistical dependences and independences—a so-called ‘fine-tuning’ of the causal parameters. This includes, in particular, retrocausal explanations of the EPRB correlations. I consider this analysis with a view to enumerating the possible responses an advocate of retrocausal explanations might propose. I focus on the response of Näger, who argues that the central (...) ideas of causal explanations can be saved if one accepts the possibility of a stable fine-tuning of the causal parameters. I argue that in light of this view, a violation of faithfulness does not necessarily rule out retrocausal explanations of the EPRB correlations. However, when we consider a plausible retrocausal picture in some detail, it becomes clear that the causal modelling framework is not a natural arena for representing such an account of retrocausality. _1_ Causal Models, Quantum Mechanics, and Faithfulness _2_ Fine-Tuning _2.1_ Fine-tuning in a retrocausal model _3_ Possible Responses _4_ Quantum Causal Models and Retrocausality _4.1_ A more detailed retrocausal account _4.2_ A model of the EPRB probabilities _4.3_ Mapping to a causal model _5_ Conclusion. (shrink)

We construct a local \-epistemic hidden-variable model of Bell correlations by a retrocausal adaptation of the originally superdeterministic model given by Brans. In our model, for a pair of particles the joint quantum state \\rangle \) as determined by preparation is epistemic. The model also assigns to the pair of particles a factorisable joint quantum state \\rangle \) which is different from the prepared quantum state \\rangle \) and has an ontic status. The ontic state of (...) a single particle consists of two parts. First, a single particle ontic quantum state \|i\rangle \), where \\) is a 3-space wavepacket and \ is a spin eigenstate of the future measurement setting. Second, a particle position in 3-space \\), which evolves via a de Broglie–Bohm type guidance equation with the 3-space wavepacket \\) acting as a local pilot wave. The joint ontic quantum state \\rangle \) fixes the measurement outcomes deterministically whereas the prepared quantum state \\rangle \) determines the distribution of the \\rangle \)’s over an ensemble. Both \\rangle \) and \\rangle \) evolve via the Schrodinger equation. Our model exactly reproduces the Bell correlations for any pair of measurement settings. We also consider ‘non-equilibrium’ extensions of the model with an arbitrary distribution of hidden variables. We show that, in non-equilibrium, the model generally violates no-signalling constraints while remaining local with respect to both ontology and interaction between particles. We argue that our model shares some structural similarities with the modal class of interpretations of quantum mechanics. (shrink)

The results of two experiments are analyzed to find out how artistic expertise influences visual search. Experiment I comprised survey data of 1,065 students on self-reported visual memory skills and their ability to find three targets in four images of artwork. Experiment II comprised eye movement data of 50 Visual Literacy experts and non-experts whose eye movements during visual search were analyzed for nine images of artwork as an external validation of the assessment tasks performed in Sample I. No time (...) constraint was set for completion of the visual search task. A latent profile analysis revealed four typical solution patterns for the students in Sample I, including a mainstream group, a group that completes easy images fast and difficult images slowly, a fast and erroneous group, and a slow working student group, depending on task completion time and on the probability of finding all three targets. Eidetic memory, performance in art education and visual imagination as self-reported visual skills have significant impact on latent class membership probability. We present a hidden Markov model approach to uncover underlying regions of attraction that result from visual search eye-movement behavior in Experiment II. VL experts and non-experts did not significantly differ in task time and number of targets found but they did differ in their visual search process: compared to non-experts, experts showed greater precision in fixating specific prime and target regions, assessed through hidden state fixation overlap. Exploratory analysis of HMMs revealed differences between experts and non-experts in image locations of attraction. Experts seem to focus their attention on smaller image parts whereas non-experts used wider parts of the image during their search. Differences between experts and non-experts depend on the relative saliency of targets embedded in images. HMMs can determine the effect of expertise on exploratory eye movements executed during visual search tasks. Further research on HMMs and art expertise is required to confirm exploratory results. (shrink)

I argue that the key to understand many fundamental issues in philosophy of science lies in understanding the subtle relation between the non-empirical cognitive values used in science and the constraints imposed by measurability. In fact, although we are not able to fix the interpretation of a scientific theory through its formulation, I show that measurability puts constraints that can at least exclude some implausible interpretations. This turns out to be enough to define at least one cognitive value (...) that is able to penalize, without damages, precisely those bad features that deceive purely empirical assessments. This leads to the formulation of a simple model of scientific progress, that is based only on empirical accuracy and conciseness. The model is confronted here with many possible objections and with challenging cases of real progress. Although I cannot exclude that the model might be incomplete, it includes all the cases of genuine progress examined here, and no spurious one. In this model, I stress the role of the state of the art, which is the collection of all the theories that are the only legitimate source of scientific predictions. Progress is a global upgrade of the state of the art. (shrink)

To solve the financing problem of the food producers, we consider a two-echelon contract food supply chain composed of a family farm with capital constraints and a food processing enterprise. With no capital constraints as the benchmark model, we analyze optimal decisions of the family farm and the food processing enterprise in the case of bank financing with bank participation only and bank financing with “government, bank, and insurance” coparticipation. Then, we discuss how the risk of yield (...) uncertainty influences the optimal decisions and profits of the family farm and the food processing enterprise under different financing situation. Meanwhile, the reason why the government subsidizes agriculture is explored, and the policy of minimum purchase price of the food is initiated when the market price is too low. Finally, the numerical examples and sensitivity analysis are presented. The results show that the bank financing with “government, bank, and insurance” coparticipation improves the welfare of supply chain members more obviously than the bank financing with bank participation only; when the rice price is too low, the policy of minimum purchase price of food is initiated, which increases the revenue and the growing enthusiasm of the family farm; the profits of the family farm and the food processing enterprise will decrease as the risk of yield uncertainty increases in the case of bank financing, and the risk of yield uncertainty will be reduced for the family farm when bank financing with “government, bank, and insurance” coparticipation. (shrink)

The gravitational equations were derived in general relativity using the assumption of their covariance relative to arbitrary transformations of coordinates. It has been repeatedly expressed an opinion over the past century that such equality of all coordinate systems may not correspond to reality. Nevertheless, no actual verification of the necessity of this assumption has been made to date. The paper proposes a theory of gravity with a constraint, the degenerate variants of which are general relativity and the unimodular theory of (...) gravity. This constraint is interpreted from a physical point of view as a sufficient condition for the adiabaticity of the process of the evolution of the space–time metric. The original equations of the theory of gravity with the constraint are formulated. On this basis, a unified model of the evolution of the modern, early, and very early Universe is constructed that is consistent with the observational astronomical data but does not require the hypotheses of the existence of dark energy, dark matter or inflatons. It is claimed that: physical time is anisotropic, the gravitational field is the main source of energy of the Universe, the maximum global energy density in the Universe was 64 orders of magnitude smaller the Planckian one, and the entropy density is 18 orders of magnitude higher the value predicted by GR. The value of the relative density of neutrinos at the present time and the maximum temperature of matter in the early Universe are calculated. The wave equation of the gravitational field is formulated, its solution is found, and the nonstationary wave function of the very early Universe is constructed. It is shown that the birth of the Universe was random. (shrink)

Voluntariness of consent to research has not been sufficiently explored through empirical research. The aims of this study were to develop a more comprehensive approach to assessing voluntariness and to generate preliminary data on the extent and correlates of limitations on voluntariness. We developed a questionnaire to evaluate subjects’ reported motivations and constraints on voluntariness. 88 subjects in five different areas of clinical research—substance abuse, cancer, HIV, interventional cardiology, and depression—were assessed. Subjects reported a variety of motivations for participation. (...) Offers of financial incentives were common but not influential, pressures from others were rare, and no threats were reported. However, certain financial incentives and—paradoxically—altruistic motivations led some subjects to feel more constrained. Consistent with previous studies, no one pattern of motivation was common to all research subjects. There was little evidence of constrained voluntariness, but some suggestion of areas of concern. Voluntariness appears to be susceptible to systematic empirical investigation. (shrink)

One of the main motivations for having a compositional semantics is the account of the productivity of natural languages. Formal languages are often part of the account of productivity, i.e., of how beings with finite capaci- ties are able to produce and understand a potentially infinite number of sen- tences, by offering a model of this process. This account of productivity con- sists in the generation of proofs in a formal system, that is taken to represent the way speakers (...) grasp the meaning of an indefinite number of sentences. The informational basis is restricted to what is represented in the lexicon. This constraint is considered as a requirement for the account of productivity, or at least of an important feature of productivity, namely, that we can grasp auto- matically the meaning of a huge number of complex expressions, far beyond what can be memorized. However, empirical results in psycholinguistics, and especially particular patterns of ERP, show that the brain integrates informa- tion of different sources very fast, without any felt effort on the part of the speaker. This shows that formal procedures do not explain productivity. How- ever, formal models are still useful in the account of how we get at the seman- tic value of a complex expression, once we have the meanings of its parts, even if there is no formal explanation of how we get at those meanings. A practice-oriented view of modeling gives an adequate interpretation of this re- sult: formal compositional semantics may be a useful model for some ex- planatory purposes concerning natural languages, without being a good model for dealing with other explananda. (shrink)

In our 1993 paper, “A Critical Look,‘ Elliott Sober and I concluded that the famous claim about model formulation and constraints made by Richard Levins in his influential 1966 article on model building in population biology is neither true nor normative. Here, I comment upon the claim of Odenbaugh that the conclusions of “A Critical Look‘ are incorrect. My conclusions remain that Levins’ claim about the tradeoff between model properties lacks logical coherence, generates an arbitrary (...) class='Hi'>model classification, and lacks normative utility. Accordingly, I view his claim as providing no useful insight into the nature of models and model building in population biology. (shrink)

Many authors agree that there is a dimension of conflict expressed through discourse that eludes purely semantic approaches. How and why do conative attitudes conflict? The latter question is the object of this paper. Conflicts of attitudes are typically modelled on one of two models. The first imposes a Subjective Rationality constraint on conflicting attitudes, and the second depends on the impossibility of Joint Satisfaction. This paper assesses whether either of the two conditions can account for conflicting attitudes. First, it (...) argues that Subjective Rationality cannot account for intersubjective conflicts. Second, it presents putative counterexamples to Joint Satisfaction. The counterexamples arise on the assumption that the attitudes are first personal. The paper then explores two alternatives: nihilism about attitudinal conflicts, and dropping the assumption that the relevant attitudes are first-personal states. Embracing nihilism would be devastating for expressivists and other non-cognitivists. But dropping the assumption on which the counterexamples to Satisfaction depend requires a new account of the conative attitudes expressed in value discourse. The paper concludes by pointing to an alternative. (shrink)

Violations of Bell's Inequality can only be reliably produced if some information about the apparatus setting on one wing is available on the other, requiring superluminal information transmission. In this paper I inquire into the minimum amount of information needed to generate quantum statistics for correlated photons. Reflection on informational constraints clarifies the significance of Fine's Prism models, and allows the construction of several models more powerful than Fine's. These models are more efficient than Fine claims to be possible (...) and work for the full range of possible analyzer settings. It also demonstrates that the division of theories into those that violate parameter independence and those that violate outcome independence sheds no light on the question of superluminal information transmission. (shrink)

Chat Generative Pre-Trained Transformer (ChatGPT) has been a growing point of interest in medical education yet has not been assessed in the field of bioethics. This study evaluated the accuracy of ChatGPT-3.5 (April 2023 version) in answering text-based, multiple choice bioethics questions at the level of US third-year and fourth-year medical students. A total of 114 bioethical questions were identified from the widely utilised question banks UWorld and AMBOSS. Accuracy, bioethical categories, difficulty levels, specialty data, error analysis and character count (...) were analysed. We found that ChatGPT had an accuracy of 59.6%, with greater accuracy in topics surrounding death and patient–physician relationships and performed poorly on questions pertaining to informed consent. Of all the specialties, it performed best in paediatrics. Yet, certain specialties and bioethical categories were under-represented. Among the errors made, it tended towards content errors and application errors. There were no significant associations between character count and accuracy. Nevertheless, this investigation contributes to the ongoing dialogue on artificial intelligence’s (AI) role in healthcare and medical education, advocating for further research to fully understand AI systems’ capabilities and constraints in the nuanced field of medical bioethics. (shrink)

This thesis consists in six articles and a comprehensive summary. • The pourpose of the summary is to introduce the AGM theory of belief change and to exemplify the diversity and significance of the research that has been inspired by the AGM article in the last 25 years. The research areas associated with AGM was divided in three parts: criticisms, where we discussed some of the more common criticisms of AGM. Extensions where the most common extensions and variations of AGM (...) are presented and applications where we provided an overview of applications and connections with other areas of research. • Article I elaborates on the connection between partial meet contractions [AGM85] and kernel contractions [Han94a] in belief change theory. Also both functions are equivalent in belief sets, there are notequivalent in belief bases. A way to define incision functions from selection functions and vice versa is presented. It is explained under which conditions there are exact correspondences between selection and incision functions so that the same contraction operations can be obtained by using either of them. • Article II proposes an axiomatic characterization for ensconcement-based contraction functions, belief base functions proposed byWilliams and relates this function with other kinds of base contraction functions. • Article III adapts the Fermé and Hansson model of Shielded Contraction [FH01] as well as Hansson et all Credibility-Limited Revision [HFCF01] for belief bases, to join two of the many variations of the AGM model [AGM85], i.e. those in which knowledge is represented through belief bases instead of logic theories, and those in which the object of the epistemic change does not get the priority over the existing information as it is the case in the AGM model. • Article IV introduces revision by comparison a refined method for changing beliefs by specifying constraints on the relative plausibility of propositions. Like the earlier belief revision models, the method proposed is a qualitative one, in the sense that no numbers are needed in order to specify the posterior plausibility of the new information. The method uses reference beliefs in order to determine the degree of entrenchment of the newly accepted piece of information. Two kinds of semantics for this idea are proposed and a logical characterization of the new model is given. • Article V focuses on the extension of AGM that allows change for a belief base by a set of sentences instead of a single sentence. In [FH94], Fuhrmann and Hansson presented an axiomatic for Multiple Contraction and a construction based on the AGM Partial Meet Contraction. This essay proposes for their model another way to construct functions: Multiple Kernel Contraction, that is a modification of Kernel Contraction,proposed by Hansson [Han94a] to construct classical AGM contractions and belief base contractions. • Article VI relates AGM model with the DFT model proposed by Carlos Alchourrón [Alc93]. Alchourrón devoted his last years to the analysis of the notion of defeasible conditionalization. His definition of the defeasible conditional is given in terms of strict implication operator and a modal operator f which is interpreted as a revision function at the language level. This essay points out that this underlying revision function is more general than AGM revision. In addition, a complete characterization of that more general kind of revision that permits to unify models of revision given by other authors is given. (shrink)

Assuming that the vehicle of imaginal thought is a spatial model may not be quite as egregious an error as assuming it is a two-dimensional picture, but it represents no less a reification error. Because the model is not a literal physical layout, one is still owed an explanation of why spatial properties hold in the model – whether because of architectural constraints or by stipulation. The difference is like the difference between explaining behavior from a (...) principle and predicting it by looking it up in a list. In the latter case no purpose is being served by calling it a mental model. (shrink)

Democratic societies find it difficult to reach consensus concerning principles for healthcare distribution in the face of resource constraints. At the same time the need for legitimacy of allocation decisions has been recognised. Against this background, the National Institute for Health and Clinical Excellence (NICE) aspires to meet the principles of procedural justice, specifically the conditions of accountability for reasonableness as espoused by Daniels and Sabin, that is, publicity, relevance, revisions and appeal, and enforcement. Although NICE has adopted a (...) highly standardised approach and continuously publishes key documents on its website, its technology appraisal programme does not fulfil the publicity condition of accountability for reasonableness. Economic models are not made sufficiently transparent to enable public scrutiny, and decision criteria other than cost-effectiveness remain enigmatic. NICE’s reliance on cost-utility analysis and “plausible” cost-per-quality-adjusted life year (QALY) benchmarks further raises serious issues with regard to the relevance condition of accountability for reasonableness. This is illustrated by counterintuitive cost-per-QALY rankings that are difficult to justify using reflective equilibrium methods, and by the current debate surrounding expensive therapies for rare diseases (“orphan” treatments). In addition, an excessive focus on QALYs may stand in the way of exploiting the best available effectiveness evidence. The NICE mechanism for revision and appeals is also more restrictive than provided in accountability for reasonableness. As to the enforcement condition, no effective quality assurance processes are in place for technology assessments, and implementation of guidance remains imperfect. NICE, despite impressive efforts, appears to have a long way to go before meeting the conditions of accountability for reasonableness. (shrink)

Kinematic properties of reaching movements reflect constraints imposed on the joint angles. Contemporary models present solutions to the redundancy problem by a pseudoinverse procedure (Whitney 1969) or without any inversion (Berkenblit et al. 1986). Feldman & Levin suggest a procedure based on a regular inversion. These procedures are considered as an outcome of a more general approach.

The topic of the paper is at the intersection of recent debates on de se thought and phenomenal intentionality. An interesting problem for phenomenal intentionality is the question of how to account for the intentional properties of de se thought-contents---i.e., thoughts about oneself as oneself. Here, I aim to describe and consider the significance of a phenomenological perspective on self-consciousness in its application to de se thought. I argue that having de se thoughts can be explained in terms of the (...) ways that subjects consciously attend to themselves in experiences of thinking. Therefore, a strong form of first-person persectivalness, in which the subject is capable of self-directed control of the focus of conscious attention, is required for de se thought. But no constraints on the semantic content of such thoughts are required. The outcome of the question therefore bears importantly on both on the problem of self-reflexive self-reference and the wider problem of self-consciousness. My model suggests phenomenologically-derived conceptual constraints for the extension of minimal, background forms of self-awareness to robust, cognitive forms of self-awareness that have been of interest in recent empirical studies on self-consciousness. The framework therefore provides a way of operationalizing the concept of self-reflexive consciousness by deploying widely deployed notions from the empirical literature such as attention and minimal phenomenal selfhood, enabling a framework for empirically falsifiable hypotheses about the neural mechanisms underlying the structure of self-consciousness. What Is it Like to Think about Oneself? De Se Thought and Phenomenal Intentionality. (shrink)

Scientists can choose different claims as interpretations of the results of their research. Scientific rhetoric is understood as the attempt to make those claims most beneficial for the scientists' interests. A rational choice, game-theoretic model is developed to analyze how this choice can be made and to assess it from a normative point of view. The main conclusion is that `social' interests (pursuit of recognition) may conflict with `cognitive' ones when no constraints are put on the choices of (...) the authors of scientific papers, as in an `ideal free speech situation'. Scientific institutions may help to solve this conflict. Lastly, some empirical predictions are offered that can inspire future social research of the refereeing process. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 39.3 (2001) 351-383 [Access article in PDF] Hume's Pyrrhonian Skepticism and the Belief in Causal Laws Graciela De Pierris Hume endorses in no uncertain terms the normative use of causal reasoning. The most striking example of this commitment is Hume's argument in the Enquiry against the possibility of miracles. The argument sanctions, in particular, the use of scientific reflection on uniform experience issuing (...) in causal laws of nature (E 114): "A miracle is a violation of the laws of nature; and as a firm and unalterable experience has established these laws, the proof against a miracle, from the very nature of the fact, is as entire as any argument from experience can possibly be imagined." 1 These words should give us pause; for how can Hume so confidently say, after his skeptical conclusions concerning our causal beliefs, that "a firm and unalterable experience has established" the laws of nature, and that we can therefore produce "proofs" against miracles? The Treatise gives rise to the same puzzle. In this text, too, Hume confidently prescribes methodical reflection based on causal reasoning. For example, in Book One, Part Three, Section Fifteen, Hume offers eight "Rules by which to judge of causes and effects." These rules are more than descriptions of our natural causal inferences. They are meant to guide us in making better causal inferences; in Hume's words they "ought to regulate" our probable reasoning since (T 149): "by them we learn to distinguish the accidental circumstances from the efficacious causes." 2Moreover, Hume consistently takes Newtonian science as a model for the proper employment of causal inferences in inquiries into matters of fact and, [End Page 351] in particular, as a model to be followed in his own science of human nature. 3 This paradigm of what the science of nature ought to be is understood by Hume as an inductive, experimental inquiry. 4 In the Enquiry, for example, Hume uses the label "sciences" for "politics, natural philosophy, physic, chemistry, &c." and in the preceding discussion argues that these sciences are not a priori but are based on causal reasoning (E 164-165). Thus, there are for Hume inquiries into matters of fact and existence that amount to more than blindly following natural propensities and habit. The sciences and many of our causal inferences in common life involve more than mere belief as a sentiment. They involve, in addition, careful reflection that results in improved causal inferences and thus provides normative standards. Yet, in thus upholding the normative use of causal reasoning in science and in everyday life, Hume appears to contradict his own radical skeptical conclusions concerning our knowledge of causation and induction. I here propose a novel way to resolve this puzzle.To acknowledge the existence of a puzzle, however, amounts to accepting the now controversial view that Hume provides, and takes at face value, a radical skeptical argument concerning our knowledge of causation and induction. 5 Moreover, the attempt to resolve this puzzle involves rejecting the suggestion [End Page 352] that Hume, without awareness or concern, happily holds flatly inconsistent views. 6 It also goes against the more sophisticated suggestion that Hume lightly alternates among different psychological moods, or perhaps different perspectives, which might eventually issue in results that contradict each other but are sufficiently localized so as to prevent serious conflict. Such a view might lead us to conceive Hume's texts as an unstructured and arbitrary patchwork of reflections, driven by different psychological moods or by the embellishments of a radiant literary style. This kind of reading is unacceptable as an interpretative tool, however, as H. J. Paton has acutely noted in his criticism of the patchwork interpretation of Kant's Critique of Pure Reason. 7 For such a reading would place no constraints at all on the task of establishing which parts of Hume's text belong to which moods or perspectives. The suggestion that Hume offers an unstructured patchwork of reflections masks the novel and systematic distinction Hume draws between his radical philosophical... (shrink)

The topic of the paper is at the intersection of recent debates on de se thought and phenomenal intentionality. An interesting problem for phenomenal intentionality is the question of how to account for the intentional properties of de se thought-contents---i.e., thoughts about oneself as oneself. Here, I aim to describe and consider the significance of a phenomenological perspective on self-consciousness in its application to de se thought. I argue that having de se thoughts can be explained in terms of the (...) ways that subjects consciously attend to themselves in experiences of thinking. Therefore, a strong form of first-person persectivalness, in which the subject is capable of self-directed control of the focus of conscious attention, is required for de se thought. But no constraints on the semantic content of such thoughts are required. The outcome of the question therefore bears importantly on both on the problem of self-reflexive self-reference and the wider problem of self-consciousness. My model suggests phenomenologically-derived conceptual constraints for the extension of minimal, background forms of self-awareness to robust, cognitive forms of self-awareness that have been of interest in recent empirical studies on self-consciousness. The framework therefore provides a way of operationalizing the concept of self-reflexive consciousness by deploying widely deployed notions from the empirical literature such as attention and minimal phenomenal selfhood, enabling a framework for empirically falsifiable hypotheses about the neural mechanisms underlying the structure of self-consciousness. What Is it Like to Think about Oneself? De Se Thought and Phenomenal Intentionality. (shrink)

Lately, a clamor can be heard, announcing that disinterested inquiry is neither possible nor desirable, that so-called “knowledge” is nothing but an expression of power, and that the concepts of evidence, objectivity, truth, are mere “ideological humbug” (p. 93). Thus, according to Richard Rorty, the champion of relativism, to call a statement true “is just to give it a rhetorical pat on the back” (p. 7), and “there are no constraints on inquiry save conversational ones” (p. 44). Similarly, for (...) Sandra Harding, a leading feminist, scientific work is best begun by “thinking from women's lives” (p. 116) and “the model…. (shrink)

The aim of the study was to determine how the health of people living with Human Immunodeficiency Virus (HIV) and Acquired Immunodeficiency Syndrome (AIDS) is affected by social and structural factors conducive to non-adherence to antiretroviral treatment. In a qualitative study conducted at Victoria Hospital in Alice, a town in the Eastern Cape, South Africa, 23 isiXhosa-speaking participants (including both men and women) between the ages of 18 and 60 years were interviewed. Guided by the social-ecological framework of Bronfenbrenner (1979), (...) which is based on the notion that the health-seeking behaviour of people living with HIV/AIDS (PLWHA) is influenced by their social, institutional and physical environments, the analysis of the data identified the following themes conducive to non-adherence to antiretroviral treatment: food insecurity, financial constraints, poor service from health workers, unfair dismissal, fear of the consequences of disclosure, and rejection by church members. Based on these findings, and given that there is no single model of best practice that can appropriately address the various social and structural factors complicating the treatment of HIV/AIDS and hence the containing of the pandemic, the study suggests the need for not only supportive community initiatives, but a collaborative approach at both local and national level, and particularly in impoverished communities, by the appropriate departments of state to promote adherence to anti-retroviral treatment by making treatment and counselling facilities more accessible to PLWHA and educating communities about the implications and prevention of the disease. (shrink)

No semantic theory satisfying certain natural constraints can identify the semantic contents of sentences (the propositions they express), with sets of circumstances in which the sentences are true–no matter how fine-grained the circumstances are taken to be. An objection to the proof is shown to fail by virtue of conflating model-theoretic consequence between sentences with truth-conditional consequence between the semantic contents of sentences. The error underlines the impotence of distinguishing semantics, in the sense of a truth-based theory of (...) logical consequence, and semantics, in the sense of a theory of meaning. (shrink)

Computational methods such as computer simulations, Monte Carlo methods, and agent-based modeling have become the dominant techniques in many areas of science. Extending Ourselves contains the first systematic philosophical account of these new methods, and how they require a different approach to scientific method. Paul Humphreys draws a parallel between the ways in which such computational methods have enhanced our abilities to mathematically model the world, and the more familiar ways in which scientific instruments have expanded our access to (...) the empirical world. This expansion forms the basis for a new kind of empiricism, better suited to the needs of science than the older anthropocentric forms of empiricism. Human abilities are no longer the ultimate standard of epistemological correctness.Humphreys also includes arguments for the primacy of properties rather than objects, the need to consider technological constraints when appraising scientific methods, and a detailed account of how the path from computational template to scientific application is constructed. This last feature allows us to hold a form of selective realism in which anti-realist arguments based on formal reconstructions of theories can be avoided. One important consequence of the rise of computational methods is that the traditional organization of the sciences is being replaced by an organization founded on computational templates.Extending Ourselves will be of interest to philosophers of science, epistemologists, and to anyone interested in the role played by computers in modern science. (shrink)

Since it was first proposed by Moses, Shoham, and Tennenholtz, the social laws paradigm has proved to be one of the most compelling approaches to the offline coordination of multiagent systems. In this paper, we make four key contributions to the theory and practice of social laws in multiagent systems. First, we show that the Alternating-time Temporal Logic (atl) of Alur, Henzinger, and Kupferman provides an elegant and powerful framework within which to express and understand social laws for multiagent systems. (...) Second, we show that the effectiveness, feasibility, and synthesis problems for social laws may naturally be framed as atl model checking problems, and that as a consequence, existing atl model checkers may be applied to these problems. Third, we show that the complexity of the feasibility problem in our framework is no more complex in the general case than that of the corresponding problem in the Shoham–Tennenholtz framework (it is np-complete). Finally, we show how our basic framework can easily be extended to permit social laws in which constraints on the legality or otherwise of some action may be explicitly required. We illustrate the concepts and techniques developed by means of a running example. (shrink)

There is no doubt that the model presented here is incomplete. Many important categories, particularly negation and the adverbials, have been entirely ignored, and the treatment of Tense and the affixes is certainly inadequate. It also remains to be seen how the many constructions that have been ignored here are to be accommodated within the framework that has been outlined. However, the fact that a standard categorial lexicon, plus the four rule schemata, seems to come close to exhaustively specifying (...) the main clause constructions of English, and also seems to explain a number of major constraints on transformations, encourages us to compare the theory with certain alternatives, and to examine its broader implications. (shrink)

A tight connection between competence and performance is a central tenet of the usage-based model. Methodologically, however, corpus frequency is a poor predictor of acceptability – a phenomenon known as the “frequency/acceptability mismatch”. This article argues that the mismatch arises from a “methodological mismatch”, when simple frequency measures are mapped onto complex grammatical units. To illustrate, we discuss the results of acceptability judgments of go/come-v. The construction is subject to a formal constraint (Go see the doctor! vs. *He goes (...) sees the doctor), which results from its mandative semantics (directives, commissives). While a formal model makes no prediction with regard to gradient acceptability of bare (“grammatical”) go/come-v, the usage-based view assumes that acceptability is a function of compatibility with an abstract schema. The experimental ratings are compared with a number of corpus-derived measures: while acceptability is largely independent of (raw) frequency, it is not independent of frequency-related usage distribution. The results add to recent suggestions that the frequency/acceptability mismatch is substantially reduced if the syntactic complexity of a unit is appropriately captured in usage data. (shrink)