The facts to be proven in a lawsuit can be more or less probable. But the recognition of the relevant facts may require discretion or evaluative operations; moreover, a just and equitable interpretation of a contract may depend on what the contracting parties knew about the intentions of each other. Can, e.g., negligence be more or less probable? Can Ought be proven? There is, however, a structural similarity between legal interpretation and the evalution of evidence and not only an intertwinement (...) between the so-called questions of fact and the questions of law. A number of situations is briefly analysed: the interpretation of contracts, the interest of the child, the basic concepts of the law of torts and the criminal intent. (shrink)

This is s review essay on Steven J. Brams's "Superior Beings".

From the 1980s onward income inequality increased in many advanced countries. It is very difficult to account for the rise in income inequality using the standard labour supply/demand explanation. Fiscal redistribution has become less effective in compensating increasing inequalities since the 1990s. Some of the basic features of redistribution can be explained through the optimal tax framework developed by J.A. Mirrlees in 1971. This Element surveys some of the earlier results in linear and nonlinear taxation and produces some new numerical (...) results. Given the key role of capital income in the overall income inequality it also considers the optimal taxation of capital income. It examines empirically the relationship between the extent of redistribution and the components of the Mirrlees framework. The redistributive role of factors such as publicly provided private goods, public employment, endogenous wages in the overlapping generations model and income uncertainty are analysed. (shrink)

Deflationists have argued that truth is an ontologically thin property which has only an expressive function to perform, that is, it makes possible to express semantic generalizations like ‘All the theorems are true’, ‘Everything Peter said is true’, etc. Some of the deflationists have also argued that although truth is ontologically thin, it suffices in conjunctions with other facts not involving truth to explain all the facts about truth. The purpose of this paper is to show that in the case (...) of arithmetic, it is difficult to combine the expressive with the explanatory function of truth if the latter is understood in a deflationist way. We will make our point by investigating several logical systems: first‐order logic, full second‐order logic, and existential second‐order logic. (shrink)

This article introduces comparative process tracing as a two-step methodological approach that combines theory, chronology, and comparison. For each studied case, the processes leading “from A to B” are reconstructed and analyzed in terms of ideal-type social mechanisms and then compared by making use of the identified mechanisms and ideal-type periodization. Central elements of CPT are path dependence, critical junctures and focal points, social mechanisms, context, periodization, and counterfactual analysis. The CPT approach is described, discussed, and compared with more formal (...) and deterministic forms of process tracing, which are found to be less fruitful for systematic comparison. (shrink)

Cultural historical research has deliberately challenged “historical realism,” the view that history is comprised entirely of observable actions that actually occurred, and instead has emphasized the historical significance of thoughts, emotions, and representations; it has also focused on the invisible, the momentary, and the perishable. These latter elements introduce the notion of the possible in history. This article examines the ways in which cultural history has approached the notion of the possible, as well as the methodological and theoretical implications of (...) this approach. Its chief claim is that the idea of possibility is fundamental for the concept of culture and ineliminable from its historical study.The question of possibility is present in multiple ways in the study of history; it is important to distinguish among different levels of possibility. The possible may mean, for instance, what it is possible for historians to know about the past, or the possibilities open to historical agents themselves, or, indeed, the possibilities they perceived themselves as having even if these seem impossible from the point of view of the historian. The article starts with the first aspect and moves on toward the possibilities that existed in the past world either in fact or in the minds of those in the past.The article argues that the study of past cultures always entails the mapping of past possibilities. The first strand of the essay builds on the metaphor of the black hole and intends to solve one of the central problems faced by cultural historians, namely, how to access the horizon of the people of the past, their experience of their own time, especially when the sources remain silent. The second, more speculative strand builds on the notion of plenitude and is designed to open up avenues for further discussion about the concept of culture in particular. (shrink)

Public communication is secure if a hostile third-party cannot decode the messages exchanged by the communicating parties. In Nash equilibrium, communication by computationally unbounded players cannot be secure. We assume complexity averse players, and show that a simple, secure, and costless communication protocol becomes available as the marginal complexity cost tends to zero.

