The ‘death of evidence’ issue in Canada raises the spectre of politicized science, and thus the question of what role social values may have in science and how this meshes with objectivity and evidence. I first criticize philosophical accounts that have to separate different steps of research to restrict the influence of social and other non-epistemic values. A prominent account that social values may play a role even in the context of theory acceptance is the argument from inductive risk. It (...) maintains that the more severe the social consequences of erroneously accepting a theory would be, the more evidence is needed before the theory may be accepted. However, an implication of this position is that increasing evidence makes the impact of social values converge to zero; and I argue for a stronger role for social values. On this position, social values may determine a theory’s conditions of adequacy, which among other things can include co.. (shrink)

David Lewis's modal realism claims that nothing can exist in more than one world or time, and that statements about how something would have been are to be analysed in terms of its counterpart. I first explain why the counterpart relation depends on de re modal statements in an intensional language, so that intuitive properties of similarity relations cannot be used to show that the counterpart relation is not an equivalence relation. I then look at test sentences in (the intensional) (...) natural language, and show that none of them provide compelling evidence that a counterpart semantics is needed. (shrink)

A definition of elementary interpretation, equivalent (up to isomorphisms) to the ones of [3] and [4], is given. The defining condition, used here, seems to confirm that intuitions agree with the choice of the class of elementary interpretations, which was done in [3].

Several standard conditions of adequacy for confirmation are considered and a conclusion of B. Skyrms regarding the converse-consequence condition is shown to be mistaken. Widely accepted conditions such as the entailment condition and the special consequence condition are shown to be open to counterexample, and confusion about these conditions is traced to confusion about the difference between two kinds of confirmation concepts--concepts of firmness and concepts of increase in firmness. The importance of concepts of the latter (...) sort is stressed. Finally, some suggestions are offered relating to the notion of selective confirmation. (shrink)

Our purpose in this paper is to contribute to the project of meta-theodicy, understood here as the elucidation of the concept of theodicy through the analysis of its adequacy. In our case, the analysis shall be made inside a framework including a taxonomical view of the theodical adequacy conditions which allows for a rigorously acceptable description of them as well as for a natural appraisal of the role, importance and intra-logical relations holding between them. The result of (...) the analysis shall be used to introduce definitions minimally precise of the notions of theodicy, satisfactory theodicy, plausible theodicy, ideal theodicy, and the like. (shrink)

An understanding of the functional repertoire of neural circuits and their plasticity requires knowledge of neural connectivity diagrams and their dynamical evolution. However, one must additionally take into account the fast and reversible functional effects induced by neuromodulatory mechanisms which do not alter neural circuit diagrams. Neuromodulators contribute crucially to determine the performativity of a neural circuit, that is, its ability to change behavior, and especially behavioral changes occurring under temporal constraints that are incompatible with the longer time scales of (...) Hebbian learning and other forms of neural learning. This paper focuses on two properties of neuromodulatory action that have been relatively neglected so far. These properties are the functional soundness of neuromodulated circuits and the robustness of neuromodulatory action. Both properties are analyzed here as sources of functional specifications for the computational modeling of neural circuit performativity. In particular, taking dynamical systems that are based on CTRNNs as an exemplary class of computational models, it is argued that robustness is suitably modeled there by means of a hysteresis process, and functional soundness by means of a multiplicity of stable fixed points. (shrink)

All definitions of mental disorder are backed up by arguments that rely on general criteria (e.g., that a definition should be consistent with ordinary language). These desiderata are rarely explicitly stated, and there has been no systematic discussion of how different definitions should be assessed. To arrive at a well-founded list of desiderata, we need to know the purpose of a definition. I argue that this purpose must be practical; it should, for example, help us determine who is entitled to (...) publicly funded health care. I then propose eight conditions of adequacy that can be used to assess competing definitions (e.g., the ordinary language condition, the coherence condition, and the condition of normative adequacy). These conditions pull in different directions, however, and we must decide which are most important. I also suggest that there is no single definition that can help us deal with all the relevant practical issues. (shrink)

Is truth a condition of premise adequacy? We may distinguish objective and subjective argument correctness. Objective correctness means true premises rendering the conclusion true or probable. Subjective correctness means acceptable pr emises rendering the conclusion acceptable. Acceptability depends on evidence available and so is internalist. Objective and subjective correctness of the premises is ordinarily distinct. For connection adequacy, objective rightness and subjective righ tness coincide. We recognize entailment or rendering probably a priori. Logic is thus internalist. Logic needs (...) an internalist notion of acceptability for premise evaluation to fall within its purview, although it need not deny the objective sens e of rightness. (shrink)

This essay provides evidence to support a promising conceptual and potentially practical set of ideas at once both principled and effective found in the work of Max Weber and Alfred Schutz addressed to the issue of ‘adequacy’ as a goal in social research. Efforts to achieve adequacy beyond the epistemological conditions required by Weber’s demand that evidence meet both causal adequacy and adequacy on the level of meaning were significantly refocused by Schutz’s later concern, responding (...) specifically to Weber, that the social sciences also address themselves to his postulate of adequacy. It states that “Each term used in a scientific system referring to human action must be so constructed that a human act performed within the life-world by an individual actor in the way indicated by the typical construction would be reasonable and understandable for the actor himself, as well as for his fellow men”. A serious attempt to implement a more expansive notion of adequacy by practically activating this postulate in the ways suggested can be beneficial not only for the social research situation but in everyday life as well. (shrink)

