The traditional view is that 'now’ is a pure indexical, denoting the utterance time. Yet, despite its initial appeal, the view has faced criticism. A range of data reveal 'now’ allows for discourse-bound (i.e., anaphoric) uses, and can occur felicitously with the past tense. The reaction to this has typically been to treat ‘now’ as akin to a true demonstrative, selecting the prominent time supplied by the non-linguistic context or prior discourse. We argue this is doubly mistaken. The first mistake (...) concerns the semantic value of ‘now’, which is not a time, but a state — the consequent state of a prominent event. The second is that ‘now’ is a pure indexical after all, insofar as its interpretation is determined without recourse to extra-linguistic supplementation. Specifically, we argue that any occurrence of 'now’ selects the consequent state of the most prominent event, where event-prominence is linguistically maintained through prominence-affecting updates contributed by coherence relations. Our analysis accounts straightforwardly for a wide range of discourse initial and discourse bound uses of ‘now’, while giving it a simple indexical meaning. (shrink)

In this paper, we discuss some formal properties of the model ofbidirectional Optimality Theory that was developed inBlutner (2000). We investigate the conditions under whichbidirectional optimization is a well-defined notion, and we give aconceptually simpler reformulation of Blutner's definition. In thesecond part of the paper, we show that bidirectional optimization can bemodeled by means of finite state techniques. There we rely heavily onthe related work of Frank and Satta (1998) about unidirectionaloptimization.

Suppose you attend a seminar where a mathematician presents a proof to some of his colleagues. Suppose further that what he is proving is an important mathematical statement Now the following happens: as the mathematician proceeds, his audience is amazed at first, then becomes angry and finally ends up disturbing the lecture (some walk out, some laugh, …). If in addition, you see that the proof he is presenting is formally speaking (nearly) correct, would you say you are witnessing an (...) extraordinary event in urgent need of explanation? Surely, your answer would be yes. But do events of this type actually occur? The matter of the fact is, yes, they do. This paper presents the details of such an event, suggests a possible explanation and examines its implications for our understanding of mathematical practice. (shrink)

The paper deals with the notions of consistency, completeness, and coherence within the normative domain. It investigates their mutual relations by singling out relative and absolute consistency, weak, strong and trivial completeness, and three different functions of coherence. The main upshot of the inquiry is that coherence may be regarded as a complex combination of weak completeness and possible absence of consistency and strong completeness of a system of rules regarding a non-trivially complete/non-absolutely inconsistent system of underlying principles.

The aim of the study was to verify hypotheses about time changeability of dream characteristics depending on the participants’ age and affective value of the dream. The study was conducted online. Participants of the study were 68 individuals between the age of 17 and 85. The participants were asked to prepare detailed descriptions of their dreams, next they had to identify elements of the dreams, refer them to their real life, and assess their affective value. In the dreams of late (...) adolescents, and young and middle-aged adults the most frequently recalled period in a positive context turned out to be late adolescence and early adulthood, whereas in a negative context the participants would recall their present developmental phase and the period of late childhood. Unpleasant dreams of older individuals were mainly connected with the period of middle adulthood, whereas those pleasant ones referred to various periods of their entire life. (shrink)

One of three distinct approaches to his famous ‘Trust’ argument, this paper written by Garfinkel in 1960, and never before published, proposed a rethinking of rules, games and linguistic classifications in interactional terms consistent with Wittgenstein’s language games. Garfinkel had been working in collaboration with Parsons since 1958 to craft an approach to culture that would replace conceptual classification with the constitutive expectancies of interaction and systems of interaction. The argument challenged the work of cultural anthropologists influenced by zoology and (...) biology, who called themselves ‘ethnoscientists’ and studied culture in terms of linguistic classification systems. Garfinkel had proposed an alternative sociological ‘ethnoscience’ of culture and language that would focus on how culture was made, on how linguistic events are achieved, and on the rules of their making. This ‘Language Games’ approach followed Wittgenstein in seeking what Garfinkel called a literal description of cultural/linguistic events: meaning by ‘literal’, a step-by-step account of the constitutive and preferred rules participants use to create a recognizable event-in-a-language. Made famous three years later in version associated with Schutz, Garfinkel’s Trust argument also appears in a 1962 text (Parsons’ Primer, published in 2019) in a version built on Parsons. (shrink)

