We outline a class of term-languages for epistemic grounding inspired by Prawitz’s theory of grounds. We show how denotation functions can be defined over these languages, relating terms to proof-objects built up of constructive functions. We discuss certain properties that the languages may enjoy both individually and with respect to their expansions. Finally, we provide a ground-theoretic version of Prawitz’s completeness conjecture, and adapt to our framework a refutation of this conjecture due to Piecha and Schroeder-Heister.

This volume examines the notion of an analytic proof as a natural deduction, suggesting that the proof's value may be understood as its normal form--a concept with significant implications to proof-theoretic semantics.

According to a main idea of Gentzen the meanings of the logical constants are reflected by the introduction rules in his system of natural deduction. This idea is here understood as saying roughly that a closed argument ending with an introduction is valid provided that its immediate subarguments are valid and that other closed arguments are justified to the extent that they can be brought to introduction form. One main part of the paper is devoted to the exact development of (...) this notion. Another main part of the paper is concerned with a modification of this notion as it occurs in Michael Dummett’s book The Logical Basis of Metaphysics. The two notions are compared and there is a discussion of how they fare as a foundation for a theory of meaning. It is noted that Dummett’s notion has a simpler structure, but it is argued that it is less appropriate for the foundation of a theory of meaning, because the possession of a valid argument for a sentence in Dummett’s sense is not enough to be warranted to assert the sentence. (shrink)

I see the question what it is that makes an inference valid and thereby gives a proof its epistemic power as the most fundamental problem of general proof theory. It has been surprisingly neglected in logic and philosophy of mathematics with two exceptions: Gentzen’s remarks about what justifies the rules of his system of natural deduction and proposals in the intuitionistic tradition about what a proof is. They are reviewed in the paper and I discuss to what extent they succeed (...) in answering what a proof is. Gentzen’s ideas are shown to give rise to a new notion of valid argument. At the end of the paper I summarize and briefly discuss an approach to the problem that I have proposed earlier. (shrink)

We may try to explain proofs as chains of valid inference, but the concept of validity needed in such an explanation cannot be the traditional one. For an inference to be legitimate in a proof it must have sufficient epistemic power, so that the proof really justifies its final conclusion. However, the epistemic concepts used to account for this power are in their turn usually explained in terms of the concept of proof. To get out of this circle we may (...) consider an idea within intuitionism about what it is to justify the assertion of a proposition. It depends on Heyting’s view of the meaning of a proposition, but does not presuppose the concept of inference or of proof as chains of inferences. I discuss this idea and what is required in order to use it for an adequate notion of valid inference. (shrink)

The Justification of Deduction is the title of one of Michael Dummett’s essays. It names also an important theme in his writings to which he returned in the book The Logical Basis of Metaphysics. In the essay he distinguishes different levels of justification of increasing philosophical depth. At the third and deepest level, the focus is on explaining deduction rather than on justifying it. The task is to explain how deduction can be both legitimate and useful in giving us knowledge. (...) I suggest that it can be described as essentially being the task to say what it is that gives a deduction its epistemic force. It is a fact that deduction has such force, consisting in its capacity to provide grounds for assertions and thereby extend our knowledge, but it is a fact that has to be explained. What is it that gives a deduction this capacity? This task is more challenging than is usually assumed. Obviously, it is not the validity of its inferences, as this is usually understood, which gives a deduction its epistemic force. Truth conditional theory of meaning does not seem to have any satisfactory solution to offer, and I argue that nor have inferential theories of meaning, which take the meaning of sentences to be determined by inference rules accepted in a language. In the last part of the paper, I sketch a different approach to the problem. The main idea is here to give the concept of inference a richer content, so that to perform an inference is not only to make a speech act in which a conclusion is claimed to be supported by a number of premisses, but is in addition to operate on the grounds for the premisses with the aim of getting a ground for the conclusion. I suggest that it is thanks to such operations that deductions provide grounds for their final conclusions. (shrink)