Structural realism has been proposed as an epistemological position interpolating between realism and sceptical anti-realism about scientific theories. The structural realist who accepts a scientific theory thinks that is empirically correct, and furthermore is a realist about the ‘structural content’ of . But what exactly is ‘structural content’? One proposal is that the ‘structural content’ of a scientific theory may be associated with its Ramsey sentence (). However, Demopoulos and Friedman have argued, using ideas drawn from Newman's earlier criticism of (...) Russell's structuralism, that this move fails to achieve an interesting intermediate position between realism and anti-realism. Rather, () adds little content beyond the instrumentalistically acceptable claim that the theory is empirically adequate. Here, I formulate carefully the crucial claim of Demopoulos and Friedman, and show that the Ramsey sentence () is true just in case possesses a full model which is empirically correct and satisfies a certain cardinality condition on its theoretical domain. This suggests that structural realism is not a position significantly different from the anti-realism it attempts to distinguish itself from. Introduction Technical framework Ramsification Empirical adequacy Ramsification empirical adequacy + cardinality constraint Conclusion. (shrink)

In order to judge whether a theory is empirically adequate one must have epistemic access to reliable records of past measurement results that can be compared against the predictions of the theory. Some formulations of quantum mechanics fail to satisfy this condition. The standard theory without the collapse postulate is an example. Bell's reading of Everett's relative-state formulation is another. Furthermore, there are formulations of quantum mechanics that only satisfy this condition for a special class of observers, formulations whose empirical (...) adequacy could only be judged by an observer who records her measurement results in a special way. Bohm's theory is an example. It is possible to formulate hidden-variable theories that do not suffer from such a restriction, but these encounter other problems. (shrink)

Elizabeth Anderson and Debra Satz continue in the tradition of Plato with their work on the role of education in a just society. Both argue that a just society depends on education enabling citizens to realize democratic or civic equality and that this equality depends on sufficiency in the distribution of educational goods. I agree that education is important to preparing democratic citizens, but I disagree about the plausibility of sufficiency here, especially in the educational context. My argument is two‐fold: (...) I first reconsider a generic positional goods objection to educational inequality, I then argue that plausible sufficientarian replies to this objection fail insofar as they are premised on an impoverished conception of class and power that treats all statuses more like socio‐cultural traits when they should instead be referencing the material conditions someone has inside a social structure. One cannot bring an individual X into the halls of power and simultaneously have X represent or compensate those who are presently disadvantaged in the way that X had formerly been disadvantaged. In short, we should worry about the realistic possibility of securing and sustaining a civic‐minded elite because elites have the power and motivation to enrich themselves at the expense of the rest of us. For the sufficientarian story to work, we need more that explains the realistic possibility of a benevolent ruling elite, until then, democratic equality seems to be better realized by aiming for equal educations, adequacy isn't enough. (shrink)

This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. Our approach is to view such models as full subcategories of categorical models of intuitionistic set theory. It is shown that the existence of solutions to recursive domain equations depends upon the strength of the set theory. We observe that the internal set theory of an elementary topos is not strong enough to guarantee their existence. In contrast, (...) as our first main result, we establish that solutions to recursive domain equations do exist when the category of sets is a model of full intuitionistic Zermelo–Fraenkel set theory. We then apply this result to obtain a denotational interpretation of FPC, a recursively typed lambda-calculus with call-by-value operational semantics. By exploiting the intuitionistic logic of the ambient model of intuitionistic set theory, we analyse the relationship between operational and denotational semantics. We first prove an “internal” computational adequacy theorem: the model always believes that the operational and denotational notions of termination agree. This allows us to identify, as our second main result, a necessary and sufficient condition for genuine “external” computational adequacy to hold, i.e. for the operational and denotational notions of termination to coincide in the real world. The condition is formulated as a simple property of the internal logic, related to the logical notion of 1-consistency. We provide useful sufficient conditions for establishing that the logical property holds in practice. Finally, we outline how the methods of the paper may be applied to concrete models of FPC. In doing so, we obtain computational adequacy results for an extensive range of realizability and domain-theoretic models. (shrink)

The paper concentrates on the problem of adequate reflection of fragments of reality via expressions of language and inter-subjective knowledge about these fragments, called here, in brief, language adequacy. This problem is formulated in several aspects, the most being: the compatibility of language syntax with its bi-level semantics: intensional and extensional. In this paper, various aspects of language adequacy find their logical explication on the ground of the formal-logical theory T of any categorial language L generated by the (...) so-called classical categorial grammar, and also on the ground of its extension to the bi-level, intensional and extensional semantic-pragmatic theory ST for L. In T, according to the token-type distinction of Ch.S. Peirce, L is characterized first as a language of well-formed expression-tokens (wfe-tokens) - material, concrete objects - and then as a language of wfe-types - abstract objects, classes of wfe-tokens. In ST the semantic-pragmatic notions of meaning and interpretation for wfe-types of L of intensional semantics and the notion of denotation of extensional semanics for wfe-types and constituents of knowledge are formalized. These notions allow formulating a postulate (an axiom of categorial adequacy) from which follow all the most important conditions of the language adequacy, including the above, and a structural one connected with three principles of compositionality. (shrink)

