Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules for (...) the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

On a widespread naturalist view, the meanings of mathematical terms are determined, and can only be determined, by the way we use mathematical language—in particular, by the basic mathematical principles we’re disposed to accept. But it’s mysterious how this can be so, since, as is well known, minimally strong first-order theories are non-categorical and so are compatible with countless non-isomorphic interpretations. As for second-order theories: though they typically enjoy categoricity results—for instance, Dedekind’s categoricity theorem for second-order PA and Zermelo’s quasi-categoricity (...) theorem for second-order ZFC—these results require full second-order logic. So appealing to these results seems only to push the problem back, since the principles of second-order logic are themselves non-categorical: those principles are compatible with restricted interpretations of the second-order quantifiers on which Dedekind’s and Zermelo’s results are no longer available. In this paper, we provide a naturalist-friendly, non-revisionary solution to an analogous but seemingly more basic problem—Carnap’s Categoricity Problem for propositional and first-order logic—and show that our solution generalizes, giving us full second-order logic and thereby securing the categoricity or quasi-categoricity of second-order mathematical theories. Briefly, the first-order quantifiers have their intended interpretation, we claim, because we’re disposed to follow the quantifier rules in an open-ended way. As we show, given this open-endedness, the interpretation of the quantifiers must be permutation-invariant and so, by a theorem recently proved by Bonnay and Westerståhl, must be the standard interpretation. Analogously for the second-order case: we prove, by generalizing Bonnay and Westerståhl’s theorem, that the permutation invariance of the interpretation of the second-order quantifiers, guaranteed once again by the open-endedness of our inferential dispositions, suffices to yield full second-order logic. (shrink)

Vann McGee has recently argued that Belnap’s criteria constrain the formal rules of classical natural deduction to uniquely determine the semantic values of the propositional logical connectives and quantifiers if the rules are taken to be open-ended, i.e., if they are truth-preserving within any mathematically possible extension of the original language. The main assumption of his argument is that for any class of models there is a mathematically possible language in which there is a sentence true in just those (...) models. I show that this assumption does not hold for the class of models of classical propositional logic. In particular, I show that the existence of non-normal models for negation undermines McGee’s argument. (shrink)

I show that the model-theoretic meaning that can be read off the natural deduction rules for disjunction fails to have certain desirable properties. I use this result to argue against a modest form of inferentialism which uses natural deduction rules to fix model-theoretic truth-conditions for logical connectives.

A system of logic usually comprises a language for which a model-theory and a proof-theory are defined. The model-theory defines the semantic notion of model-theoretic logical consequence (⊨), while the proof-theory defines the proof- theoretic notion of logical consequence (or logical derivability, ⊢). If the system in question is sound and complete, then the two notions of logical consequence are extensionally equivalent. The concept of full formalization is a more restrictive one and requires in addition the preservation of the standard (...) meanings of the logical terms in all the admissible interpretations of the logical calculus, as it is proof-theoretically defined. Although classical first-order logic is sound and complete, its standard formalizations fall short to be full formalizations since they allow non-intended interpretations. This fact poses a challenge for the logical inferentialism program, whose main tenet is that the meanings of the logical terms are uniquely determined by the formal axioms or rules of inference that govern their use in a logical calculus, i.e., logical inferentialism requires a categorical calculus. This paper is the first part of a more elaborated study which will analyze the categoricity problem from its beginning until the most recent approaches. I will first start by describing the problem of a full formalization in the general framework in which Carnap (1934/1937, 1943) formulated it for classical logic. Then, in sections IV and V, I shall discuss the way in which the mathematicians B.A. Bernstein (1932) and E.V. Huntington (1933) have previously formulated and analyzed it in algebraic terms for propositional logic and, finally, I shall discuss some critical reactions Nagel (1943), Hempel (1943), Fitch (1944), and Church (1944) formulated to these approaches. (shrink)

The categoricity problem for a system of logic reveals an asymmetry between the model-theoretic and the proof-theoretic resources of that logic. In particular, it reveals prima facie that the proof-theoretic instruments are insufficient for matching the envisaged model-theory, when the latter is already available. Among the proposed solutions for solving this problem, some make use of new proof-theoretic instruments, some others introduce new model-theoretic constrains on the proof-systems, while others try to use instruments from both sides. On the proof-theoretical side, (...) two main approaches for solving the categoricity problem for propositional classical logic consist in the enforcement of the formal systems of this logic by introducing rules of inference of a new kind. A multiple-conclusions logic allows rules of inference with more than one conclusion, while a bilateralist system contains rules of inference formulated in terms of assertion and rejection. Both these approaches reveal interesting formal features of logical reasoning. This paper analyses some of the advantages and limitations of these two approaches as solutions for a full formalization of logic, i.e., for a categorical formalization. (shrink)

This book concerns the metasemantics of quantum mechanics (QM). Roughly, it pursues an investigation at an intersection of the philosophy of physics and the philosophy of semantics, and it offers a critical analysis of rival explanations of the semantic facts of standard QM. Two problems for such explanations are discussed: categoricity and permanence of rules. New results include 1) a reconstruction of Einstein's incompleteness argument, which concludes that a local, separable, and categorical QM cannot exist, 2) a reinterpretation of (...) Bohr's principle of correspondence, grounded in the principle of permanence, 3) a meaning-variance argument for quantum logic, which follows a line of critical reflections initiated by Weyl, and 4) an argument for semantic indeterminacy leveled against inferentialism about QM, inspired by Carnap's work in the philosophy of classical logic. (shrink)

A system of logic usually comprises a language for which a model-theory and a proof-theory are defined. The model-theory defines the semantic notion of model-theoretic logical consequence (⊨), while the proof-theory defines the proof- theoretic notion of logical consequence (or logical derivability, ⊢). If the system in question is sound and complete, then the two notions of logical consequence are extensionally equivalent. The concept of full formalization is a more restrictive one and requires in addition the preservation of the standard (...) meanings of the logical terms in all the admissible interpretations of the logical calculus, as it is proof-theoretically defined. Although classical first-order logic is sound and complete, its standard formalizations fall short to be full formalizations since they allow non-intended interpretations. This fact poses a challenge for the logical inferentialism program, whose main tenet is that the meanings of the logical terms are uniquely determined by the formal axioms or rules of inference that govern their use in a logical calculus, i.e., logical inferentialism requires a categorical calculus. This paper is the first part of a more elaborated study which will analyze the categoricity problem from its beginning until the most recent approaches. I will first start by describing the problem of a full formalization in the general framework in which Carnap (1934/1937, 1943) formulated it for classical logic. Then, in sections IV and V, I shall discuss the way in which the mathematicians B.A. Bernstein (1932) and E.V. Huntington (1933) have previously formulated and analyzed it in algebraic terms for propositional logic and, finally, I shall discuss some critical reactions Nagel (1943), Hempel (1943), Fitch (1944), and Church (1944) formulated to these approaches. (shrink)

Second-order axiomatizations of certain important mathematical theories—such as arithmetic and real analysis—can be shown to be categorical. Categoricity implies semantic completeness, and semantic completeness in turn implies determinacy of truth-value. Second-order axiomatizations are thus appealing to realists as they sometimes seem to offer support for the realist thesis that mathematical statements have determinate truth-values. The status of second-order logic is a controversial issue, however. Worries about ontological commitment have been influential in the debate. Recently, Vann McGee has argued that one (...) can get some of the technical advantages of second-order axiomatizations—categoricity, in particular—while walking free of worries about ontological commitment. In so arguing he appeals to the notion of an open-ended schema—a schema that holds no matter how the language of the relevant theory is extended. Contra McGee, we argue that second-order quantification and open-ended schemas are on a par when it comes to ontological commitment. (shrink)

The notion of an ℐ -matrix as a model of a given π -institution ℐ is introduced. The main difference from the approach followed so far in CategoricalAlgebraic Logic and the one adopted here is that an ℐ -matrix is considered modulo the entire class of morphisms from the underlying N -algebraic system of ℐ into its own underlying algebraic system, rather than modulo a single fixed -logical morphism. The motivation for introducing ℐ -matrices comes from a desire to formulate (...) a correspondence property for N -protoalgebraic π -institutions closer in spirit to the one for sentential logics than that considered in CAAL before. As a result, in the previously established hierarchy of syntactically protoalgebraic π -institutions, i. e., those with an implication system, and of protoalgebraic π -institutions, i. e., those with a monotone Leibniz operator, the present paper interjects the class of those π -institutions with the correspondence property, as applied to ℐ -matrices. Moreover, this work on ℐ -matrices enables us to prove many results pertaining to the local deduction-detachment theorems, paralleling classical results in Abstract Algebraic Logic formulated, first, by Czelakowski and Blok and Pigozzi. Those results will appear in a sequel to this paper. (shrink)

"Open Democracy envisions what true government by mass leadership could look like."—Nathan Heller, New Yorker How a new model of democracy that opens up power to ordinary citizens could strengthen inclusiveness, responsiveness, and accountability in modern societies To the ancient Greeks, democracy meant gathering in public and debating laws set by a randomly selected assembly of several hundred citizens. To the Icelandic Vikings, democracy meant meeting every summer in a field to discuss issues until consensus was reached. Our contemporary (...) representative democracies are very different. Modern parliaments are gated and guarded, and it seems as if only certain people—with the right suit, accent, wealth, and connections—are welcome. Diagnosing what is wrong with representative government and aiming to recover some of the lost openness of ancient democracies, Open Democracy presents a new paradigm of democracy in which power is genuinely accessible to ordinary citizens. Hélène Landemore favors the ideal of “representing and being represented in turn” over direct-democracy approaches. Supporting a fresh nonelectoral understanding of democratic representation, Landemore recommends centering political institutions around the “open mini-public”—a large, jury-like body of randomly selected citizens gathered to define laws and policies for the polity, in connection with the larger public. She also defends five institutional principles as the foundations of an open democracy: participatory rights, deliberation, the majoritarian principle, democratic representation, and transparency. Open Democracy demonstrates that placing ordinary citizens, rather than elites, at the heart of democratic power is not only the true meaning of a government of, by, and for the people, but also feasible and, today more than ever, urgently needed. (shrink)

Aim of the article is to present our research dealing with virtual reality modeling and education activities. It involves a chain of development steps: taking pictures of objects, collecting information, creation of 3D models and panoramas, setting up the interactive virtual reality environment along with educational support and testing the user experience with students. Methodology/methods of work: the creation of 3D models and panoramas is done by taking pictures of real objects and using them as textures. The education materials are (...) created as interactive presentations and the usability testing of these presentations should be planned. Scientific goal is to measure the quality of interaction by this education support in order to derive rules testing effectiveness of support, interactive applications and presentations. Findings: 3D models and other educational support materials may be created voluntarily by teachers. The open source library for many different models should be created by whole community provided suitable interfaces of modeling tools will be arranged. Conclusions: Complex educational and interactive materials including virtual reality and panoramas are satisfactory when combined with easy 3D models that are made from taken pictures, which could be made by teachers themselves and/or open communities by existing cameras. (shrink)

It is sometimes held that rules of inference determine the meaning of the logical constants: the meaning of, say, conjunction is fully determined by either its introduction or its elimination rules, or both; similarly for the other connectives. In a recent paper, Panu Raatikainen (2008) argues that this view - call it logical inferentialism - is undermined by some "very little known" considerations by Carnap (1943) to the effect that "in a definite sense, it is not true that the standard (...) rules of inference" themselves suffice to "determine the meanings of [the] logical constants" (p. 2). In a nutshell, Carnap showed that the rules allow for non-normal interpretations of negation and disjunction. Raatikainen concludes that "no ordinary formalization of logic ... is sufficient to `fully formalize' all the essential properties of the logical constants" (ibid.). We suggest that this is a mistake. Pace Raatikainen, intuitionists like Dummett and Prawitz need not worry about Carnap's problem. And although bilateral solutions for classical inferentialists - as proposed by Timothy Smiley and Ian Rumfitt - seem inadequate, it is not excluded that classical inferentialists may be in a position to address the problem too. (shrink)

In this study two strands of inferentialism are brought together: the philosophical doctrine of Brandom, according to which meanings are generally inferential roles, and the logical doctrine prioritizing proof-theory over model theory and approaching meaning in logical, especially proof-theoretical terms.

Inferentialism is a philosophical approach premised on the claim that an item of language acquires meaning in virtue of being embedded in an intricate set of social practices normatively governed by inferential rules. Inferentialism found its paradigmatic formulation in Robert Brandom's landmark book Making it Explicit, and over the last two decades it has established itself as one of the leading research programs in the philosophy of language and the philosophy of logic. While Brandom's version of inferentialism has received wide (...) attention in the philosophical literature, thinkers friendly to inferentialism have proposed and developed new lines of inquiry that merit wider recognition and critical appraisal. From Rules to Meaning brings together new essays that systematically develop, compare, assess and critically react to some of the most pertinent recent trends in inferentialism. The book's four thematic sections seek to apply inferentialism to a number of core issues, including the nature of meaning and content, reconstructing semantics, rule-oriented models and explanations of social practices and inferentialism's historical influence and dialogue with other philosophical traditions. With contributions from a number of distinguished philosophers--including Robert Brandom and Jaroslav Peregrin--this volume is a major contribution to the philosophical literature on the foundations of logic and language. (shrink)

In this article, we expand the analytical and theoretical foundations of the study of knowledge commons in the context of more classical agrarian commons, such as seed commons. We show that it is possible to overcome a number of criticisms of earlier work by Ostrom on natural commons and its excludability/rivalry matrix in addressing the inclusive social practices of “commoning”, defined as a way of living and acting for the preservation of the commons. Our empirical analysis emphasizes, using the most (...) recent advances in the IAD/ses framework, the distributed and collaborative knowledge governance in a French peasant seed network as a key driver for reintroducing cultivated agrobiodiversity and on-farm seed conservation of ancient and landrace varieties. These inclusive peasant seed groups developed alternative peer-to-peer models of collaborative peasant-led community-based breeding and grassroots innovations in the search for more resilient population varieties. Our results highlight the various models of collective action within the network and discuss the organizational tradeoffs of opting out of peasant seed activities and recreating a shared collective knowledge base on the benefits of restoring cultivated agrobiodiversity. It helps us better understand how modern peasant seed groups function as epistemic communities which contributes to envisioning alternative agricultural systems. (shrink)

It is sometimes held that rules of inference determine the meaning of the logical constants: the meaning of, say, conjunction is fully determined by either its introduction or its elimination rules, or both; similarly for the other connectives. In a recent paper, Panu Raatikainen argues that this view—call it logical inferentialism—is undermined by some “very little known” considerations by Carnap (1943) to the effect that “in a definite sense, it is not true that the standard rules of inference” themselves suffice (...) to “determine the meanings of [the] logical constants” (p. 2). In a nutshell, Carnap showed that the rules allow for non-normal interpretations of negation and disjunction. Raatikainen concludes that “no ordinary formalization of logic [... ] is sufficient to ‘fully formalize’ all the essential properties of the logical constants” (ibid.). We suggest that this is a mistake. Pace Raatikainen, intuitionists like Dummett and Prawitz need not worry about Carnap’s problem. And although bilateral solutions for classical inferentialists—as proposed by Timothy Smiley and Ian Rumfitt—seem inadequate, it is not excluded that classical inferentialists may be in a position to address the problem too. (shrink)

Studies of categorical induction typically examine how belief in a premise (e.g., Falcons have an ulnar artery) projects on to a conclusion (e.g., Robins have an ulnar artery). We study induction in cases in which the premise is uncertain (e.g., There is an 80% chance that falcons have an ulnar artery). Jeffrey's rule is a normative model for updating beliefs in the face of uncertain evidence. In three studies we tested the descriptive validity of Jeffrey's rule and a (...) related probability theorem, the rule of total probability. Although these rules provided good approximations to mean judgments in some cases, the results from regression and correlation analyses suggest that participants focus on the parts of these rules that are associated with the highest overall probability. We relate our findings to rational models of judgment. (shrink)

