Introduction -- Henri Lefebvre : the production of theory -- Research : from practices of dwelling to the production of space -- Critique : space as concrete abstraction -- Project : urban society and its architecture -- Afterword : toward an architecture of jouissance.

This paper defends the Blockian Proviso against its critics, Kinsella in particular, and interprets it as a law of non-contradiction in the theory of just property rights. I demonstrate that one may not lawfully appropriate in such a way as to forestall others from appropriating an unowned land because such appropriation would result in conflict-generating norms, and conflict-generating norms are not rationally justifiable and just norms. The Blockian Proviso, which precludes forestalling, operates therefore at the level of original appropriation and (...) determines, according to the homestead principle of justice in first acquisition, what may and what may not be lawfully appropriated. Hence, the Blockian Proviso is not an add-on to the homestead principle but part and parcel thereof. (shrink)

Can ownership status influence probability judgements under condition of uncertainty? In three experiments, we presented our participants with a recording of a real horse race. We endowed half of our sample with a wager on a single horse to win the race, and the other half with money to spend to acquire the same wager. Across three large studies, we found the endowment effect – owners demanded significantly more for the wager than buyers were willing to pay to acquire it. (...) However, we also found that probability estimates of each horse winning the race did not differ between owners and non-owners of the betting slip. Our results demonstrate that distorted perception of probability is unlikely to be a mechanism explaining the endowment effect. (shrink)

This paper is my last word, in the present journal, in the debate I have been having with Walter Block on the subject of evictionism as an alleged libertarian “third way,” capable of transcending the familiar “pro-life” and “pro-choice” dichotomy. In this debate, I myself defended what might be regarded as a qualified “pro-life” position, while Block consistently argued that the mother is morally allowed to expel the fetus from her womb provided that no non-lethal methods of its eviction are (...) available. While my position articulated in this paper contains an element of what Block might consider a concession on my part—i.e., an explicit declaration that abstaining from lethal evictions of fetuses conceived as a result of rape is a libertarian duty, but only an imperfect one—I continue to regard the unqualified support of evictionism as indefensible on libertarian grounds. (shrink)

Modern technology offers an increasing number of tools for teaching mathematics, but technology adoption in schools encounters many barriers. The Technology Acceptance Model explains that technology usage is dependent on intentions, which rest on perceived ease of use and perceived usefulness. Less is known about the relationship between intentions and actual behaviour. In the current study we show that the level of cognitive investment on the part of the teachers, captured by the construct of Need for Cognition (NC), is crucial (...) in the use of technology in mathematical instruction, while controlling for a variety of background factors. Furthermore NC moderates the relationship between intentions and technology use, such that high NC weakens the relationship between the perceived usefulness of technology in pedagogy and its actual use. (shrink)

In this commentary, I critically assess Rex Welshon’s position on the neural substrates of ownership unity. First, I comment on Welshon’s definition of ownership unity and underline some of the problems stemming from his phenomenological analysis. Second, I analyze Welshon’s proposal to establish a mechanistic relation between neural substrates and ownership unity. I show that it is insufficient and defend my own position on how neural mechanisms may give rise to whole subjects of experience, which I call the neuro-integrative account (...) of consciousness. Lastly, I comment on Welshon’s philosophical contribution and claim that it leaves the reader theoretically stranded. (shrink)