In his book, The Scientific Image, Bas van Fraassen argues for an anti-realist view of science according to which the sole epistemological aim of science is to "save the phenomena". As originally conceived, his constructive empiricism is strongly extensional, but in his account of the empirical adequacy of probabilistic theories, van Fraassen reluctantly abandons this extensional position, arguing that modal (intensional) notions are unavoidable in interpreting probability. I argue in this paper that van Fraassen has not presented the strongest (...) possible case for a fully extensional account of empirical adequacy. On the present account, a probabilistic theory is empirically adequate just in case there is no theory that has a higher likelihood relative to all the phenomena in the actual world. I prove that a theory is empirically adequate if and only if the probability attributed to each observable event that occurs in the actual world is its limiting relative frequency. Thus, in so far as one is concerned with the empirical adequacy (rather than with the literal truth) of probabilistic theories, strict relative frequencies provide an adequate basis for "interpreting probability". Probabilistic theories are treated in a genuine measurement context. In this connection I distinguish between worlds that are "strongly infinite" and worlds that are only "weakly infinite". It is characteristic of the former worlds that there is no limit to the precision of actual measurements. I show by example that in some "strongly infinite" worlds, theories will be empirically adequate only if observables are represented by continuous (rather than discrete) random variables. The range of such examples is clarified by a theorem which states necessary and sufficient conditions under which the "phenomena can be saved" without recourse to continuous random variables and real numbers. (shrink)

Trust is often perceived as having great value. For example, there is a strong belief that trust will bring different sorts of public goods and help us preserve common resources. A related concept which is just as important, but perhaps not explicitly discussed to the same extent as “trust”, is “reliance” or “confidence”. To be able to rely on some agent is often seen as a prerequisite for being able to trust this agent. Up to now, the conceptual discussion about (...) the definition of trust and reliance has been rational in the sense that most people involved have offered arguments for their respective views, or against competing views. While these arguments rely on some criterion or other, these criteria are rarely explicitly stated, and to our knowledge, no systematic account of such criteria has been offered. In this paper we give an account of what criteria we should use to assess tentative definitions of “trust” and “reliance”. We will also offer our own well-founded definitions of “trust” and “reliance”. Trust should be regarded as a kind of reliance and we defend what we call “the accountability view” of trust, by appealing to the desiderata we identify in the first parts of the paper. (shrink)

From a logical point of view, identity criteria should mirror the identity relation in being reflexive, symmetrical, and transitive. However, the relation representing the identity condition fails to be transitive in many cases. We consider the proposals given so far to give logical adequacy to inadequate identity conditions. We focus on the most refined proposal and expand its formal framework by taking into account two further aspects that we consider essential in the formal treatment of identity criteria: contexts (...) and granular levels. (shrink)

In the present paper, I examine how Michael Devitt's proposal as to how to understand the notion of rigidity for general terms fares as regards what I have called the 'criterion of extensional adequacy' for any such notion -namely, the condition according to which any notion of general term rigidity should make the class of rigid terms coincide with that of natural kind terms. I try to show that Devitt's defense of his view from the usual objections raised in (...) the literature fails. In the first place, the proposal seems to overgeneralize, as terms such as 'television set' or 'table', would also be rigid appliers; as I try to show here, the arguments presented by Devitt in order to show that that is not the case are based on some alleged properties of those terms that are also true of some of the expressions he does consider as rigid. In the second place, the proposal also undergeneralizes; even though Devitt himself accepts that this is so, I try to show that his strategy to lessen the disappointment this causes also fails. En este trabajo examino el desempeño de la propuesta acerca de cómo entender la noción de rigidez para términos generales defendida por Michael Devitt respecto de lo que denomino el 'criterio de adecuación extensional' para una noción de rigidez -a saber, la condición según la cual una noción de rigidez para términos generales debería hacer coincidir la clase de términos rígidos con la clase de términos de género natural. Intento mostrar que las estrategias desplegadas por Devitt para defender su postura de las objeciones usuales no son exitosas. En primer lugar, la propuesta parece sobregeneralizar, dado que términos como 'televisor' o 'mesa' también serían aplicadores rígidos; en efecto, según intento defender aquí, los argumentos de Devitt tendientes a mostrar que no lo son se basan en supuestas características de estos términos que son igualmente válidas respecto de las expresiones que él considera rígidas. En segundo lugar, la propuesta también subgeneraliza; si bien Devitt acepta esto, hago notar que su estrategia para quitar dramatismo a este resultado también falla. (shrink)

Causal representations are distinguished from non-causal ones by their ability to predict the results of interventions. This widely-accepted view suggests the following adequacy condition for causal models: a causal model is adequate only if it does not contain variables regarding which it makes systematically false predictions about the results of interventions. Here I argue that this condition should be rejected. For a class of equilibrium systems, there will be two incompatible causal models depending on whether one intervenes upon a (...) certain variable to fix its value, or ‘lets go’ of the variable and allows it to vary. The latter model will fail to predict the result of interventions on the let-go-of variable. I argue that there is no basis for preferring one of these models to the other, and thus that models failing to predict interventions on particular variables can be just as adequate as those making no such false predictions. This undermines a key argument (Dash in Caveats for causal reasoning with equilibrium models. University of Pittsburgh. PhD thesis, 2003) against relying upon causal models inferred from equilibrium data. (shrink)

