When intense public controversy erupted around agricultural biotechnology in the late 1990s, critics found opportunities to challenge risk assessment criteria and test methods for genetically modified products. In relation to GM food, they criticized the concept of substantial equivalence, which European Union and United States regulators had adopted as the basis for a harmonized, science-based approach to risk assessment. Competing policy agendas framed scientific uncertainty in different ways. Substantial equivalence was contested and eventually recast to accommodate (...) some criticisms. To explain how the concept changed, this article links two analytical perspectives. Regulatory-science perspectives illuminate how the scientification of politics and politicization of science led to shifts in the boundary between science and policy. Governance perspectives illuminate how the collective problem for policy was redefined to provide a new common ground for some stakeholders. Overall, substantial equivalence was recast to govern the social conflict and address legitimacy problems of regulatory procedures. (shrink)

The concept of substantial equivalence,introduced for the risk assessment of geneticallymodified (GM) food, is a reducing concept because itignores the context in which these products have beenproduced and brought to the consumer at the end of thefood chain. Food quality cannot be restricted to meresubstance and food acts on human beings not only atthe level of nutrition but also through theirrelationship to environment and society. To make thiscontext explicit, I will introduce an ``equivalencescale'' for the evaluation of food (...) chains (GM or notGM). By contrast with substantial equivalence, whichinvolves mainly quantitative, analytical methods ofevaluation, ``qualitative equivalence'' refers to ``less''or non-substantial factors that require new methodsof evaluation based on qualitative principles.``Ethical equivalence'' refers to factors that show themoral value contained in food products. To analyze thedifferent levels at which ethics is needed in foodchains, I will use the French principles: ``Liberty,Equality, Fraternity,'' or freedom, equality,solidarity, and add a fourth principle:sustainability. Sustainability, solidarity, andfreedom can be applied to the evaluation ofenvironmental, socio-economic, and socio-culturalethical equivalence, respectively. Equality refers tojustice and should operate so as to guarantee thatsustainability, solidarity, and freedom are satisfied.I suggest that ethics can provide a basis for arenewal of the food chain concept. Besides QualityAssurance, it is now essential to develop an ``EthicalAssurance'' and this equivalence scale could provide abasis to set up ``Ethical Assurance Standards'' (EAS)for food chains. (shrink)

Substantial equivalence has beenintroduced to assess novel foods, includinggenetically modified food, by means ofcomparison with traditional food. Besides anumber of objections concerning its scientificvalidity for risk assessment, the maindifficulty with SE is that it implies that foodcan be qualified on a purely substantial basis.SE embodies the assumption that only reductivescientific arguments are legitimate fordecision-making in public policy due to theemphasis on legal issues. However, the surge ofthe food debate clearly shows that thistechnocratic model is not accepted anymore. (...) Food is more than physico-chemical substanceand encompasses values such as quality andethics. These values are legitimate in theirown right and require that new democraticprocesses are set up for transverse,transdisciplinary assessment in partnershipwith society. The notion of equivalence canprovide a reference scale in which to examinethe various legitimate factors involved:substance, quality, and ethics. QE requires that newqualitative methods of evaluation that are notbased on reductive principles are developed. EEcan provide a basis for the development of anEthical Assurance as a counterpart of QualityAssurance in the food sector. In France, asecond circle of expertise is being set up toaddress the social issues in food public policybeside classical risk assessment by the firstcircle of expertise. Since ethics is likely tobecome an organizing principle of the secondcircle, the equivalence ethical framework canprove instrumental in this context. (shrink)

String dualities establish empirical equivalence between theories that often look entirely different with respect to their basic ontology and physical structure. Therefore, they represent a particularly interesting example of empirical equivalence in physics. However, the status of duality relations in string physics differs substantially from the traditional understanding of the role played by empirical equivalence. The paper specifies three important differences and argues that they are related to a substantially altered view on the underdetermination of theory building.

In 1907 Einstein had the insight that bodies in free fall do not “feel” their own weight. This has been formalized in what is called “the principle of equivalence.” The principle motivated a critical analysis of the Newtonian and special-relativistic concepts of inertia, and it was indispensable to Einstein’s development of his theory of gravitation. A great deal has been written about the principle. Nearly all of this work has focused on the content of the principle and whether it (...) has any content in Einsteinian gravitation, but more remains to be said about its methodological role in the development of the theory. I argue that the principle should be understood as a kind of foundational principle known as a criterion of identity. This work extends and substantiates a recent account of the notion of a criterion of identity by William Demopoulos. Demopoulos argues that the notion can be employed more widely than in the foundations of arithmetic and that we see this in the development of physical theories, in particular space–time theories. This new account forms the basis of a general framework for applying a number of mathematical theories and for distinguishing between applied mathematical theories that are and are not empirically constrained. (shrink)

We construct a notion of teleparallelization for Newton-Cartan theory, and show that the teleparallel equivalent of this theory is Newtonian gravity; furthermore, we show that this result is consistent with teleparallelization in general relativity, and can be obtained by null-reducing the teleparallel equivalent of a five-dimensional gravitational wave solution. This work thus strengthens substantially the connections between four theories: Newton-Cartan theory, Newtonian gravitation theory, general relativity, and teleparallel gravity.

Dark matter is an essential ingredient of the present Standard Cosmological Model, according to which only 5% of the mass/energy content of our universe is made of ordinary matter. In recent times, it has been argued that certain cases of gravitational lensing represent a new type of evidence for the existence of DM. In a recent paper, Peter Kosso attempts to substantiate that claim. His argument is that, although in such cases DM is only detected by its gravitational effects, gravitational (...) lensing is a direct consequence of Einstein's Equivalence Principle and therefore the complete gravitational theory is not needed in order to derive such lensing effects. In this paper I critically examine Kosso's argument: I confront the notion of empirical evidence involved in the discussion and argue that EEP does not have enough power by itself to sustain the claim that gravitational lensing in the Bullet Cluster constitutes evidence for the DM Hypothesis. As a consequence of this, it is necessary to examine the details of alternative theories of gravity to decide whether certain empirical situations are indeed evidence for the existence of DM. It may well be correct that gravitational lensing does constitute evidence for the DM Hypothesis—at present it is controversial whether the proposed modifications of gravitation all need DM to account for the phenomenon of gravitational lensing and if so, of which kind—but this will not be a direct consequence of EEP. (shrink)