The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In the associated Vol. I the author explains preferential structures and abstract size. In this Vol. II he presents chapters on theory revision and sums, defeasible inheritance theory, interpolation, neighbourhood semantics and deontic logic, abstract independence, and various aspects of nonmonotonic and other logics. In both volumes the text contains many exercises and some solutions, and the author limits (...) the discussion of motivation and general context throughout, offering this only when it aids understanding of the formal material, in particular to illustrate the path from intuition to formalisation. Together these books are a suitable compendium for graduate students and researchers in the area of computer science and mathematical logic. (shrink)

The knowledge representation and reasoning of both humans and artificial systems often involves conditionals. A conditional connects a consequence which holds given a precondition. It can be easily recognized in natural languages with certain key words, like “if” in English. A vast amount of literature in both fields, both artificial intelligence and psychology, deals with the questions of how such conditionals can be best represented and how these conditionals can model human reasoning. On the other hand, findings in the psychology (...) of reasoning, such as those in the Suppression Task, have led to a paradigm shift from the monotonicity assumptions in human inferences towards nonmonotonic reasoning. Nonmonotonic reasoning is sensitive for information change, that is, inferences are drawn cautiously such that retraction of previous information is not required with the addition of new information. While many formalisms of nonmonotonic reasoning have been proposed in the field of Artificial Intelligence, their capability to model properties of human reasoning has not yet been extensively investigated. In this paper, we analyzed systematically from both a formal and an empirical perspective the power of formal nonmonotonic systems to model possible explicit defeaters, as in the Suppression Task, and more implicit conditional rules that trigger nonmonotonic reasoning by the keywords in such rules. The results indicated that the classical evaluation for the correctness of inferences has to be extended in the three major aspects regarding the inference system, the knowledge base, and possible assumed exceptions for the rule. (shrink)

The conception of property at the basis of Hegel’s conception of abstract right seems committed to a problematic form of “possessive individualism.” It seems to conceive of right as the expression of human mastery over nature and as based upon an irreducible opposition of person and nature, rightful will, and rightless thing. However, this chapter argues that Hegel starts with a form of possessive individualism only to show that it undermines itself. This is evident in the way Hegel unfolds (...) the nature of property as it applies to external things as well as in the way he explains our self-ownership of our own bodies and lives. Hegel develops the idea of property to a point where it reaches a critical limit and encounters the “true right” that life possesses against the “formal” and “abstract right” of property. Ultimately, Hegel’s account suggests that nature should precisely not be treated as a rightless object at our arbitrary disposal but acknowledged as the inorganic body of right. (shrink)

In this paper by using a model-theoretic approach, we prove Craig interpolation property for Formal Propositional Logic, FPL, Basic propositional logic, BPL and the uniform left-interpolation property for FPL. We also show that there are countably infinite extensions of FPL with the uniform interpolation property.

The paper is a contribution to the object ontology. The general approach assumed in the investigation is that of Roman Ingarden's The Controversy Over the Existence of the World where an object is the subject-of-properties. The analysis of the form and the mode of existence of properties leads to the rejection of both negative and general properties. Each property is an individual qualitative moment of a particular object. Its form reveals existential heteronomy: the quality of the property is (...) not immanent but refers to the object. The subject of properties has not its own qualitative content: its form is just the internal causality establishing the unity of an object. An object is not causally isolated from other objects, but external causation differs from internal either by being ramified in case of the composition and destruction of an object or reciprocal in case of interaction between coexisting objects. (shrink)

In previous works, an ontology of properties for quantum mechanics has been proposed, according to which quantum systems are bundles of properties with no principle of individuality. The aim of the present article is to show that, since quasi-set theory is particularly suited for dealing with aggregates of items that do not belong to the traditional category of individual, it supplies an adequate meta-language to speak of the proposed ontology of properties and its structure.

