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$.

This chapter defends a (minimal) realist conception of progress in scientific understanding in the face of the ubiquitous plurality of perspectives in science. The argument turns on the counterfactual-dependence framework of explanation and understanding, which is illustrated and evidenced with reference to different explanations of the rainbow.

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)

I examine the epistemological debate on scientific realism in the context of quantum physics, focusing on the empirical underdetermin- ation of different formulations and interpretations of QM. I will argue that much of the interpretational, metaphysical work on QM tran- scends the kinds of realist commitments that are well-motivated in the light of the history of science. I sketch a way of demarcating empirically well-confirmed aspects of QM from speculative quantum metaphysics in a way that coheres with anti-realist evidence from (...) the history of science. The minimal realist attitude sketched withholds realist com- mitment to what quantum state |Ψ⟩ represents. I argue that such commitment is not required for fulfilling the ultimate realist motiva- tion: accounting for the empirical success of quantum mechanics in a way that is in tune with a broader understanding of how theoretical science progresses and latches onto reality. (shrink)

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)

In this book the practical dimension of social justice is explained using the analysis and discussion of a variety of well-known topics. These include: the relation between theory and practice in normative political philosophy; the issue of justice under uncertainty; the question of whether we can and should unmask social injustices by means of conspiracy theories; the issues of privacy and the right to privacy; the issue of how certain psychological states may affect our moral obligations, in particular the obligation (...) to treat others fairly; and finally the concepts of morality, fairness, and self-deception. The primary goal of the book is to provide readers with an updated discussion of some important and practical social justice issues. These issues are presented from a new perspective, based on the author ́s research. It is hoped that bringing these topics together in a single book will promote the emergence of new insights and challenges for future research. Juha Räikkä is a professor at the Department of Philosophy at the University of Turku, Finland. His research focuses on ethics and political philosophy. (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.

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.

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)

Husserl claimed that reduction is the true starting point of phenomenological research, but to figure out how this deed should actually be accomplished has turned out to be a very challenging task. In this study, I explicate how Husserl accomplished reduction during his series of lectures entitled The Idea of Phenomenology. He does not state it explicitly, but what actually happened on the last day of the lectures can be seen as consistent with his descriptions of reduction as an act. (...) Understood in this way, reduction is the model of how to do philosophy. The result of Husserl’s reduction is the correlation between appearance and “that which appears” or, to use Husserl’s later terminology, between noēsis and noēma. When this correlation is understood as an outcome of reduction and not as a result of an analysis, we, as readers of Husserl, will be in a better position to avoid natural attitude in our interpretations. (shrink)

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.

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)

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 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 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.

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)

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.

My colleague Harri Laakso suggested in one of his presentations that we should stop talking about the different types of knowing and admit, or even emphatically argue, that in art we are dealing with something that is "otherwise-than-knowing". Harri Laakso's remark suddenly shed light on an issue that was partly clouded and partly lit: why is it important to so many that art remain art, and why are so many interested in doing research that is based on artistic activity and (...) that takes seriously art's own way of operating, its manifestations and methods of conveying something to others, either through whispers, screams or discussions? These meditations stem from the frenzied thinking and discussion going on in art universities around the world. Art is seen as the ability to change the world, not by money or force, but by orientation: by radically transforming the "sensible", or sensory, reality of the eye, ear, taste, touch and smell, which unavoidably results in a change in ideas, understanding and insight. It may be about distancing, it may be about getting closer sometimes it is irony or camp, sometimes it is a serious attempt to find illuminating concepts and their verbalisations, and sometimes it is the need to create new myths or just tell stories. (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)

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.

: 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)

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)

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.

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)

We show that for any pair $\phi$ and $\psi$ of contradictory formulas of dependence logic there is a formula $\theta$ of the same logic such that $\phi\equiv\theta$ and $\psi\equiv\neg\theta$. This generalizes a result of Burgess.