By a valid inference is here understood an inference that succeeds in its aim to justify its conclusion given that its premisses are already justified. For an inference to be valid it is thus not enough that the sentence asserted in the conclusion is a logical consequence of the sentences asserted in the premisses. A proof is understood as a succession of valid inferences that is closed (i.e. all its assumptions are discharged and all its free variables are bound by (...) some of the inferences). On the other hand, in mathematics the justification of an assertion has traditionally been taken to consist in a proof of it, which gives rise to an explanatory circle.In an attempt to avoid this circle, I have in previous works tried to explain the notion of ground for an assertion without referring to valid inferences. However, it turns out that the resulting notion of ground has unwanted consequences like the notion of proof in the so-called BHK-interpretation of intuitionistic logic. For instance, one is guaranteed a ground or a proof of an implication A → B as soon as there is in fact no ground or proof of A, regardless of whether one really knows this fact, and hence without having a real justification of the assertion of the implication.In the absence of a non-circular explanation of the notions of valid inference and proof, I suggest that we should try to formulate a number of principles of how these two epistemic notions depend on each other. A more careful explanation of the validity of an inference results in what I call a heuristic idea about the validity of inference, which is used as a guide to formulate precise principles. One such principle generalizes Gentzen’s idea that his introduction rules define the meaning of the logical constants. Another principle generalizes a previously noted property of Gentzen’s elimination rules that I have called that of satisfying the inversion principle. It results in a notion that I call non-creativity, which implies validity. (shrink)

WeingartnerPaul and LeebHans-Peter, eds, Kreisel’s Interests: On the Foundations of Logic and Mathematics. Tributes; 41. London: College Publications, 2020. Pp. viii + 171. ISBN: 978-1-84890-330-2.

A structure ${\mathbb Y}$ of a relational language L is called almost chainable iff there are a finite set $F \subset Y$ and a linear order $\,<$ on the set $Y\setminus F$ such that for each partial automorphism $\varphi $ of the linear order $\langle Y\setminus F, <\rangle $ the mapping $\mathop {\mathrm {id}}\nolimits _F \cup \varphi $ is a partial automorphism of ${\mathbb Y}$. By theorems of Fraïssé and Pouzet, an infinite structure ${\mathbb Y}$ is almost chainable iff the (...) profile of ${\mathbb Y}$ is bounded; namely, iff there is a positive integer m such that ${\mathbb Y}$ has $\leq m$ non-isomorphic substructures of size n, for each positive integer n. A complete first order L-theory ${\mathcal T}$ having infinite models is called almost chainable iff all models of ${\mathcal T}$ are almost chainable and it is shown that the last condition is equivalent to the existence of one countable almost chainable model of ${\mathcal T}$. In addition, it is proved that an almost chainable theory has either one or continuum many non-isomorphic countable models and, thus, the Vaught conjecture is confirmed for almost chainable theories. (shrink)

A proof is given that 0′ is definable in the structure of the degrees of unsolvability. This answers a long-standing question of Kleene and Post, and has a number of corollaries including the definability of the jump operator.

Some sufficient conditions on a Symmetric Monoidal Closed category K are obtained such that a diagram in a free SMC category generated by the set A of atoms commutes if and only if all its interpretations in K are commutative. In particular, the category of vector spaces on any field satisfies these conditions . Instead of diagrams, pairs of derivations in Intuitionistic Multiplicative Linear logic can be considered . Two derivations of the same sequent are equivalent if and only if (...) all their interpretations in K are equal. In fact, the assignment of values to atoms is defined constructively for each pair of derivations. Taking into account a mistake in R. Voreadou's proof of the “abstract coherence theorem” found by the author, it was necessary to modify her description of the class of non-commutative diagrams in SMC categories; our proof of S. Mac Lane conjecture also proves the correctness of the modified description. (shrink)

Ovid, Metamorphoses 4.243–4:nec tu iam poteras enectum pondere terraetollere, nympha, caput, corpusque exsangue iacebas.

Ovid, Metamorphoses 4.243–4: nec tu iam poteras enectum pondere terrae tollere, nympha, caput, corpusque exsangue iacebas.