Property law plays a crucial role in the ability of groups, especially ones composed of geographically-adjacent members, to establish and maintain significant forms of "community" around a shared social, economic, or ideological interest. Property may also, however, have the opposite effect of undermining or even destroying communities, particularly those that rely on fragile modes of cooperation. This Article identifies three major types of territorial communities: Intentional Communities—close-knit groups that initially organize around a consolidating non-instrumental idea and employ sweeping (...) internal norms to validate their communality. Planned Communities — comprised mostly of residential developments of homeowners associations, which rely on a formal set of conditions, covenants, and restrictions incorporated in the association’s governing documents. Spontaneous Communities — clusters of initially unorganized neighbors who succeed in cooperating and coordinating over time. The evolvement of such organizations may be essential to the creation of an interpersonal "social capital" and to a physical and functional improvement of the community’s surroundings. For each one of these types of communities, property law plays a very different role. Thus, while Intentional Communities do not strictly hinge upon the existence of a supportive property system to flourish, Planned Communities cannot be conceived without the security of an overt, formal, state-backed regime, and Spontaneous Communities may often need property law’s affirmative backing to thrive and enjoy the social and economic benefits of sustainable collective action. (shrink)

Some algebraic structures of the set of all effects are investigated and summarized in the notion of a(weak) orthoalgebra. It is shown that these structures can be embedded in a natural way in lattices, via the so-calledMacNeille completion. These structures serve as a model ofparaconsistent quantum logic, orthologic, andorthomodular quantum logic.

The paper provides a formal representation of goal systems. The focus is on three properties: consistency, conflict, and coherence. An aim is to attain conceptual clarity of these properties. It is argued that consistency is adequately regarded as a property relative to the decision situation or, more specifically, the set of alternatives that the agent faces. Moreover, as a condition of rationality, consistency is stronger than some writers have claimed. Conflict is adequately regarded as a relation over subsets (...) of a given goal system and should likewise be regarded as relative to the set of alternatives that the agent faces. Coherence is given a probabilistic interpretation, based on a support relation over subsets of goal systems. (shrink)

It has been maintained by such philosophers as Quine and Goodman that purely ‘extensional’ language suffices for all the purposes of properly formalized scientific discourse. Those entities that were traditionally called ‘universals’ — properties, concepts, forms, etc. — are rejected by these extensionalist philosophers on the ground that ‘the principle of individuation is not clear’. It is conceded that science requires that we allow something tantamount to quantification over non-particulars (or, anyway, over things that are not material objects, not space-time (...) points, not physical fields, etc.), but, the extensionalists contend, quantification over sets serves the purposes nicely. The ‘ontology’ of modern science, at least as Quine formalizes it, comprises material objects (or, alternatively, space-time points), sets of material objects, sets of sets of material objects,... but no properties, concepts,or forms. Let us thus examine the question: Can the principle of individuation for properties ever be made clear? (shrink)

While it is sometimes thought that free Athenian women were hemmed in by surveillance within the oikos, this article argues that the obstacle that impeded them when they attempted to control property was that they were excluded from the impersonal and formal systems of surveillance of male citizens. Athenian public life, lived in the view of others, dramatically extended the agency of those within it. While women could compensate for their legal incapacities by cultivating the personal trust of (...) men, this required them to treat some of the people closest to them instrumentally, thus transforming their affectionate relationships. (shrink)

The paper describes a decidable class of verification problems expressed in first order timed logic. To specify programs we useState Machines. It is known that Abstract State Machines and first order timed logic are two very powerful formalisms apt to represent verification problems for timed distributed systems. However, the general verification problem represented in this way is undecidable. Prior, some decidable classes of verification problems were described in semantical properties that are in their turn undecidable. The decidable class of the (...) present paper is described in syntactical terms. Though it admits no functions, only predicates, it is of practical interest and we give an example illustrating possible applications. (shrink)

Neural networks are widely used in systems of artificial intelligence, but due to their black box nature, they have so far evaded formal analysis to certify that they satisfy desirable properties, mainly when they perform critical tasks. In this work, we introduce methods for the formal analysis of reachability and robustness of neural networks that are modeled as rational McNaughton functions by, first, stating such properties in the language of Łukasiewicz infinitely-valued logic and, then, using the reasoning techniques (...) of such logical system. We also present a case study where we employ the proposed techniques in an actual neural network that we trained to predict whether it will rain tomorrow in Australia. (shrink)