Causal representations are distinguished from non-causal ones by their ability to predict the results of interventions. This widely-accepted view suggests the following adequacy condition for causal models: a causal model is adequate only if it does not contain variables regarding which it makes systematically false predictions about the results of interventions. Here I argue that this condition should be rejected. For a class of equilibrium systems, there will be two incompatible causal models depending on whether one intervenes upon a (...) certain variable to fix its value, or ‘lets go’ of the variable and allows it to vary. The latter model will fail to predict the result of interventions on the let-go-of variable. I argue that there is no basis for preferring one of these models to the other, and thus that models failing to predict interventions on particular variables can be just as adequate as those making no such false predictions. This undermines a key argument against relying upon causal models inferred from equilibrium data. (shrink)

The paper discusses the concept of adequacy central for Pertażycki’s methodology. According to Petrażycki any valuable scientific theory should be adequate, that is, neither limping nor jumping. Consequently, adequacy of a theory is a stronger condition than its truth. Every adequacy theory is true, but not conversely. However, there is problem, because scientific laws are conditionals. This suggests that adequacy is too strong conditions, because the consequence of an implication has a wider scope than its (...) antecedent. Thus, laws should have the form of equivalence. The paper shows how model-theoretic characterization of theories allows to recognize truth and adequacy, consistently with Petrażycki’s claims. (shrink)

The European Union approach to data protection consists of assessing the adequacy of the data protection offered by the laws of a particular jurisdiction against a set of principles that includes purpose limitation, transparency, quality, proportionality, security, access, and rectification. The EU's Data Protection Directive sets conditions on the transfer of data to third countries by prohibiting Member States from transferring to such countries as have been deemed inadequate in terms of the data protection regimes. In theory, each (...) jurisdiction is evaluated similarly and must be found fully compliant with the EU's data protection principles to be considered adequate. In practice, the inconsistency with which these evaluations are made presents a hurdle to international data-sharing and makes difficult the integration of different data-sharing approaches; in the 20 years since the Directive was first adopted, the laws of only five countries from outside of the EU, Economic Area, or the European Free Trade Agreement have been deemed adequate to engage in data transfers without the need for further administrative safeguards. (shrink)

In this paper I make a contribution to three distinct, but deeply interwoven subjects. Firstly, I argue that, at the level of ideal theory, the distribution of educational goods should follow a sufficientarian pattern and that the evaluative space of children’s advantage should be inspired by the capability approach. Secondly, the paper is delving into the more policy-oriented debates on the desirability of school choice. I argue that, given the non-ideal circumstances in which decision makers have to act, giving parents (...) the opportunity to choose the school for their children is a sine qua non condition for even approaching the ideals of sufficientarian justice. Lastly, I move the discussion on more empirical grounds, advancing a criticism of the Romanian educational legislation. I argue that the sufficiency-constrained school choice system that I envision could solve some of the problems that the Romanian educational system faces today. (shrink)

International codes of corporate behavior have been proposed, discussed, negotiated, and promulgated by governments, transnational corporations, and inter-corporate associations over the past few decades. It is not clear that they have been resoundingly as successful in changing corporate behavior – particularly as to corruption and environmental protection – as have national government requirements imposed on foreign enterprises and their own officials. This article arrays the many attempts to structure cooperative action to re-order corporate behavior on several dimensions – restrictive business (...) practices, labor conditions, human rights, environmental production, and corruption. It then assesses the extent to which behavior has been changed and what techniques are more effective in making corporate behavior more ethical. (shrink)

Socrates recognizes a distinction between formal and material definitional conditions. In this dissertation, I concentrate on the material conditions rather than the formal ones for two reasons: Socrates allows a great deal of syntactic flexibility, and many answers he regards as formally adequate resist classification by contemporary standards. I argue that Socrates is committed to four material adequacy conditions in answers to "what is F-ness?" He is committed to the extensional equivalence condition, that the definiens picks (...) out all and only instances of the definiendum, the property sameness condition, that the definiens is a property identical to the definiendum, the explanation condition, that the definiens explains instances of the definiendum, and the semantic completeness condition, that statements about F-nesses involving evaluative predicates do not change their truth-value, regardless of context. (shrink)

Population axiology concerns how to evaluate populations in regard to their goodness, that is, how to order populations by the relations “is better than” and “is as good as”. This field has been riddled with impossibility results which seem to show that our considered beliefs are inconsistent in cases where the number of people and their welfare varies.1 All of these results have one thing in common, however. They all involve an adequacy condition that rules out Derek Parfit’s Repugnant (...) Conclusion: The Repugnant Conclusion: For any perfectly equal population with very high positive welfare, there is a population with very low positive welfare which is better, other things being equal.2 1 The informal Mere Addition Paradox in Parfit (1984), pp. 419ff is the locus classicus. For an informal proof of a similar result with stronger assumptions, see Ng (1989), p. 240. A formal proof with slightly stronger assumptions than Ng’s can be found in Blackorby and Donaldson (1991). For theorems with much weaker assumptions, see my (1999), (2000b), and especially (2000a), (2001), and (2009). 2 See Parfit (1984), p. 388. My formulation is more general than Parfit’s apart from that he doesn’t demand that the people with very high welfare are equally well off. Expressions such as “a population with very high positive welfare”, “a population with very low positive welfare”, etc., are elliptical for the more cumbersome phrases “a population consisting only of lives with.. (shrink)