Most, if not all, philosophers agree that computers cannot learn what words refers to from raw text alone. While many attacked Searle’s Chinese Room thought experiment, no one seemed to question this most basic assumption. For how can computers learn something that is not in the data? Emily Bender and Alexander Koller ( 2020 ) recently presented a related thought experiment—the so-called Octopus thought experiment, which replaces the rule-based interlocutor of Searle’s thought experiment with a neural language model. The Octopus (...) thought experiment was awarded a best paper prize and was widely debated in the AI community. Again, however, even its fiercest opponents accepted the premise that what a word refers to cannot be induced in the absence of direct supervision. I will argue that what a word refers to _is_ probably learnable from raw text alone. Here’s why: higher-order concept co-occurrence statistics are stable across languages and across modalities, because language use (universally) reflects the world we live in (which is relatively stable). Such statistics are sufficient to establish what words refer to. My conjecture is supported by a literature survey, a thought experiment, and an actual experiment. (shrink)

Different analyses of two-wrongs reasoning are presented and provide relief for the Groarke, Tindale, and Fisher analysis which is suggestive of the origin of this type of reasoning in Bentham and Mill. Aquinas's doctrine of double effect is entertained as a possible counterexample (which it is not). Two-wrongs reasoning can be either acceptable (reasonable) or unacceptable, and there are conditions that can be laid down for both situations in discourse. A negative version of the utilitarian principle assists us in understanding (...) two-wrongs reasoning in moral contexts. (shrink)

Context: Philosophy of science is the branch of philosophy that deals with methods, foundations, and implications of science. It is a theory of how to create scientific knowledge. Presently, there is widespread agreement on how to do science, namely conjectures, ideally in the form of a mathematical model, and refutations, testing the model using empirical evidence. Problem: Many social scientists are using a conception of science created for the physical sciences. Expanding philosophy of science so that it more successfully encompasses (...) social systems would create new avenues of inquiry. Two dimensions could be added to philosophy of science: the amount of attention paid to the observer and the amount of impact of a theory on the system described. Method: My approach is to illuminate underlying assumptions. I claim that there are at least three epistemologies and that they can be combined to form a more robust conception of knowledge and of how to do research. There are at least four models and four basic elements being used by scientists. Results: The article identifies the logical propositions underlying second-order science. It suggests strategies for developing second-order science. And it describes several methods that can be used to practice second-order science, including how past theories have not only described but also changed the phenomenon being studied. Implications: The task for members of the scientific community, particularly social scientists, is to practice second-order science and to develop further its theories and methods. A practical implication is to accept methods for acting as well as theories as a contribution to science, since methods explicitly define the role of an observer/ participant. Constructivist content: The paper is an extension of the work of Heinz von Foerster and other second-order cyberneticians. (shrink)

We develop an approach to the longstanding conjecture of Kierstead concerning the character of strongly nontrivial automorphisms of computable linear orderings. Our main result is that for any η-like computable linear ordering, such that has no interval of order type η, and such that the order type of is determined by a -limitwise monotonic maximal block function, there exists computable such that has no nontrivial automorphism.

Since the publication of my critical edition in 1889 the Tristia of Ovid has received some attention. A paper in Hermathena, vol. vii. by Professor R. Ellis contains several conjectural emendations, and in a public lecture on The Second Book of Ovid's ‘Tristia’ , this veteran scholar analysed the intricate contents of Book II. Two learned pamphlets by Dr. R. Ehwald, Ad historiam carminum Ouidianorum recensionemque symbolae deal with the history of the text, and the textual criticism and interpretation generally. (...) Dr. Paul Vogel's Kritische und exegetische Bemerkungen zu Ovid ‘Tristien’ is a valuable contribution to the understanding of the text and its interpretation. (shrink)

Since the publication of my critical edition in 1889 the Tristia of Ovid has received some attention. A paper in Hermathena, vol. vii. by Professor R. Ellis contains several conjectural emendations, and in a public lecture on The Second Book of Ovid's ‘Tristia’, this veteran scholar analysed the intricate contents of Book II. Two learned pamphlets by Dr. R. Ehwald, Ad historiam carminum Ouidianorum recensionemque symbolae deal with the history of the text, and the textual criticism and interpretation generally. Dr. (...) Paul Vogel's Kritische und exegetische Bemerkungen zu Ovid ‘Tristien’ is a valuable contribution to the understanding of the text and its interpretation. (shrink)