Deflationism is usually thought to differ from the correspondence theory over whether truth is a substantial property. However, I argue that this notion of a ‘substantial property’ is tendentious. I further argue that the Equivalence Schema alone is sufficient to lead to idealism when combined with a pragmatist theory of truth. Deflationism thus has more powerful metaphysical implications than is generally thought and itself amounts to a kind of correspondence theory.

According to a widespread but implicit thesis in Bayesian confirmation theory, two confirmation measures are considered equivalent if they are ordinally equivalent—call this the “ordinal equivalence thesis”. I argue that adopting OET has significant costs. First, adopting OET renders one incapable of determining whether a piece of evidence substantially favors one hypothesis over another. Second, OET must be rejected if merely ordinal conclusions are to be drawn from the expected value of a confirmation measure. Furthermore, several arguments and applications (...) of confirmation measures given in the literature already rely on a rejection of OET. I also contrast OET with stronger equivalence theses and show that they do not have the same costs as OET. On the other hand, adopting a thesis stronger than OET has costs of its own, since a rejection of OET ostensibly implies that people’s epistemic states have a very fine-grained quantitative structure. However, I suggest that the normative upshot of the paper in fact has a conditional form, and that other Bayesian norms can also fruitfully be construed as having a similar conditional form. (shrink)

A recent rethinking of the early history of Quantum Mechanics deemed the late 1920s agreement on the equivalence of Matrix Mechanics and Wave Mechanics, prompted by Schrödinger's 1926 proof, a myth. Schrödinger supposedly failed to prove isomorphism, or even a weaker equivalence (“Schrödinger-equivalence”) of the mathematical structures of the two theories; developments in the early 1930s, especially the work of mathematician von Neumann provided sound proof of mathematical equivalence. The alleged agreement about the Copenhagen Interpretation, predicated (...) to a large extent on this equivalence, was deemed a myth as well. In response, I argue that Schrödinger's proof concerned primarily a domain-specific ontological equivalence, rather than the isomorphism or a weaker mathematical equivalence. It stemmed initially from the agreement of the eigenvalues of Wave Mechanics and energy-states of Bohr's Model that was discovered and published by Schrödinger in his first and second communications of 1926. Schrödinger demonstrated in this proof that the laws of motion arrived at by the method of Matrix Mechanics are satisfied by assigning the auxiliary role to eigenfunctions in the derivation of matrices (while he only outlined the reversed derivation of eigenfunctions from Matrix Mechanics, which was necessary for the proof of both isomorphism and Schrödinger-equivalence of the two theories). This result was intended to demonstrate the domain-specific ontological equivalence of Matrix Mechanics and Wave Mechanics, with respect to the domain of Bohr's atom. And although the mathematical equivalence of the theories did not seem out of the reach of existing theories and methods, Schrödinger never intended to fully explore such a possibility in his proof paper. In a further development of Quantum Mechanics, Bohr's complementarity and Copenhagen Interpretation captured a more substantial convergence of the subsequently revised (in light of the experimental results) Wave and Matrix Mechanics. -/- I argue that both the equivalence and Copenhagen Interpretation can be deemed myths if one predicates the philosophical and historical analysis on a narrow model of physical theory which disregards its historical context, and focuses exclusively on its formal aspects and the exploration of the logical models supposedly implicit in it. -/- . (shrink)

The neutral theory of biodiversity assumes that coexisting organisms are equally able to survive, reproduce and disperse, but predicts that stochastic fluctuations of these abilities drive diversity dynamics. It predicts remarkably well many biodiversity patterns, although substantial evidence for the role of niche variation across organisms seems contradictory. Here, we discuss this apparent paradox by exploring the meaning and implications of ecological equivalence. We address the question whether neutral theory provides an explanation for biodiversity patterns and acknowledges causal (...) processes. We underline that ecological equivalence, although central to neutral theory, can emerge at local and regional scales from niche-based processes through equalizing and stabilizing mechanisms. Such emerging equivalence corresponds to a weak conception of neutral theory, as opposed to the assumption of strict equivalence at individual level in the strong conception. We show that this duality is related to diverging views on hypothesis-testing and modeling in ecology. In addition, the stochastic dynamics exposed in neutral theory are pervasive in ecological systems and, rather than a null hypothesis, ecological equivalence is best understood as a parsimonious baseline to address biodiversity dynamics at multiple scales. (shrink)

A recent rethinking of the early history of Quantum Mechanics deemed the late 1920s agreement on the equivalence of Matrix Mechanics and Wave Mechanics, prompted by Schrödinger’s 1926 proof, a myth. Schrödinger supposedly failed to achieve the goal of proving isomorphism of the mathematical structures of the two theories, while only later developments in the early 1930s, especially the work of mathematician John von Neumman (1932) provided sound proof of equivalence. The alleged agreement about the Copenhagen Interpretation, predicated (...) to a large extent on this equivalence, was deemed a myth as well. If such analysis is correct, it provides considerable evidence that, in its critical moments, the foundations of scientific practice might not live up to the minimal standards of rigor, as such standards are established in the practice of logic, mathematics, and mathematical physics, thereby prompting one to question the rationality of the practice of physics. In response, I argue that Schrödinger’s proof concerned primarily a domain-specific ontological equivalence, rather than the isomorphism. It stemmed initially from the agreement of the eigenvalues of Wave Mechanics and energy-states of Bohr’s Model that was discovered and published by Schrödinger in his First and Second Communications of 1926. Schrödinger demonstrated in this proof that the laws of motion arrived at by the method of Matrix Mechanics could be derived successfully from eigenfunctions as well (while he only outlined the reversed derivation of eigenfunctions from Matrix Mechanics, which was necessary for the proof of isomorphism of the two theories). This result was intended to demonstrate the domain-specific ontological equivalence of Matrix Mechanics and Wave Mechanics, with respect to the domain of Bohr’s atom. And although the full-fledged mathematico-logical equivalence of the theories did not seem out of the reach of existing theories and methods, Schrödinger never intended to fully explore such a possibility in his proof paper. In a further development of Quantum Mechanics, Bohr’s complementarity and Copenhagen Interpretation captured a more substantial convergence of the subsequently revised (in light of the experimental results) Wave and Matrix Mechanics. I argue that both the equivalence and Copenhagen Interpretation can be deemed myths if one predicates the philosophical and historical analysis on a narrow model of physical theory which disregards its historical context, and focuses exclusively on its formal aspects and the exploration of the logical models supposedly implicit in it. (shrink)