Population axiology concerns how to evaluate populations in regard to their goodness, that is, how to order populations by the relations \is better than" and \is as good as". This eld has been riddled with para- doxes and impossibility results which seem to show that our considered beliefs are inconsistent in cases where the number of people and their welfare varies. All of these results have one thing in common, however. They all involve an adequacy condition that rules out (...) Derek Par t's Repugnant Conclusion. Moreover, some theorists have argued that we should accept the Repugnant Conclusion and hence that avoidance of this conclusion is not a convincing adequacy condition for a population axiology. As I shall show in this chapter, however, one can replace avoid- ance of the Repugnant Conclusion with a logically weaker and intuitively more convincing condition. The resulting theorem involves, to the best of my knowledge, logically weaker and intuitively more compelling con- ditions than the other theorems presented in the literature. As such, it challenges the very existence of a satisfactory population ethics. (shrink)

The prelims comprise: Adequacy Conditions Dretske and the Flow of Information Epistemic Optimality Teleology Asymmetric Dependence Conclusion Glossary of Key Technical Terms.

Preoperative informed consent is a legal and ethical requirement that ensures patients understand a procedure, its associated risks and benefits, alternative treatment options, and potential complications to make an informed decision about their care. This cross‐sectional study evaluated the informed consent process for major orthopaedic surgeries at a tertiary hospital in Nigeria. A self‐administered questionnaire was used to collect data from 120 adult participants. Results showed that many patients do not read the consent form before signing it, and surgeons do (...) not adequately explain the alternatives to surgery, potential risks, and available anaesthetic options. Higher‐educated patients are more likely to read the consent form. Surgeons performed well in explaining the nature of the condition and prognosis, the procedure's potential benefits, and answering patients' questions. The study emphasises the need to improve the informed consent process to ensure patients understand and can make rational decisions about their healthcare. (shrink)

Jan Österberg is one of the pioneers in the field of population ethics. He started thinking about this issue already in the late 60s and he has developed one of the most original and interesting population axiologies.1 I’ve discussed the problems and drawbacks of Österberg’s theory elsewhere, and I don’t think that this is the place and time to discuss them again.2 Rather, I shall show that Österberg’s theory has a feature in common with the population axiologies of such luminaries (...) like Plato, Aristotle, Kant, Nietzsche, Wittgenstein and Heidegger, had they developed such a theory: None of these theories simultaneously satisfy five weak adequacy conditions. We shall show this by proving that no population axiology satisfies these five conditions. As a fringe benefit, this theorem also shows that the on-going project of constructing an acceptable population axiology has very gloomy prospects. 3. (shrink)

Population axiology concerns how to evaluate populations in regard to their goodness, that is, how to order populations by the relations “is better than” and “is as good as”. This field has been riddled with “paradoxes” which seem to show that our considered beliefs are inconsistent in cases where the number of people and their welfare varies. Already in Derek Parfit’s seminal contribution to the topic, an informal paradox — the Mere Addition Paradox — was presented and later contributions have (...) proved similar results.1 All of these contributions, however, have one thing in common: They all involve an adequacy condition that rules out Parfit’s Repugnant Conclusion: The Repugnant Conclusion: For any perfectly equal population with very high positive welfare, there is a population with very low positive welfare which is better, other things being equal.2 A number of theorists, however, have argued that we should accept the Repugnant Conclusion and hence that avoidance of this conclusion is not a convincing adequacy condition for a population axiology. Torbjörn Tännsjö, for example, argues that the Repugnant Conclusion is not at all repugnant but rather “an unsought, but acceptable, consequence of hedonistic utilitarianism”:3.. (shrink)

This dissertation defends the truth-conditional theory of meaning and the inflationary theory of truth it requires by explaining how truth-conditions could play an explanatory role in the account of the proper use of a language while being nevertheless metaphysically "lightweight" properties of sentences instituted by the way these sentences are used by the speakers of a language. Following the common division of approaches to truth into deflationary and inflationary, the dissertation begins in Chapter One with a discussion of currently (...) advocated deflationary theories. A general characterization of deflationism is developed that focuses on the deflationist's explanation of why certain attributions of truth-condition to the sentences of a language are assertible. This basic, meaning-theoretic deflationary commitment is distinguished from the metaphysically deflationary idea that truth is somehow not "robust" in the way that traditional inflationary theories take it to be. Chapter Two then argues that meaning-theoretic deflationism is best characterized by a less-noticed commitment to the claim that it is sufficient for adequacy in a theory of truth that it imply the attributions of truth-conditions discussed in Chapter One. In Chapter Three the relation of these basic deflationary commitments to the also common deflationary claim that meanings attributed with locutions like the English "means that", meanings that, in Hartry Field's phrase, "encapsulate truth-conditions" is considered, and it is argued that this latter view is actually not compatible with deflationism. ;Chapter Four examines the most prominent sorts of inflationary theory and finds them wanting. Chapter Five then discusses in a general way how a better inflationary theory could be developed; the central ideas are that truth-conditions play an explanatory role in the account of certain embedded uses of sentences, and that truth-conditions should be understood as instituted for sentences by the way that speakers use them. In Chapter Six the relevant sort of use is explained. The result is a view that is meaning-theoretically inflationary, in that truth-conditions play an explanatory role in the account of meaning, but metaphysically deflationary. (shrink)