We give a complete and elementary proof of the following upward categoricity theorem: let be a local abstract elementary class with amalgamation and joint embedding, arbitrarily large models, and countable Löwenheim–Skolem number. If is categorical in 1 then is categorical in every uncountable cardinal. In particular, this provides a new proof of the upward part of Morley’s theorem in first order logic without any use of prime models or heavy stability theoretic machinery.

Rosen's modelling relations constitute a conceptual schema for the understanding of the bidirectional process of correspondence between natural systems and formal symbolic systems. The notion of formal systems used in this study refers to information structures constructed as algebraic rings of observable attributes of natural systems, in which the notion of observable signifies a physical attribute that, in principle, can be measured. Due to the fact that modelling relations are bidirectional by construction, they admit a precise categorical formulation in terms (...) of the category-theoretic syntactic language of adjoint functors, representing the inverse processes of information encoding/decoding via adjunctions. As an application, we construct a topological modelling schema of complex systems. The crucial distinguishing requirement between simple and complex systems in this schema is reflected with respect to their rings of observables by the property of global commutativity. The global information structure representing the behaviour of a complex system is modelled functorially in terms of its spectrum functor. An exact modelling relation is obtained by means of a complex encoding/decoding adjunction restricted to an equivalence between the category of complex information structures and the category of sheaves over a base category of partial or local information carriers equipped with an appropriate topology. (shrink)

The article proceeds from the concept of understanding local government in Russia as a projection of the potestar (pre-state) organization of public life, which transforms under the dominance of methods of state organization of public life, but retains its influence as the essential core of political and social interaction between people. The existing complex «state-municipal» mechanism for exercising power at the local level largely determines the forms and nature of political actors’ interaction at the regional level. State authorities, (...) which are focused on the totality of their own administrative influences, have not yet succeeded in fully integrating local self-government into the general public space of responsibility for powers, since local power is unbuilt initially on the principles of autogenesis, autochthony and autonomy. The current situation contributes to the archaicism of a part of social relations. For some time now, to work in the multidimensional reality of society, the authorities have begun to need analytical models to understand what is happening. As an explanatory theoretical basis for the modes of existence of local authorities developed and described by the author in the current stage of development of Russian statehood, a modal methodology is used, supplemented by the results of constructing model-oriented political ontologies, which reflect the aggregates of the layers and actors of the municipal sphere of sociopolitical reality at the regional level that are actually and actively present in the Russian society. The author is interested in searching the patterns that operate in the environment created and cultivated by the organizational and activity efforts of state structures against the background of sociocultural and other characteristics inherent in the regions. Possible working models for the needs of public administration arising from the modes offered by the author are still under development, since the reform of constitutional rules proposed by the country’s leadership raises the question of new forms of organizing the continuum of coexistence and interaction of local and state authorities in Russia. The article outlines the main research lines that indicate a number of features and reference points of the author’s approach in understanding the relationship between local government and municipal government, which may serve as an occasion for a new circle of discussions of specialists interested in the prospects for the development of political potential in the Russian municipal environment. (shrink)

A model of reality is called separable if the state of a composite system is equal to the union of the states of its parts, located in different regions of space. Spekkens has argued that it is trivial to reproduce the predictions of quantum mechanics using a separable ontological model, provided one allows for arbitrary violations of ‘dynamical locality’. However, since dynamical locality is strictly weaker than local causality, this leaves open the question of whether an ontological model (...) for quantum mechanics can be both separable and dynamically local. We answer this question in the affirmative, using an ontological model based on previous work by Deutsch and Hayden. Although the original formulation of the model avoids Bell’s theorem by denying that measurements result in single, definite outcomes, we show that the model can alternatively be cast in the framework of ontological models, where Bell’s theorem does apply. We find that the resulting model violates local causality, but satisfies both separability and dynamical locality, making it a candidate for the ‘most local’ ontological model of quantum mechanics. (shrink)

Recent work by Wan and McLean has shown that all quantum measurements may be reduced to local position measurements. Using an array of particle detectors as the measuring apparatus we show how a model employing superselection rules and unitary evolution leads to a single detector triggering in each act of measurement. We also present an explicit model of particle detection as a unitary ionization process producing a single ion in the detector, subsequent amplification of which to the visible can (...) be described adequately in classical terms. (shrink)

Medical rules of eligibility permit severely injured Iraqi and Afghan nationals to receive care in Coalition medical facilities only if bed space is available and their injuries result directly from Coalition fire. The first rule favors Coalition soldiers over host-nation nationals and contradicts the principle of impartial, needs-based medical care. To justify preferential care for compatriots, wartime medicine invokes associative obligations of care that favor friends, family, and comrades-in-arms. Associative obligations have little place in peacetime medical care but significantly (...) affect wartime medicine. The second rule suggests liability for collateral harm that is unsupported by international law and military ethics. Absent liability, there are pragmatic reasons to offer medical care to injured local civilians if it quells resentment and cements support for Coalition forces. In contrast to peacetime medicine, military necessity and associative obligations outweigh distributive principles based on medical need during war. (shrink)

There has been considerable discussion in the past about the assumptions and basis of different ethical rules. For instance, it is commonplace to say that ethical rules are defaults rules, which means that they tolerate exceptions. Some authors argue that morality can only be grounded in particular cases while others defend the existence of general principles related to ethical rules. Our purpose here is not to justify either position, but to try to model general ethical rules with artificial intelligence formalisms (...) and to compute logical consequences of different ethical theories. More precisely, this is an attempt to show that progress in non-monotonic logics, which simulates default reasoning, could provide a way to formalize different ethical conceptions. From a technical point of view, the model developed in this paper makes use of the Answer Set Programming (ASP) formalism. It is applied comparatively to different ethical systems with respect to their attitude towards lying. The advantages of such formalization are two-fold: firstly, to clarify ideas and assumptions, and, secondly, to use solvers to derive consequences of different ethical conceptions automatically, which can help in a rigorous comparison of ethical theories. (shrink)

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...) problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)

This article attempts to open the debate on a territorial development perspective that fixes the interest in organized territories that are characterized by the existence of a community with a local identity, politically and administratively regulated. We conceive these territories as subjects of development promotion interventions. For this we propose a model for the creation of Municipal Development Forums, which with the participation of local actors, can generate a tailor-made Local Development Program. The development program will (...) consider a diagnosis of the productive profile of the territory and its relationship with the characteristics and origin of goods or services consumed at the municipality. Based on the diagnosis, the causes of the decoupling between the local production system and consumption needs can be detected. And with this, find a way to readjust local production systems to meet the demand for goods and services of the inhabitants, generating new companies and encouraging local consumption. (shrink)

This paper describes a simple, causally deterministic model of quantum measurement based on an amplitude threshold detection scheme. Surprisingly, it is found to reproduce many phenomena normally thought to be uniquely quantum in nature. To model an \(N\) -dimensional pure state, the model uses \(N\) complex random variables given by a scaled version of the wave vector with additive complex noise. Measurements are defined by threshold crossings of the individual components, conditioned on single-component threshold crossings. The resulting detection probabilities match (...) or approximate those predicted by quantum mechanics according to the Born rule. Nevertheless, quantum phenomena such as entanglement, contextuality, and violations of Bell’s inequality under local measurements are all shown to be exhibited by the model, thereby demonstrating that such phenomena are not without classical analogs. (shrink)

Having been supressed and denied their rights by successive Syrian governments over the years, Syrian Kurds are now asserting a de facto autonomy. Since the withdrawal of the Syrian President's forces from the ethnically Kurdish areas in the early months of the current civil war, the inhabitants have declared a self-rule government along the lines of the Kurdistan regional government in northern Iraq. For Syrian Kurds, the creation of a small autonomous region is a dream fulfilled, albeit one unrecognized (...) by the international community. Some 15% to 17% of the Syrian population is Kurdish. Whether they can achieve statehood will depend on a reading of international law and on how the international community reacts. There are certain aspects which differentiate Kurdish self-rule in Syria from its counterpart in Iraq. View HTML Send article to KindleTo send this article to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle. Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply. Find out more about the Kindle Personal Document Service.Kurdish Regional Self-rule Administration in Syria: A new Model of Statehood and its Status in International Law Compared to the Kurdistan Regional Government in IraqVolume 17, Issue 3LOQMAN RADPEY DOI: https://doi.org/10.1017/S1468109916000190Your Kindle email address Please provide your Kindle [email protected]@kindle.com Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Dropbox To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Dropbox. Kurdish Regional Self-rule Administration in Syria: A new Model of Statehood and its Status in International Law Compared to the Kurdistan Regional Government in IraqVolume 17, Issue 3LOQMAN RADPEY DOI: https://doi.org/10.1017/S1468109916000190Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Google Drive To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Google Drive. Kurdish Regional Self-rule Administration in Syria: A new Model of Statehood and its Status in International Law Compared to the Kurdistan Regional Government in IraqVolume 17, Issue 3LOQMAN RADPEY DOI: https://doi.org/10.1017/S1468109916000190Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Export citation Request permission. (shrink)

In bilateral systems for classical logic, assertion and denial occur as primitive signs on formulas. Such systems lend themselves to an inferentialist story about how truth-conditional content of connectives can be determined by inference rules. In particular, for classical logic there is a bilateral proof system which has a property that Carnap in 1943 called categoricity. We show that categorical systems can be given for any finite many-valued logic using $n$-sided sequent calculus. These systems are understood as a further development (...) of bilateralism—call it multilateralism. The overarching idea is that multilateral proof systems can incorporate the logic of a variety of denial speech acts. So against Frege we say that denial is not the negation of assertion and, with Mark Twain, that denial is more than a river in Egypt. (shrink)

Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe the structure of their instances by the following equational principle: if two generic programs, viewed as terms of type , are equal at any given instance A[T], then they are equal at all instances. They proved that this rule is admissible in a certain extension of System F, but finding a (...) semantically motivated model satisfying this principle remained an open problem.In the present paper, we construct a categorical model of polymorphism, based on game semantics, which contains a large collection of generic types. This model builds on two novel constructions:•A direct interpretation of variable types as games, with a natural notion of substitution of games. This allows moves in games A[T] to be decomposed into the generic part from A, and the part pertaining to the instance T. This leads to a simple and natural notion of generic strategy.•A “relative polymorphic product” which expresses quantification over the type variable Xi in the variable type A with respect to a “universe” which is explicitly given as an additional parameter B. We then solve a recursive equation involving this relative product to obtain a universe in a suitably “absolute” sense.Full Completeness for ML types is proved for this model. (shrink)

Inferentialism is a theory in the philosophy of language which claims that the meanings of expressions are constituted by inferential roles or relations. Instead of a traditional model-theoretic semantics, it naturally lends itself to a proof-theoretic semantics, where meaning is understood in terms of inference rules with a proof system. Most work in proof-theoretic semantics has focused on logical constants, with comparatively little work on the semantics of non-logical vocabulary. Drawing on Robert Brandom’s notion of material inference and Greg Restall’s (...) bilateralist interpretation of the multiple conclusion sequent calculus, I present a proof-theoretic semantics for atomic sentences and their constituent names and predicates. The resulting system has several interesting features: (1) the rules are harmonious and stable; (2) the rules create a structure analogous to familiar model-theoretic semantics; and (3) the semantics is compositional, in that the rules for atomic sentences are determined by those for their constituent names and predicates. (shrink)