The present study aims to analyze the psychometric properties of the Goal orientation Scales in a sample of 2,170 Ecuadorian undergraduate students. The Exploratory Factor Analysis and Confirmatory Factor Analysis supported the four-factor structure of the GOS, and the scale exhibited an adequate factorial invariance for gender. The multidimensional Rasch analysis revealed that one item showed misfit, and the distribution of items did not correspond well with the levels of achievement goals. The current research addresses a formal gap related (...) to the validation of the GOS in a Latin American country and provides advanced psychometric information to further improve the scale for its application to Spanish-speaking samples. (shrink)

We can distinguish different senses in which a formal language can be said to have been provided with an interpretation. We focus on two: (i) We provide a model (or structure) and a definition of satisfaction and truth in the standard way (ii) We provide a translation into a natural language. We argue that the sentences of a formal language interpreted as in (i) do not have meaning. A formal language interpreted as in (i) models the way (...) the truth of a sentence would be affected by two factors: the interpretation as in (ii) of the language, and a way the world might be. Viewing in this way the relation between interpreting a formal language as in (i) and as in (ii) allows us to justify the conceptual adequacy of the standard model-theoretic definitions of the properties of logical truth and logical consequence. (shrink)

Orthodox ideas of ownership tend to depict property as a private domain that expresses the owner?s formal rights. Yet equity does much to resist this outlook, deploying ethically-loaded ideas such as conscience and articulating an interpersonal and distinctly duty-driven character to property relations. Focusing on English case law, this article suggests that we can gather various strands of equitable property norms, particularly those derived from the constructive trust, around relationships of responsibility and vulnerability. Furthermore, the article (...) asks what such equitable ideas about property might therefore tell us about the purportedly possessive character of human subjectivity. Rather than constructing people as sovereign, autonomous proprietors, we might read equity as tracing an ethical quality to the way we perceive ourselves and others through property-related ideas. (shrink)

Recently, there has been increasing interest in the use of heavily restricted randomization designs which enforce balance on observed covariates in randomized controlled trials. However, when restrictions are strict, there is a risk that the treatment effect estimator will have a very high mean squared error. In this article, we formalize this risk and propose a novel combinatoric-based approach to describe and address this issue. First, we validate our new approach by re-proving some known properties of complete randomization and restricted (...) randomization. Second, we propose a novel diagnostic measure for restricted designs that only use the information embedded in the combinatorics of the design. Third, we show that the variance of the MSE of the difference-in-means estimator in a randomized experiment is a linear function of this diagnostic measure. Finally, we identify situations in which restricted designs can lead to an increased risk of getting a high MSE and discuss how our diagnostic measure can be used to detect such designs. Our results have implications for any restricted randomization design and can be used to evaluate the trade-off between enforcing balance on observed covariates and avoiding too restrictive designs. (shrink)

This article deals with property laws, based on two premises. Firstly, property law as means to a contemporary comprehension of social and crime control. Secondly, it posits that the focus has shifted from law and society to law in society. It is concerned with the ways in which law and legality are interpreted and invoked in social life and focuses specifically on their role in the commonplace construction of home, tenure, exclusion, and jurisdiction. It analyses the relationship between (...) the meanings of home and the relationship of home with housing tenure. It identifies defense and exclusion as particular aspects of the property relation, and draws on research into gated communities as a particular example of that relation. This article then proceeds to link this notion of exclusion with broader studies into mapping and jurisdiction. It emphasizes the formal and informal mechanisms through which the notions of home and tenure are thought. It draws on the law–geography interface as an example of research, which has the potential to extend the boundaries of our appreciation of property in law. (shrink)