Gender differences in aggression are highly variable; there is significant evidence that this variability is as much a function of social and cultural conditions as evolutionary processes. While some of these conditions may reflect resource scarcities as Campbell proposes, others are inconsistent with her perspective or are explained equally well by other perspectives.

How should we reason in science? Jan Sprenger and Stephan Hartmann offer a refreshing take on classical topics in philosophy of science, using a single key concept to explain and to elucidate manifold aspects of scientific reasoning. They present good arguments and good inferences as being characterized by their effect on our rational degrees of belief. Refuting the view that there is no place for subjective attitudes in 'objective science', Sprenger and Hartmann explain the value of convincing evidence in terms (...) of a cycle of variations on the theme of representing rational degrees of belief by means of subjective probabilities (and changing them by Bayesian conditionalization). In doing so, they integrate Bayesian inference—the leading theory of rationality in social science—with the practice of 21st century science. Bayesian Philosophy of Science thereby shows how modeling such attitudes improves our understanding of causes, explanations, confirming evidence, and scientific models in general. It combines a scientifically minded and mathematically sophisticated approach with conceptual analysis and attention to methodological problems of modern science, especially in statistical inference, and is therefore a valuable resource for philosophers and scientific practitioners. (shrink)

In his Scientific Representation. Paradoxes of Perspective, Bas van Fraassen offers a pragmatic account of scientific representation and representation tout court. In this paper I examine the three conditions for a user to succeed in representing a target in some context: identification of the target of the representational action, representing the target as such and correctly representing it in some respects. I argue that success on these three counts relies on the supposed truth of some predicative assertions, and thus (...) that truth is more fundamental than representation. I do this in the framework of a version of the so-called “structural” account of representation according to which the establishment of a homomorphism by the user between a structure abstracted from the intended target and some relevant structure of the representing artefact is a necessary condition of success for representing the target in some respects. Finally, on the basis of a correspondence view of truth, I show that it is possible to address what van Fraassen calls “the loss of reality objection”. (shrink)

We reviewed the current state of knowledge regarding visual function and its suitability as part of medical examinations for driving licenses. We focused only on Group 1 drivers. According to previous studies, visual acuity, which is the most common test, is weakly associated with a higher risk of road accidents, with a greater role of visual field. The inclusion of the visual field test in medical examinations is therefore important, but the actual limit value is still unclear and further research (...) in specific situations is needed. Color vision impairment was not found a threat to traffic safety. Contrast sensitivity decreases with age and is affected by abnormal eye conditions. Resulting glare can lead to an increased risk of traffic accidents during night driving in the elderly and others with conditions that impair contrast sensitivity. However, the universal cut-off limits have not been established either. The current European Union (EU) regulations therefore reflect minimum common denominator across the member states which may not entirely translate to optimal driving safety. Due to these open questions, standardized testing in simulators or on polygons that simulate real life conditions would be needed to better determine safe limits of visual function in different conditions. As there is a need to have better standardization across Europe regarding the requirements and rules regarding driving licenses in European countries, we first analyzed existing rules and compared them with each other, also in terms of deviations from the EU directive itself. We reviewed the literature in this field and prepared proposals for a more optimal regulation of the rules in the future. Particular attention is paid to the new method of examining the visual field that was created to respect the European directive. The paper can serve as a basis of information for research teams to design further protocols, as it gathers research findings to date on the importance and impact of various visual functions on driving safety, as well as a starting point for a debate on revising existing rules for obtaining and maintaining licenses, as it compares the current regulations in European countries and differences between them. (shrink)

David Lewis's untimely death on 14 October 2001 deprived the philosophical community of one of the outstanding philosophers of the 20th century. As many obituaries remarked, Lewis has an undeniable place in the history of analytical philosophy. His work defines much of the current agenda in metaphysics, philosophical logic, and the philosophy of mind and language. This volume, an expanded edition of a special issue of the Australasian Journal of Philosophy, covers many of the topics for which Lewis was well (...) known, including possible worlds, counterpart theory, vagueness, knowledge, probability, essence, fiction, laws, conditionals, desire and belief, and truth. Many of the papers are by very established philosophers; others are by younger scholars including many he taught. The volume also includes Lewis's Jack Smart Lecture at the Australian National University, 'How Many Lives has Schrödinger's Cat?', published here for the first time. Lewisian Themes will be an invaluable resource for anyone studying Lewis's work and a major contribution to the many topics that he mastered. (shrink)