Jakob Friedrich Fries (1773-1843): A Philosophy of the Exact Sciences -/- Shortened version of the article of the same name in: Tabula Rasa. Jenenser magazine for critical thinking. 6th of November 1994 edition -/- 1. Biography -/- Jakob Friedrich Fries was born on the 23rd of August, 1773 in Barby on the Elbe. Because Fries' father had little time, on account of his journeying, he gave up both his sons, of whom Jakob Friedrich was the elder, to the Herrnhut Teaching (...) Institution in Niesky in 1778. Fries attended the theological seminar in Niesky in autumn 1792, which lasted for three years. There he (secretly) began to study Kant. The reading of Kant's works led Fries, for the first time, to a deep philosophical satisfaction. His enthusiasm for Kant is to be understood against the background that a considerable measure of Kant's philosophy is based on a firm foundation of what happens in an analogous and similar manner in mathematics. -/- During this period he also read Heinrich Jacobi's novels, as well as works of the awakening classic German literature; in particular Friedrich Schiller's works. In 1795, Fries arrived at Leipzig University to study law. During his time in Leipzig he became acquainted with Fichte's philosophy. In autumn of the same year he moved to Jena to hear Fichte at first hand, but was soon disappointed. -/- During his first sojourn in Jenaer (1796), Fries got to know the chemist A. N. Scherer who was very influenced by the work of the chemist A. L. Lavoisier. Fries discovered, at Scherer's suggestion, the law of stoichiometric composition. Because he felt that his work still need some time before completion, he withdrew as a private tutor to Zofingen (in Switzerland). There Fries worked on his main critical work, and studied Newton's "Philosophiae naturalis principia mathematica". He remained a lifelong admirer of Newton, whom he praised as a perfectionist of astronomy. Fries saw the final aim of his mathematical natural philosophy in the union of Newton's Principia with Kant's philosophy. -/- With the aim of qualifying as a lecturer, he returned to Jena in 1800. Now Fries was known from his independent writings, such as "Reinhold, Fichte and Schelling" (1st edition in 1803), and "Systems of Philosophy as an Evident Science" (1804). The relationship between G. W. F. Hegel and Fries did not develop favourably. Hegel speaks of "the leader of the superficial army", and at other places he expresses: "he is an extremely narrow-minded bragger". On the other hand, Fries also has an unfavourable take on Hegel. He writes of the "Redundancy of the Hegelistic dialectic" (1828). In his History of Philosophy (1837/40) he writes of Hegel, amongst other things: "Your way of philosophising seems just to give expression to nonsense in the shortest possible way". In this work, Fries appears to argue with Hegel in an objective manner, and expresses a positive attitude to his work. -/- In 1805, Fries was appointed professor for philosophy in Heidelberg. In his time spent in Heidelberg, he married Caroline Erdmann. He also sealed his friendships with W. M. L. de Wette and F. H. Jacobi. Jacobi was amongst the contemporaries who most impressed Fries during this period. In Heidelberg, Fries wrote, amongst other things, his three-volume main work New Critique of Reason (1807). -/- In 1816 Fries returned to Jena. When in 1817 the Wartburg festival took place, Fries was among the guests, and made a small speech. 1819 was the so-called "Great Year" for Fries: His wife Caroline died, and Karl Sand, a member of a student fraternity, and one of Fries' former students stabbed the author August von Kotzebue to death. Fries was punished with a philosophy teaching ban but still received a professorship for physics and mathematics. Only after a period of years, and under restrictions, he was again allowed to read philosophy. From now on, Fries was excluded from political influence. The rest of his life he devoted himself once again to philosophical and natural studies. During this period, he wrote "Mathematical Natural Philosophy" (1822) and the "History of Philosophy" (1837/40). -/- Fries suffered from a stroke on New Year's Day 1843, and a second stroke, on the 10th of August 1843 ended his life. -/- 2. Fries' Work Fries left an extensive body of work. A look at the subject areas he worked on makes us aware of the universality of his thinking. Amongst these subjects are: Psychic anthropology, psychology, pure philosophy, logic, metaphysics, ethics, politics, religious philosophy, aesthetics, natural philosophy, mathematics, physics and medical subjects, to which, e.g., the text "Regarding the optical centre in the eye together with general remarks about the theory of seeing" (1839) bear witness. With popular philosophical writings like the novel "Julius and Evagoras" (1822), or the arabesque "Longing, and a Trip to the Middle of Nowhere" (1820), he tried to make his philosophy accessible to a broader public. Anthropological considerations are shown in the methodical basis of his philosophy, and to this end, he provides the following didactic instruction for the study of his work: "If somebody wishes to study philosophy on the basis of this guide, I would recommend that after studying natural philosophy, a strict study of logic should follow in order to peruse metaphysics and its applied teachings more rapidly, followed by a strict study of criticism, followed once again by a return to an even closer study of metaphysics and its applied teachings." -/- 3. Continuation of Fries' work through the Friesian School -/- Fries' ideas found general acceptance amongst scientists and mathematicians. A large part of the followers of the "Fries School of Thought" had a scientific or mathematical background. Amongst them were biologist Matthias Jakob Schleiden, mathematics and science specialist philosopher Ernst Friedrich Apelt, the zoologist Oscar Schmidt, and the mathematician Oscar Xavier Schlömilch. Between the years 1847 and 1849, the treatises of the "Fries School of Thought", with which the publishers aimed to pursue philosophy according to the model of the natural sciences appeared. In the Kant-Fries philosophy, they saw the realisation of this ideal. The history of the "New Fries School of Thought" began in 1903. It was in this year that the philosopher Leonard Nelson gathered together a small discussion circle in Goettingen. Amongst the founding members of this circle were: A. Rüstow, C. Brinkmann and H. Goesch. In 1904 L. Nelson, A. Rüstow, H. Goesch and the student W. Mecklenburg travelled to Thuringia to find the missing Fries writings. In the same year, G. Hessenberg, K. Kaiser and Nelson published the first pamphlet from their first volume of the "Treatises of the Fries School of Thought, New Edition". -/- The school set out with the aim of searching for the missing Fries' texts, and re-publishing them with a view to re-opening discussion of Fries' brand of philosophy. The members of the circle met regularly for discussions. Additionally, larger conferences took place, mostly during the holidays. Featuring as speakers were: Otto Apelt, Otto Berg, Paul Bernays, G. Fraenkel, K. Grelling, G. Hessenberg, A. Kronfeld, O. Meyerhof, L. Nelson and R. Otto. On the 1st of March 1913, the Jakob-Friedrich-Fries society was founded. Whilst the Fries' school of thought dealt in continuum with the advancement of the Kant-Fries philosophy, the members of the Jakob-Friedrich-Fries society's main task was the dissemination of the Fries' school publications. In May/June, 1914, the organisations took part in their last common conference before the gulf created by the outbreak of the First World War. Several members died during the war. Others returned disabled. The next conference took place in 1919. A second conference followed in 1921. Nevertheless, such intensive work as had been undertaken between 1903 and 1914 was no longer possible. -/- Leonard Nelson died in October 1927. In the 1930's, the 6th and final volume of "Treatises of the Fries School of Thought, New Edition" was published. Franz Oppenheimer, Otto Meyerhof, Minna Specht and Grete Hermann were involved in their publication. -/- 4. About Mathematical Natural Philosophy -/- In 1822, Fries' "Mathematical Natural Philosophy" appeared. Fries rejects the speculative natural philosophy of his time - above all Schelling's natural philosophy. A natural study, founded on speculative philosophy, ceases with its collection, arrangement and order of well-known facts. Only a mathematical natural philosophy can deliver the necessary explanatory reasoning. The basic dictum of his mathematical natural philosophy is: "All natural theories must be definable using purely mathematically determinable reasons of explanation." Fries is of the opinion that science can attain completeness only by the subordination of the empirical facts to the metaphysical categories and mathematical laws. -/- The crux of Fries' natural philosophy is the thought that mathematics must be made fertile for use by the natural sciences. However, pure mathematics displays solely empty abstraction. To be able to apply them to the sensory world, an intermediatory connection is required. Mathematics must be connected to metaphysics. The pure mechanics, consisting of three parts are these: a) A study of geometrical movement, which considers solely the direction of the movement, b) A study of kinematics, which considers velocity in Addition, c) A study of dynamic movement, which also incorporates mass and power, as well as direction and velocity. -/- Of great interest is Fries' natural philosophy in view of its methodology, particularly with regard to the doctrine "leading maxims". Fries calls these "leading maxims" "heuristic", "because they are principal rules for scientific invention". -/- Fries' philosophy found great recognition with Carl Friedrich Gauss, amongst others. Fries asked for Gauss's opinion on his work "An Attempt at a Criticism based on the Principles of the Probability Calculus" (1842). Gauss also provided his opinions on "Mathematical Natural Philosophy" (1822) and on Fries' "History of Philosophy". Gauss acknowledged Fries' philosophy and wrote in a letter to Fries: "I have always had a great predilection for philosophical speculation, and now I am all the more happy to have a reliable teacher in you in the study of the destinies of science, from the most ancient up to the latest times, as I have not always found the desired satisfaction in my own reading of the writings of some of the philosophers. In particular, the writings of several famous (maybe better, so-called famous) philosophers who have appeared since Kant have reminded me of the sieve of a goat-milker, or to use a modern image instead of an old-fashioned one, of Münchhausen's plait, with which he pulled himself from out of the water. These amateurs would not dare make such a confession before their Masters; it would not happen were they were to consider the case upon its merits. I have often regretted not living in your locality, so as to be able to glean much pleasurable entertainment from philosophical verbal discourse." -/- The starting point of the new adoption of Fries was Nelson's article "The critical method and the relation of psychology to philosophy" (1904). Nelson dedicates special attention to Fries' re-interpretation of Kant's deduction concept. Fries awards Kant's criticism the rationale of anthropological idiom, in that he is guided by the idea that one can examine in a psychological way which knowledge we have "a priori", and how this is created, so that we can therefore recognise our own knowledge "a priori" in an empirical way. Fries understands deduction to mean an "awareness residing darkly in us is, and only open to basic metaphysical principles through conscious reflection.". -/- Nelson has pointed to an analogy between Fries' deduction and modern metamathematics. In the same manner, as with the anthropological deduction of the content of the critical investigation into the metaphysical object show, the content of mathematics become, in David Hilbert's view, the object of metamathematics. -/-. (shrink)

Maximum likelihood (ML) estimation of categorical multitrait-multimethod (MTMM) data is challenging because the likelihood involves high-dimensional integrals over the crossed method and trait factors, with no known closed-form solution. The purpose of the study is to introduce three newly developed ML methods that are eligible for estimating MTMM models with categorical responses: Variational maximization-maximization (e.g., Rijmen and Jeon, 2013 ), alternating imputation posterior (e.g., Cho and Rabe-Hesketh, 2011 ), and Monte Carlo local likelihood (e.g., Jeon et al., under revision). (...) Each method is briefly described and its applicability for MTMM models with categorical data are discussed. (shrink)