This text is designed to teach students how to read and write proofs in mathematics and to acquaint them with how mathematicians investigate problems and formulate conjecture.

In his book Shadows of the Mind: A search for the missing science of con- sciousness [SM below], Roger Penrose has turned in another bravura perfor- mance, the kind we have come to expect ever since The Emperor’s New Mind [ENM ] appeared. In the service of advancing his deep convictions and daring conjectures about the nature of human thought and consciousness, Penrose has once more drawn a wide swath through such topics as logic, computa- tion, artificial intelligence, quantum physics (...) and the neuro-physiology of the brain, and has produced along the way many gems of exposition of difficult mathematical and scientific ideas, without condescension, yet which should be broadly appealing. 1 While the aims and a number of the topics in SM are the same as in ENM, the focus now is much more on the two axes that Pen- rose grinds in earnest. Namely, in the first part of SM he argues anew and at great length against computational models of the mind and more specifi- cally against any account of mathematical thought in computational terms. Then in the second part, he argues that there must be a scientific account of consciousness but that will require a (still to be found) non-computational extension or modification of present-day quantum physics. (shrink)

Harmony and conservative extension are two criteria proposed to discern between acceptable and unacceptable rules. Despite some interesting works in this field, the exact relation between them is still not clear. In this article, some standard counterexamples to the equivalence between them are summarized, and a recent formulation of the notion of stability is used to express a more refined conjecture about their relation. Then Prawitz's proposal of a counterexample based on the truth predicate to this refined (...) class='Hi'>conjecture is shown to rest on dubious assumptions. As a consequence, two new counterexamples are proposed: one uses the extension of logic with a small amount of arithmetic, while the other uses the extension of a small fragment of arithmetic with a problematic operator defined by Peano. It is argued that both these new counterexamples work fine to reject the conjecture and that the last one works also as a rejection of harmony as a complete criterion of acceptability of rules. (shrink)