We discuss the relationships between positional rules (such as plurality and approval voting as well as the Borda count), Dodgson’s, Kemeny’s and Litvak’s methods of reaching consensus. The discrepancies between methods are seen as results of different intuitive conceptions of consensus goal states and ways of measuring distances therefrom. Saari’s geometric methodology is resorted to in the analysis of the consensus reaching methods.

We give a characterization for those stable theories whose $\omega_{1}$-saturated models have a "Shelah-style" structure theorem. We use this characterization to prove that if a theory is countable, stable, and 1-based without dop or didip, then its $\omega_{1}$-saturated models have a structure theorem. Prior to us, this is proved in a paper of Hart, Pillay, and Starchenko . Some other remarks are also included.

We study the class of elementary submodels of a large superstable homogeneous model. We introduce a rank which is bounded in the superstable case, and use it to define a dependence relation which shares many (but not all) of the properties of forking in the first order case. The main difference is that we do not have extension over all sets. We also present an example of Shelah showing that extension over all sets may not hold for any dependence relation (...) for superstable homogeneous models. (shrink)

Cowan's analysis of human short-term memory (STM) and attention in terms of processing limits in the range of 4 items (or “chunks”) is discussed from the point of view of cognitive neuroscience. Although, Cowan already provides many important theoretical insights, we need to learn more about how to build further bridges between cognitive psychology and cognitive neuroscience.

We study the class of elementary submodels of a large superstable homogeneous model. We introduce a rank which is bounded in the superstable case, and use it to define a dependence relation which shares many (but not all) of the properties of forking in the first order case. The main difference is that we do not have extension over all sets. We also present an example of Shelah showing that extension over all sets may not hold for any dependence relation (...) for superstable homogeneous models. (shrink)

It is well-known that different social choice procedures often result in different choice sets. The article focuses on how often this is likely to happen in impartial cultures. The focus is on Borda count, plurality method, max-min method and Copeland's procedure. The probabilities of Condorcet violations of the Borda count and plurality method are also reported. Although blatantly false as a descriptive hypothesis, the impartial culture assumption can be given an interpretation which makes the results obtained in impartial cultures particularly (...) significant, viz. the probabilities of deviations in choice sets indicate how far apart are the intuitions underlying various choice procedures. -/- . (shrink)

We suggest a method of finding a notion of type to abstract elementary classes and determine under what assumption on these types the class has a well-behaved homogeneous and universal "monster" model, where homogeneous and universal are defined relative to our notion of type.

The difficulty of making social choices seems to take on two forms: one that is related to both preferences and the method used in aggregating them and one which is related to the preferences only. In the former type the difficulty has to do with the discrepancies of outcomes resulting from various preference aggregation methods and the computation of winners in elections. Some approaches and results which take their motivation from the computability theory are discussed. The latter ‘institution-free’ type of (...) difficulty pertains to solution theory of the voting games. We discuss the relationships between various solution concepts, e.g. uncovered set, Banks set, Copeland winners. Finally rough sets are utilized in an effort to measure the difficulty of making social choices. (shrink)

We show that if is a stable theory with ndop and ndidip, then -primary models over free trees are -minimal over the tree. As a corollary we show, for example, that if is a stable theory and for all nonempty , , then is superstable or it has dop or didip.

In this paper we prove a strong nonstructure theorem for κ(T)-saturated models of a stable theory T with dop. This paper continues the work started in [1].

In this paper we prove a strong nonstructure theorem for κ(T)-saturated models of a stable theory T with dop. This paper continues the work started in [1].

We study how equivalent nonisomorphic models of unsuperstable theories can be. We measure the equivalence by Ehrenfeucht-Fraisse games. This paper continues [HS].