Photo by Jonathan Ford on Unsplash ABSTRACT Since 2008, an average of twenty million people per year have been displaced by weather events. Climate migration creates a special setting for a duty to rescue. A duty to rescue is a moral rather than legal duty and imposes on a bystander to take an active role in preventing serious harm to someone else. This paper analyzes the idea of expanding a duty to rescue to climate migration. We address who should have (...) the duty and to whom the duty should extend. The paper discusses ways to define and apply the duty to rescue as well as its limitations, arguing that it may take the form of an ethical duty to prepare. INTRODUCTION Climate migration creates a special setting for a duty to rescue. A duty to rescue is a moral rather than legal duty and imposes on a bystander to take an active role in preventing serious harm to someone else. Examples of circumstances range from person-to-person intimate rescue to saving those in poverty, even in distant parts of the world.[1] Since 2008, an average of twenty million people per year have been displaced by weather events.[2] Circumstances like being thrust from homes under the threat of fire, mudslide, and flooding vary greatly from long-term changes like land becoming too arid for crops or temperatures increasing annually gradually pushing up the number of heat-related deaths, with the area slowly becoming uninhabitable. Imminence in fleeing affects resettling and need for rescue with important implications for how the duty to rescue might apply. This paper reevaluates the ethical framing of the duty to rescue and, while it is arguably a stretch, applies it to climate migration. Climate migration has become common and is expected to increase due to rises in sea level, increases in weather events that make areas uninhabitable, and changes to land that preclude farming or other necessary land uses. We argue that a duty to rescue may help highlight who has moral obligations to whom. Because the problem is so large in scope, we suggest a change in the ethical limits to humans' duty to rescue other humans who are in distress. We imagine an expansion or extension of the duty to rescue to meet some of the basic needs created by climate migration. Yet how it should expand, and how much depend on ethical framing and practical limitations. l. Expanding the Geographical Boundaries Two commonly recognized emergencies, Hurricane Katrina in the case of weather events and the current COVID-19 pandemic, provide a historical and current backdrop to evaluate ethical obligations as more disasters displace people. A significant reassessment of the ethical scope of an obligation to rescue in the case of weather events will be limited by the ability to render aid to those in distress in the case of a planet-wide weather catastrophe. The problems may overwhelm the ability to rescue or the reasonableness of attempting rescue. The extent of the moral obligation borne by humans to other humans in the case of a weather event has been largely defined by its locality and limited geographic influence. Whether we are imagining the scope of ethical obligation in the case of hurricane, flood, tornado, drought, or wildfire events, the perceived ethical obligation is significantly defined by the limited impact of these weather events on people outside the zone of the weather event's direct impact, yet close to that zone. A hurricane affecting New Orleans will not have immediate impact on the residents of California or even those on the northeast coast of the United States until a later time. Wildfires in the Pacific Northwest do not impair the ability of those in the rest of the country to come forward with assistance. But as climate migration crosses international borders, and climate events occur simultaneously in many regions, a more expansive duty to rescue may provide the ethical impulse to help those who live afar or migrate long distances. In this respect, the need for help in the event of widespread climate migration due to global warming is more like a pandemic than a weather event. Its broad impact area diminishes the capability of nearly the entire balance of the human population to help due to those populations' awareness that they will, in short order, have the same need for the same resources, from the same cause. Those living near current flood zones may find their historically safe havens are also a flood zone. Those previously best positioned to rescue may find themselves also needing to relocate. Thus, we may observe the need for new rescuers. ll. The Rule of Rescue The Rule of Rescue as defined by Al Jonsen describes the moral impetus or knee jerk reaction to save identifiable people facing death.[3] A duty to rescue has since been expanded beyond imminent death and beyond the near and identifiable. But there are limitations. For example, by most accounts, the ethical duty tends not to require extreme bodily risk or financial depletion. In comparing Good Samaritans to humanitarians, Scott M. James argues the duty to rescue arises from unique dependence, but the ethical obligation to help strangers through humanitarian aid is of a different nature.[4] The wrongness of failing to help is arguably more egregious when one is in a unique position to help. Like in the tragedy of the commons, where there is no unique positioning, when the global community is called upon to help, each individual in it may feel less obliged to do so. Climate migration falls in between—it requires helping strangers, yet it may move forward without anyone seeing themselves as uniquely positioned to help until those strangers become part of communities, at which time, there may be more moral justification to help a community member in need. Generally, arguments about Good Samaritans hinge on extraordinary acts, praiseworthy because they are acts of compassion, not obligation. Now all US states have Good Samaritan laws[5] which protect helpers from liability for help gone wrong or for a failure to succeed once engaged in an act of rescue. Extraordinary help as a moral good is thus somewhat encouraged through legal protection, but not imposed. Conversely, jobs like firefighting, search and rescue, and emergency medical care tend to oblige employees to take on risks that would be extraordinary if undertaken by the average bystander, yet they are rendered ordinary rescue as part of the job. Three states, Minnesota, Rhode Island, and Vermont have a broad duty to rescue, adding legal considerations to an otherwise moral conundrum. The laws do not require bystanders to take on risk for the sake of rescuing strangers.[6] The moral duty will require looking beyond law, but it is unclear how the moral duty to rescue should be distributed in the case of climate migration. A bare minimum would prevent taking advantage of newcomers, paying sub-minimum wage, and discriminating against them. Yet such a minimum is hardly rescue. lll. An Ethical Rather than Legal Duty The difficulty in defining the duty to rescue as a legal obligation is that it is difficult to determine the extent of risk a rescuer ought to be required to take. The nature of this ethical duty is also arguably tied to the experiences of both the rescuer and the rescued. There are subjective aspects like what someone perceives as a danger that make it difficult to write enforceable laws requiring rescue. It is one thing to expect a rescuer to step into several inches of relatively warm water to lift a person lying face down in a pond and enable them to breathe. It is something altogether different to expect that rescuer to dive into frigid water and attempt to extricate someone trapped in a submerged automobile. As the legal philosopher H.L.A. Hart observed, it is always easier to define application of the core intention of any rule, whether law or ethical norm. It is more difficult to create legal certainty about how the law applies to what he described as “penumbra circumstances”. In the case of a hurricane, it is easier to define what surplus resources are available in areas geographically remote from the impact of the storm and demand, as a moral obligation, that those nearby but outside the area provide assistance. It is more difficult to obligate people, organizations, or governments to supply a quantity of medication or some number of ventilators to an adjacent community when they expect to imminently need them for their own community. In the early stages of climate migration, the ethics of extreme weather event assistance, a common application of the duty to rescue, will be useful and appropriate. The rising sea levels first experienced by island nations in the South Pacific[7] will not render those living in other coastal communities, those with greater available “high ground”, unable to supply resources to those in need. But when sea level rise and climate change affect more communities simultaneously, albeit in varying degree, the task of defining what response is ethically obligatory becomes increasingly complicated. Pinpointing the obligations of those communities which are resource rich to those communities which are resource deprived, and of those partly affected to those more severely affected may become necessary. The limitations of the traditional duty to rescue could expand to meet the needs. lV. Contribution to the Problem Many argue that the duty to rescue may depend on any appropriate claim of those needing rescue. One issue is whether preferential claims among those who can identify the source of the harm should call for a greater duty or whether everyone in need should be approached as like candidates for rescue, shaping the duty as equal across those on the receiving end. As climate change does have human-made causes, there are strong arguments to impose a greater ethical duty on any entity that caused the climate-related problems leading to the mass exodus. While the global north is often implicated in pollution that causes migration, industries like energy, transportation, and agriculture are tied to climate change and associated with significant greenhouse gas emissions.[8] Practices like directing agriculture to less sustainable single crop growth generally made land less farmable. Yet it is difficult to place blame and identify specific causal relationships as most migration is due to many factors. A movement toward greater accountability can be reframed as a greater duty to rescue, a duty to engage in the extraordinary. The fossil fuel industry, for example, should have a larger obligation than the average person. Similarly, some may argue anyone unjustly enriching themselves while contributing to climate change or people who over-consume have an elevated duty to rescue.[9] Climate change lawsuits demonstrate an eagerness to hold governments and corporations accountable, despite difficulty proving causation. V. The Most Vulnerable One ethical dimension of climate migration that remains unexplored is how a duty to rescue applies to vulnerable populations who stand to be left behind or unable to migrate without assistance. Researchers from the Global North working across the Global South are increasingly observing the phenomenon of ethics dumping, where the research ethics of some countries are imposed on research subjects in other countries.[10] In that vein, rescuers should be careful not to impose unwelcome cultural standards or exploit people who are in the process of migrating. There is a gap in discussions reflecting voices that have been left out. The duty to rescue is incomplete without an attempt to understand the ethical experiences of those being rescued. The actual people affected by climate migration who are the least likely to have the means to migrate, or to do so without extreme hardship, should have a voice informing the global community including those in a position to carry out rescue. People who have the means and are young and healthy may easily make decisions to avoid the catastrophic consequences that climate migration brings. However, what about those who are left behind? For example, especially recognizing cultural differences, the homeless community, disabled community, refugees, the elderly community, and women[11] and children may suffer differently and call for more attention. In some parts of the world, human rights are severely constrained. An ethical duty to rescue, with many considerations and variables, may be more justified in the case of those most in need. As climate migration continues and increases significantly, it may be reasonable to ask the local and global community to focus on those least well positioned to migrate successfully. In this context, the use of phenomenology to understand the lived experiences of those migrating, sometimes termed “ethical experiences”, may help flesh out how a duty to rescue takes shape. The discussion of duty and obligation requires an articulation of the ethical experiences (how the local community in need of rescue views the proposed rescue). Then, the obligation to interpret the duty as ‘one shall not’ or ‘one must’ can be focused on the migrants’ needs rather than the rescuers’ feelings of obligation.[12] A revised theory of the duty to rescue taking into account the asymmetrical experiences of communities involved could ensure that the needs of people whose living situations, gender, ethnicity, age, or race impact their ability to even begin the migration process are considered. In this discussion, the rescuing is directed toward communities /collectives of persons migrating, whether at once or across a period of time. Often, the climate migrant may not be in a state to articulate the nature of this event when it happens, given its subjective proximity. Yet, when communities are given the space and opportunity to articulate their shared values, the ethical action of rescue derives its meaningfulness from the community rather than the rescuers. In other words, allowing climate migrants to explain their feelings can add complexity to what some see as a binary receiver-giver (of rescue) dynamic. This is necessary because the concept of vulnerable populations is fraught with problematic assumptions. There have been various definitions and criteria to determine what would constitute vulnerable populations.[13] For example, the United Nations Framework Convention on Climate Change[14] identifies and assesses vulnerable populations. These criteria may be helpful. However, they do not provide the full picture. Rather than identifying categorical criteria of vulnerable populations, engaging with people who are experiencing climate migration and listening to their current experiences and concerns helps determine need. Knowing what people need may prevent the kneejerk reaction to label people who are quite resilient yet have appropriate needs “vulnerable”. Proceeding with caution is important because the duty to rescue has hierarchical underpinnings of "us" and "them." Often when people swoop in to save, there are good and bad consequences of the intervention. We should proceed with caution because often the helper misses the actual needs of those in need. The only way to combat this would be to make sure that people are empowered to inform those agencies that are able to help. In addition to more practical approaches, large scale oral histories could allow those who have migrated already to share their experiences. It would be important to capture the lived experiences of people who are already experiencing the consequences of climate migration or of other migration like that due to political or economic extreme events. These experiences could shape our analysis of whether people in fact wish for rescue. If so, further conversations can determine best actions as well as give important insight into what resources might be necessary to empower people now and in the future. Vl. A Duty to Rescue as a Duty to Prepare If we view Good Samaritans as going above and beyond, then a duty to rescue, something ethically compelled, must bring rescue out of the framework of charity and place it in the context of humanity and obligations. Such a view would also support expanding the geographical reach of the otherwise more proximate duty. The duty may be stronger and take shape in a more workable way if it applies to preparing places expecting to see an influx of people due to climate migration and to helping those most in need. The duty may arise out of expectations of what type of community the place welcoming those migrating due to climate should be—does it want to offer good housing, schooling, and medical care as well as economic opportunity to new people? And if so, at what cost, or with which risks? If the newcomers are viewed as community members rather than strangers, a model of acceptance may lead to better preparation. Some considerations like whether the actions will reasonably help the persons in need of rescue[15] will shape the application of a duty to rescue in the context of climate migration. Similarly, ensuring that people have the chance to articulate their values may help communities support the newcomers. New relationships should not be defined as migrant and rescuer. Voluntariness in participation and not forcing any action deemed rescue would help ensure the human rights of those migrating. In the United States, President Biden issued an executive order addressing impending climate migration steeped in a duty to prepare by making plans for resettlement and to address the impact of climate migration.[16] Vll. At What Risk? As we investigate the ethical obligations to meet even basic needs, we must also ask what level of risk is ethically compelled. There is an extraordinary need to integrate newcomers successfully, but it is difficult to stretch an ethical duty to rescue to require all the prerequisites for successful climate migration. Even defining success would create deep ethical arguments. As observed in almost all migrations, extraordinary charitable acts may be the key to success, while an ethical duty to rescue must try to require the important government and community-based basics and ensuring respect for human rights. That is, the migrating people should be rescued from circumstances that contradict basic human rights. Rather than comparing communities to bystanders, mere places where people will arrive and need to hash out how to find housing, jobs, education, and opportunity, a duty of preparation may be the key to rescue those disenfranchised by migration. There are cultural, personal, physical, psycho-social, and geopolitical issues surrounding how to best help those needing to permanently relocate. Ethics arguments will certainly range from “do nothing”, which may fail people, to “do everything”, which could waste taxpayer money in futile over-preparation while failing to actually help. Communities must avoid planning exclusively for one scenario only to have it not take place. Striking the balance, a duty to rescue as it could apply to climate migration should set goals of societal integration, and providing the basics like education, housing, food, health care, and job opportunity, the precursors to flourishing. Recommending the extraordinary, morally preferred but perhaps not compulsory, when charitable actors are participating, or when wrongdoers are compensating, may be more workable than seeing the duty to rescue as compelling people or local governments to take on significant financial and personal risk for newcomers. While humanitarian ethics supports helping everyone, it is likely that people who resettle in advance of a need to flee will find themselves with more choices and opportunities. Help is warranted for those with more dire needs. Preparing for them may do just that. Vlll. Rescue Prior to Migration and Rescue in the Process of Resettlement The duty to enable the migration in the first-place hints to the inadequacy of a duty to prepare. The traditional duty to rescue perhaps steps in if rescue looks like those geographically just out of harm's way rescuing those in danger. That resembles the traditional moral requirement, or duty to rescue according to the Rule of Rescue. Humanitarian aid typically provided by many institutions makes sense and is in place, although financial support for additional humanitarian aid is always needed. Despite having moved to purportedly more capable communities, migrant communities may be able to develop more egalitarian orders of living. Rather than continually being identified as having been rescued, it is important to make sure people keep or make social ties during and after migration. Immigrants often face social isolation.[17] Small shifts in gestural language also have the potential to welcome people and show they are valued. For instance, some migrants may not like questions like “Where are you from?” and “What brings you here?” as they emphasize differences over fitting in. CONCLUSION The ethical duty to rescue should be expanded to better match those in need of relocation with a welcome environment and the resources needed to achieve success and fully integrate socially and culturally. Expanding a dialogue that includes the voices of people who have recently migrated whether due to violence, poverty, or climate, could properly frame the extent of the duty. If we are to apply the duty of rescue to climate migration, rescuers should avoid labeling people vulnerable, dependent, or needy, although there is reason to focus on those whose needs are the most dire. A soft duty to rescue people during the course of climate migration can come in the form of preparation. People will need help finding housing, education, access to food, and employment. Ultimately, to help them help themselves may be the best goal. While the obligations should be borne differently by people, whether due to a special responsibility, or a special relationship that creates a clearer duty, the global community must prepare for its role in rescuing those displaced by climate events. By helping those displaced at the start of the climate migration process according to a more commonly held notion of the duty to rescue, and by preparing to incorporate newcomers successfully according to an expanded duty to rescue, effectively a duty to prepare, countries that take on climate refugees may find themselves rewarded by the cultural diversity and workplace talents that people bring. A duty to those at a distance is a reasonable expansion of the duty to rescue. But what one ought to do in the global community varies somewhat from the traditional Rule of Rescue. - [1] Singer, P. (1972). Famine, Affluence, and Morality. Philosophy and Public Affairs, 1(3): 229-43. [2] Irfan, U. (2022, March 16). Why We Still Don’t Yet Know How Bad Climate Migration Will Get. Vox. https://www.vox.com/2022/3/16/22960468/ipcc-climate-change-migration-migrant-refugee, citing the International Panel on Climate Change (IPCC) (2022). Sixth Assessment Report, Climate Change 2022, Impacts, Adaptation, and Vulnerability. https://www.ipcc.ch/report/ar6/wg2/ [3] McKie, J., Richardson, J. (2003) The Rule of Rescue. Social Science & Medicine, 56(12): 2407-2419. https://doi.org/10.1016/S0277-9536(02)00244-7. [4] James, S.M. (2007). Good Samaritans, Good Humanitarians. Journal of Applied Philosophy, 24(3):238-254. [5] Overview of Good Samaritan laws. https://worldpopulationreview.com/state-rankings/good-samaritan-law-states [6] Fifield, J. (2017, Sept. 19). Why It’s Hard to Punish ‘Bad Samaritans’. Stateline Blog, Pew Charitable Trusts, https://www.pewtrusts.org/en/research-and-analysis/blogs/stateline/2017/09/19/why-its-hard-to-punish -bad-samaritans [7] Cassella, C. (2019). There’s a Climate Threat Facing Pacific Islands That’s More Dire Than Losing Land, Science Alert, https://www.sciencealert.com/pacific-islanders-are-in-a-climate-crisis-as-rising-sea-levels-threaten -water; Hassan, H. R., and Cliff, V. (2019). For Small Island Nations, Climate Change is not a Threat. It’s Already Here, World Economic Forum, https://www.weforum.org/agenda/2019/09/island-nations-maldives-climate-change/ [8] For example, Lyons, K. (2019). Australia Coal use is Existential threat to Pacific Islanders, The Guardian. https://www.theguardian.com/world/2019/aug/12/australia-coal-use-is-existential-threat-to-pacific-is lands-says-fiji-pm [9] Cripps, E. (2013). Climate Change and the Moral Agent: Individual Duties in an Interdependent World. Oxford: Oxford University Press. [10] Schroeder, D., Chatfield, K., Singh, M., Chennells, R., and Herissone-Kelly, P.. Ethics Dumping and the Need for a Global Code of Conduct. In Cham. (Ed.)(2019). Equitable Research Partnerships. SpringerBriefs in Research and Innovation Governance. Springer. 2019. https://doi.org/10.1007/978-3-030-15745-6_1 [11] Giudice L.C., Llamas-Clark E.F., DeNicola N., Pandipati, S., Zlatnik, M.G., Decena, D.C.D., Woodruff, T.J., Conry, J.A. (2021). Climate Change, Women’s Health, and the Role of Obstetricians and Gynecologists in Leadership, International J Gynecol Obstet, 155(3), 345-356. 10.1002/ijgo.13958 [12] See Ferrarello, S. and Zapien, N. (2020). Ethical Experience: A Phenomenology, Bloomsbury. (for understanding phenomenological determinants of ethical action). [13] McLeman, R.A., Hunter, L.M., (2010). Migration in the context of vulnerability and adaptation to climate change: insights from analogues. Wiley Interdiscip Rev Clim Change, 1(3): 450-461. [14] Least Developed Countries Expert Group. (2018). Considerations Regarding Vulnerable Groups, Communities and Ecosystems in the Context of the National Adaptation Plans: United Nations Framework Convention on Climate Change. [15] Jecker, N.S. 2013. "The Problem with Rescue Medicine." J Med Philos, 38(1):64-81. [16] White House Report. (February 9, 2021), Executive Order (E.O.) 14013, “Rebuilding and Enhancing Programs to Resettle Refugees and Planning for the Impact of Climate Change on Migration.” (calls on the National Security Advisor to prepare a report on climate change and its impact on migration. “This report marks the first time the U.S. Government is officially reporting on the link between climate change and migration.” https://www.whitehouse.gov/briefing-room/presidential-actions/2021/01/27/executive-order-on-tackling -the-climate-crisis-at-home-and-abroad/ [17] Torres, J.M., Casey, J.A. (2017) The centrality of social ties to climate migration and mental health. BMC Public Health, 17: 600. https://doi.org/10.1186/s12889-017-4508-0. (shrink)

The essay first makes some observations on the general interrelationship between the logical writings of Albert and Buridan. Second, it gives an account of a ‘semantic logical model’ for analyzing complex subject terms in some basic categorical propositions which is defended by Albert of Saxony, and briefly recounts Buridan's criticisms of that model. Finally, the essay maintains that the Albertian model is typically compatible with, and a further development of, what is called by a late-fourteenth century anonymous scholar ‘the English- (...) class='Hi'>Rule’ but the ‘determinable/determinate’ grammatical model defended by Buridan is not. (shrink)

This theoretical development was carried out in response to the need of an interdisciplinary team of researchers of the complex concept of “social resilience of a person in a community”. An integration framework proposes to bring such efforts together. It includes aspects of the study of social resilience of a person in a community as a synergistic system, as one of the levels of a hierarchical system, as a problem-solving system.We consider synergistic social resilience as the subject’s ability to go (...) through shocks, which is enhanced by his capacity for self-learning and innovation. The authors analyzed the synergistic social resilience of a person in a community as a system of self-organization based on rhizome and network models. This also includes a person’s access to capital. At the same time, considering the system as synergistic reveals the probabilistic nature of its development. This does not rule out the possibility of developing the system’s stability by excluding its vulnerable members. The latter is an ethical dilemma.Hierarchy in social resilience is considered at the levels of interstate associations, states, individual branches of state functioning, territorial communities, individual social groups (professional groups, corporations or enterprises, public associations, religious communities, neighborhood communities, etc.), family, person. At the same time, we understand the completeness of the interdisciplinary study of the social stability of a person in the community through the management of the principle of “leaving no one behind” set by the Sustainable Development Goals.We also consider social resilience through a problem-solving orientation. This study proposes to focus on the fact that every person in his life can face a disaster to which he will not be able to adequately respond, based on the available internal resources, access to networks and capital. It can also apply to social groups, communities, and states. A possible solution in this case is an appeal from a more local to a more global level. Orientation to the solution of the problem opens the dialectic of hierarchical and synergistic aspects of social sustainability. It is as follows: an excess in the provision of solutions by the supersystem can become a detriment to the development of the local system, a lack of assistance can cause the death of the local system.Collectively, this forms an integrative framework for an interdisciplinary study of the social stability of a person in a community. Such a framework is designed to ensure the transformation of individual texts from various fields of scientific knowledge into a holistic multifaceted development that not only reveals concepts, but also opens up prospects for the development of social stability of a person in a community. (shrink)

Software agents’ ability to interact within different open systems, designed by different groups, presupposes an agreement on an unambiguous definition of a set of concepts, used to describe the context of the interaction and the communication language the agents can use. Agents’ interactions ought to allow for reliable expectations on the possible evolution of the system; however, in open systems interacting agents may not conform to predefined specifications. A possible solution is to define interaction environments including a normative (...) component, with suitable rules to regulate the behaviour of agents. To tackle this problem we propose an application-independent metamodel of artificial institutions that can be used to define open multiagent systems. In our view an artificial institution is made up by an ontology that models the social context of the interaction, a set of authorizations to act on the institutional context, a set of linguistic conventions for the performance of institutional actions and a system of norms that are necessary to constrain the agents’ actions. (shrink)

Inferentialism is a theory in the philosophy of language which claims that the meanings of expressions are constituted by inferential roles or relations. Instead of a traditional model-theoretic semantics, it naturally lends itself to a proof-theoretic semantics, where meaning is understood in terms of inference rules with a proof system. Most work in proof-theoretic semantics has focused on logical constants, with comparatively little work on the semantics of non-logical vocabulary. Drawing on Robert Brandom’s notion of material inference and Greg Restall’s (...) bilateralist interpretation of the multiple conclusion sequent calculus, I present a proof-theoretic semantics for atomic sentences and their constituent names and predicates. The resulting system has several interesting features: (1) the rules are harmonious and stable; (2) the rules create a structure analogous to familiar model-theoretic semantics; and (3) the semantics is compositional, in that the rules for atomic sentences are determined by those for their constituent names and predicates. (shrink)