ABSTRACT The individual-community relationship has always been one of the most fundamental topics of social sciences. In sociology, this is known as the micro-macro relationship while in economics it refers to the processes, through which, individual actions lead to macroeconomic phenomena. Based on philosophical discourse and systems theory, many sociologists even use the term "emergence" in their understanding of micro-macro relationship, which refers to collective phenomena that are created by the cooperation of individuals, but cannot be reduced to individual actions. (...) "Emergence" theories attempt to explain the nature of society as a complex system by examining how individuals and their relationships lead to the creation of integrated and macro-social phenomena such as markets, educational systems, cultural beliefs, and shared social practices. As a prelude to activity, every researcher has to answer the question from the methodological point of view, how is it possible to study the behavior of social groups and how can we gain knowledge about the laws related to social groups? Anyone who deals with humanities and social sciences or any reality and phenomenon that affects human beings, inevitably deals with the reality that is emerging. In fact, emergence occurs when one level of reality emerges radically from another level. Examples of emergent levels of reality include how the mind emerges from the body; or the way society emerges from human beings. Therefore, when there is an emerging factor, different scientific disciplines should be used, because it is inevitable to talk about social affairs, psychology and neurobiology, as well as physical and even chemical. -/- INTRODUCTION Since its beginning in the 19th century, sociology has faced the fundamental question of what a social phenomena stands for? At a glance, sociologists deal with the study of social groups, collective behavior, institutions, social structures, social networks, and social dynamics, and ultimately all such phenomena are composed of individuals. Therefore, social phenomena seem to have no independent ontological status, and in this case, sociology is ultimately about reducible individuals. Different approaches about the micro-macro relationship, using the concept of "emergence", argue that although collective phenomena are created by individuals, they cannot be reduced to individual action. The term "emergence" is used to distinguish "emergent results" from " Procedural results". Results are called Procedural that can only be calculated by adding or subtracting the causes that act together. On the contrary, they are emergent outcomes that are qualitatively novel compared to the causes from which they originate. An example of such emergent results is mental characteristics that emerge from neural processes, but are not considered among the characteristics of neural processes of components - which are their origin. Philosophical debates about emergentism and reductionism focus on the mind-brain relationship, but as many philosophers have noted, they can be generalized to apply to any hierarchical set of features. The cognitive revolution reactivated a 19th century controversy between theorists of Identity and dualism. The theorists of Identity believe in reductionist materialism and elimination of metaphysics, according to which the mind is nothing more than the biological, while the dualists believe that the mind and the brain are distinct from each other. Emergence has been considered as a third way between the theories of Identity and dualism. -/- METHODOLOGY Interdisciplinarity Is fundamentally indicated by the dominance of open systems as well as social and emerging systems at different levels. Therefore, as long as we are facing a new emergentism, there will necessarily be different fields and an interdisciplinary method. The commonality of social sciences and cognitive sciences on the issue of emergence provides the possibility of interaction and exchange of concepts between these two for deeper research. Therefore, in this research, apart from the concepts of Subvenience and downward causation, we have used multiple realization and wildly disjunctive, which are used to explain the emerging concept in cognitive sciences, including neurobiology, psychology, and philosophy. For analytical and interdisciplinary approaches, after examining the concepts of subvenience, and wildly disjunctive, Individualistic and collectivist emergentism have been reviewed. And then their adequacy is criticized and evaluated in meeting strong emergence conditions. -/- FINDINGS Philosophers of the mind have been able to define the conditions of irreducibility and downward causation, which are essential for strong emergence, by using the principle of subvenience with the help of multiple realization and wildly disjunctive principles. Therefore, by definition, emergentist individualism suffers from the problem of how to explain downward causality and irreducibility, and emergentist collectivism faces the challenge of reification. The analysis of the challenges facing the two methodological approaches of individualism and collectivism leads us to three unresolved issues about the emerging phenomenon, which are realism, downward causality, and mechanism. Despite the differences in the stances of these two approaches regarding the aforementioned triple problems, individualists and collectivists both agree that some social characteristics are reducible; and some others are irreducible due to their complexity, the determination of which, depends on the case study of the mechanism of emergence of each social characteristic. -/- CONCLUSION An emergence that is consistent with reductionism is called a weak emergence. And strong emergence includes the principle of irreducibility and downward causality. According to strong emergence, the characteristics of social phenomena have downward causal power, which cannot be reduced to the causal forces. The principle of subvenience, together with multiple realization and wildly disjunctive, can provide the conditions of irreducibility and downward causality, which are essential conditions of strong emergence. Based on the philosophical analysis of two methodological approaches, individualist and collectivist, it can be concluded that emergentist individualism suffers from the problem of how to explain downward causality and irreducibility, and reification collectivism faces the challenge of reification. The analysis of the problems faced by these two approaches leads us to three unresolved issues, which are realism, downward causality, and mechanism. individualist emergentists acknowledge the existence of emergent social characteristics, but despite this, they believe that these characteristics are not real but merely analytical constructs that require explanation based on individuals and their mutual actions. But collectivists argue that emergentism yields a categorical ontology and supports social realism. They accept the dependence of social characteristics on individuals, but claim that social entities and structures are ontologically independent. Individualists and collectivists both agree that some social characteristics are reducible; and others are irreducible due to their complexity; and the only way to recognize this is to engage in empirical studies of the mechanisms and temporal processes of "emergence" that create social characteristics. -/- NOVELTY The newness of this compact article is as follows: a) Presenting an interdisciplinary approach using the analysis of philosophy of cognitive sciences, including the philosophy of mind, neurobiology and psychology to formulate the issue of social emergence; b) Criticizing individualist and collectivist methodological approaches to the issue of social emergence and explaining the sufficiency and shortcomings of both in providing weak and strong emerging conditions; c) Explaining and categorizing the challenges facing methodological approaches in explaining the phenomenon of social emergence, in three categories: realism, downward causality, and mechanism. BIBLIOGRAPHY Beckermann, A., Flohr, H., & Kim, J. (eds.) (1992). Emergence or reduction? Essays on the prospects of nonreductive physicalism. Berlin: Walter de Gruyter. Bhaskar, R. (1979). The possibility of Naturalism. New York: Routledge. Bhaskar, R., Danermark, B. & Price, L. (2018). Interdisciplinarity and wellbeing: A critical realist general theory of interdisciplinarity. London and New York: Routledge. Blau, P.M. (1981). Introduction: diverse views of social structure and their common denominator. In Blau, P.M. & Merton, R.K. (eds.), Continuity in Structural Inquiry (pp. 1–23). Beverly Hills: Sage. Blau, P.M. (1987). Microprocess and macrostructure. In K.S. Cook (ed.), Social Exchange Theory (pp. 83–100). Newbury Park, CA: Sage. Brooks, R.A., & Maes, P. (eds). (1994). Artificial life IV; proceedings of the Fourth International Workshop on the Synthesis and Simulation of Living Systems. Cambridge, Mass: MIT Press. Clark, A. (1997). Being there: Putting brain, body, and world together again. Cambridge, Mass.: MIT Press. Coleman, J. S. (1987). Microfoundations and macrosocial behavior. In: J. C. Alexander, B. Giesen, R. Munch, & Neil J. Smelser (Eds.). The Micro-Macro Link (pp. 153–73). Berkeley: University of California. Coleman, J. S. (1990). Foundations of social theory. Cambridge, MA: Harvard University Press. Elster, J. (1985). Making sense of Marx. New York: Cambridge University Press. Fodor, J.A. (1974). Special sciences (Or: The disunity of science as a working hypothesis). Synthese, 28(2), 97–115. Fodor, J.A. (1989). Making mind matter more. Philosophical Topics, 17, 59-79. Giddens, A. (1984). The constitution of society: Outline of the theory of structuration. Berkeley: University of California Press. Hempel, C.G. (1965). Aspects of scientific explanation and other essays in the philosophy of science. New York: The Free Press. Horgan, T. (1993). From supervenience to superdupervenience: meeting the demands of a material world. Mind, 102, 555-586. Humphreys, P. (1997). How properties emerge”. Philosophy of Science, 64, 1-17. Kim, J. (1999). Making sense of emergence. Philosophical Studies, 95, 3–36. Kincaid, H. (1997). Individualism and the unity of science. New York: Rowman & Littlefield. Lewis, D.K. (1986). The plurality of worlds. Oxford: Oxford University Press. Nigel, G., & Conte, R. (eds.) (1995). Artificial societies; The computer simulation of social life. London: UCL Press. O’Connor, T. (1994). Emergent properties. American Philosophical Quarterly, 31, 91-104. Popper, K.R. (1968). Conjectures and refutations: The Growth of Scientific Knowledge. New York: Harper & Row. Sawyer, R. K. (2001). Emergence in sociology: contemporary philosophy of mind and some implications for sociological theory. American Journal of Sociology, 107, 551-585. Sawyer, R. K. (2004). The mechanisms of emergence. Philosophy of the Social Sciences, 34, 260–282. Sawyer, R. K. (2005). Social emergence: societies as complex systems. Cambridge: Cambridge University Press. Sawyer, R.K. (2003). Nonreductive individualism: Part 2, Social causation. Philosophy of the Social Sciences, 33, 203–224. Winch, P. (1993). The idea of a social science and its relation to philosophy‭ (SAMT, Trans.). Tehran, Iran: SAMT. (shrink)