”The last remnant of physical objectivity of space-time” is disclosed in the case of a continuous family of spatially non-compact models of general relativity. The physical individuation of point-events is furnished by the autonomous degrees of freedom of the gravitational field, which represent -as it were -the ontic part of the metric field. The physical role of the epistemic part is likewise clarified as embodying the unavoidable non-inertial aspects of GR. At the end the philosophical import of the Hole Argument (...) is substantially weakened and in fact the Argument itself dis-solved, while a specific four-dimensional holistic and structuralist view of space-time emerges, including elements common to the tradition of both substantivalism and relationism. The observables of our models undergo real temporal change: this gives new evidence to the fact that statements like the frozen-time character of evolution, as other ontological claims about GR, are model dependent. (shrink)

Madole & Harden's assertion that the effects derived from within-family genome-wide association studies (GWASs) and from randomized controlled trials (RCTs) are equivalent is misleading. GWASs are substantially more “non-unitary, non-uniform, and non-explanatory” than RCTs. While the within-family GWAS bring us closer to identifying genetic causes, whether it will change behavioral genetics into a causal science is an open question.

Numerous instruments have been developed to elicit numerical values that represent the strength of preference for different health states. However, relatively few studies have attempted to analyse the reasoning processes that people employ when they are asked to answer questions based on these elicitation methods. The lottery equivalents method is a preference elicitation instrument that has recently received some attention in the literature. This study attempts a qualitative analysis of the use of this instrument on a group of 25 relatively (...) highly educated respondents. For each of three health states considered in the study, a substantial number of respondents refused to trade the chance of survival for a possible improvement in the health state. Therefore, many respondents violated an assumption that is necessary for the lottery equivalents instrument to generate cardinal health state values. These findings place a question mark against the usefulness of the lottery equivalents method, and add weight to the suspicion that ‘preferences’ are constructed according to how questions are framed. (Published Online July 31 2007). (shrink)

The present joint contribution offers a tentative comprehensive re-interpretation of Pāṇini’s rule A 2.3.46, and shows how that rule teaches the application of the nominative ending without making use of the notion of “subject,” a notion that belongs to other grammatical systems, but not to Pāṇini’s. We discuss the controversial domain of some segments of its wording by attempting to adhere to Pāṇini’s framework and his usus scribendi. In particular, we read the first constituent of the compound prātipadikārtha­ liṅgaparimāṇavacana­ as (...) a genitive depending on a dvandva made up of three constituents, i.e., artha­, liṅga­, and parimāṇavacana­, and we take parimāṇa­ as denoting a quantity that, combining with vacana­, is substantially equivalent to the concept of grammatical number in modern linguistics. We finally show that our reading of A 2.3.46 is able to generate the nominative endings affixed to the subject and predicate of a nominal sentence: as a consequence, nominal sentences might actually not have been neglected by Pāṇini. (shrink)

Category Theory has developed rapidly. This book aims to present those ideas and methods which can now be effectively used by Mathe­ maticians working in a variety of other fields of Mathematical research. This occurs at several levels. On the first level, categories provide a convenient conceptual language, based on the notions of category, functor, natural transformation, contravariance, and functor category. These notions are presented, with appropriate examples, in Chapters I and II. Next comes the fundamental idea of an adjoint (...) pair of functors. This appears in many substantially equivalent forms: That of universal construction, that of direct and inverse limit, and that of pairs offunctors with a natural isomorphism between corresponding sets of arrows. All these forms, with their interrelations, are examined in Chapters III to V. The slogan is "Adjoint functors arise everywhere". Alternatively, the fundamental notion of category theory is that of a monoid -a set with a binary operation of multiplication which is associative and which has a unit; a category itself can be regarded as a sort of general­ ized monoid. Chapters VI and VII explore this notion and its generaliza­ tions. Its close connection to pairs of adjoint functors illuminates the ideas of universal algebra and culminates in Beck's theorem characterizing categories of algebras; on the other hand, categories with a monoidal structure lead inter alia to the study of more convenient categories of topological spaces. (shrink)

In this paper I shall do three things. Firstly , I shall distinguish between three senses of “imagine”: one in which the word is used to report the occurrence of mental imagery; a second in which “imagined” is used as substantially equivalent to “thought”; and a third in which “imagine” is used as substantially equivalent to “suppose.” Secondly , I shall discuss Hume's thesis about imagination: both because, although this is set out as a plausible generalization about psychology, it nevertheless (...) seems to me that Hume dealt with a central philosophical problem concerning imagination—the relation of descriptions to imagery—in a way that is suggestive and fruitful; and—the main reason for mentioning Hume—because a study of the relation between imagining and imagining will help us to reinterpret his thesis from a mistaken one about psychology into a correct one about logic and language. Thirdly , I shall give thecentral arguments and the conclusion of the chapter on Imagination in The Concept of Mind , and comment on them. (shrink)

In ?The Labour Theory of Value and the Concept of Exploitation? I distinguished between two ways in which the labour theory of value is formulated, both of which are common. In the popular formulation, the amount of value a commodity has depends on how much labour was spent producing it. In the strict formulation, which is so called because it formulates the labour theory of value proper, the amount of value a commodity has depends on nothing about its history but (...) only on how much labour would (now) be required to produce something just like it. I argued that strict and popular formulations are often wrongly treated as substantially equivalent, and that the practice of conflating them sustains two false impressions: that the labour theory of value is a basis for saying that capitalists exploit workers, and that the labour theory of value is true. The present paper is a reply to Nancy Holmstrom's recent attempt, in ?Marx and Cohen on Exploitation and the Labor Theory of Value?, to refute the theses of the article referred to above. (shrink)