Dieses Open-Access-Buch gibt aktuelle interdisziplinäre Forschungseinblicke rund um das Fab City-Konzept. Ein Ansatz, der beschreibt, wie Produktions- und Konsumptionsweisen gestaltet werden können, sodass einerseits globale Kollaboration in und durch Communities von der Ideengenerierung bis zur Produktentwicklung physischer Güter mittels quelloffener Technologien (Open Source Software und Hardware) ermöglicht wird und andererseits die Produktion dieser Güter lokal und somit möglichst nahe am Ort des Bedarfs sowie dezentral im Sinne einer verteilten Produktion erfolgen kann, beispielsweise in Fab(rication) Labs. Ziel ist die (...) Schaffung einer möglichst nachhaltigen Produktion bzw. Wertschöpfung. Ökologisch nachhaltig, indem lange Transportwege vermieden und auf Grundlage von Kreislaufprinzipien lokale Stoffkreisläufe geschlossen werden. Ökonomisch nachhaltig, indem durch quelloffene Technologien Wettbewerbsbeschränkungen und durch föderierte Ansätze Abhängigkeiten vermieden werden. Sozial nachhaltig durch ein partizipatives Wertschöpfungssystem, in dem der Zugang zu Wissen und Knowhow sowie zu Produktionsmitteln unbeschränkt ist. Über den gesamten Produktentstehungsprozess und -lebenszyklus enthält das vorliegende, bilinguale Werk in deutscher und englischer Sprache Beiträge aus den Bereichen Citizen & Collaborative Innovation and Design, Circular Design & Economy, Open-Source-Software-Tools für die Entwicklung von Open Source Hardware, Digital Product Passport, föderierte (Open-Source-) Systeme, die Verbreitung von Open Source Hardware sowie technical literacy und economic governance. Prof. Neil Gershenfeld, Director of MIT's Center for Bits and Atoms, and Chairman of the board of The Fab Foundation: "For many years the growth of cities has been an inexorable trend, with cities acting as regional magnets and engines; the resources enabling a Fab City can also help expand opportunity beyond cities. There is now an opportunity and need for labs that can develop, deploy, and measure the frontiers of Fab City technologies. This book provides a much-needed snapshot of the current state of that challenge." Tomas Diez, Executive Director of the Fab City Foundation: "This book is an invitation for large-scale collaboration to build distributed system that can support the development of alternative modes of production, in line with the social and ecological needs of our time.". (shrink)