SUMMARY. The works of Alexander of Aphrodisias were written a few decades after the publication of the most successful -astrology hand- book in antiquity, Ptolemy's Tetrabiblos Syntaxis, which attempts to naturalize astrology, i.e. to make it agree with Aristotelian theory of science. A comparison of the doctrines between the Tetrabiblos and some passages of Alexander'p works on fate demostrates a noteworthy con¬vergere of the two scholars, and probably a dependence of the lasi great greek Aristotle's exegete on the theories of (...) Ptolemaic astrology, at least in reference to three points: theory of fate; justification of de- vining as a technical and naturai conjecture about man's fate; ana¬lysis of the stars' influence on the sublunary world in physical and phi¬losophical terms. (shrink)

In avatar, Jake Sully struggles with his sense of self at a variety of levels, including the metaphysical. In Plato's and Aristotle's book Philosophy in the Flesh, George Lakoff and Mark Johnson call this shared conjecture the “folk theory of essences.” In Avatar, the presuppositions about personal identity that ground the linkage process between human beings and avatar bodies seems to follow Locke's insights quite faithfully. This way of talking about the essential self challenges the bodyswapping scenarios of John (...) Locke and Avatar, urging us to attend not to far‐fetched thought experiments but instead to our first‐person experience of how mind and body actually interact, our ordinary sense of “what it's like” to be embodied. This approach, known as “existential phenomenology,” offers an alternative to perspectives like Locke's – perspectives. In many ways, the existential phenomenology coincides with Na'vi wisdom. (shrink)

