During the last forty years, the Aboriginal peoples of the Americas, of the British Commonwealth, and of other countries colonized by Europeans over the last five hundred years have demanded that their forms of property and government be recognized in international law and in the constitutional law of their countries. This broad movement of 250 million Aboriginal people has involved court cases, parliamentary politics, constitutional amendments, the United Nations, the International Court of Justice, the development of an international law (...) of Aboriginal peoples, and countless nonviolent and violent actions in defense of Aboriginal systems of property and cultures. The Aboriginal peoples of New Zealand, Canada, and the United States have been at the forefront of the movement, and it is in these countries that the greatest legal recognition has been achieved. (shrink)

Our investigation is concerned with the finite model property with respect to admissible rules. We establish general sufficient conditions for absence of fmp w. r. t. admissibility which are applicable to modal logics containing K4: Theorem 3.1 says that no logic λ containing K4 with the co-cover property and of width > 2 has fmp w. r. t. admissibility. Surprisingly many, if not to say all, important modal logics of width > 2 are within the scope of this (...) theorem–K4 itself, S4, GL, K4.1, K4.2, S4.1, S4.2, GL.2, etc. Thus the situation is completely opposite to the case of the ordinary fmp–the absolute majority of important logics have fmp, but not with respect to admissibility. As regards logics of width ≤ 2, there exists a zone for fmp w. r. t. admissibility. It is shown that all modal logics A of width ≤ 2 extending S4 which are not sub-logics of three special tabular logics have fmp w.r.t. admissibility. (shrink)

Mainstream analytic epistemology regards knowledge as the property of individuals, rather ‎than groups. Drawing on insights from the reality of knowledge production and dissemination ‎in the sciences, I argue, from within the analytic framework, that this view is wrong. I defend ‎the thesis of ‘knowledge-level justification communalism’, which states that at least some ‎knowledge, typically knowledge obtained from expert testimony, is the property of a ‎community and possibly none of its individual members, in that only the community or (...) some ‎members of it collectively possesses knowledge-level justification for its individual members’ ‎beliefs. I address several objections that individuals, qua individuals, have or are able to ‎acquire knowledge-level justification for all the beliefs they obtain from expert testimony. I ‎argue that the problem I identify with individualism is invariant under any specific account of ‎justification, internalist or externalist. ‎. (shrink)

All of the attempts to date to find a set of necessary and sufficient conditions for life, in order to provide an essential definition of life, have failed. We only have at our disposal series of lists that contain diverse characteristics usually found in living beings. Some authors have drawn from this fact the conclusion that life is not a natural kind. It will be argued here that this conclusion is too hasty and that if life is understood as a (...) natural kind in the non-essentialist sense of a homeostatic property cluster, it is easy to see why the attempts to find a unique and essentialist definition of life have failed. Understanding life in this way would imply that the pretension to find such a type of definition should be abandoned. (shrink)

The Converse Ackermann Property is the unprovability of formulas of the form (A -> B) -> C when C does contain neither -> nor ¬. Intuitively, the CAP amounts to rule out the derivability of pure non-necessitive propositions from non-necessitive ones. A constructive negation of the sort historically defined by, e.g., Johansson is added to positive logics with the CAP in the spectrum delimited by Ticket Entailment and Dummett’s logic LC.

The nature of the census figures produced by Demetrius of Phaleron, crucial evidence for the size of the Athenian population, has been misunderstood. The census categories were not 'native Athenians, foreign residents and slaves', but 'citizens above the property qualification, residents without political rights and members of households'. The property qualification of 1,000 drachmas associated with Demetrius' regime was the requirement for holding the highest offices; the property requirement for citizenship rights was lower, as it was in (...) the spurious constitution of Draco described in Athenaion Politeia 4, which was probably invented and inserted during Demetrius' reign. In the light of this reinterpretation of the evidence for the structure of the Athenian population under Demetrius, a reconsideration of the evidence for the size of the Athenian population in 322 BC suggests that there were ea. 30,000 adult male citizens and far fewer metics than generally assumed, probably ea. 5,000. The distribution of property among the citizen population was very uneven, with the richest 30% of the population owning about 80% of the wealth. According to Demetrius' census as reinterpreted here, slaves outnumbered free residents by 'only' about 3:1, which still seems an implausibly high figure, but needs to be taken seriously as a government estimate rather than a rhetorical exaggeration. (shrink)