continent. 1.2 (2011): 78-91. This article consists of three parts. First, I will review the major themes of Quentin Meillassoux’s After Finitude . Since some of my readers will have read this book and others not, I will try to strike a balance between clear summary and fresh critique. Second, I discuss an unpublished book by Meillassoux unfamiliar to all readers of this article, except those scant few that may have gone digging in the microfilm archives of the École normale (...) supérieure. The book in question is Meillassoux’s revised doctoral dissertation L’Inexistence divine (or The Divine Inexistence ), with its seemingly bizarre vision of a God who does not yet exist but might exist in the future. Without literally accepting this view, I will claim that it is philosophically interesting in ways that even a hardened sceptic might be able to appreciate. Third and finally, I will speculate on the possible future of Meillassoux’s speculative materialism itself. And here I mean its future development not by Meillassoux, but by those readers who might be inspired by his book. Plato could never have predicted the emergence of Aristotle’s philosophy, despite the obvious debt of the latter to the former. Nor could Descartes have predicted Spinoza and Leibniz, nor Kant the German Idealists, and neither could Husserl in 1901 have foreseen the later emergence of Heidegger. How are the works of interesting philosophers transformed by later thinkers of comparable importance? While it may seem that there are countless ways to do this, I think there are only two basic ways in which this happens: you can radicalize your predecessors, or you can reverse them. I will close this article with a few words about these two methods, and try to imagine how Meillassoux might be radicalized or reversed by some future admirer. My view is that the more important thinkers are, the easier they are to radicalize or reverse. This helps explain why the great philosophers of the West have so often appeared in clusters, succeeding one another at relatively brief intervals during periods of especial ferment. 1. After Finitude After Finitude is unusually short for such an influential book of philosophy: running to just 178 pages in the original French, and an even more compact 128 pages in the English version, despite the introduction of roughly eight pages of new material for the English edition. Rather than summarizing Meillassoux’s book in the order he intended, I will focus on six points that strike me as the pillars of his debut book. Along the way, I will offer a few criticisms as well. The first pillar of the book is Meillassoux’s own term “correlationism.”1 Although he introduces this term as the name for an enemy, it is striking that Meillassoux remains impressed by correlationism much more than his fellow speculative realists are. This continued appreciation for his great enemy influences the shape of his own ontology. Is there a world outside our thinking of it, or does the world consist entirely in being thought? Traditionally, this dispute between realism and idealism has been dismissed in continental philosophy as a “pseudo-problem,” in a strategy pioneered by Husserl and extended by Heidegger. We cannot be realists, since following Kant we have no direct access to things-in-themselves. But neither are we idealists, since the human being is always already outside itself, aiming at objects in intentional experience, deeply engaged with practical implements, or stationed in some particular world-disclosing mood. The centuries-old dispute between realism and idealism is dissolved by saying that we cannot think either real or ideal in isolation from the other. There is neither human without world nor world without human, but only a primordial correlation or rapport between the two. This is what “correlationism” means: philosophy trapped in a permanent meditation on the human-world correlate, trying to find the best model of the correlate: is it language, intentionality, embodiment, or some other form of correlation between human and world? Among other problems, this generates some friction between philosophy and the literal meaning of science. When cosmologists say that the universe originated 13.5 billion years ago, they do not mean “13.5 billion years ago for us ,” but literally 13.5 billion years ago, well before conscious life existed, and thus at a time when there was no such thing as a correlate. Meillassoux also coins the term “ancestrality” (10) for the reality that predated the correlate, and later expands this term to “dia-chronicity,” (112) to refer to events occurring after the extinction of human beings no less than to those occurring before we existed. Up to this point, Meillassoux’s focus on ancestral entities existing prior to consciousness might seem like a straightforward realist who wants to unmask correlationism as just another form of idealism. Yet Meillassoux also admires the correlationist maneuver, which can obviously be traced back to Kant. Unlike a thinker such as Whitehead, Meillassoux feels no nostalgia for the pre-critical realism that came before Kant: “we cannot but be heirs of Kantianism,” he says (29). What impresses Meillassoux about correlationism is something both simple and familiar. If we attempt to think a tree outside thought, this is itself a thought . Any form of realism which thinks it can simply and directly address the world the way it is fails to escape the correlational circle, since the attempt to think something outside of thought is itself nothing other than a thought, and thereby collapses back into the very human-world correlate that it pretends to escape. For Meillassoux this step, suggested by Kant but first refined by the ensuing figures of German Idealism, marks decisive forward progress in the history of philosophy that must not be abolished. Any attempt to break free from the correlate must first acknowledge its mighty intellectual power. Realist though he may seem, Meillassoux’s works are filled with praise of such figures as Fichte and Hegel, not of so-called “naïve realists.” It is also the case that for Meillassoux, not all correlationisms are the same. The second pillar of his book is a distinction between various positions that I have termed “Meillassoux’s Spectrum,” though of course he is never so immodest as to name it after himself. He distinguishes between at least six different possible positions, and perhaps we could add even subtler variations if we wished. But in its simplest form, Meillassoux’s Spectrum allows for just four basic outlooks on the question of realism vs. anti-realism. Three of these are easy to understand, since we have already been discussing them. At one extreme is so-called “naïve realism,” which holds that a world exists outside the mind, and that we can know this world. Meillassoux rejects this naïve realism as having been overthrown by Kant’s critical philosophy. At the other extreme is subjective idealism, in which nothing exists outside the mind. For to think a dog outside thought immediately turns it into a thought, and therefore there cannot be anything outside; the very notion is meaningless. In between these two is what we have called correlationism. And here comes a crucial moment for Meillassoux, since he distinguishes between the two forms of “weak” and “strong” correlationism, and chooses the strong form as the launching pad for his own philosophy. Weak correlationism is easy to explain, since we all know it from the philosophy of Kant. The things-in-themselves can be thought but not known. They certainly must exist, since there cannot be appearances without something that appears. And we can think about them, which idealism holds to be impossible. They are simply unknowable due to the finitude of human thought. Strong correlationism is the new position introduced by Meillassoux (though he sees it at work in numerous twentieth century thinkers), midway between weak correlationism and subjective idealism. The major difference between the three positions is as follows. Weak correlationism says: “The things-in-themselves exist, but we cannot know them.” The subjective idealist says: “This is a contradiction in terms, since when we think the things-in-themselves, we already turn them into thoughts.” But the strong correlationist says: “Just because ‘things-in-themselves’ is a meaningless notion does not mean that they cannot exist. No one has ever traveled to the world-in-itself and come back to make a report on it. Thus, the fact that we cannot think things-in-themselves without contradiction does not prove that they do not exist anyway. There may be things-in-themselves, we simply are not capable of thinking them without contradiction form within the correlational circle.” This step is crucial for Meillassoux, since strong correlationism is the position he attempts to radicalize into his own new standpoint: speculative materialism. As I see it, this step of the argument fails. Strong correlationism cannot avoid collapsing into subjective idealism, since the statements of the strong correlationist are rendered meaningless from within. All three of the other positions in the Spectrum make perfectly good sense even for those who disagree with them. The naïve realist says that things-in-themselves exist and we can know them; the meaning of this statement is clear. The weak correlationist can say that things-in-themselves exist but lie forever beyond our grasp; this too makes perfect sense, even though the German Idealists try to show a contradiction at work here. We can also understand the claim of the subjective idealist that to think anything outside thought turns it into a thought, and that for this reason we cannot think the unthought. The strong correlationist, alone among the four, speaks nonsense . This person says “I cannot think the unthought without turning it into a thought, and yet the unthought might exist anyway.” But notice that the final phrase “the unthought might exist anyway” is fruitless for this purpose. For we have already heard that to think any unthought turns it into a thought. But now the strong correlationist wants to do two incompatible things simultaneously with this unthought. On the one hand, he neutralizes the unthought by showing that it instantly changes into just another thought. But on the other hand, he wants to appeal to the unthought as a haunting residue that might exist outside thought, thereby undercutting the absolute status of the human-world correlate found in idealism. But this is impossible. If you accept the argument that thinking the unthought turns it into a thought, you cannot also add “but maybe there is something outside that prevents this conversion from being absolutely true,” because this “something outside” is immediately converted into nothing but a thought for us. In short, Meillassoux here seems to be offering a kind of Zen koan: his “strong correlationism” is reminiscent of the gateless gate, or the sound of one hand clapping, or the command to punch Hegel in the jaw when meeting him on the road. We cannot at the same time both destroy the realist challenge of the things-in-themselves in order to undercut realism and reintroduce that very realist sense in order to undercut idealism. In a world where everything is instantly converted into thought, we cannot claim that there might be something extra-mental anyway, because this “might be something” is itself converted into a thought by the same rules that condemned dogs, trees, and houses to the idealist prison. This brings us to the third pillar of Meillassoux’s argument, which is the key to all the rest: the necessity of contingency. His strategy is to transform our supposed ignorance of things-in-themselves into an absolute knowledge that they exist without reason, and that the laws of nature can change at any time for no reason at all. In this way the cautious agnosticism of Kantian philosophies is avoided, but so is the collapse of reality into thought as found in German Idealism. Meillassoux does try to prove the existence of things-in-themselves existing outside thought; he simply holds that they must be proven after passing through the rigors of the correlationist challenge, not just arbitrarily decreed to exist in the manner of naïve realism. As he puts it, “Everything could actually collapse: from trees to stars, from stars to laws, from physical laws to logical laws; and this not by virtue of some superior law whereby everything is destined to perish, but by virtue of the absence of any superior law capable of preserving anything, no matter what, from perishing” (53). If idealism thinks that the human-world correlate is absolute, for Meillassoux it is the facticity of the correlate that is absolute. He tries to show this with a nice brief dialogue between five separate characters (55-59) which is covered in detail in my forthcoming book,2 but which I will simplify here for reasons of time. In this simplified version, we first imagine a dogmatic realist arguing with a dogmatic idealist. The realist says that we can know the truth about the things-in-themselves; the idealist counters that we can only the truth about thought, since all statements about reality must be turned into statements concerning our thoughts about reality. Here the correlationist enters and proclaims that both of these positions are equally dogmatic. For although we have access to nothing but thoughts, we cannot be sure that these thoughts are all that exist; there could be a reality outside thought, there is simply no way to know for sure. And this latter position is the one that Meillassoux attempts to transform from an agnostic, skeptical point into an ontological claim about the contingency of everything. Consider it this way. How does the correlationist defeat the idealist? The idealist holds that the existence of anything outside thought is impossible. The correlationist, by contrast, holds that something might exist outside the human-world correlate. But this “something might” has to be an absolute possibility. It cannot mean that “something outside thought might exist for thought ,” because that is what the idealist already says. No, the correlationist must mean that something might exist outside thought quite independently of thought. In other words, the correlationist says that idealism might be wrong, and this means it is absolutely true that idealism might be wrong. Thus, correlationism is no longer just a skeptical position. It holds that all the possibilities of the world are absolute possibilities. We have absolute knowledge that any of the possibilities about the existence or non-existence of things-in-themselves might be true, and this means that correlationism flips into Meillassoux’s own position: speculative materialism. As Meillassoux sees it, there are only two options here. Option A is to absolutize the human-world correlate, which is what the idealist does: there absolutely cannot be anything outside thought. Option B, by contrast, is to absolutize the facticity of the correlate: its character of simply being given to us, without any inherent necessity. The correlationist cannot have it both ways by saying: “there absolutely might be something outside thought, yet maybe this is absolutely impossible.” In other words, once we escape dogmatism we can only be idealists or speculative materialists, not correlationists. The human-world correlate is merely a fact, not an absolute necessity. But this facticity itself cannot be merely factical: it must be absolute. Here Meillassoux coins the French neologism factualité , which has been suitably translated into the English neologism “factiality.” (7, 122-3) Factialty means that for everything that exists, it is absolutely possible that it might be otherwise, not just that we cannot know whether or not it might be otherwise. Just as Kant transformed philosophy into a meditation on the categories governing human finitude, Meillassoux wishes to turn philosophy into a meditation on the necessary conditions of factiality, which he calls “figures”—a new technical term for him. (80) One such figure is that the law of non-contradiction must be true, and for an unusual reason. Since everything is proven to be contingent, nothing that exists can be contradictory, for whatever is contradictory has no opposite into which it might be transformed, and thus contingency would be impossible.3 Another such figure is that there must be something rather than nothing: for since contingency exists, something must exist in order to be contingent. It is a daring high-wire act, one that sacrifices realism to the correlational circle in order to rebuild it from out of its own ashes. Some might conclude that the lack of reason in things is a byproduct of the ignorance of finite humans, Meillassoux is making precisely the opposite point. For in fact, the doctrine of finitude usually leads directly to belief in a hidden reason. The fact that it lies beyond human comprehension merely increases our belief in this arbitrarily chosen concealed ground. By defending anew the concept of absolute knowledge Meillassoux evacuates the world of everything hidden. The reason for things having no reason is not that the reason is hidden, but that no reason exists. Thus, even while insisting on the necessity of non-contradiction, he rejects the other Leibnizian principle: sufficient reason. Everything simply is what it is, in purely immanent form, without deeply hidden causes. Or as Meillassoux puts it: “There is nothing beneath or beyond the manifest gratuitousness of the given—nothing but the limitless and lawless power of its destruction, emergence, or persistence” (63).The world is a “hyper-chaos”(64). But this is not the same thing as flux. For the chaos of the world is such that stability might occur just as easily as constant, turbulent change. Let’s now digress a bit, and return to the question of ancestrality, which Meillassoux transforms later in the book into “dia-chronicity.” Correlationism holds that all talk of a world outside the correlate is immediately recuperated by the correlate. The phrase “13.5 billion years ago” becomes “13.5 billion years ago for us ,” and the phrase “the universe following the extinction of humans” becomes “the universe following the extinction of humans for humans .” But notice that whether we talk about the world before or after humans, in both cases it is time that is used to challenge the correlate. Meillassoux has no interest in challenges that might be posed by space. For example, what about a vase in a lonely country house that topples to the floor and smashes when no one is there to watch it? Isn’t this also a challenge to correlationism, no less than the Big Bang or the heat death of the universe long after humans have vanished? In an eight-page supplement to the English translation of After Finitude ,4 possibly in response to my own 2007 review of the French original,5 Meillassoux bluntly denies that space is of any relevance to the question. Spatial distance is a merely harmless challenge to the human-world correlate. After all, even though no one is there in the lonely country house to witness the shattering of the vase, we can say that had there been an observer , that observer would have witnessed the toppling and destruction of the vase. For this event still occurs in a world in which the human-world correlate already exists, whereas the diachronicity of events both before and after the existence of humans makes it impossible to say that had there been an observer they would have witnessed the Big Bang occurring in such and such a fashion. However, it seems to me that Meillassoux merely asserts that the temporal simultaneity of our existence with that of the vase in the lonely country house is enough to render it harmless. It is true that the house does not exist prior to the correlate, but nonetheless it exists outside the correlate, and that is enough to make the same challenge. It is difficult to see why the “had there been an observer” maneuver succeeds in the case of a vase in the countryside in April 2011 but fails in the case of the Big Bang. This is not just a matter of nitpicking Meillassoux’s argumentative style: the fact that he bases his argument on time has at least two important consequences for his position. For in the first place, even though Meillassoux insists that the laws of nature are absolutely contingent, this turns out to be true only in a temporal sense. That is to say, it is a paradoxical feature of Meillassoux’s philosophy that he does allow for the existence of laws of nature, and simply believes that they can change at any moment without reason. Within any given moment, laws of nature do exist. He never suggests that different parts of the universe can have different laws at the same time, nor does he have any interest in the laws of part/whole composition that take place within any given instant. Could it be the case that rather than being made of gold atoms, a small chunk of gold could be made of silver atoms, cotton, horses, or that this same small piece of gold could be made of gigantic vaults filled with even more gold? These are not topics that draw Meillassoux’s attention, since he is focused solely on how the laws of nature might change or endure from one moment to the next . Another implication for Meillassoux’s system is that his concept of things-in-themselves turns out to be to be inadequate. For when he proves that things-in-themselves can exist without humans, this turns out to be true only in a temporal sense as well. Namely, things-in-themselves existed ten billion years ago, and they will continue to exist after all humans have succeeded in exterminating themselves. However, being able to exist before our births and after our deaths is just one small part of what it means to be a thing-in-itself. The more important part is that even if a thing is sitting on a table right now, in front of me, even if I stroke it lovingly or press my face up against it directly, I am still dealing only with a phenomenal version of the thing; the thing-in-itself continues to withdraw from all access. Yet no such thing is acknowledged by Meillassoux. For him finitude is a disaster, and absolute knowledge is in fact possible. Meillassoux’s thing-in-itself exists in independence only of the human lifespan , not of human knowledge. The fifth pillar of Meillassoux’s argument is his use of Cantor’s transfinite mathematics to show that even if the laws of nature are contingent, they need not be unstable, and thus we cannot use the apparent stability of nature to disprove his metaphysics of absolute contingency. What Cantor showed is that there are different sizes of infinity, and that all these infinities cannot be totalized in a single infinite number of infinities. Meillassoux sees this as crucial, since it allows him to discredit any “probabilistic” argument against his theory. The probabilistic argument (as defended quite clearly by Jean-René Vernes)6 would say this: given that the laws of nature seem so stable, it it is extremely improbable that there is no hidden reason for their remaining so stable. As Meillassoux sees it, probability is of value only when we can index an accessible total of cases. These can even be infinite: for example, there are an infinite number of points where a rope can break when stretched tight, but this does not stop us from calculating probabilities for various sections of the rope to break. By contrast, there is no way to sum up the number of possible laws of nature. For here there is no way to totalize; we cannot stand outside of nature and calculate the possible number of laws so as to determine the probabilities that any one of them might change. Therefore, although we can speak of probability when dealing with intraworldly events such as elections, horse races, and coin-flips, we cannot use the words “probable” or “improbable” when describing alterations at the level of nature as a whole. Rather than commenting on the validity of this argument and its use of Cantor, let me simply note that it once again creates a dualistic ontology. We already saw that Meillassoux treats time differently from space. In analogous fashion, he now treats the level of world differently from that of intraworldly events. The emergence of worlds is purely contingent and virtual and governed by no probability at all, while events within the world necessarily follow laws (even if these laws can change at any moment without reason), and thus their probabilities can be calculated. It is a strategy deeply reminiscent of Badiou’s (2005) own dualism between the normal “state of the situation” and the rare and intermittent “event.” The sixth and final pillar of Meillassoux’s book can be dealt with briefly, since we have already touched on it elsewhere. It comes at the very beginning of the book, when Meillassoux says that we must revive the distinction between primary and secondary qualities, and that the primary qualities are the ones that can be mathematized. He admits that he has not yet published a proof of this idea, though in fact it is already known as one of his primary doctrines. And here we encounter the familiar problem with Meillassoux’s inadequate conception of things-in-themselves. “Primary qualities” refers to those qualities that a thing has independently of its relations with us or anything else. But if the primary qualities can be mathematized, this means that they are not entirely independent of us, since our knowledge can get right to the bottom of them. The mathematized qualities of things are independent of us only in Meillassoux’s sense that they will still have those qualities even when all humans are dead. But to repeat, autonomy from the human lifespan is not the same as autonomy from human access. Here once more Meillassoux is concerned only with independence from the human-world correlate across time, not in any given instant. 2. L’Inexistence divine In 1997, the same year in which he turned thirty years old, Meillassoux earned his doctorate at the École normale supériuere with a brazen dissertation entitled L’Inexistence divine ( The Divine Inexistence ). The work was substantially revised in 2003. But even then, with typical fastidiousness, Meillassoux decided that the work was not yet ready for press. It has now been scrapped in favor of some future, multi-volume work bearing the same title. While writing my book on Meillassoux for Edinburgh University Press, I was permitted to translate excerpts from this unpublished work for use as an appendix in my own book; in total, the appendix contains approximately twenty percent of Meillassoux’s 2003 manuscript, the first time any of it will be published in any language. Nonetheless, a portion of the argument was already tested in the article “Spectral Dilemma,” published in English in the journal Collapse (2008: 261-75). There the philosophical motives for the virtual God are already made clear. What troubles us most are early deaths, brutal deaths, deaths of especial injustice– the sorts of deaths in which the brutal twentieth century was so abundant. And here, neither the atheist nor the believer can help us. The atheist can offer nothing but a sad and cynical resignation when reflecting on the victims of these terrible crimes. The believer does little better, being unable to explain how God could have allowed such things to happen, due to the famous intractability of the problem of evil. The solution offered to this dilemma by Meillassoux is bold, and all the more so given that he emerges from such a deeply Leftist, materialist, and unreligious background. His solution is that God does not yet exist, and therefore is not blameworthy for these catastrophes. Given that everything is contingent in Meillassoux’s philosophy, this God and divine justice might never exist, but they can at least exist as an object of hope. Let’s begin by jumping to the end of L’Inexistence divine , where the alternatives are laid out so nicely. There are four basic attitudes that humans can have towards God, Meillassoux says. First, we can believe in God because he exists. This is the classical theist attitude, rejected for the simple reason that it would be amoral and blasphemous to believe in a God who allows children to be eaten by dogs, to use Dostoevsky’s example. Second, we can disbelieve in God because he does not exist: the classical atheist attitude. But this leads to sadness, cynicism, and a sneering contempt for the greatness of human capacity. The third option, rather more complex, is to disbelieve in God because he does exist: in other words, to exist in rebellion against God as the one who must be blamed for the evils of the earth. The examples here might range from Lucifer himself, to the more human figure of Captain Ahab in Melville’s Moby-Dick , to Werner Herzog’s even more recent catchphrase, “Every man for himself, and God against all.” That leaves only the fourth option: believing in God because he does not exist. Meillassoux closes his book by saying that the fourth option has now been tried (namely, in the course of his own book), and that now that all four have been specified, we must choose. The first reaction to this theory of the inexistent God will be laughter. Few readers will ever be literally convinced by it, and probably none will immediately be convinced by it. But if we ask ourselves why we laugh, the answer is because it sounds so improbable that an inexistent God might suddenly emerge and resurrect the dead. It obviously sounds more like a gullible theology than a rigorous piece of philosophical work. Yet two things need to be kept in mind. First, Meillassoux’s theories are hardly more unlikely than those of great philosophers of the past such as Plato, Plotinus, Avicenna, Malebranche, Spinoza, Leibniz, Nietzsche, or Whitehead. We read the great philosophers not because their systems are plausible in commonsense terms that can be measured by the laws of probability. Instead, we read them precisely because they shatter the existing framework of common sense and open up new window on the universe. Second, and even more importantly, Meillassoux has already rejected probability as a valid measuring stick in philosophy. Or rather, he accepts probability in the intra-worldly realm (where it is linked with potentiality), and rejects it at the level of the world itself (where potentiality is replaced with what he calls virtuality). The virtual God can appear at any moment for no reason at all, just as any other new configuration of laws of nature can appear: in a manner that the laws of probability cannot calculate. Responding to those who might ridicule the idea of a sudden emergence of God and a resurrection of the dead, Meillassoux cites Pascal, who asserts that the resurrection of the dead would be far less incredible than the fact that we were born in the first place. This shifts philosophy onto new ground. Rather than concerning ourselves with what is likely to happen in the world as we know it, we focus instead on the most important things that could happen. For this reason, the expected objection that a virtual God is no more likely to appear than a virtual unicorn or a virtual flying spaghetti monster misses the point. Unicorns and spaghetti monsters could also appear, just like any other non-contradictory thing. But these would just be novel bizarre entities among others, not the heralds of completely new worlds. For Meillassoux, the emergence of matter, life, and thought have been the three truly amazing advents of the world so far, each of them dependent on the advent(s) preceding them. As he sees it, there can be no greater intraworldly entity than the human beings who already exist, since nothing in the world is better than the absolute knowledge of which humans alone are capable. This means that the next great advent must be something that perfects human beings rather than superseding them. And this can only be the world of justice, in which the dead are resurrected and their horrible deaths partially cancelled (Meillassoux never considers the possibility of a God who would literally erase the pre-divine past so that it never happened at all). The only immortality worth having is an immortality of this life, not an existence in some ill-defined afterworld. Human existence, he holds, must always be governed by a “symbol” that gives us the “immanent and comprehensible inscription of values in a world.” And just as cosmic history made the three great contingent leaps of matter, life, and thought, with a leap to justice as the only one still to come, a similar structure occurs within human culture and its symbols, which consist so far of the cosmological, naturalistic, and historical symbols, with a “factial” symbol still to come. We can review each of these symbols briefly. The cosmological symbol refers to the ancient dualism between the terrestrial and celestial spheres. Here below everything is conflict, corruption, and decay; but in the heavens nothing is perishable, all movement is circular, and everything is arranged in mutual harmony. This symbol is ended by modern physics when Galileo discovers such blemishes as sunspots and craters on the moon, and when Newton integrates both celestial and terrestrial movement into a single gravitational law. Next comes the naturalistic or romantic symbol, in which perfection comes not from the sky but from nature itself. The world is filled with pretty flowers (Meillassoux claims that the ancients never discussed the beauty of flowers until Plotinus in the third century) and with living creatures naturally moved by pity, at least until society corrupts them. This symbol collapses in the face of reality as we know it, since pity is no more common than war, corruption, and violence. This brings us to the historical symbol, which only now is passing away. Bad things may happen, but history has an inner logic of its own, such that everything works out in the end. The ultimate form of the historical symbol is the economic symbol, whether in a Marxist or neo-liberal form. Just as the Marxist holds that the inner economic logic of the capitalists will inexorably lead them to self-destruction, the neo-liberal assumes that the sum total of individual selfish actions will lead, in the long run, to the greatest possible good. We worship the economy and let it guide history for us, just as the ancients worshipped celestial bodies and held them to be free from blemish. The final remaining symbol is the factial symbol, which Meillassoux hopes will now emerge. Factiality, we recall, is his term for the absolute contingency of everything that exists. Once we have grasped this absolute contingency, we are free to expect the dramatic advent of the coming fourth World: the world of justice, inaugurated by a virtual God and even mediated by a messianic human figure. There is the added feature, however, that this messiah must abandon all claims to special status once the messianic realm of justice is achieved. The messianic figure will then be no more special than any person on the street, since a reign of human equality will have arisen. Although this focus on human being might seem like a return to standard humanism, Meillassoux holds that human pre-eminence has never truly been maintained. Previously, humans have been treated as special only because they contemplate the Good, because they resemble their omnipotent creator, or because they happen to be the temporary victors in a cruel Darwinian death-match between millions of living species. For Meillassoux, by contrast, humans have value because they know the eternal. But it is not the eternal that is important, since this merely represents the blind, anonymous contingency of each thing. What is important is not knowledge of the eternal , but knowledge of the eternal. We should not admire Prometheus for stealing fire from the gods; Prometheus is simply as bad as all the gods, no matter how much he increased our power. Feuerbach and Marx were wrong to say that God is a projection of the human essence, since for Meillassoux the usual concept of God represents the degradation of the human essence. If the traditional God was allowed to inflict plagues and tsunamis on the human race, the Promethean human of the twentieth century simply assumes the right to inflict death camps and atomic fireballs instead. In this respect, we have simply begun to imitate the degradation of humanity that was formerly invested in an omnipotent and arbitrary God. In response to charges that absolute contingency might lead to political quietism, Meillassoux counters that the World of justice would mean nothing unless we had already hoped for it beforehand. A World of justice that came along at random would merely be an improved third World of thought: indeed, a perfect one. But it would have satisfied no craving, and would therefore have no redemptive power. For this reason, we must actively hope for the fourth World of justice for such a fourth World ever to arise. Not only justice, but beauty is dependent on such hope: for Meillassoux, who is here somewhat dependent on Kant, beauty means an accord between our human symbolization and the actual world, which could never be present in a World of the blessed any more than justice could. And just as a messianic figure is needed to incarnate our hope and then abandon power once the World of justice is realized, it is the figure of the child whose fragile contingency shows us a dignity and a demand for justice beyond all power. 3. Meillassoux Radicalized or Reversed Given the promising reception of Meillassoux’s first book, it would not be groundless to engage in early speculation about what it might take to earn him a place in the history of philosophy. Maybe this will never happen—who knows?—but quite possibly it will: his lucid argumentative methods and sheer philosophical imagination at least make him a good candidate to be read well into the future, especially following further elaboration in print of his mature system. Philosophy is often practiced as thought it were nothing more than the amassing of “knockdown arguments.” But this is no more insightful than saying that good architecture is the amassing of steal beams. It is true that poorly constructed building cannot stand for long, but sound construction is merely the first, indispensable step in building. In fact, I am inclined to say that what really makes a philosopher important is not being right, but being wrong . I mean this in a very specific sense. I once heard the interesting remark about twentieth century culture that “you have to remember that the sixties really happened in the seventies.” That is to say, it was in the 1970’s rather than the more honored 1960’s that civil rights, free love, long hair, and the rock and roll drug culture really took root. With respect to the history of philosophy, we might just as easily say: “you have to remember that Plato really happened in Aristotle,” that “Kant really happened in Hegel” or “Hume really happened in Kant,” or that “Husserl’s phenomenology first achieved its truth in Heidegger.” One becomes an important philosopher not by being right, but by attracting rebellious admirers who tell you that you are wrong , even as their own careers silently orbit around your own. To recruit faithful disciples may be comforting and flattering, but the greatest thinkers have generally had to experience refutation at the hands of their most talented heirs. For this reason, I would propose that we size up the magnitude of living thinkers not by deciding how many times they are right and wrong, but by asking instead: who would take the trouble to refute this author? For this reason I do not ask: “Is Meillassoux right?”, since I do not believe in the virtual God myself, nor am I convinced by any important aspect of Meillassoux’s philosophy. Instead, I ask if there are interesting ways to overturn him. Only by being overturned, by no longer remaining a contemporary, does one become a classic. Let’s begin with a simple model of refutation, which can be refined further at a later date once the basic point is established. One kind of refutation simply consists in saying: “This author is a complete idiot.” The refuter now walks away in celebration, and no link between the present and the future is built; all is reduced to rubble. But this sort of mediocre triumphalism is generally practiced by those who achieve little of their own, and is not especially interesting. Much more interesting is the sort of refutation that does not take its target to be a complete idiot. I would like to suggest that there are just two basic ways in which this can be done: radicalization and reversal . It has not escaped my notice that this is a fairly good match for the Deleuzian distinction between irony and humor. Whereas irony critiques and adopts the opposite principle of what it attacks, humor accepts what it confronts but pushes it into highly exaggerated form. The ironist is like the worker who sows chaos by rebeling and contradicting the boss, while the humorist is like the worker who follows orders to an absurdly literal degree, with equally chaotic results. Let’s start with a few examples. In Aristotle’s treatment of Plato, and Heidegger’s of Husserl, we find reversal. Plato’s eidei are transformed by Aristotle into mere secondary substances, and the individual worldly things despised by Plato become what is primary. For Husserl what is primary is whatever is present to consciousness, while for Heidegger this is precisely what is secondary, since the primary stuff of the world withdraws from any form of presence at all. As for radicalization, it is most easily found in the transformation of Kant by German Idealism: “Kant was right to wall off the things-in-themselves from human access, and simply should have realized that the thought of the Ding an sich is also a thought, and thereby the noumena are just special cases of the phenomena,” with much following from this discovery. It would also be easy to read Spinoza as a radicalizer of Descartes, and Berkeley and Hume as radicalized versions of Locke. Perhaps the distinction is now sufficiently clear. Admiring refutations are not those that say “Professor X is an idiot,” which is merely the flip side of the eager disciple’s fruitless “Professor X got everything right.” Instead, it will be some variant of one of the following two options: “Professor X is important, but got it backwards,” or “Professor X is important, but didn’t push things far enough.” In the history of philosophy these two latter cases have often been painful in purely human terms: Aristotle expresses sadness at refuting Plato, Kant is openly annoyed at Fichte, and Husserl feels betrayed and used by Heidegger. Rude handling from later figures almost seems to be the sine qua non of being a great philosopher. Now, it has already been claimed that Meillassoux is an emerging philosopher of the first importance, and by no less a figure than Alain Badiou: “It would be no exaggeration to say that Quentin Meillassoux has opened up a new path in the history of philosophy…” (Preface, vii). But rather than taking Badiou’s word for it, or rejecting his word, we might experiment by asking how Meillassoux could be radicalized or reversed. Are there interesting ways of doing this that might launch whole new schools of philosophy, unexpected or even condemned by Meillassoux himself? While no one can see the future, the present is poor when it is not riddled with virtual futures. The relation between philosophers and their predecessors and successors is always somewhat complicated, of course. But generally there is one central divergence at stake, which might be taken as the key to all the others. On this basis we could say that new thinkers primarily radicalize or primarily reverse the main ideas of their chief philosophical forerunner. There may be specific historical conditions and perhaps even personality traits connected with these two types, but this question can be left aside for now. More important for us is that radicalizers will generally be followed by reversers, and vice versa. Consider the textbook example of a reversal in the history of philosophy: Kant’s Copernican Revolution, which inverts the so-called dogmatic tradition that addresses the world itself, and makes the world revolve instead around the conditions by which it is known. While it is not completely impossible that Kant’s successors might have re-reversed this principle back into a new and stronger dogmatic realism, conditions were premature for such a move. Anyone doing this too early would likely have been an angry anti-Kantian reactionary rather than an original thinker in command of a genuinely new realist principle. The far more likely outcome is the one that actually happened: Kant’s reversal of his predecessors was viewed as incomplete, or as retaining lamentable bits of the traditional view, which despite his admirable breakthrough he was unable to shake off. This was the view of German Idealism, anyway. In similar fashion, Spinoza could also be viewed as a radicalizer of Descartes, who is equally accused of preserving various Scholastic dogmas in an otherwise radical project of philosophical reversal. The point is this: reversals in the history of thought tend to be followed soon thereafter by radicalizations of those reversals. The same may hold true in reverse: radicalizations might generally be followed by reversals, given that it is not always possible to be more radical than the radicals have already been. Consider the case of Husserl, who radicalizes Brentano’s early vagueness about what lies beyond immanent objectivity, and Twardowski’s assertion that there must be an external object lying outside the intentional content, by collapsing everything into the intentional sphere: there is no difference between the Berlin in my consciousness and the actual Berlin that is home to millions of people. It is difficult to see how one could be even more radical than Husserl’s idealist turn here. And thus the road is paved to Heidegger’s reversal of classical phenomenology, in which the key point is what lies deeper than any presence to consciousness: the Sein whose power and obscurity cannot be made exhaustively present, but only sends itself in historical epochs. In similar fashion we might also read Leibniz as a reverser of Spinoza’s radicalization, retrieving a strong sense of individual substance and a certain validity of what the Scholastics had said. Returning to Meillassoux, we might ask which kind of philosopher he is: a radicalizer or a reverser? At present, Meillassoux looks to me like a radicalizer (though for now his future remains shrouded in mist). He takes the correlationist tradition, which allows us to speak only of the relation between human and world, and tries to raise it into an even more extreme claim about the absolute contingency of everything. But whereas German Idealism did this by trying to collapse the distinction between thought and world entirely into the “thought” side, Meillassoux does it by trying to shift the non-absolute contingency of the thought-world correlate from epistemology to ontology. It is no longer a question of the inability of human knowledge to know what lies outside the correlate, but the inability of reality itself to be rooted in any definite laws. Furthermore, if we look at the various features of Meillassoux’s philosophy identified earlier tonight, all but one are already so radical that there is no obvious way to push them further. The one exception would be his claim that the world as a whole can change for no reason at any moment, coupled with the inconsistent claim that within a given world there are laws of nature that everything must follow. If gravitational attraction between all masses is a current law in our world, then for Meillassoux there can be no exceptions to this law for as long as it remains in force. A toppled vase will fall to the floor every time for sure,unless there is a cosmic change by which the laws of nature as a whole have altered. (This is reminiscent of the late medieval distinction between the absolute and ordained power of God, according to which God has the power to set or change the laws of nature, but not to contravene those laws locally once they are set.) On this point, to radicalize Meillassoux would simply be to say: there are no laws of nature even in the local sense. Everything that happens, even in the world here and now, is purely contingent and not governed by even a trace of law. And while this would be a more consistent development of Meillassoux’s thoughts on contingency, it is difficult to see how it could lead to a new philosophy. Instead, the admiring successors of Meillassoux are more likely to reverse one of his already sufficiently radical points. At least four candidates come to mind: *First, we have seen that Meillassoux thinks correlationism is challenged by a time before or after consciousness, but not by a space lying outside it. Perhaps this could be reversed into saying that spatial exteriority is the really crucial point. The arguments on this point are perhaps the least convincing in After Finitude (and do not even occur in the original French edition), and therefore it might be a candidate for the “blind spot” of which no philosopher is ever free. *Second, Meillassoux uses Cantor to claim that the contingency of laws of nature would not entail that they are unstable. A successor of Meillassoux might claim that it does make them unstable, and celebrate this fact. This person would then have to explain why common sense seems to encounter a relatively stable world despite its truly rampant instability. Whereas Meillassoux’s problem is to show how stability might exist despite contingency, this successor’s problem would be slightly different: to show why actual, full-blown instability might have the appearance of stability. *Third, Meillassoux claims that the primary qualities of things are those that can be mathematized. He might be reversed by a successor who says the opposite: the mathematizable qualities are the secondary ones, and the primary ones are those that elude symbolic formulation. While this is a perfectly valid possible objection to Meillassoux, it is one that is made in advance by some of his predecessors and is still made by some of his peers, making it less interesting for futurology than some of his other points. *Fourth and finally, whereas Meillassoux claims that God does not exist but might exist in the future, a successor might argue even more bizarrely that God has always existed but might vanish in the future. Let’s arbitrarily select the first of these possibilities, and imagine briefly where it might lead, if pursued in the future by admiring detractors. Meillassoux comes from the circle of Badiou, and some of Badiou’s most ardent admirers are found in Latin America. So, let’s imagine that towards mid-century some ingenious reversers of Meillassoux emerge in that portion of the Spanish-speaking world. Just for fun, let’s call them Castro and Chávez. And in order to avoid any confusion with the present-day politicians of those names, we will stipulate that Meillassoux’s great successors are both women. The philosopher Castro (we will suppose she comes from Peru) reverses Meillassoux’s argument that the ancestral or diachronic are what most threaten the human-world correlate. Instead, she claims that the diachronic does not threaten the correlate at all, and that we must instead look at space as what ruins the correlate and demands a strange new realism. What would such a philosophy look like? In order to determine this, we might ask what price Meillassoux pays for doing it the opposite way. As I see it, he pays in two separate ways. One is that laws of nature for him are contingent over time . The laws of nature apply to the universe as a whole at any given moment, and would be changed globally if they are ever changed at all. The second price he pays is that Meillassoux has no mereology , or theory of parts and wholes. Everything for him is on the level of the given, or immanent in experience, with the sole proviso that the laws governing this immanence might change without notice at any given moment. In reversing Meillassoux, Castro makes the following claims in the preface to her stunning debut book of 2045, The Cosmos and its Neighborhoods , rapidly translated from Spanish into all the languages of the world: Despite his brilliant analysis of the contingency of laws of nature over time, Meillassoux gets two important assumptions wrong. First, he allows for only one set of contingent laws to govern nature as a whole. Second, he allows laws to govern only the world that is immanent in experience, and thereby fails to explore the contingency among part-whole relations. In this book I will argue, first, that the laws of nature vary in any given instant between one region of the universe and the next; and second, that the world is made up of layers of parts and wholes that are also contingent with respect to one another. Those are the words of Castro. This may sound like a hopeless free-for-all of chaos, yet the book somehow succeeds in drawing some compelling deductions about how laws must vary from one place or level in the world to the next. Trapped in the limited horizon of 2011, and not yet inspired by the heavily balkanized political and technological situation of 2050 that somehow lends additional credence to Castro’s vision, we can only vaguely grasp what such a philosophy might look like. After this reversal of Meillassoux by Castro, the usual pattern leads us to expect a radicalization by Chávez, a young Argentine student of Castro. How could the already strange theories of Castro be radicalized? Perhaps as follows, in a disturbing new book entitled The Implosion of the Neighborhoods , which argues as follows: Castro was right to shift the Meillassouxian framework of contingency from time to space. However, in this respect she retained a surprisingly traditional opposition between the two. In this book I will show that time and space collapse into one another. This may sound too much like the discredited four-dimensional block universe of twentieth century physics and philosophy. However, the four-dimensional universe is a model biased in favor of space, merely adding an extra dimension to the commonsense spatial continuum while stipulating that the serial passage of time is an illusion. In this book I will argue instead for a one-dimensional space-time modeled after our experience of time, in which there is no simultaneous co-existence at all between different parts of the universe, or ‘neighborhoods’ as my esteemed teacher Castro has called them. Instead, the various portions of the universe link to one another by succession rather than by coexistence. Buenos Aires, New York, and Amsterdam do not exist simultaneously in the same landscape, but one after the other in the mind of some observer, and this observer can only be an observer much larger than any human. Against Meillassoux’s notion of a virtual God that does not exist now but might exist in the future, I will argue for an actual God that surveys the universe in sequence, thereby generating the illusion of spatial diversity and even the illusion of individual minds located within that diversity. Once this divine observer dies, the universe as a whole must perish. Again, these ideas are so bizarre that we of 2011 can barely comprehend them, just as Aristotle would have had a difficult time grasping the theories of Descartes. We could then perhaps imagine a further reversal of this theory, emanating from the intellectually resurgent Philippines of the twenty-second century. The Filipino School might argue that the universe is already dead, given the collapse of its spatial richness into the serial observations of a flimsy and mortal God. The virtual universe does not yet exist, but might exist in fully spatial form in the future, and this would require the death of God and the resulting liberation of God’s succession of images as independent, spatially situated realities. With a bit of sharpening, we might be able to make all of these imaginary thinkers more intuitively clear. Along with the history of philosophy, there might arise a new discipline generating imaginary futures for philosophy. The richness of Meillassoux’s system comes not from the fact that he is plausibly right about so many things, but because his philosophy offers such a treasury of bold statements ripe for being radicalized or reversed. He is a rich target for many still-unborn intellectual heirs, and this is what gives him the chance to be an important figure. NOTES 1. Quentin Meillassoux, After Finitude . Trans. R Brassier. (London: Continuum, 2008.) Page 5. The word “correlationism” does not appear in his doctoral thesis. As Meillassoux informed me in an email of February 8, 2011, he first coined this term in 2003 or 2004, while editing for publication a lecture he had given at the École normale supérieure on a day devoted to the theme of “Philosophy and Mathematics,” an event including Alain Badiou as one of the participants. 2. Graham Harman, Quentin Meillassoux: Philosophy in the Making . (Edinburgh: Edinburgh University Press, forthcoming 2011). 3. In an email of December 6, 2010, Meillassoux clarifies that in After Finitude he only deduces the impossibility of a “universal contradiction,” not of a determinate contradiction. In the same email he suggests that he can also prove the latter, though the proof is somewhat lengthier than the one found in After Finitude . 4. After Finitude (18-26), in the passage falling between the two sets of triple asterisks. These pages were sent by Meillassoux to translator Ray Brassier (in French) during the translation process, and do not appear in the original French version of the book. 5. Graham Harman, “Quentin Meillassoux: A New French Philosopher.” Philosophy Today 51.1 (2007): Pages 104-117. The passage where I raise the question of space can be found in the first column of page 107. 6. Vernes is first cited on p. 95 of After Finitude . See Jean-René Vernes, Critique de la raison aléatoire, ou Descartes contra Kant . (Paris: Aubier, 1982).  . (shrink)

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...) problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)