Recent investigations have conclusively proved that, because of their collapse, quantum states transform noncovariantly under Lorentz transformations. This result is shown to imply that quantum states do not represent probability distributions for the results of measurements. They represent, rather, perspectives of such probability distributions from the point of view of the frame of reference in which they are given. The ontological status of these “perspectives of potentialities” is discussed. It is conjectured that they propagate from the location of a measurement (...) to the origins of all frames of reference at the speed of light. (shrink)

Students of the play have not appreciated the merits of W. Dindorf's proposal to delete lines 895–7: his conjecture is not reported by most editors; when reported it is not accepted; and it has been taken seriously perhaps only in an iobiter dictum of Wecklein. Nevertheless, the arguments in its favour are even more powerful than Dindorf realised.

In his elegiacs Ovid did not permit the elision of the final syllable of an iambic word ‘in an arsis , i.e. first syllable of dactyl or spondee.’ See L. Müller, De re metrica, ed. 2, p. 341. These two are the only lines in which this rule is transgressed, for in Trist. II. 296, which used to appear asstat Venus Vltori iuncta, uir ante foreswas brilliantly restored conjecturally by Bentley, and has since been found to be the actual reading (...) of our best manuscript, the Marcianus. The soundness of the text in the two lines obelized above is still open to question. (shrink)

These notes discuss some passages where what Livy wrote may not be printed in standard editions. In some a new reading, or new punctuation, is proposed; in others the merits of neglected conjectures are canvassed.

In Death and the Afterlife, Samuel Scheffler argues that the assumption of a “collective afterlife” plays an essential role in us valuing much of what we do. If a collective afterlife did not exist, our value structures would be radically different according to Scheffler. We would cease to value much of what we do. In Part I of the paper, I argue that there is something to Scheffler’s afterlife conjecture, but that Scheffler has misplaced the mattering of a collective (...) afterlife. Its significance lies not in the realm of axiology but more importantly in coming to terms with the fact of death and in viewing our lives as having meaning. In Part II of the paper, I outline three views on the sort of collective afterlife that matters and argue in favor of the view that it must involve creatures that recognize our existence, reasons, values, and contributions and the view that it must involve creatures that value similar things to us —but argue against the view that it necessarily be a human collective afterlife. (shrink)

In this article we examine the association between corporate social responsibility (CSR) and firm value. This line of research is important since firms continue to invest in CSR even though past studies reveal a limited linkage between financial value and CSR. However, the business case for CSR or “doing good while making a profit,” appears to be advancing within the business ethics literature as a preferred conception of CSR. We conjecture that the greater unification and refinement of both profit (...) maximization and stakeholder interests through corporate acts, not statements alone, will sustain the financial value of CSR in a less regulated global business environment. We study the triangle of what companies say, what companies do, and firm financial performance. We analyze Fortune 250 firms and find a positive association between what companies do based on KLD Research and Analytics, Inc. (KLD) ratings, and what companies state about ethics in their CSR statements. We then employ regression analysis and find that companies’ socially responsible acts are positively associated with overall firm value and financial performance. Yet we do not find a statistically significant association between what companies say regarding ethics in their CSR statements and their financial outcomes. These results suggest that firm value and financial performance is associated with what companies do and not what they say. Our results seem to be driven by multinational corporations (MNCs) and not by non‐MNCs. This is possibly because MNCs generally operate in a less regulated global business environment that often necessitates strong ethical corporate leadership to further stakeholder interests. Overall, these results help reconcile corporate and stakeholder objectives since evidence of a link between financial performance and doing good sustains global CSR. (shrink)