Intervals in boolean algebras enter into the study of conditional assertions (or events) in two ways: directly, either from intuitive arguments or from Goodman, Nguyen and Walker's representation theorem, as suitable mathematical entities to bear conditional probabilities, or indirectly, via a representation theorem for the family of algebras associated with de Finetti's three-valued logic of conditional assertions/events. Further representation theorems forge a connection with rough sets. The representation theorems and an equivalent of the boolean prime ideal theorem yield an algebraic (...) completeness theorem for the three-valued logic. This in turn leads to a Henkin-style completeness theorem. Adequacy with respect to a family of Kripke models for de Finetti's logic, Łukasiewicz's three-valued logic and Priest's Logic of Paradox is demonstrated. The extension to first-order yields a short proof of adequacy for Körner's logic of inexact predicates. (shrink)

Hotel websites display textual and non-textual strategies with the aim of turning online visitors into customers. This article focuses on two related textual aspects: how consumers are discursively construed and how conditional constructions are used in order to persuade and convince consumers of the adequacy of the hotel. The framework adopted for the analysis combines Stern’s notion of ‘implied consumer’ with a corpus-driven approach. The corpus data comprises 114 British hotel websites and totals half a million words. This is (...) a subcorpus of COMETVAL, a database compiled at the University of València. The results reveal the importance of a number of words that address consumers directly or indirectly. These words intertwine with others to form patterns that help establish a bond between hoteliers and their clients. Further exploration of the corpus confirmed that some conditional sequences such as if you and should you are used by advertisers to speculate about the needs and wishes of consumers that the hotel can fulfil for them. The analysis suggests that conditional structures are a distinctive discursive characteristic strongly associated with the dialogic nature of the discourse hotel websites. (shrink)

This paper shows that the non-Boolean logic of quantum measurements is more naturally represented by a relatively new 4-operation system of Boolean fractions—conditional events—than by the standard representation using Hilbert Space. After the requirements of quantum mechanics and the properties of conditional event algebra are introduced, the quantum concepts of orthogonality, completeness, simultaneous verifiability, logical operations, and deductions are expressed in terms of conditional events thereby demonstrating the adequacy and efficacy of this formulation. Since conditional event algebra is nearly (...) Boolean and consists merely of ordered pairs of standard events or propositions, quantum events and the so-called “superpositions” of states need not be mysterious, and are here fully explicated. Conditional event algebra nicely explains these non-standard “superpositions” of quantum states as conjunctions or disjunctions of conditional events, Boolean fractions, but does not address the so-called “entanglement phenomena” of quantum mechanics, which remain physically mysterious. Nevertheless, separating the latter phenomena from superposition issues adds clarity to the interpretation of quantum entanglement, the phenomenon of influence propagated at faster than light speeds. With such treacherous possibilities present in all quantum situations, an observer has every reason to be completely explicit about the environmental–instrumental configuration, the conditions present when attempting quantum measurements. Conditional event algebra allows such explication without the physical and algebraic remoteness of Hilbert space. (shrink)

To understand logic is, first and foremost, to understand logical consequence. This Element provides an in-depth, accessible, up-to-date account of and philosophical insight into the semantic, model-theoretic conception of logical consequence, its Tarskian roots, and its ideas, grounding, and challenges. The topics discussed include: the passage from Tarski's definition of truth to his definition of logical consequence, the need for a non-proof-theoretic definition, the idea of a semantic definition, the adequacy conditions of preservation of truth, formality, and necessity, (...) the nature, structure, and totality of models, the logicality problem that threatens the definition of logical consequence, a general solution to the logicality, formality, and necessity problems/challenges, based on the isomorphism-invariance criterion of logicality, philosophical background and justification of the isomorphism-invariance criterion, and major criticisms of the semantic definition and the isomorphism-invariance criterion. (shrink)

In this journal theme introduction, first, I explain how comparative philosophy as explored in the journal Comparative Philosophy is understood and how it is intrinsically related to the constructive engagement strategy. Second, to characterize more clearly and accurately some related methodological points of the constructive-engagement strategy, and also to explain how constructive engagement is possible, I introduce some needed conceptual and explanatory resources and a meta-methodological framework and endeavor to identify adequacy conditions for methodological guiding principles in comparative (...) studies. Third, as a case analysis, I show how the constructive-engagement reflective practice bears on recent studies of Chinese and comparative Chinese-Western philosophy, especially in the past decade, for two purposes: to illustrate the foregoing theoretic characterization of the constructive engagement strategy, and to identify and explain some constructive morals that might have general significance for comparative studies. (shrink)