Logic in Action/Doron Avital Nothing is more difficult, and therefore more precious, than to be able to decide (Napoleon Bonaparte) Introduction -/- This book was born on the battlefield and in nights of secretive special operations all around the Middle East, as well as in the corridors and lecture halls of Western Academia best schools. As a young boy, I was always mesmerized by stories of great men and women of action at fateful cross-roads of decision-making. Then, like as today, (...) I felt the full weight of the moment of truth as it confronts the individual, the man or woman of action, with the imminent necessity to decide. Alongside, as I was climbing up the ladder of education, I found myself just as well captivated by the great intellectual stories of our times, in particular 20th century analytic philosophy and, at its core, the machinery of modern logic. How do then the cool contemplative modes of the philosophical and analytic outlooks, that are better fitting of the philosopher's armchair at the fireplace, hang together with the heat of the battlefield or the angst of the ticking clock of time left to the completion of a daring special operation? Growing up I was pondering exactly that. Not accidently, and in fact as consequence, I have chosen a course in life that challenged me to visit the poles of both theory and practice. I set myself on a mission to unravel the tension between the contemplative inquiry, supposedly theoretical, aiming at the logical structure of things, and the uncompromising test of life and action. The puzzle of the gap between theory and practice has become ever since the guiding question of my life. -/- Not long ago, I met two friends, Avner Shor, a veteran combat soldier of the special forces unit I eventually commanded, and Aviram Halevi, a fellow officer with whom I served. Why will we not put into writing the ideas that guided us during our years of military action, we wondered. At that time, I used to deliver the keynote lectures to the senior officers' course of Israel central intelligence organization, the Mossad. For this I already had to put some of these ideas in writing. Avner was quick to introduce me with a notable publisher and even helped me write the first chapter. With Aviram I sat to many meetings, where he would challenge me with key questions, and we followed them with memories of operations and battles, aiming to draw the required lessons. This served me well when I finally sat down to write the first draft of the book. The result was more extensive than me and my friends had expected. I had to add a particularly long chapter dealing with the story of modern philosophy and logic. This was required, I felt, as no decision-making process lives in an intellectual vacuum. Knowingly or subconsciously, the intellectual climate of the time guides us for better or worse with the decisions we finally take. The initial draft was naturally cumbersome and inaccessible. But here I had the privilege of meeting a particularly talented editor, Rami Rothholtz. I found in Rami both an editor and a critical reader. As an infantry combat soldier at youth and now a senior journalist and editor, Rami insisted on simplifying and refining my ideas. Had it not been for his work, this book would have been literally unreadable. *** I opened my book with a brief description of a single night of a special operation deep at the Lebanon Bekaa valley, far away from Israel northern border. The mission was to kidnap a senior terror leader known to be holding in captivity an Israeli pilot. This was also the last special operation I commanded in my military career. A single special operation night, but what had to precede it? For sure, many months of intense and skillful preparations. What is Planning? This is the question with which I open up chapter (2) of the book. I confront in this chapter two approaches to planning. The first is the one I saw as a mission to myself to cultivate in my many years of military service. The second is the one I saw as representing a deep-rooted fallacy that holds a firm grip on today's conventional wisdom about planning. To further examine the logic of the competing models, I was required in chapter (3) to analyze the concept of "The Standard". I argue that the false model of planning has its roots in an attitude of an uncompromising adherence to the power of literal obedience to standards and rules. The standard, or what is outlined by a rule as prescribing a future course of action, is seen as an answer to the fundamental tension between theory (planning) and practice (execution). I argue in contrast that the standard does not produce an answer but rather what I call: "A Well-Defined Question". In essence, it is a meticulously-well-planned invitation to exercise a fresh judgment. A judgement that has as an anchor the default answer that the standard produces but is open to extension as it confronts the new frame of reference of the test of reality. In chapter (4), I present a new tool for planning and execution: "The Polygon of Risks" or "The Polygon of Execution". The Polygon is a geometric illustration of the underlying tension that exists between all dimensions of the operational project. The construction and conceptualization of the trade-offs that exist between the various dimensions - segments of the polygon - is the first topic on the planner's agenda. I position the concepts of "Daring" and "Taking Proactive and Well-Informed Risks" as necessary logical constituents of the polygon and show how in contrast the false model of planning is responsible for an operational culture that is risk-averse. It encourages, in fact, the piling up of false securities at the segments' level that eventually lead to the collapse of the polygon. The necessary trade-offs relationships that exist between the segments of the polygon express the fundamental tension between partnership and competition: partnership in a joint goal and competition over resources, both material and abstract. When this tension is not managed well, that is, when the players' local optimizations overshadow the global optimization required for the success of the project, the execution polygon collapses. In this scenario, we may find the setting of the bar of "High Standards" in a players' spheres of responsibility to conceal a hidden agenda of personal insurances taken against a possible failure. Once the overall risk is not mitigated by way of collaborative joint executional dialogue, the process that leads to a collapse of the polygon is literally unstoppable. *** In chapter (5), I discuss "(Fateful) Decisions". I examine the way in which we should translate the polygon into sequential critical decisions on the timeline. The execution polygon is not a rigid scaffolding but a dynamic conceptual illustration of the -/- project. It will need now to be converted into successive decision junctions. We will find the content of a decision and its timing on the timeline to be inseparable. The right decision is the one that is taken at the right time. The moment of decision is in fact the last moment of deliberation, the first moment available for action, i.e. the first possible "Can" is also the latest possible "Must". Deciding too soon is analog to the "Jumping of the Gun". The decision maker is forcing a pre-conceived answer to a state of affairs not ripe for an answer, e.g. the target in the shooting range is not yet erected. Late to decide and the decision maker may envision what he or she should have done but reality is no longer available for them to harness it right, e.g. consider a tennis player's frustration when reviewing a too-late-to-react move in the video replay. I review in this chapter many fateful decisions, both historical, from Napoleon's Waterloo, to a Bridge Too Far of WWII, to the failed rescue attempt of American hostages at the time of the Iranian Revolution, as well as fateful decisions I had to take in the course of my military life, both in combat and in special operations, and show the sense in which they all answer to our analysis. The theme of chapter (6) is "The Moment of Truth". This is the moment when everything is on the line and from which there is no turning back. I discuss the formative repetitive structure of the schooling and simulation phase and contrast it with the "One Shot, One Opportunity" nature of the moment of truth. This is extremely helpful when we analyze the logical structure of failures as unwarranted repetitions of past lessons. The schooling curriculum indeed consists of important abstractions drawn from lessons of the past. However, it is when we project them in a fashion that is literal or mechanical that we cross path with the possibility of a failure. The paradox of education is that what we must repeat in school and simulation must be extended and not repeated in real life. What is required of us so we do not fall into the fallacy of repetition in face of the moment of truth is the core subject of the discussion of this chapter. In chapter (7), I took a lengthy philosophical detour surveying the intellectual drama of modern logic, and in general, the story of 20th century analytic philosophy. Readers who choose to bypass the somehow demanding narrative of this drama can do so and still keep the argumentative thread of the book. However, even by way of skipping the more technical parts, I would still urge the readers to delve into the discussion in this chapter as I believe this would grant them a deeper understanding of the overall conceptual framework. I explore here the work of two key figures: the logician Kurt Gödel and the philosopher Ludwig Wittgenstein, both were crowned in 2000 by TIME Magazine, as the leading Logician and Philosopher, respectively, of the 20th Century. I review the fascinating logical result of Gödel's Incompleteness Theorem and examine its relevance as setting a theoretical limit to the power of formalization. This amazing logical result - a result that shakes the logical foundations of 20th century thought in as much as the discovery of irrational numbers shook the foundations of the Pythagorean program of the ancient Greeks - bears significantly on the question of action and the blind trust we place in the power of formalization in the form of protocols and rules. It is here that Wittgenstein's philosophy enters in full force. We follow Wittgenstein as he dismantles our conception of rules as if there were "Railroads to Infinite", i.e. as prescribing for us in-advance their proper employments in all possible -/- future eventualities. Instead we propose that the dilemma of action demands of us an extension of rules rather than a mechanical or blind repetition of their literal imperative. In turn, this extension can serve as a new lesson added to the curriculum of school and simulation. The theme of chapter (8), the concluding chapter, is Strategy, Logic, and Ethics. The chapter comes to place the ethical dilemma in the conceptual map we presented in the book. I discuss here the tension between strategy as a process of setting goals and deriving backward as it were the steps that are necessary for achieving these goals, to the inescapable dictation of the ethical imperative. This unavoidable tension is particularly important against the backdrop of contemporary culture that is guided by a vision of personal success and achievement that may threaten our ability to do what is right. Most of all, I am troubled in this chapter, with the role logic may play, first as a liberating force enabling a change that is tuned to the ethical imperative, and second, as a force designed to justify on logical grounds, as it were, the existing power structure. It is in this junction that brave individuals will be called to challenge the governing logic of the zeitgeist - logic that operates now as an oppressive force that serves the vested interest of beneficials of the existing order. When success is favored over doing what is right, as we must admit is the prevailing cultural mood of our times, that the words of Emanuel Kant carry their full weight: "Do the Right thing and leave the Consequences to God". For this we need heroes and heroines that challenge the time by bearing the full weight of responsibility that comes with the doing of what is Right. *** This book was written more than anything from the perspective of the heroes and heroines of action. Sometimes they may be missing the exact words or the full insight into the solid logical complexity that stands between them and the doing of what is right. They feel what is right to do on the battlefield of life, whether in real battle, in political or economic life or whether in the life of creativity and the quest of the intellect. They do need, in analogy, proper logical and intellectual artillery. I hope they will find the logical cannons they require as they travel through the pages of this book. The rest is in their hands at the Moment of Truth. -/- Doron Avital, Tel Aviv 2011 -/- . (shrink)