According to contemporary understanding of the universal tree of life, the traditionally recognized kingdoms of eukaryotic organisms—Protista, Fungi, Animalia and Plantae—are irregularly interspersed in a vast phylogenetic tree. There are numerous groups that in any Linnaean classification advised by phylogenetic relationships would form sister groups to those kingdoms, therefore requiring us to admit them the same rank. In practice, this would lead to the creation of ca. 25-30 new kingdoms that would now be listed among animals and plants as “major (...) types of life”. This poses problems of an aesthetic and educational nature. There are, broadly speaking, two ways to deal with that issue: a) ignore the aesthetic and educational arguments and propose classification systems that are fully consistent with the Hennigian principles of phylogenetic classification, i.e. are only composed of monophyletic taxa; b) ignore Hennigian principles and bunch small, relatively uncharacteristic groups into paraphyletic taxa, creating systems that are more convenient. In the paper, I present the debate and analyze the pros and cons of both options, briefly commenting on the deeper, third resolution, which would be to abandon classification systems entirely. Recent advances in eukaryotic classification and phylogeny are commented in the light of the philosophical question of the purpose and design principles of biological classification systems. (shrink)

In earlier publications of the first author it was shown that intentional explanation of actions, functional explanation of biological traits and causal explanation of abnormal events share a common structure. They are called explanation by specification (of a goal, a biological function, an abnormal causal factor, respectively) as opposed to explanation by subsumption under a law. Explanation by specification is guided by a schematic train of thought, of which the argumentative steps not concerning questions were already shown to be logically (...) valid (elementary) arguments.Independently, the second author developed a new, inferential approach to erotetic logic, the logic of questions. In this approach arguments resulting in questions, with declarative sentences and/or other questions as premises, are analyzed, and validity of such arguments is defined. (shrink)

Beyond Whitehead brings the reader up to date with the latest developments in process philosophy, concerning the study its basic concepts and their roots, and its potential extensions and revisions.

The issue of adequacy of the Turing Test (TT) is addressed. The concept of Turing Interrogative Game (TIG) is introduced. We show that if some conditions hold, then each machine, even a thinking one, loses a certain TIG and thus an instance of TT. If, however, the conditions do not hold, the success of a machine need not constitute a convincing argument for the claim that the machine thinks.

This book is a study in the logic of questions (sometimes called erotetic logic). The central topics in erotetic logic have been the structure of questions and the question-answer relationship. This book doesn't neglect these problems, but much of it is focussed on other issues. The main subject is the logical analysis of certain relations between questions and the contexts of their appearance. And our aim is to elaborate the conceptual apparatus of the inferential approach to the logic of questions. (...) Questions are asked for many reasons and for different purposes. Yet, before a question is asked or posed, a questioner must arrive at it. In many cases arriving at a question resembles coming to a conclusion: there are some premises involved and some inferential thought processes take place. If we agree that a conclusion need not be "conclusive", we may say that sometimes questions can play the role of conclusions. But questions can also perform the role of premises: we often pass from some "initial" question to another question. In other words, there are inferential thought processes - we shall call them erotetic inferences - in which questions play the roles of conclusions or conclusions and premises. The inferential approach to the logic of questions focusses its attention on the analysis of erotetic inferences. This book consists of eight chapters. (shrink)

"The importance of questions is beyond doubt. But the degree of attention paid to them in logic and linguistics is still less than they deserve." What is a question? How to represent questions in formal languages? How to model reasoning in which questions are involved? Can we prove anything by means of pure questioning? How to model goal-directed problem solving? These are the main issues of Andrzej Wi niewski's "Questions, Inferences, and Scenarios." This book offers a state-of-the-art exposition of Inferential (...) Erotetic Logic, that is, an approach to the logic of questions focused on inferences which lead to questions as conclusions. Wi niewski characterizes semantic relations which determine validity of these inferences within the framework of Minimal Erotetic Semantics, applicable to a wide range of formal languages. He elaborates in detail the concept of erotetic search scenario, a tool for modelling problem solving. Moreover, the author presents some applications of Inferential Erotetic Logic in proof theory. Andrzej Wi niewski is one of the most prominent contemporary researchers in the logic of questions. Currently, he is a full professor at the Department of Logic and Cognitive Science, Institute of Psychology, Adam Mickiewicz University in Pozna, Poland. (shrink)

This paper argues for the idea that the logic of questions should focus its attention on the analysis of arguments in which questions play the role of conclusions. The relevant concepts of validity are discussed and the concept of the logic of questions of a semantically interpreted formalized language is introduced.