The quantum probability flux of a particle integrated over time and a distant surface gives the probability for the particle crossing that surface at some time. We prove the free fluxacross-surfaces theorem, which was conjectured by Combes, Newton and Shtokhamer [1], and which relates the integrated quantum flux to the usual quantum mechanical formula for the cross section. The integrated quantum flux is equal to the probability of outward crossings of surfaces by Bohmian trajectories in the scattering regime.

I offer some notes on the text of Propertius. In the apparatus to individual passages Ω is employed to indicate the archetype, i.e. the consensus of N and A. Only two quires of A are extant, and after 2. 1. 63 its place is taken by descendants: F, L and P. These derive more immediately from a manuscript of Petrarch , copied from A in the Sorbonne in 1333, and now lost. The delta mss. I discard; they are too interpolated (...) and contaminated to aid in the reconstruction of Π. They may contain some elements of truth independent of N and A/Π, but J. L. P. Butrica has shown that another group of mss. headed by Vat. Lat. 3273 has a stronger claim to be cited in the apparatus for these readings, as it antedates Δ. However, as the matter is controversial and not of vital importance for my discussions, the group is here ignored. In the absence of a satisfactory arrangement of the humanistic conjectures into groups akin to those introduced by Mynors in his Catullus, I use the age-old catch-all ς for unauthoritative readings found in fifteenth-century mss. (shrink)

Euripides, Medea 11–13 :12 πολιτν codd. et Σbv; πολίταις V3, sicut coni. Barnes 13 ατ Sakorrphos; ατή codd. et gE et Stob. 4.23.30In his recent discussion of this passage , Diggle has convincingly argued for πολίταις and ατ, the latter of which he places in his new Oxford text, but recognises that υγ remains highly problematic : ‘The truth, I think, is still to seek’. It is to this last difficulty that I should like to suggest a solution.The problems of (...) υγ are syntactical, as Diggle clearly demonstrates : ‘With which verb is υγ to be constructed?’ Of these νδάνουσα is more likely for position, ίκετο for sense; but the former construction produces an obscurity, the latter an unacceptable hyperbaton. Another complicating element is the juxtaposition υγ πολιτν. it is clearly significant, and by its intervention appears to prevent taking υγ as π κοινο with both verbs, the third possible construction.As a solution I should like to revive a forgotten conjecture of Pierson's, made in his Verisimilia . His υγς πολίταις appears both to solve all the syntactical problems and to give appropriate point to the juxtaposition of ‘exile’ and ‘citizen’. υγάς would then go with νδάνουσα and bear a concessive sense: ‘pleasing, though an exile, the citizens to whose land she came’, a nuance found already in Wecklein's paraphrase of his text υγ πολιτν. ‘Sie gefällt denen, in deren Land sie gekommen ist, obwohl sie die Bürgerschaft als eine fremde, landesflüchtige Person gegenübersteht’. This contrast between citizen and exile and the necessity for the latter to please the former are naturally important themes in the dramatic situation of the Medea — cf. Medea's words at 222 χρ δ ξένον μν κάρτα προσχωρεν πόλει, with Page's note. (shrink)

This article presents the evolutionary dynamics of three games: the Nash bargaining game, the ultimatum game, and a hybrid of the two. One might expect that the probability that some behavior evolves in an environment with two games would be near the probability that the same behavior evolves in either game alone. This is not the case for the ultimatum and Nash bargaining games. Fair behavior is more likely to evolve in a combined game than in either game taken individually. (...) This result confirms a conjecture that the complexity of our actual environment provides an explanation for the evolution of fair behavior. Key Words: evolutionary game theory • Nash bargaining game • ultimatum game • fairness. (shrink)