In this paper we discuss a view of the Machine Learning technique called Explanation-Based Learning (EBL) or Explanation-Based Generalization (EBG) as a process for the interpretation of vague concepts in logic-based models of law.The open-textured nature of legal terms is a well-known open problem in the building of knowledge-based legal systems. EBG is a technique which creates generalizations of given examples on the basis of background domain knowledge. We relate these two topics by considering EBG''s domain knowledge as (...) corresponding to statute law rules, and EBG''s training example as corresponding to a precedent case. (shrink)

A local interpretation of quantum mechanics is presented. Its main ingredients are: first, a label attached to one of the “virtual” paths in the path integral formalism, determining the output for measurement of position or momentum; second, a mathematical model for spin states, equivalent to the path integral formalism for point particles in space time, with the corresponding label. The mathematical machinery of orthodox quantum mechanics is maintained, in particular amplitudes of probability and Born’s rule; therefore, Bell’s type (...) inequalities theorems do not apply. It is shown that statistical correlations for pairs of particles with entangled spins have a description completely equivalent to the two slit experiment, that is, interference instead of non locality gives account of the process. The interpretation is grounded in the experimental evidence of a point like character of electrons, and in the hypothetical existence of a wave like, the de Broglie, companion system. A correspondence between the extended Hilbert spaces of hidden physical states and the orthodox quantum mechanical Hilbert space shows the mathematical equivalence of both theories. Paradoxical behaviour with respect to the action reaction principle is analysed, and an experimental set up, modified two slit experiment, proposed to look for the companion system. (shrink)

In proof-theoretic semantics, model-theoretic validity is replaced by proof-theoretic validity. Validity of formulae is defined inductively from a base giving the validity of atoms using inductive clauses derived from proof-theoretic rules. A key aim is to show completeness of the proof rules without any requirement for formal models. Establishing this for propositional intuitionistic logic raises some technical and conceptual issues. We relate Sandqvist’s (complete) base-extension semantics of intuitionistic propositional logic to categorical proof theory in presheaves, reconstructing categorically the soundness and (...) completeness arguments, thereby demonstrating the naturality of Sandqvist’s constructions. This naturality includes Sandqvist’s treatment of disjunction that is based on its second-order or elimination-rule presentation. These constructions embody not just validity, but certain forms of objects of justifications. This analysis is taken a step further by showing that from the perspective of validity, Sandqvist’s semantics can also be viewed as the natural disjunction in a category of sheaves. (shrink)

Many known tools for proving expressibility bounds for first-order logic are based on one of several locality properties. In this paper we characterize the relationship between those notions of locality. We note that Gaifman's locality theorem gives rise to two notions: one deals with sentences and one with open formulae. We prove that the former implies Hanf's notion of locality, which in turn implies Gaifman's locality for open formulae. Each of these implies the bounded degree property, which is (...) one of the easiest tools for proving expressibility bounds. These results apply beyond the first-order case. We use them to derive expressibility bounds for first-order logic with unary quantifiers and counting. We also characterize the notions of locality on structures of small degree. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Kennedy Institute of Ethics Journal 12.4 (2002) 389-390 [Access article in PDF] IOM Report on the System for Protecting Human Research Participants Tom L. Beauchamp* In response to society's concerns about the use of human subjects in research, the Department of Health and Human Services commissioned the Institute of Medicine to perform a comprehensive assessment of current systems of research participant protection in the U.S., including recommendations for reform (...) (Committee 2002). Although the committee declared its frustration over the lack of data, it found ample evidence to indicate that there are pivotal weaknesses in the current system. First, it discovered dissatisfaction with the current system from virtually every quarter and at virtually every level. Second, it found evidence that IRBs are under severe strain and performing inadequately. Third, it found that the existing regulatory framework—the IRB system and the Common Rule—has not and probably now cannot react adequately to the constantly evolving research environment. Some of these problems might be handled through federal agencies, but the committee holds that the problems are more extensive and will require additional institutional support and professional attention.The committee found that federal protection requirements should be extended to every research project—private, public, or otherwise. Subjects should be, in this respect, equally protected in privately sponsored research.The committee found that the IRB system is in important respects a failure, especially when it alone is relied upon for ethics reviews in institutions. One set of problems concerns the proper education of IRB members. The committee recommends that all members henceforth be given a specialized knowledge of human research ethics. It finds that IRB deliberations commonly have been dominated by scientists, who often marginalize the perspectives of nonscientist members. It therefore recommends that unaffiliated members, nonscientists, local community representatives, and those representing the participant-perspective comprise at least 25 percent of the membership. It also recommends that no protocol be approved without three-quarters of the voting members concurring. [End Page 389]The committee recommends that institutions distinguish review aimed at (1) scientific merit, (2) conflict of interest, and (3) general Ethics Review. The distinction should more evenly distribute the work of institutional ethics review. The IRB should not conduct the initial scientific review nor should it be spending the bulk of its time purely in examining either scientific merit—as many IRBs now do—or conflict of interest. Instead, the conclusions of the scientific review should be submitted to the IRB for ethics-focused deliberations. Problems of both financial and nonfinancial conflicts of interest should be handled similarly, preferably by a committee properly distanced from the institution's interests.The committee underscores that consent must be understood on the model of an interactive dialogue between research staff and participants and not merely as a signed form or single-disclosure event. Conversations between the participant and the research staff should begin even prior to the point of enrollment and should be reinforced during each stage of the research. The committee finds that informed consent conversations and documents too often are being conceived as risk management tasks gauged to protect the institution from liability.The committee also believes that the system of protections established by a research program should be open to the public in order to foster and maintain the community's trust. Open communication should occur among all relevant stakeholders. The committee notes that currently no centralized system exists for the dissemination of information about clinical trials and other research activities.It urges reconsideration of present policies regarding compensation, finding that many research organizations provide at least short-term medical care for those who are injured, but that few organizations cover all potential risks and that many organizations have no effective policy of compensation. The report holds that providing reasonable compensation for bona fide instances of research harm is the only just system and is necessary to avoid diminished public trust.The committee holds that establishing the appropriate culture in research institutions will require sustained efforts to educate researchers, research administrators, IRB members, and... (shrink)

What is the origin of individual differences in ideology and personality? According to the parasite stress hypothesis, the structure of a society and the values of individuals within it are both influenced by the prevalence of infectious disease within the society's geographical region. High levels of infection threat are associated with more ethnocentric and collectivist social structures and greater adherence to social norms, as well as with socially conservative political ideology and less open but more conscientious personalities. Here we (...) use an agent-based model to explore a specific opportunities-parasites trade-off hypothesis, according to which utility-maximizing agents place themselves at an optimal point on a trade-off between the gains that may be achieved through accessing the resources of geographically or socially distant out-group members through openness to out-group interaction, and the losses arising due to consequently increased risks of exotic infection to which immunity has not been developed. We examine the evolution of cooperation and the formation of social groups within social networks, and we show that the groups that spontaneously form exhibit greater local rather than global cooperative networks when levels of infection are high. It is suggested that the OPTO model offers a first step toward understanding the specific mechanisms through which environmental conditions may influence cognition, ideology, personality, and social organization. (shrink)

ABSTRACTThe present study describes the development and validation of a facial expression database comprising five different horizontal face angles in dynamic and static presentations. The database includes twelve expression types portrayed by eight Japanese models. This database was inspired by the dimensional and categorical model of emotions: surprise, fear, sadness, anger with open mouth, anger with closed mouth, disgust with open mouth, disgust with closed mouth, excitement, happiness, relaxation, sleepiness, and neutral. The expressions were validated using emotion classification (...) and Affect Grid rating tasks [Russell, Weiss, & Mendelsohn, 1989. Affect Grid: A single-item scale of pleasure and arousal. Journal of Personality and Social Psychology, 57, 493–502]. The results indicate that most of the expressions were recognised as the intended emotions and could systematically represent affective valence and arousal. Furthermore, face angle and facial motion information influenced emot... (shrink)