Our aim is to express in exact terms the old idea of solving problems by pure questioning. We consider the problem of derivability: "Is A derivable from Δ by classical propositional logic?". We develop a calculus of questions E*; a proof (called a Socratic proof) is a sequence of questions ending with a question whose affirmative answer is, in a sense, evident. The calculus is sound and complete with respect to classical propositional logic. A Socratic proof in E* can be (...) transformed into a Gentzen-style proof in some sequent calculi. Next we develop a calculus of questions E**; Socratic proofs in E** can be transformed into analytic tableaux. We show that Socratic proofs can be grounded in Inferential Erotetic Logic. After a slight modification, the analyzed systems can also be viewed as hypersequent calculi. (shrink)

While the pursuit of hedonism is legitimated by neoliberal governmentality, its disciplining and isolating forces prevent individuals from being fulfilled by their pursuit of pleasure. Concomitantly, this hedonism (pursuing pleasure to avoid pain) causes individuals to withdraw from public political life. In this article we argue that, instead of attempting to pursue pleasure through the experience of material comfort, individuals ought to orient themselves towards membership in substantive political associations. Further, we argue that it is through such membership that one (...) can attain genuine fulfilment, while simultaneously reclaiming agency, both on individual and collective terms. Though individuals must be willing to take on the risk of pain, their membership in substantive political associations provides genuine fulfilment, while also allowing for the construction of new worlds through political action. (shrink)

Three semantic relations are analyzed: the relation of implication of a question by a question and a set of declarative sentences, the relation of implication of a question by a question, and the relation of strong implication of a question by a question and a set of declarative sentences. The connections between these concepts and the concepts of relative soundness, partial answerhood and presupposition are examined. The principal results are theorems about, to speak generally, epistemic reducibility of well-posed questions to (...) sequences of implied yes-no questions. (shrink)

First-order logic is formalized by means of tools taken from the logic of questions. A calculus of questions which is a counterpart of the Pure Calculus of Quantifiers is presented. A direct proof of completeness of the calculus is given.

It is claimed that Kuipers' approach to explanation opens the possibility for a further refinement of his own refined HD method for the evaluation of theories. One severe problem for the HD method, refined or not, is theory-ladeness. Given that experimental results are theory-laden, the comparative evaluation of alternative hypotheses is always relative to background knowledge. This difficulty can be avoided by supplementing HD considerations with the principle of inference to the best explanation. The authors sketch a program for doing (...) this. The general idea plays on some similarities between Kuipers' account of explanation and Lipton's. The former, however, is considered more flexible than the latter, which makes it even more attractive for the purpose under consideration. (shrink)

The concept of search scenario is explicated in terms of erotetic logic, i.e., the logic of questions. Different kinds of erotetic search scenarios are characterized. The basic logical properties of erotetic search scenarios are analyzed.

Inferential erotetic logic and inquisitive semantics give accounts of questions and model various aspects of questioning. In this paper we concentrate upon connections between inquisitiveness, being the core concept of INQ, and question raising, characterized in IEL by means of the concepts of question evocation and erotetic implication. We consider the basic system InqB of INQ, remain at the propositional level and show, inter alia, that: a disjunction of all the direct answers to an evoked question is always inquisitive; a (...) formula is inquisitive if, and only if it evokes a yes–no question whose affirmative answer expresses a possibility for the formula; inquisitive formulas evoke questions whose direct answers express all the possibilities for the formulas, and each question erotetically implies a question whose direct answers express the possibilities for the direct answers to the implying question. (shrink)

This paper develops a new proof method for two propositional paraconsistent logics: the propositional part of Batens' weak paraconsistent logic CLuN and Schütte's maximally paraconsistent logic Φv. Proofs are de.ned as certain sequences of questions. The method is grounded in Inferential Erotetic Logic.