The paper reviews the empirical evidence for highly significant variation across perceivers in hue perception and argues that color physicalism cannot accommodate this variability. Two views that can accommodate the individual differences in hue perception are considered: the self-locating property theory, according to which colors are self-locating properties, and color relationalism, according to which colors are relations to perceivers and viewing conditions. It is subsequently argued that on a plausible rendition of the two views, the self-locating theory has a (...) slight advantage over color relationalism in being truer to the phenomenology of our color experiences. (shrink)

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMImin has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMImin is decidable.

Property-owning democracies combine the regulative and redistributive functions of the welfare state with the governmental aim of ensuring that wealth and capital are widely dispersed. John Rawls, political philosophy’s most famous property-owning democrat, argued that property-owning democracy was one of two regime types that best realized his two principles of justice, though he was notoriously vague about how a property-owning democracy’s institutions are meant to realize his principles. To compensate for this deficiency, a number of Rawlsian (...) political philosophers have tried to add institutional and policy content to the idea. While their efforts have advanced the discussion, few have criticized the soundness of these attempts. This article attempts to fill the void. I claim that, in comparison to welfare-state capitalism, property-owning democracy is both prohibitively impractical and unjust on Rawlsian grounds. I first argue that property-owning democracy is economically ineffective. Even granting the assumptions of Rawlsian ideal theory, property-owning democracies generate bad incentives and face severe information problems in comparison to more market-friendly welfare states. Further, in nonideal theory the motivations of political officials and citizens will likely be corrupted by the temptation to abuse the awesome state power at their disposal. Second, I argue that property-owning democracy is unjust relative to welfare-state capitalism. The three principles used to defend property-owning democracy—the difference principle, the principle of fair equality of opportunity and the “political liberty” proviso—do not vindicate property-owning democracy and may even prohibit it. Welfare-state capitalism does much better. (shrink)

Journal of Mathematical Logic, Volume 22, Issue 02, August 2022. We generically construct a model in which the [math]-separation property is true, i.e. every pair of disjoint [math]-sets can be separated by a [math]-definable set. This answers an old question from the problem list “Surrealist landscape with figures” by A. Mathias from 1968. We also construct a model in which the (lightface) [math]-separation property is true.

The paper characterizes the second order arithmetic theorems of a set theory that features a recursively Mahlo universe; thereby complementing prior proof-theoretic investigations on this notion. It is shown that the property of being recursively Mahlo corresponds to a certain kind of β-model reflection in second order arithmetic. Further, this leads to a characterization of the reals recursively computable in the superjump functional.

MIPC is a well-known intuitionistic modal logic of Prior and Bull . It is shown that every normal intuitionistic modal logic L over MIPC has the finite model property whenever L is Kripke-complete and universal.

The many-property problem has traditionally been taken to show that the adverbial theory of perception is untenable. This paper first shows that several widely accepted views concerning the nature of perception---including both representational and non-representational views---likewise face the many-property problem. It then presents a solution to the many-property problem for these views, but goes on to show how this solution can be adapted to provide a novel, fully compositional solution to the many-property problem for adverbialism. Thus, (...) with respect to the many-property problem, adverbialism and several widely accepted views in the philosophy of perception are on a par, and the problem is solved. (shrink)

The paper reviews the empirical evidence for highly significant variation across perceivers in hue perception and argues that color physicalism cannot accommodate this variability. Two views that can accommodate the individual differences in hue perception are considered: the self-locating property theory, according to which colors are self-locating properties, and color relationalism, according to which colors are relations to perceivers and viewing conditions. It is subsequently argued that on a plausible rendition of the two views, the self-locating theory has a (...) slight advantage over color relationalism in being truer to the phenomenology of our color experiences. (shrink)

We prove that if an incomplete computably enumerable set has the the universal splitting property then it is low2. This solves a question from Ambos-Spies and Fejer [1] and Downey and Stob [7]. Some technical improvements are discussed.

We give a short proof of a lemma which generalizes both the main lemma from the original construction in the author’s thesis of a model with no ω2-Aronszajn trees, and also the “Key Lemma” in Hamkins’ gap forcing theorems. The new lemma directly yields Hamkins’ newer lemma stating that certain forcing notions have the approximation property.