This paper investigates the semantic bases of class membership in the noun class system of Gújjolaay Eegimaa (Eegimaa henceforth), a Niger-Congo and Atlantic language of the BAK group spoken in Southern Senegal. The question of whether semantic principles underlie the overt classification of nouns in Niger-Congo languages is a controversial one. There is a common perception of Niger-Congo noun class systems as being mainly semantically arbitrary. The goal of the present paper is to show that physical properties and culture-specific factors (...) are central principles of semantic categorisation in the Eegimaa noun class system. I argue that the Eegimaa overt grammatical classification of nouns into classes is a semantic categorisation system whereby categories are structured according to prototypicality, family resemblance, metaphorical and metonymic extensions and chaining processes, as argued within the framework of Cognitive Linguistics. I show that the categorisation of entities in the Eegimaa nominal classification system productively makes use of physical properties such as shape as well as using culture-specific, less productive parameters for the semantic categorisation of entities denoted by nouns. The analysis proposed here also shows that the cases of multiple morphosyntactic classifications of nouns reflect multiple conceptual categorisation strategies. A detailed examination of the formal and semantic instances of multiple classification reveals the existence of conceptual correlations between the physical properties and the culture-specific semantic parameters of categorisation used in the Eegimaa noun class system. (shrink)

The concept of emergence is commonly invoked in modern physics but rarely defined. Building on recent influential work by Jeremy Butterfield, I provide precise definitions of emergence concepts as they pertain to properties represented in models, applying them to some basic examples from space-time and thermostatistical physics. The chief formal innovation I employ, similarity structure, consists in a structured set of similarity relations among those models under analysis—and their properties—and is a generalization of topological structure. Although motivated from physics, (...) this similarity-structure-based account of emergence applies to any science that represents its possibilia with models. (shrink)

This article deals with property laws, based on two premises. Firstly, property law as means to a contemporary comprehension of social and crime control. Secondly, it posits that the focus has shifted from law and society to law in society. It is concerned with the ways in which law and legality are interpreted and invoked in social life and focuses specifically on their role in the commonplace construction of home, tenure, exclusion, and jurisdiction. It analyses the relationship between (...) the meanings of home and the relationship of home with housing tenure. It identifies defense and exclusion as particular aspects of the property relation, and draws on research into gated communities as a particular example of that relation. This article then proceeds to link this notion of exclusion with broader studies into mapping and jurisdiction. It emphasizes the formal and informal mechanisms through which the notions of home and tenure are thought. It draws on the law–geography interface as an example of research, which has the potential to extend the boundaries of our appreciation of property in law. (shrink)

I present and defend a novel version of the homeostatic property cluster account of natural kinds. The core of the proposal is a development of the notion of co-occurrence, central to the HPC account, along information-theoretic lines. The resulting theory retains all the appealing features of the original formulation, while increasing its explanatory power, and formal perspicuity. I showcase the theory by applying it to the problem of reconciling the thesis that biological species are natural kinds with the (...) fact that many such species are polymorphic. (shrink)

The typical rules for truth-trees for first-order logic without functions can fail to generate finite branches for formulas that have finite models–the rule set fails to have the finite tree property. In 1984 Boolos showed that a new rule set proposed by Burgess does have this property. In this paper we address a similar problem with the typical rule set for first-order logic with identity and functions, proposing a new rule set that does have the finite tree (...) class='Hi'>property. (shrink)

Can we employ the property of rationality in establishing what rationality requires? According to a central and formal thesis of John Broome’s work on rational requirements, the answer is ‘no’ – at least if we expect a precise answer. In particular, Broome argues that (i) the property of full rationality (i.e. whether or not you are fully rational) is independent of whether we formulate conditional requirements of rationality as having a wide or a narrow logical scope. That (...) is, (ii) by replacing a wide-scope requirement with a corresponding narrow-scope requirement (or vice versa), we do not alter the situations in which a person is fully rational. As a consequence, (iii) the property of full rationality is unable to guide us in determining whether a rational requirement has a wide or a narrow logical scope. We cannot resolve the wide/narrow scope debate by appealing to a theory of fully rational attitudes. This paper argues that (i), (ii) and (iii) are incorrect. Replacing a wide- with a corresponding narrow-scope requirement (or vice versa) can alter the set of circumstances in which a person is fully rational. The property of full rationality is therefore not independent of whether we formulate conditional requirements of rationality as having a wide or a narrow logical scope. As a consequence, the property of full rationality can guide us in determining what rationality requires – even in cases where we expect a precise answer. (shrink)