This article elaborates on Christopher Norris's claim that certain aspects of Derrida's work are amenable to formalisation in modal-logical terms. Norris contends that any adequate analysis of the logic behind Derrida's work must provide an account of the notions of possibility, necessity, and necessary possibility, particularly as they are related to Derrida's notion of iterability. This article examines the further hypothesis that Derrida's understanding of modality, according to which possibilities must be accounted for even if they are never realised, might (...) even better be described in terms of possible worlds. In possible-worlds semantics, the conceptual meaning of a statement is constituted by the set of alternative contexts in which that statement is true. This article argues, however, that possible-worlds semantics would be unthinkable without the experience that one referent can be substituted for another. The possibility of this experience is best described in Derridean terms. Read through Derrida's thought of the trace, the properly semantic substitutions may come to be seen as dependent on the substitution of the thing for itself; on what Derrida calls ‘the substitution of the unique for the unique’. (shrink)

In the course of their child?s school years, a group of parents were asked to assess their child?s mathematical competence and indicate whether they endorsed the gender stereotype pertaining to it. Once the child had entered upper primary school, the consistent stereotypic parents tended to rate their boys? mathematical competence higher than the parents of girls did. Additionally, the parents whose attitude turned into an anti?stereotypical one perceived their girls? mathematical competencies as higher than those of the boys, which was (...) related to their perception that the boys? competencies were getting worse while the girls? competencies were getting better. (shrink)

Though not categorically opposed to the idea, Finnish parents tended to resist rather than endorse the view of parents as tax payers who can make demands for the efficacy of schooling and expected teacher performance. However, parents with vocational training tended to resist this view less than parents from higher educational groups. Additionally, dissatisfaction with a child?s primary schooling and support for a selective educational policy were both associated with a tendency to view this role in a relatively positive light.

This study sets out to examine Finnish and Russian children?s representations of intellectual competence as contextualised in the hierarchies of abilities, age and gender. Finnish and Russian pupils, aged 11?12?years, were asked to draw pictures of an intelligent person and an ordinary person. It was found that gender appearance of intelligent men and women was less heterosexual than that of ordinary men and women. In Russian pictures, the intelligent characters, especially women, were widely separated from the ordinary ones in terms (...) of cognitive-mental features. In Finnish depictions, the differentiation between the intelligent and ordinary characters, especially women, was not so categorical and was primarily based on status. It appears that Russian children are apt to relate their representations of intellectual ability to the institutionalised systems of cognitive competence, education and science, whereas Finnish children associate intelligence to social success as well. Further, cultural and gender-related hierarchies of age seemed to reflect in the children?s images. (shrink)

This longitudinal study set out to examine, in the light of the parents’ education and gender and the child’s gender, the changes that occurred in the course of five years in parents’ satisfaction with the functioning of their child’s school. Academically and vocationally educated mothers and fathers were asked to indicate their satisfaction with different aspects of their child’s school at the end of the first, third and fifth school year. It was found that the level of parental satisfaction was (...) fairly high at the start, and despite a decreasing trend, it remained high; parental satisfaction was widely shared, and the number of dissatisfied parents remained small and stable. The academic parents displayed more satisfaction with their child’s school success and the fairness of the treatment than the vocational parents did. The results are discussed in terms of educational policy. (shrink)

This paper examines the contribution of parents? education and children?s gender on parental expectations of their children?s future education and the role of parental perceptions of their child?s competencies in the formation of their expectations. A group of university and vocationally educated parents (N = 418) were asked to estimate the probability of their child entering gymnasium (high school) or vocational education and assess the child?s competencies, first in preschool, and then at the end of the third school year. It (...) was found that the education and gender?bound differences in the parental expectations were established before the child entered school, and by the end of the third school year the relationships between expectations and competence assessments strengthened and were more uniform among the parents. The findings suggested that the parental assessments of their child?s abilities can be regarded as a potentially important social?psychological process through which social differences are transformed into the individualized interpretations of the child?s educational prospects. (shrink)

We generalize the result of Mekler and Shelah [3] that the existence of a canary tree is independent of ZFC + GCH to uncountable regular cardinals. We also correct an error from the original proof.

In this paper we prove a strong nonstructure theorem for $\kappa$-saturated models of a stable theory T with dop. This paper continues the work started in [1].