The caliber of recent discourse regarding geneticallymodified organisms (GMOs) has suffered from a lack of consensuson terminology, from the scarcity of evidence upon which toassess risk to health and to the environment, and from valuedifferences between proponents and opponents of GMOs. Towardsaddressing these issues, we present the thesis that GM should bedefined as the forcible insertion of DNA into a host genome,irrespective of the source of the DNA, and exclusive ofconventional or mutation breeding.Some defenders of the commercial use of GMOs (...) have referred to thescientific work of GMO critics as ``junk science.'''' Such a claim isfalse and misleading, given that many papers critical of both theutility and safety of GMOs have been published in peer reviewedjournals by respected scientists. In contrast, there is a dearthof peer reviewed work to substantiate the frequently heardassertions of either safety or utility in GMOs. The polarity,which now characterizes much of the public discourse on GMOs,reflects not simply scientific disagreement, but alsodisagreement in underlying value assumptions. Value differencesstrongly affect the assessment of both benefit and harm fromGMOs. (shrink)

Today there is considerable disagreement between the US and the EU with respect to food safety standards. Issues include GMOs, beef hormones, unpasteurized cheese, etc. In general, it is usually asserted that Europeans argue for the precautionary principle (with exceptions such as the Sanitary and Phytosanitary Agreement where ``substantial equivalence,'' a form of familiarity, is used) while Americans defend risk analysis or what is sometimes described as the familiarityprinciple. This is not to suggest that EUmember countries agree on (...) how the precautionaryprinciple should be applied; considerabledifferences exist among nations as will benoted below.In this paper I review both positionsarguing that they are best understood asvariants of the homiletics of risk rather thanas differing scientific positions. I concludethat while science must necessarily enter intothe formulation of food and agriculturalstandards, state policy, private economicinterests, and the interface between the two(e.g., when democratic states are successfullylobbied to support particular privateinterests), play important roles in determininghow particular risks will be treated. Moreover,I argue that the role of science mustnecessarily be limited if its credibility is tobe preserved. (shrink)

The words χρxs22EF and δεxs1FD6 with their inflectional and dialectic variations, are less definite and stable in their semantic range than the other Greek expressions for the general ideas of necessity, obligation, or propriety. Their semantic boundaries varied with the dialect, province of literature, and period–which cannot, indeed, be entirely separated. From Homer to Aristotle there is a steady trend, so plain that the slight notice taken of it is rather surprising. Everyone sees that the two are sometimes differentiated; yet (...) it seems to be loosely taken for granted that they are substantially equivalent, and that either may, almost anywhere, be taken as an equivalent of the verbal in -τxs22EFος. The statements in Liddell and Scott under χρxs22EF present an admirable confusion of all periods and styles, and J. H. H. Schmidt, with no mention of dates, makes a distinction that resembles a reversal of the true relation. (shrink)

Risk governance of GM plants and GMfood products is presently subject to heatedscientific and public controversies. Scientistsand representatives of the biotechnologyindustry have dominated debates concerningsafety issues. The public is suspicious withregard to the motives of scientists, companies,and political institutions involved. Thedilemmas posed are nested, embracing valuequestions, scientific uncertainty, andcontextual issues. The obvious lack of data andinsufficient information concerning ecologicaleffects call for application of thePrecautionary Principle (PP). There are,however, divergent opinions among scientistsabout the relevance of putative hazards,definition of potential ``adverse effects,'' (...) andwhether actions should be taken to preventharm. The reliance on the concept ofsubstantial equivalence in safety evaluation ofGM food is equally controversial. Consequently,value assumptions embedded in a scientificframework may be a barrier for employment ofthe PP. One of our major conclusions is thatprecautionary GMP usage requires riskassessment criteria yet undeveloped, as well asbroader and more long-term conceptions of risk,uncertainty, and ignorance. Conflicts ofinterest and public participation are otherissues that need to be taken intoconsideration. GMP governance regimes that arejustifiable from a precautionary and ethicalpoint of view must transcend traditionalscientific boundaries to include alternativescientific perspectives as well as publicinvolvement. (shrink)

Expressively equivalent logical languages can enunciate logical notions in notationally diversified ways. Frege’s Begriffsschrift, Peirce’s Existential Graphs, and the notations presented by Wittgenstein in the Tractatus all express the sentential fragment of classical logic, each in its own way. In what sense do expressively equivalent notations differ? According to recent interpretations, Begriffsschrift and Existential Graphs differ from other logical notations because they are capable of “multiple readings.” We refute this interpretation by showing that there are at least three different kinds (...) of such multiple readings. While readings of the first kind do not capture any essential difference among notations but only among vocabularies, corresponding to readings of the second and the third kind two general parameters according to which notations may differ are defined: linearity vs. non-linearity, and tabularity vs. non-tabularity. This answers the question of how there can be substantially different but expressively equivalent logical notations. (shrink)

Biological systems are highly complex, and for this reason there is a considerable degree of uncertainty as to the consequences of making significant interventions into their workings. Since a number of new technologies are already impinging on living systems, including our bodies, many of us have become participants in large-scale “social experiments”. I will discuss biological complexity and its relevance to the technologies that brought us BSE/vCJD and the controversy over GM foods. Then I will consider some of the complexities (...) of our social dynamics, and argue for making a shift from using the precautionary principle to employing the approach of evaluating the introduction of new technologies by conceiving of them as social experiments. (shrink)

A substantial body of evidence suggests that autobiographical recollection and simulation of future happenings activate a shared neural network. Many of the neural regions implicated in this network are affected in patients with bipolar disorder , showing altered metabolic functioning and/or structural volume abnormalities. Studies of autobiographical recall in BD reveal overgeneralization, where autobiographical memory comprises primarily factual or repeated information as opposed to details specific in time and in place and definitive of re-experiencing. To date, no study has (...) examined whether these deficits extend to future event simulation. We examined the ability of patients with BD and controls to imagine positive, negative and neutral future events using a modified version of the Autobiographical Interview that allowed for separation of episodic and non-episodic details. Patients were selectively impaired in imagining future positive, negative, and neutral episodic details; simulation of non-episodic details was equivalent across groups. (shrink)

Is truth a substantial feature of truth-bearers? Correspondence theorists answer in the affirmative, deflationists in the negative. Correspondence theorists cite in their defense the dependence of truth on meaning or representational content. Deflationists in turn cite the conceptual centrality of simple equivalences such as ''Snow is white' is true iff snow is white'' and 'It is true that snow is white iff snow is white'. The apparent facts to which these theorists appeal correspond to some of our firmest and (...) most basic convictions about truth. An account of truth that fails to accommodate either sort of apparent fact is inadequate. The account presented in this essay attempts to avoid this inadequacy by 'deflating' truth for propositions but 'inflating' truth for entities that express propositions, thus drawing from the insights of both deflationists and correspondence theorists. (shrink)

Eric Voegelin holds that the platonic dialogue Gorgias is a battleground in which a struggle for the soul of the younger generation is at stake. The rhetorician and the philosopher compete for their influence over Athenian youth: against the teaching of political success stands the teachings of the "substantial". But as Voegelin shows, this is not a fight between equals, between equivalent or really disputable options. Instead, it is an opposition between what could be called the decadent representation of (...) a tradition and a revolution incarnated by Socrates. A revolution about the meaning of politics as a privileged space of realization of what is human, which contrasts with the sophistic instrumentalization. And, as the fragments about tyranny show, if tyranny is fearsome, it is so because it entails the irruption of the "limitless" individual into politics, and consequently carries the rupture of the organic links which build up the community. But Socrates demands more than the restauration of these links: he fights for the building of a new political self. (shrink)

The article considers the principles underpinning the Ukrainian translation of Sextus Empiricus’ Outlines of Pyrrhonism and the translation strategy employed to render the fundamental concepts of his philosophy. The author believes that the translation should fully reproduce Outlines of Pyrrhonism’s rich word-forming terminological potential while preserving the internal form and etymological affinity of concepts. The basic principle is the unification of terms and key concepts. At the same time, an acceptable translation should adequately convey the original meaning of the text (...) and not its letter. The accurate translation of the contents is more important than an effort to use the same Ukrainian word throughout the translation as an equivalent of a particular word in the original. Besides, our translation seeks to abide by a principle that one has to avoid, whenever possible, Grecisms, Latinisms, and loan translations from the Russian language. In accord with this translation strategy, the paper describes the lexical and semantic fields of the basic concepts of skepticism, their paradigmatic and syntagmatic connections, and the range of these terms’ derivation, and substantiates the choice of Ukrainian equivalents. The explanations are illustrated by fragments of the contextual translation of several cognate word forms. The translation should take into account the extensive synonymy present in the Greek text and certain lability of the terminological system used by Sextus himself. The translator’s intentions aim at conveying the rich lexical imagery and metaphors of the Outlines of Pyrrhonism. (shrink)

Propositional canonical Gentzen-type systems, introduced in [2], are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly one occurrence of a connective is introduced and no other connective is mentioned. [2] provides a constructive coherence criterion for the non-triviality of such systems and shows that a system of this kind admits cut-elimination iff it is coherent. The semantics of such systems is provided using two-valued non-deterministic matrices (2Nmatrices). [23] extends these results (...) to systems with unary quantifiers of a very restricted form. In this paper we substantially extend the characterization of canonical systems to (n, k)-ary quantifiers, which bind k distinct variables and connect n formulas, and show that the coherence criterion remains constructive for such systems. Then we focus on the case of k ∈ {0, 1} and show that the following statements concerning a canonical calculus G are equivalent: (i) G is coherent, (ii) G has a strongly characteristic 2Nmatrix, and (iii) G admits strong cut-elimination. We also show that coherence is not a necessary condition for standard cut-elimination, and then characterize a subclass of canonical systems for which this property does hold. (shrink)

The presented papers are very interesting. They differ and complement one another… . Orlova's presentation is a model of structuralization, scientific rigor, extreme precision, and clarity. Shemanov's paper provides a philosophical basis for culturology. I asked what place culturology occupies in the field of knowledge. It turned out that to answer this question it is first necessary to present the system of manifestations of a society's life activity and only then, when we have the matrix, can we compare our idea (...) of culture with it in order to make it relevant to that matrix. This is to correlate the patrix and the matrix. But since there are no generally accepted schemata of society, no developed schemata of its cognitive activity, I had to work on my own. I offer two schemata but, in view of the time limit, I will only indicate certain items of this context so as to make it clear what I am talking about and from what premises I proceed. There are several premises. The first is the main problem that must be borne in mind in any theorizing. How is our material existence correlated with the realization of our creative potential, our subjectivity? This is the problem of man's spiritual development. It would appear to be a truism. But it is necessary to find a philosophical expression for this problem. This means to find a formula, because if a study is not summed up in a formula it has to be continued. The philosophical equivalent of the problem of existence is: existence determines consciousness, consciousness reflects existence. This is a contribution of Marxism. It would seem that those who theorized about the active nature of consciousness, thought, and the subjective factor have all the advantages, since that was all they worked on and spoke of the primacy of consciousness. Why, then, have they not discovered the formula of the correlation between material existence and creative subjectivity? Because then there is a clash of two paradigms, and formal logic comes into force, stating that it is necessary to make a choice, for there is no third way. We want to construct a philosophical equivalent of the activity of consciousness and say what role it plays. As long as we simply say that it plays a huge or important role, or that consciousness has a reverse effect, our research has not been completed. If existence determines consciousness, then thought, in turn, makes reality similar to itself. Consequently, I distinguish existence and reality. But whence this distinction? If we go back to the definition that matter is a philosophical category for denoting objective reality, then it becomes clear that objective reality is that which exists outside and independently of us. If we have different words-outside of us and independently of us-then this is a substantial difference. Even so perspicacious an analyst as Freud separated these concepts with a comma. So I tried to separate them vertically and horizontally. Vertically, we have that which is in reality and, horizontally, that which exists independently of us. We obtain a definite square. Existence-consciousness-activity-reality. Everything else is purely technical. Here is the genesis of the matrix. This leads to many consequences. Superimposing this schema on the matrix, I obtained a fairly clear picture. They turn out to be relevant to each another. We get varieties of knowledge such as intuitive or, if we think in binary oppositions, the instinctive is opposed to the distantive variety, and first of all science, because it knows not directly, but through mediation. Instinctive knowledge is instantaneous, one-time knowledge. Here the logic of common sense and other things operates. And then, when we correlate activity and reality, we have the objective and subjective varieties. Corresponding to these varieties, as a result of cognition we acquire knowledge: intuitive-direct, distantive-mediated, subjective-procedural, and objective-object-oriented. If we take such characteristics as the bases of cognitive varieties, the means of knowledge, the forms of knowledge, cognitive approaches, and objects of knowledge, we get a special table. Mendeleev had a table of chemical elements; I have a table of social elements consisting of twenty-eight squares. In a division into so many categories, if there is a logical mistake, there must be a flaw somewhere. I do not detect any flaws here, and this indicates that such a division is not fortuitous: the table reflects a law. There are also other premises such as "we are in the world, and the world is in us." We are in the world physically, while the world is in us mentally. We live surrounded by nature, but also at the price of nature. My schemata are based on these presuppositions. Consequently, one cannot counterpose the achievements of philosophical materialism and idealism. At this stage they must be not opposed, but synthesized, united. This is to dismiss the claim of every doctrine that it is absolute. If we see the relatively rational in each doctrine and join them together, we shall get a contemporary synthetic philosophy that works. I was able to show how this methodology works, in this case, with this example. In analyzing such an urgent social phenomenon as conflict, I found that conflict situations can be broken down into elements. Now I know how to order the sides in a conflictual situation, how they are correlated. And when there is a link with a schema of categories, then things work well. (shrink)

Complex systems can be characterized by classes of equivalency of their elements defined according to system specific rules. We propose a generalized preferential attachment model to describe the class size distribution. The model postulates preferential growth of the existing classes and the steady influx of new classes. According to the model, the distribution changes from a pure exponential form for zero influx of new classes to a power law with an exponential cut-off form when the influx of new classes is (...) substantial. Predictions of the model are tested through the analysis of a unique industrial database, which covers both elementary units (products) and classes (markets, firms) in a given industry (pharmaceuticals), covering the entire size distribution. The model's predictions are in good agreement with the data. The paper sheds light on the emergence of the exponent tau approximately 2 observed as a universal feature of many biological, social and economic problems. (shrink)

Let G V, E be a simple undirected complete graph with vertex and edge sets V and E, respectively. In this paper, we consider the degree-constrained k -minimum spanning tree problem which consists of finding a minimum cost subtree of G formed with at least k vertices of V where the degree of each vertex is less than or equal to an integer value d ≤ k − 2. In particular, in this paper, we consider degree values of d ∈ (...) 2,3. Notice that DC k MST generalizes both the classical degree-constrained and k -minimum spanning tree problems simultaneously. In particular, when d = 2, it reduces to a k -Hamiltonian path problem. Application domains where DC k MST can be adapted or directly utilized include backbone network structures in telecommunications, facility location, and transportation networks, to name a few. It is easy to see from the literature that the DC k MST problem has not been studied in depth so far. Thus, our main contributions in this paper can be highlighted as follows. We propose three mixed-integer linear programming models for the DC k MST problem and derive for each one an equivalent counterpart by using the handshaking lemma. Then, we further propose ant colony optimization and variable neighborhood search algorithms. Each proposed ACO and VNS method is also compared with another variant of it which is obtained while embedding a Q-learning strategy. We also propose a pure Q-learning algorithm that is competitive with the ACO ones. Finally, we conduct substantial numerical experiments using benchmark input graph instances from TSPLIB and randomly generated ones with uniform and Euclidean distance costs with up to 400 nodes. Our numerical results indicate that the proposed models and algorithms allow obtaining optimal and near-optimal solutions, respectively. Moreover, we report better solutions than CPLEX for the large-size instances. Ultimately, the empirical evidence shows that the proposed Q-learning strategies can bring considerable improvements. (shrink)

Under the WTO’s dispute settlement procedures, a party that has been injured by a scofflaw state’s failure to comply with its trade obligations may retaliate against the scofflaw state by withdrawing equivalent trade concessions. Legal and economic commentators generally view retaliation as an economically perverse strategy for enforcing freetrade norms. This Article explores an alternative explanation, arguing that retaliation may provide the optimal enforcement mechanism for trade liberalization given the prevalence of low compliance incentives and high enforcement costs in international (...) cooperation agreements. The Article argues that retaliation is superior to other remedial options because it enables an injured state to inflict maximum political costs on the scofflaw state by mobilizing powerful export groups in the scofflaw state against protectionist policies. Furthermore, this Article shows how the presence of significant protectionist groups in the injured state, which stand to benefit from retaliatory measures, also improves the injured state’s ability to commit to retaliation. Even if states have asymmetric preferences about protectionist policies, retaliation threats can still be credible since there is uncertainty about each state’s retaliation costs. Finally, the Article concludes that contrary to the conventional wisdom, the substantial role of uncertainty in this model indicates that specific performance, and not compensation, ought to be the goal of the WTO’s enforcement mechanism. (shrink)

The correspondence conception of truth involves two claims: that truths correspond to reality; and that such correspondence is what truth essentially is. And the minimalist response, urged in this chapter, is to concede the first of these theses but to deny the second. The rationale for this response is that the minimalistic equivalence biconditionals can easily be supplemented with characterizations of correspondence and fact to show that, indeed, for any true proposition or sentence, there is a corresponding fact. However, (...) it is shown that there are no advantages—and substantial disadvantages—in supposing that this entire construction constitutes the basic theory of truth. One merely imaginary benefit is that a correspondence account, by reducing truth to reference and reference to causation, would leave us with a finite, naturalistic model—and thereby make the concept of truth scientifically respectable. It is argued, however, that reference, satisfaction, correspondence, and fact are just as non‐naturalistic, and in need of infinite, deflationary theories, as truth is. (shrink)

Linnebo in 2018 argues that abstract objects like numbers are “thin” because they are only required to be referents of singular terms in abstraction principles, such as Hume's principle. As the specification of existence claims made by analytic truths (the abstraction principles), their existence does not make any substantial demands of the world; however, as Linnebo notes, there is a potential counter-argument concerning infinite regress against introducing objects this way. Against this, he argues that vicious regress is avoided in (...) the account of arithmetic based on Hume's principle because we are specifying numbers in terms of the concept of equinumerosity, or its ordinal equivalent. But far from being only a matter for philosophy, this implies a distinct empirical prediction: in cognitive development, the principle of equinumerosity is primary to number concepts. However, by analysing and expanding on the bootstrapping theory of Carey in 2009, I argue in this paper that there are good reasons to think that the development could be the other way around: possessing numerosity concepts may precede grasping the principle of equinumerosity. I propose that this analysis of early numerical cognition can also help us understand what numbers as thin objects are like, moving away from Platonist interpretations. (shrink)

A norm of local expert deference says that your credence in an arbitrary proposition A, given that the expert's probability for A is n, should be n. A norm of global expert deference says that your credence in A, given that the expert's entire probability function is E, should be E(A). Gaifman (1988) taught us that these two norms are not equivalent. Stalnaker (2019) conjectures that Gaifman's example is "a loophole". Here, I substantiate Stalnaker's suspicions by providing characterisation theorems which (...) tell us precisely when the norms give different advice. They tell us that, in a good sense, Gaifman's example is the only case where the two norms differ. I suggest that the lesson of the theorems is that Bayesian epistemologists need not concern themselves with the differences between these two kinds of norms. While they are not strictly speaking equivalent, they are equivalent for all philosophical purposes. (shrink)

We propose four policies of ethical design of human-grade Artificial Intelligence. Two of our policies are precautionary. Given substantial uncertainty both about ethical theory and about the conditions under which AI would have conscious experiences, we should be cautious in our handling of cases where different moral theories or different theories of consciousness would produce very different ethical recommendations. Two of our policies concern respect and freedom. If we design AI that deserves moral consideration equivalent to that of human (...) beings, that AI should be designed with self-respect and with the freedom to explore values other than those we might impose. We are especially concerned about the temptation to create human-grade AI pre-installed with the desire to cheerfully sacrifice itself for its creators’ benefit. (shrink)

Despite a voluminous literature on happiness and well‐being, debates have been stunted by persistent dissensus on what exactly the subject matter is. Commentators frequently appeal to intuitions about the nature of happiness or well‐being, raising the question of how representative those intuitions are. In a series of studies, we examined lay intuitions involving happiness‐ and well‐being‐related terms to assess their sensitivity to internal (psychological) versus external conditions. We found that all terms, including ‘happy’, ‘doing well’ and ‘good life’, were far (...) more sensitive to internal than external conditions, suggesting that for laypersons, mental states are the most important part of happiness and well‐being. But several terms, including ‘doing well’, ‘good life’ and ‘enviable life’ were substantially more sensitive to external conditions than others, such as ‘happy’, consistent with dominant philosophical views of well‐being. Interestingly, the expression ‘happy’ was completely insensitive to external conditions for about two thirds of our participants, suggesting a purely psychological concept among most individuals. Overall, our findings suggest that lay thinking in this domain divides between two concepts, or families thereof: a purely psychological notion of being happy, and one or more concepts equivalent to, or encompassing, the philosophical concept of well‐being. In addition, being happy is dominantly regarded as just one element of well‐being. These findings have considerable import for philosophical debates, empirical research and public policy. (shrink)

This junior/senior level text is devoted to a study of first-order logic and its role in the foundations of mathematics: What is a proof? How can a proof be justified? To what extent can a proof be made a purely mechanical procedure? How much faith can we have in a proof that is so complex that no one can follow it through in a lifetime? The first substantial answers to these questions have only been obtained in this century. The (...) most striking results are contained in Goedel's work: First, it is possible to give a simple set of rules that suffice to carry out all mathematical proofs; but, second, these rules are necessarily incomplete - it is impossible, for example, to prove all true statements of arithmetic. The book begins with an introduction to first-order logic, Goedel's theorem, and model theory. A second part covers extensions of first-order logic and limitations of the formal methods. The book covers several advanced topics, not commonly treated in introductory texts, such as Trachtenbrot's undecidability theorem. Fraissé's elementary equivalence, and Lindstroem's theorem on the maximality of first-order logic. (shrink)

A key strength of connectionist modelling is its ability to simulate both intact cognition and the behavioural effects of neural damage. We survey the literature, showing that models have been damaged in a variety of ways, e.g. by removing connections, by adding noise to connection weights, by scaling weights, by removing units and by adding noise to unit activations. While these different implementations of damage have often been assumed to be behaviourally equivalent, some theorists have made aetiological claims that rest (...) on nonequivalence. They suggest that related deficits with different aetiologies might be accounted for by different forms of damage within a single model. We present two case studies that explore the effects of different forms of damage in two influential connectionist models, each of which has been applied to explain neuropsychological deficits. Our results indicate that the effect of simulated damage can indeed be sensitive to the way in which damage is implemented, particularly when the environment comprises subsets of items that differ in their statistical properties, but such effects are sensitive to relatively subtle aspects of the model’s training environment. We argue that, as a consequence, substantial methodological care is required if aetiological claims about simulated neural damage are to be justified, and conclude more generally that implementation assumptions, including those concerning simulated damage, must be fully explored when evaluating models of neurological deficits, both to avoid over-extending the explanatory power of specific implementations and to ensure that reported results are replicable. (shrink)

Recently a number of works in meta-ontology have used a variant of J.H. Harris's collapse argument in the philosophy of logic as an argument against Eli Hirsch's quantifier variance. There have been several responses to the argument in the literature, but none of them have identified the central failing of the argument, viz., the argument has two readings: one on which it is sound but doesn't refute quantifier variance and another on which it is unsound. The central lesson I draw (...) is that arguments against quantifier variance must pay strict attention to issues of translation and interpretation. The paper also has a substantial appendix in which I prove the equivalence of plural mereological nihilism and standard first-order atomistic mereology; results of this kind are often appealed to in the literature on quantifier variance but without many details on the nature or proof of the result. (shrink)

Integrating the study of human diversity into the human evolutionary sciences requires substantial revision of traditional conceptions of a shared human nature. This process may be made more difficult by entrenched, 'folkbiological' modes of thought. Earlier work by the authors suggests that biologically naive subjects hold an implicit theory according to which some traits are expressions of an animal's inner nature while others are imposed by its environment. In this paper, we report further studies that extend and refine our (...) account of this aspect of folkbiology. We examine biologically naive subjects' judgments about whether traits of an animal are 'innate', 'in its DNA' or 'part of its nature'. Subjects do not understand these three descriptions to be equivalent. Both innate and in its DNA have the connotation that the trait is species-typical. This poses an obstacle to the assimilation of the biology of polymorphic and plastic traits by biologically naive audiences. Researchers themselves may not be immune to the continuing pull of folkbiological modes of thought. (shrink)

Fourteen subjects were tape‐recorded while they undertook to find a law to summarize numerical data they were given. The source of the data was not identified, nor were the variables labeled semantically. Unknown to the subjects, the data were measurements of the distances of the planets from the sun and the periods of their revolutions about it—equivalent to the data used by Johannes Kepler to discover his third law of planetary motion.Four of the 14 subjects discovered the same law as (...) Kepler did (the period varies as the 3/2 power of the distance), and a fifth came very close to the answer. The subiects' protocols provide a detailed picture of the problem‐solving searches they engaged in, which were mainly, but not exclusively, in the space of possible functions for fitting the data, and provide explanations as to why some succeeded and the others failed.The search heuristics used by the subjects are similar to those embodied in the BACON program, computer simulation of certain scientific discovery processes. The experiment demonstrates the feasibility of examining some of the processes of scientific discovery by recreating, in the laboratory, discovery situations of substantial historical relevance. It demonstrates also, that under conditions rather similar to those of the original discoverer, a law can be rediscovered by persons of ordinary intelligence (i.e., the intelligence needed for academic success in a good university). The data for the successful subjects reveal no “creative” processes in this kind of a discovery situation different from those that are regularly observed in all kinds of problem‐solving settings. (shrink)

This version of this paper has been superseded by a substantially revised version in G. Strawson, Real Materialism and Other Essays (OUP 2008) I take 'content' in a natural internalist way to refer to occurrent mental content. I introduce a 'thin' or ‘live’ notion of the subject according to which a subject of experience cannot exist unless there is an experience for it to be the subject of. I then argue, first, that in the case of a particular experience E, (...) its content C, and its (thin) subject S, [C ↔ E ↔ S]; and, second, that the metaphysical fact that underlies this (strong modal) equivalence is in fact identity: [E = S = C]. I suggest that the effort of thought required to grasp this is deeply revealing of the nature of reality. On the way I raise a doubt about the viability of the traditional object/property distinction. -/- . (shrink)

According to logical theories of meaning, a meaning of an expression can be formalized and encoded in truth conditions. Vagueness of the language and individual differences between people are a challenge to incorporate into the meaning representations. In this paper, we propose a new approach to study truth-conditional representations of vague concepts. For a case study, we selected two natural language quantifiers most and more than half. We conducted two online experiments, each with 90 native English speakers. In the first (...) experiment, we tested between-subjects variability in meaning representations. In the second experiment, we tested the stability of meaning representations over time by testing the same group of participants in two experimental sessions. In both experiments, participants performed the verification task. They verified a sentence with a quantifier (e.g., “Most of the gleerbs are feezda.”) based on the numerical information provided in the second sentence, (e.g., “60% of the gleerbs are feezda”). To investigate between-subject and within-subject differences in meaning representations, we proposed an extended version of the Diffusion Decision Model with two parameters capturing truth conditions and vagueness. We fit the model to responses and reaction times data. In the first experiment, we found substantial between-subject differences in representations of most as reflected by the variability in the truth conditions. Moreover, we found that the verification of most is proportion-dependent as reflected in the reaction time effect and model parameter. In the second experiment, we showed that quantifier representations are stable over time as reflected in stable model parameters across two experimental sessions. These findings challenge semantic theories that assume the truth-conditional equivalence of most and more than half and contribute to the representational theory of vague concepts. The current study presents a promising approach to study semantic representations, which can have a wide application in experimental linguistics. (shrink)

In recent years, there has been a substantial amount of work in reverse mathematics concerning natural mathematical principles that are provable from RT, Ramsey's Theorem for Pairs. These principles tend to fall outside of the "big five" systems of reverse mathematics and a complicated picture of subsystems below RT has emerged. In this paper, we answer two open questions concerning these subsystems, specifically that ADS is not equivalent to CAC and that EM is not equivalent to RT.

Wild places are rich with meaning. This runs contrary to accounts of vast undeveloped regions like the Arctic as being devoid of meaning (and thus open for—or even in need of—resource exploitation) and to accounts that dismiss conceptualizations of the Arctic as containing substantial wilderness landscapes as an invalid colonial concept. There is rather an unappreciated commonality between Indigenous conceptions of place and conceptualizations of wilderness: both recognize undeveloped landscapes as substantial founts of meaning that are not the (...) product of their own projections. Their senses of these meanings are not equivalent but overlap in important respects and are shared by many cultures across the globe, thus challenging premises of relativism and of meaning as merely locally produced. Furthermore, meaning is a topic often overlooked or marginalized in the context of climate change adaptation and nature preservation. The Arctic is considered as a specific case study to illustrate these points as it is one of the world's largest undeveloped areas and is particularly affected by climate change. The Arctic is rich with meaning for the Inuit and other residents who depend on it for sustenance. It also contains some of the most extensive and least developed or otherwise impacted and manipulated landscapes on the planet—a relatively small portion of which is protected as parks and wilderness, though substantial in comparison to temperate or tropical regions. Climate change threatens not only the traditional subsistence livelihoods of Arctic residents, but also the emergent meanings that inhere in these landscapes. Simultaneously, the meaning and value of protected Arctic landscapes, particularly those designated as wilderness, is also under duress. Climate change is impacting the Arctic more than many other areas, posing a threat to its meanings as a home and as a wilderness. Acknowledging the centrality of meaning, while rejecting the “received idea” inherited from constructivist thought that meaning is overlaid on a passive landscape open for—or even in need of—human created meanings, can lead to new approaches to nature preservation and to human adaptation in the era of climate change. (shrink)

Simpson has claimed that “ATR0 is the weakest set of axioms which permits the development of a decent theory of countable ordinals” [8]. This paper provides empirical support for Simpson's claim. In particular, Cantor's Normal Form Theorem and Sherman's Inequality for countable well-orderings are both equivalent to ATR0. The proofs of these results require a substantial development of ordinal exponentiation and a strengthening of the comparability result in [3].

Logical semantics includes once again structured meanings in its repertoire. The leading idea is that semantic and syntactic structure are more or less isomorphic. A key motive for reintroducing sensitivity to semantic structure is to obtain fine‐grained meanings, which are individuated more finely than in possible‐world semantics, namely up to necessary equivalence. Just getting the truth‐conditions right is deemed insufficient for a full semantic analysis of sentences. This paper surveys some of the most recent contributions to the program of (...) structured meaning, while providing historical background. I suggest that to make substantial advances the program needs to solve the problem of propositional unity and develop an intensional mereology of abstract objects. (shrink)