Can politically inspired property damage or destruction be justified? This question is hardly of mere academic interest, in light of recent political protests in Hong Kong, the USA, and elsewhere. Against some contemporary writers, I argue that placing property damage under an open-ended rubric of uncivil disobedience does not generate the necessary conceptual and normative distinctions. Drawing on Martin Luther King, Jr., I instead argue that property damage should not be equated or conflated with violence against persons; (...) it also takes a variety of quite different forms. Anyone hoping to pursue politically motivated property damage should meet preconditions whose stringency will be determined by a key question: Do their acts generate or at least plausibly relate to violence against persons? Our answer to the question provide some space for legitimate, politically motivated property damage. Although some theories of property resist the strict delineation of violence to persons from property damage I defend, they fail to capture the realities of property ownership in existing societies, including the USA and, as such, do not undermine my defense, under existing conditions, of limited property damage. (shrink)

The formation of the modern state, the rise of capitalism, the Renaissance and Reformation, the scientific revolution and the Age of Enlightenment have all been attributed to the “early modern” period. Nearly everything about its history remains controversial, but one thing is certain: it left a rich and provocative legacy of political ideas unmatched in Western history. The concepts of liberty, equality, property, human rights and revolution born in those turbulent centuries continue to shape, and to limit, political discourse (...) today. Assessing the work and background of figures such as Machiavelli, Luther, Calvin, Spinoza, the Levellers, Hobbes, Locke and Rousseau, Ellen Wood vividly explores the ideas of the canonical thinkers, not as philosophical abstractions but as passionately engaged responses to the social conflicts of their day. (shrink)

This paper studies a formalisation of intuitionistic logic by Negri and von Plato which has general introduction and elimination rules. The philosophical importance of the system is expounded. Definitions of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system are formulated and corresponding reduction procedures for maximal formulas and permutative reduction procedures for maximal segments given. Alternatives to the main method used are also considered. It is shown that deductions in the system convert into normal form and that deductions (...) in normal form have the subformula property. (shrink)

I present an annotated development of the basic ideas of the Geneva School approach to the foundations of physics and the structures which emerge as mathematical representations of the physically dual notions of state and property.

In a lengthy review article, C. Anthony Anderson criticizes the approach to property theory developed in Quality and Concept (1982). That approach is first-order, type-free, and broadly Russellian. Anderson favors Alonzo Church’s higher-order, type-theoretic, broadly Fregean approach. His worries concern the way in which the theory of intensional entities is developed. It is shown that the worries can be handled within the approach developed in the book but they remain serious obstacles for the Church approach. The discussion focuses on: (...) (1) the fine-grained/coarse-grained distinction, (2) proper names and definite descriptions, (3) the paradox of analysis and Mates’ puzzle, and (4) the logical, semantical, and intentional paradoxes. (shrink)

In this paper we give a rather detailed algebraic investigation of interpolation and Beth’s property in propositional many-valued logics extending Hájek’s Basic Logic [P. Hájek, Metamathematics of Fuzzy Logic, Kluwer, 1998], and we connect such properties with amalgamation and strong amalgamation in the corresponding varieties of algebras. It turns out that, while the most interesting extensions of in the language of have deductive interpolation, very few of them have Beth’s property or Craig interpolation. Thus in the last part (...) of the paper we look for conservative extensions of having such properties. (shrink)

Property and political obligation are central issues of Locke's Two Treatises of Government. It is agreed that obligation is somehow contingent upon the government's protecting the property of its members. But ‘property’ in the Two Treatises had two meanings — in the state of nature usually referring to material possessions but in civil society meaning ‘life, liberty and estate’ — and its relationship to political obligation is complex. This complexity results from Locke's varying accounts of the movement (...) from the state of nature to civil society: he combined a traditional natural law justification of ownership with a legalist and semi-Aristotelian conception of the ends of and limitations on the state; he failed to provide a full account of the obligation of landless residents; he left unsettled difficulties inherent in the concept ‘property’ itself. Locke's notions of ‘trust’ and the ‘public good’ pointed to solutions to be worked out by future generations. (shrink)