RATIONAL ALTRUISM. A PRUDENTIAL THEORY OF RATIONALITY AND ALTRUISM - STRUCTURE: "Rational altruism" is the attempt to develop and rationally justify moral principles - with a very strong emphasis on this justification. The concept of justification is developed in a metaethical part (ch. 2); it requires recourse to prudential decisions and to information about our decision-making procedures. The actual normative ethics (Ch. 6 and especially 7) is therefore still based on a prudential desirability theory (Ch. 4 and Sections 5.5-5.6) and (...) this in turn on an empirical action theory (Ch. 3 and Sections 5.1-5.4). - METAETHICS (Ch. 2): In the metaethical part of the book, conditions of adequacy for cogent moral justifications are first developed and justified, which demand, among other things, an information-stable motivation through cogent moral justifications (internalist moral justification). After an examination of various approaches to justification in ethics with regard to this adequacy condition and the negative outcome of this examination, an alternative solution strategy is presented. Among other things, the rationality requirements of profane rational reasoning approaches in ethics are to be systematically reinforced by a prudential desirability theory that aims at information-stable evaluations. - EMPIRICAL THEORY OF ACTION (Chapter 3 and Sections 5.1-5.4): The empirical theory of action developed here therefore provides a detailed analysis of the regularities and leeway of our decisions, especially the influence of information on decision-making paths. - PRUDENTIAL DESIRABILITY THEORY (Chapter 4 and Sections 5.5-5.6): In the prudential desirability theory, the 'individual desirability' of events, especially actions, is then defined in such a way that, of the various evaluation possibilities, the one that is stable in terms of information is always chosen. This procedure far exceeds the rationality requirements of rational decision theory, for example. - NORMATIVE ETHICS (chap. 6 and especially 7): Finally, in the actual normative ethics, a prioritarian standard for the moral evaluation of actions, norms and entire social orders is developed, called "Utilex". Utilex is based on compassion and, like compassion, is partial to the worse off, the poor and unfortunate, but without neglecting the interests of the better off. (shrink)

This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as abstract entities) and derivations (the linguistic representations of proofs). It demonstrates that identity of proof is a key both to clarify some —still not wholly understood— notions at the core of proof-theoretic semantics, such as harmony; and to broaden the range of the phenomena which can be analyzed using (...) the tools of this semantic paradigm, so as to include for instance paradoxes. The volume covers topics such as the philosophical significance of different criteria of identity of proofs, and adequacy conditions for an intensional account of the notion of harmony. The author also examines the Prawitz-Tennant analysis of paradoxes by investigating on the one hand the prospects of turning it into a theory of meaning for paradoxical languages, and on the other hand two distinct kinds of phenomena, first observed by Crabbe and Ekman, showing that the Tennant-Prawitz criterion for paradoxicality overgenerates. This volume is of interest to scholars in formal and philosophical logic. (shrink)

Beginning in the late 1960s, psychologists began to challenge the view the definitional theory of concepts. According to that theory a concept is a mental representation comprising representations of properties (or “features”) that are individually necessary and jointly sufficient for membership in a category. In place of the definitional view, psychologists initially put forward the prototype theory of concept, according to which concepts comprise representations of features that are typical, salient, and diagnostic for category membership, but not necessarily necessary. The (...) prototype theory gained considerable support in the 1970s, but came under attack in the 1980s. One objection, most forcefully advanced by Jerry Fodor, is that prototypes do not combine compositionally. Compositionality is said to be an adequacy condition on a theory of concepts. If prototypes don’t compose, then prototypes are not concepts. Or so the argument goes. (shrink)

This paper develops axiomatic foundations for a probabilistic-interventionist theory of causal strength. Transferring methods from Bayesian confirmation theory, I proceed in three steps: I develop a framework for defining and comparing measures of causal strength; I argue that no single measure can satisfy all natural constraints; I prove two representation theorems for popular measures of causal strength: Pearl's causal effect measure and Eells' difference measure. In other words, I demonstrate these two measures can be derived from a set of plausible (...) adequacy conditions. The paper concludes by sketching future research avenues. (shrink)

This book is a contribution to the flourishing field of formal and philosophical work on truth and the semantic paradoxes. Our aim is to present several theories of truth, to investigate some of their model-theoretic, recursion-theoretic and proof-theoretic aspects, and to evaluate their philosophical significance. In Part I we first outline some motivations for studying formal theories of truth, fix some terminology, provide some background on Tarski’s and Kripke’s theories of truth, and then discuss the prospects of classical type-free truth. (...) In Chapter 4 we discuss some minimal adequacy conditions on a satisfactory theory of truth based on the function that the truth predicate is intended to fulfil on the deflationist account. We cast doubt on the adequacy of some non-classical theories of truth and argue in favor of classical theories of truth. Part II is devoted to grounded truth. In chapter 5 we introduce a game-theoretic semantics for Kripke’s theory of truth. Strategies in these games can be interpreted as reference-graphs of the sentences in question. Using that framework, we give a graph-theoretic analysis of the Kripke-paradoxical sentences. In chapter 6 we provide simultaneous axiomatizations of groundedness and truth, and analyze the proof-theoretic strength of the resulting theories. These range from conservative extensions of Peano arithmetic to theories that have the full strength of the impredicative system ID1. Part III investigates the relationship between truth and set-theoretic comprehen- sion. In chapter 7 we canonically associate extensions of the truth predicate with Henkin-models of second-order arithmetic. This relationship will be employed to determine the recursion-theoretic complexity of several theories of grounded truth and to show the consistency of the latter with principles of generalized induction. In chapter 8 it is shown that the sets definable over the standard model of the Tarskian hierarchy are exactly the hyperarithmetical sets. Finally, we try to apply a certain solution to the set-theoretic paradoxes to the case of truth, namely Quine’s idea of stratification. This will yield classical disquotational theories that interpret full second-order arithmetic without set parameters, Z2- . We also indicate a method to recover the parameters. An appendix provides some background on ordinal notations, recursion theory and graph theory. (shrink)