We discuss an abstract notion of a logical operation and corresponding logics. It is shown that if all the logical operations considered are implicitely definable in a logic *, then the same holds also for the logic obtained from these operations. As an application we show that certain iterated forms of infinitely deep languages are implicitely definable in game quantifier languages. We consider also relations between structures and show that Karttunen's characterization of elementary equivalence for the ordinary infinitely deep languages (...) can be generalized to hold for the iterated infinitely deep languages. An early version of this work was presented in the Abstracts Section of ICM '78. (shrink)

We prove that the class of trees with no branches of cardinality ≥κ is not RPC definable in L ∞κ when κ is regular. Earlier such a result was known for L κ + κ under the assumption $\kappa^{ . Our main result is actually proved in a stronger form which covers also L ∞λ (and makes sense there) for every strong limit cardinal $\lambda > \kappa$ of cofinality κ.

The idea of this paper is to approach linear orderings as generalized ordinals and to study how they are made from their initial segments. First we look at how the equality of two linear orderings can be expressed in terms of equality of their initial segments. Then we shall use similar methods to define functions by recursion with respect to the initial segment relation. Our method is based on the use of a game where smaller and smaller initial segments of (...) linear orderings are considered. The length of the game is assumed to exceed that of the descending sequences of elements of the linear orderings considered. By use of such game-theoretical methods we can for example extend the recursive definitions of the operations of sum, product and exponentiation of ordinals in a unique and natural way for arbitrary linear orderings. Extensions coming from direct limits do not satisfy our game-theoretic requirements in general. We also show how our recursive definitions allow very simple constructions for fixed points of functions, giving rise to certain interesting linear orderings. (shrink)

Oikkonen, J. and J. Väänänen, Game-theoretic inductive definability, Annals of Pure and Applied Logic 65 265-306. We use game-theoretic ideas to define a generalization of the notion of inductive definability. This approach allows induction along non-well-founded trees. Our definition depends on an underlying partial ordering of the objects. In this ordering every countable ascending sequence is assumed to have a unique supremum which enables us to go over limits. We establish basic properties of this induction and examine examples where (...) it emerges naturally. In the main results we prove an abstract Kleene Theorem and restricted versions of the Stage-Comparison Theorem and the Reduction Theorem. (shrink)

C. Karp has shown that if α is an ordinal with ω α = α and A is a linear ordering with a smallest element, then α and $\alpha \bigotimes A$ are equivalent in L ∞ω up to quantifer rank α. This result can be expressed in terms of Ehrenfeucht-Fraïssé games where player ∀ has to make additional moves by choosing elements of a descending sequence in α. Our aim in this paper is to prove a similar result for Ehrenfeucht-Fraïssé (...) games of length ω 1 . One implication of such a result will be that a certain infinite quantifier language cannot say that a linear ordering has no descending ω 1 -sequences (when the alphabet contains only one binary relation symbol). Connected work is done by Hyttinen and Oikkonen in [H] and [O]. (shrink)

We prove that the class of trees with no branches of cardinality $\geq\kappa$ is not RPC definable in $L_{\infty\kappa}$ when $\kappa$ is regular. Earlier such a result was known for $L_{\kappa^+\kappa}$ under the assumption $\kappa^{<\kappa} = \kappa$. Our main result is actually proved in a stronger form which covers also $L_{\infty\lambda}$ (and makes sense there) for every strong limit cardinal $\lambda > \kappa$ of cofinality $\kappa$.

The article contributes to the academic discussion on Paulo Freire’s pedagogical thinking as a basis for reinventing contemporary non-formal education. In Finland, Freire’s transformational/liberatory theory of adult learning was applied as a framework for developing an adult educational model called Life Skills for All. The pilot project’s case studies were carried out with different groups of people during the model’s development phase. We describe these cases and discuss what can be learned from them for offering basic and life skills education (...) for adult groups at risk of social disenfranchisement. Our case study analysis highlights some new practices and challenges based on the model’s different applications. We argue that even for basic capacity building of employment skills, it is essential to develop a non-instrumental, holistic, and societal educational approach. Elements for such an approach can be derived from both the Nordic and Freirean traditions of adult education. Also, we suggest that the Life Skills for All model benefits learners’ agency and empowerment by putting the learner at the center, combining the learning of different basic skills, and emphasizing the central role of the local community in participants’ learning activities. (shrink)

I examine explanations’ realist commitments in relation to dynamical systems theory. First I rebut an ‘explanatory indispensability argument’ for mathematical realism from the explanatory power of phase spaces (Lyon and Colyvan 2007). Then I critically consider a possible way of strengthening the indispensability argument by reference to attractors in dynamical systems theory. The take-home message is that understanding of the modal character of explanations (in dynamical systems theory) can undermine platonist arguments from explanatory indispensability.

The article discusses the relationship between the notion of a moral right to personal self‐determination, the notion of a moral right to know and the notion of a moral right not to know. In particular, the author asks under what conditions, if any, the right to self‐determination implies a right to have information or a right not to have information. The conclusions he defends are theoretical in character rather than concrete norms and directions, and they are intended to be relevant (...) in many contexts, not only in the context of information concerning, say, medical decisions. Yet the author restates the question concerning the right to have and especially the right not to have genetic knowledge about one's own genes on the basis of a right to self‐determination. He argues that a right (not) to have genetic information can be defended on the ground of a right to self‐determination, but that this kind of defense presupposes several normative, and controversial, arguments. (shrink)

Climate change is imposing intensified and novel selection pressures on organisms by altering abiotic and biotic environmental conditions on Earth, but studies demonstrating genetic adaptation to climate change mediated selection are still scarce. Evidence is accumulating to indicate that both genetic and ecological constrains may often limit populations' abilities to adapt to large scale effects of climate warming. These constraints may predispose many organisms to respond to climate change with range shifts and phenotypic plasticity, rather than through evolutionary adaptation. In (...) general, broad conclusions about the role of evolutionary adaptation in mitigating climate change induced fitness loss in the wild are as yet difficult to make.Editor's suggested further reading in BioEssays: How will fish that evolved at constant sub‐zero temperatures cope with global warming? Notothenioids as a case study Abstract. (shrink)

The central concern of this article is whether the semantic approach has the resources to appropriately capture the core tenets of structural realism. Chakravartty (2001) has argued that a realist notion of correspondence cannot be accommodated without introducing a linguistic component, which undermines the approach itself. We suggest that this worry can be addressed by an appropriate understanding of the role of language in this context. The real challenge, however, is how to incorporate the core notion of `explanatory approximate truth' (...) in such a way that the emphasis on structure is retained. (shrink)

Towards cinematic thinking : the ontology of the virtually real in Gilles Deleuze's and Jean-Luc Godard's conceptions of cinema.

We define a complete measurement of a quantum observable (POVM) as a measurement of the maximally refined (rank-1) version of the POVM. Complete measurements give information on the multiplicities of the measurement outcomes and can be viewed as state preparation procedures. We show that any POVM can be measured completely by using sequential measurements or maximally refinable instruments. Moreover, the ancillary space of a complete measurement can be chosen to be minimal.

A key question in understanding visual awareness is whether any single cortical area is indispensable. In a transcranial magnetic stimulation experiment, we show that observers' awareness of activity in extrastriate area VS depends on the amount of activity in striate cortex (Vl). From the timing and pattern of effects, we infer that back-projections from extrastriate cortex influence information content in Vl, but it is Vl that determines whether that information reaches awareness.

We study the expressive power of open formulas of dependence logic introduced in Väänänen [Dependence logic (Vol. 70 of London Mathematical Society Student Texts), 2007]. In particular, we answer a question raised by Wilfrid Hodges: how to characterize the sets of teams definable by means of identity only in dependence logic, or equivalently in independence friendly logic.

A number of philosophers have recently suggested that some abstract, plausibly non-causal and/or mathematical, explanations explain in a way that is radically dif- ferent from the way causal explanation explain. Namely, while causal explanations explain by providing information about causal dependence, allegedly some abstract explanations explain in a way tied to the independence of the explanandum from the microdetails, or causal laws, for example. We oppose this recent trend to regard abstractions as explanatory in some sui generis way, and argue (...) that a prominent ac- count of causal explanation can be naturally extended to capture explanations that radically abstract away from microphysical and causal-nomological details. To this end, we distinguish di erent senses in which an explanation can be more or less abstract, and analyse the connection between explanations’ abstractness and their explanatory power. According to our analysis abstract explanations have much in common with counterfactual causal explanations. (shrink)

The literature on the indispensability argument for mathematical realism often refers to the ‘indispensable explanatory role’ of mathematics. I argue that we should examine the notion of explanatory indispensability from the point of view of specific conceptions of scientific explanation. The reason is that explanatory indispensability in and of itself turns out to be insufficient for justifying the ontological conclusions at stake. To show this I introduce a distinction between different kinds of explanatory roles—some ‘thick’ and ontologically committing, others ‘thin’ (...) and ontologically peripheral—and examine this distinction in relation to some notable ‘ontic’ accounts of explanation. I also discuss the issue in the broader context of other ‘explanationist’ realist arguments. (shrink)

Model theoretic considerations purportedly show that a certain version of structural realism, one which articulates the nvtion of structure via Ramsey sentences, is in fact trivially true. In this paper we argue that the structural realist is by no means forced to Ramseyfy in the manner assumed in the formal proof. However, the structural realist's reprise is short-lived. For, as we show, there are related versions of the model theoretic argument which cannot be so easily blocked by the structural realist. (...) We examine various ways in which the structural realist may respond, and conclude that the best way of blocking the model theoretic argument involves formulating his Ramseyfied theories using intensional operators. Introduction The model theoretic arguments On Ramseyfying away predicates The model theoretic argument bites back Restricting the second order quantifiers 5.1 Naturalness 5.2 Intrinsic 5.3 Qualitative 5.4 Contingent and causal Intensional operators and relations between properties Conclusion. (shrink)

In this article, the authors investigate the applicability and usefulness of three alternative perspectives on corporate issues management: issue life cycle theory, legitimacy theory, and stakeholder theory. Each perspective makes certain as- sumptions about the nature of issues management activities and certain general predictions about corporate social responsiveness. The authors test the relative applicability of the three theories through a case study of the issues management activities of four large forestry companies in Finland and Canada. The authors conclude that all (...) three perspectives have value but differ in the level of analysis and time frame to which they apply. (shrink)

The Enhanced Indispensability Argument (Baker [ 2009 ]) exemplifies the new wave of the indispensability argument for mathematical Platonism. The new wave capitalizes on mathematics' role in scientific explanations. I will criticize some analyses of mathematics' explanatory function. In turn, I will emphasize the representational role of mathematics, and argue that the debate would significantly benefit from acknowledging this alternative viewpoint to mathematics' contribution to scientific explanations and knowledge.

We reassess Woodward’s counterfactual account of explanation in relation to regularity explananda. Woodward presents an account of causal explanation. We argue, by using an explanation of Kleiber’s law to illustrate, that the account can also cover some noncausal explanations. This leads to a tension between the two key aspects of Woodward’s account: the counterfactual aspect and the causal aspect. We explore this tension and make a case for jettisoning the causal aspect as constitutive of explanatory power in connection with regularity (...) explananda. (shrink)

The question of who has the burden of proof is often important in practice. We must frequently make decisions and act on the basis not of conclusive evidence but of what is reasonable to presume true. Consequently, it happens that a given practical question must be solved by referring to principles that explicitly or implicitly determine, at least partly, where the burden of proof should rest. In this essay, I consider the role of the logic of the burden of proof (...) in a debate on global justice. In particular, I ask how the logic of the burden of proof is seen by those who defend conservative positions in a debate and deny our obligations to reduce poverty beyond borders. I argue that defenders of conservative positions tend to shift the burden of proof in an unjustified way. (shrink)

Dependence logic, introduced in Väänänen [11], cannot be axiomatized. However, first-order consequences of dependence logic sentences can be axiomatized, and this is what we shall do in this paper. We give an explicit axiomatization and prove the respective Completeness Theorem.

: The main contribution of this paper for social studies of scientific practice is to use and further elaborate the concept of experimental system. It is expanded from mere epistemic concerns to also incorporate the built-in practicality and societal relevance of scientific research. For this, an analysis of object construction by a potato-biotechnology research group is presented. The group's object of activity is conceptualized as a dual one comprising both the epistemic and applied objectives. The application object points to the (...) virus-resistant cultivated potato under construction, the epistemic object to the knowledge on the virus-resistance mechanism. Two major phases of the group's work are perceived as distinct experimental systems. The transition between them is analysed in terms of a gradual evolution characterised by network collaboration, ad hoc improvization, resistance, opportunism and informal interaction. (shrink)

This chapter examines the status of inference to the best explanation in naturalistic metaphysics. The methodology of inference to the best explanation in metaphysics is studied from the perspective of contemporary views on scientific explanation and explanatory inferences in the history and philosophy of science. This reveals serious shortcomings in prevalent attempts to vindicate metaphysical "explanationism" by reference to similarities between science and naturalistic metaphysics. This critique is brought out by considering a common gambit of methodological unity: (1) Both metaphysics (...) and science employ inference to the best explanation. (2) One has no reason to think that if explanationism is truth-conducive in science, it is not so in metaphysics. (3) One has a positive reason to think that if explanationism is truth-conducive in science, it is also so in metaphysics. (shrink)

This paper examines explanations that turn on non-local geometrical facts about the space of possible configurations a system can occupy. I argue that it makes sense to contrast such explanations from "geometry of motion" with causal explanations. I also explore how my analysis of these explanations cuts across the distinction between kinematics and dynamics.

Many realist writings exemplify the spirit of ‘recipe realism’. Here I characterise recipe realism, challenge it, and propose replacing it with ‘exemplar realism’. This alternative understanding of realism is more piecemeal, robust, and better in tune with scientists’ own attitude towards their best theories, and thus to be preferred.

I review prominent historical arguments against scientific realism to indicate how they display a systematic overshooting in the conclusions drawn from the historical evidence. The root of the overshooting can be located in some critical, undue presuppositions regarding realism. I will highlight these presuppositions in connection with both Laudan’s ‘Old induction’ and Stanford’s New induction, and then delineate a minimal realist view that does without the problematic presuppositions.

When the world as we know it crumbles to pieces, who does the future belong to? For the survivalist subculture, the answer is typically quite clear—the future belongs to the properly prepared, self-sufficient and autonomous men, who will outlive the majority of humankind in the upcoming global pandemonium. Once considered a fringe movement, survivalist ideas, imagery, and discourse now permeate Anglo-American popular culture and have increasingly made their way into other cultural regions as well. In recent years, there have been (...) numerous doomsday reality programs and shows about extreme survival trials on television. In their unique ways, programs such as Doomsday Preppers, Man vs. Wild, and Survivor have all... (shrink)

I shall consider whether morality requires citizens of democratic societies to advance secular reasons in public debates on political questions. Is it wrong to give purely religious reasons in political discussion? I shall argue that the moral acceptability of public religious arguments that are not supported with secular reasons depends on the political context we are discussing, and that often there is nothing wrong with using religious considerations. I shall also discuss the so‐called shared premises requirement in political argumentation. The (...) overall aim of the paper is to clarify intuitions concerning the ideals of public reason on the one hand, and the commitment to religious liberty on the other. (shrink)