We investigate the theory IΔ 0 + Ω 1 and strengthen [Bu86. Theorem 8.6] to the following: if NP ≠ co-NP. then Σ-completeness for witness comparison formulas is not provable in bounded arithmetic. i.e. $I\delta_0 + \Omega_1 + \nvdash \forall b \forall c (\exists a(\operatorname{Prf}(a.c) \wedge \forall = \leq a \neg \operatorname{Prf} (z.b))\\ \rightarrow \operatorname{Prov} (\ulcorner \exists a(\operatorname{Prf}(a. \bar{c}) \wedge \forall z \leq a \neg \operatorname{Prf}(z.\bar{b})) \urcorner)).$ Next we study a "small reflection principle" in bounded arithmetic. We prove that for (...) all sentences φ $I\Delta_0 + \Omega_1 \vdash \forall x \operatorname{Prov}(\ulcorner \forall y \leq \bar{x} (\operatorname{Prf} (y. \overline{\ulcorner \varphi \urcorner}) \rightarrow \varphi)\urcorner).$ The proof hinges on the use of definable cuts and partial satisfaction predicates akin to those introduced by Pudlak in [Pu86]. Finally, we give some applications of the small reflection principle, showing that the principle can sometimes be invoked in order to circumvent the use of provable Σ-completeness for witness comparison formulas. (shrink)

Let PLω be the provability logic of IΔ0 + ω1. We prove some containments of the form L ⊆ PLω < Th(C) where L is the provability logic of PA and Th(C) is a suitable class of Kripke frames.

Aristotle defines motion as such: ‘The fulfillment of what exists potentially, in so far as it exist potentially, is motion.’ (Phy., Γ, 1, 201a10-11) He defines it again in the same chapter: ‘It is the fulfillment of what is potential when it is already fully real and operates not as itself but as movable, that is motion. What I mean by ‘as’ is this: Bronze is potentially a statue. But it is not the fulfillment of bronze as bronze which is (...) motion.’ (Phy., Γ, 1) 2) Motion: not a real thing Aristotle believes that ‘there is no such thing as motion over and above the things’ that is supposed to mean that motion cannot be something else than his categories: ‘It is always with respect to substance or to quality or to quantity or to place that what changes changes. But it is impossible to find anything common to these which is neither ‘this’ not quantum nor quale nor any of the other predicates. Hence neither will motion and change have reference to something over and above the things mentioned, for there is nothing over and above them.’ (Phy., Γ, 1, 200b32-201a3) In fact, it is what is moved that is a reality for Aristotle and not the motion itself: ‘Motion is known because of that which is moved, locomotion because of that which is carried. What is carried is a real thing, the movement is not.’ (Phy., Δ, 11) 3) Three items in each motion Aristotle distinguishes three items in each motion (Phy., E, 4): a) ‘That which’ moves; (Note: It is this item that makes a motion a unitary motion. (Phy., Δ, 11)) e.g. a man or gold b) ‘That in which’ the movement occurs; e.g. a place or an affection c) ‘That during which’ the movement takes place; e.g. time Based on the second item, Aristotle distinguishes three kinds of motion: quantitative, qualitative and local which are in respect of the three categories of quantity, quality and place. (Phy., E, 1) However, Aristotle speaks of four things in respect of which change takes place adding substance to the three mentioned categories. (Phy., Γ, 1, 200b32-35) It seems it is based on the differentiation of that in which motion takes place in these four types that Aristotle distinguishes four kinds of motion. (Phy., Γ, 1, 201a11-15): a) Alteration: the motion of what is alterable qua alterable b) Increase and decrease: the motion of what can be increased and what can be decreased c) Coming to be and passing away: the motion of what come to be and pass away d) Locomotion: the motion of what can be carried away Alteration happens in qualities, increase and decrease in quantities, coming to be and passing away in substances and locomotion in place. 4) Problem of motion as an element Discussing why Pythagoreans put motion in their column of indefinites, Aristotle somehow hints to the problem of understanding motion due to its non-elemental character: ‘The reason why they put motion into these genera is that it is thought to be something indefinite and the principles in the second column are indefinite because they are privative: none of them is either ‘this’ or ‘such’ or comes under any of the other modes of predication. The reason in turn why motion is thought to be indefinite is that it cannot be classed simply as a potentiality or as an actuality- a thing that is merely capable of having a certain size is not undergoing change, nor yet a thing that is actually of a certain size, and motion is thought to be a sort of actuality, but incomplete. The reason for this view being that the potential whose actuality it is is incomplete. This is why it is hard to grasp what motion is. It is necessary to class it with privation or with potentiality or with sheer actuality, yet none of these seems possible. There remains then the suggested mode of definition, namely that it is a sort of actuality, or actuality of the kind described, hard to grasp, but not incapable of existing.’ (Phy., Γ, 2, 201b24-) It becomes a real difficulty when it is asked whether the motion is in the mover or in the movable: ‘The solution of the difficulty that is raised about the motion-whether it is in the movable- is plain. It is the fulfillment of this potentiality, and by the action of that which has the power of causing motion; and the actuality of that which has the power of causing motion is not other than the actuality of the movable, for it must be the fulfillment of both. A thing is capable of causing motion because it can do this, it is a mover because it actually does it. But it is on the movable that it is capable of acting. Hence there is a single actuality of both alike, just as one to two and two to one are the same interval, and the steep ascent and the steep descent are one- for these are one and the same, although they can be described in different ways. So it is with the mover and the moved.’ (Phy., Γ, 3) This is not, however, the solution: ‘This view has a dialectical difficulty. Perhaps it is necessary that the actuality of the agent and that of the patient should not be the same. The one is ‘agency’ and the other ‘patiency’; and the outcome and the completion of the one is an ‘action’, that of the other a ‘passion.’ Since then they are both motions, we may ask: in what are they, if they are different? Either (a) both are in what is acted on and moved, or (b) the agency is in the agent and the patiency in the patient. … Now in alternative (b), the motion will be in the mover, for the same statement will hold of ‘mover’ and ‘moved.’ Hence either every mover will be moved, or, through having motion, it will not be moved. If on the other hand (a) both are in what is moved and acted on- both the agency and the patiency (e.g. both teaching and learning, though they are two, in the learner), then, first, the actuality of each will not be present in each, and, a second absurdity, a thing will have two motions at the same time. How will there be two alterations of quality in one subject towards one definite quality? The thing is impossible: the actualization will be one.’ (Phy., Γ, 3) This leads Aristotle to another problem, the problem of one identical actualization for two different things: ‘But (someone will say) it is contrary to reason to suppose that there should be one identical actualization of two things which are different in kind. Yet there will be, if teaching and learning are the same, and agency and patiency. To teach will be the same as to learn, and to act the same as to be acted on- the teacher will necessarily be learning everything that he teaches, and the agent will be acted on. One may reply: (1) It is not absurd that the actualization of one thing should be in another. Teaching is the activity of a person who can teach, yet the operation is performed on some patient- it is not cut adrift from a subject, but is of A on B. (2) There is nothing to prevent two things having one and the same actualization, provided the actualizations are not described in the same way, but are related as what can act on what is acting. (3) Nor is it necessary that the teacher should learn, even if to act and to be acted on are one and the same, provided they are not the same in definition (as ‘raiment’ and ‘dress’), but are the same merely in the sense in which the road from Athens to Thebes are the same, as has been explained above.’ (Phy., Γ, 3) And he continues: ‘For it is not things which are in a way the same that have all their attributes the same, but only such as have the same definition. But indeed it by no means follows from the fact that teaching is the same as learning, that to learn is the same as to teach, any more than it follows from the fact there is one distance between two things which are at a distance from each other, that the two vectors AB and BA, are one and the same. To generalize, teaching is not the same as learning, or agency and patiency, in the full sense, though they belong to the same subject, the motion; for the ‘actualization’ of X in Y’ and the ‘actualization of Y through the actualization of X’ differ in definition.’ (Phy., Γ, 3) . (shrink)

A certain tension cuts across Althusser’s many theoretical experiments: a tension — perhaps even a “paradox”— between science and struggle. In a conjuncture in which a self-defeating skepticism short-circuits the conjunction between science and struggle, it seems vital to reformulate this problem anew. By turning to Althusser’s formulation of the “revolutionary” materialist dialectic in the so-called “theoreticist” texts this essay elaborates a re-formulation of the supposed aporias of this paradox and finds a possible way out of it. Science and (...) struggle are disarticulated insofar as no other practice produces the effect of their conjunction. That is the task of the revolutionary materialist dialectic. Having defined “Althusserianism” as the philosophical practice which continuously produces combinations, conjunctions, or encounters between science and struggle, this essay then turns to the theoretical and political practice of Mauricio Malamud. The variations in the “Althusserianism” of this communist philosopher and militant further displace the apparent paradoxical character of the relation between science and struggle. In the political and theoretical practice of Malamud, this essay encounters both the necessity of theory as “a guide for action” and affirms neither “a scientism without politics” nor a “politicism without science.” . (shrink)

The electronic and muonic hydrogen energy levels are calculated very accurately [1] in Quantum Electrodynamics (QED) by coupling the Dirac Equation four vector (c ,mc2) current covariantly with the external electromagnetic (EM) field four vector in QED’s Interactive Representation (IR). The c -Non Exclusion Principle(c -NEP) states that, if one accepts c as the electron/muon velocity operator because of the very accurate hydrogen energy levels calculated, the one must also accept the resulting electron/muon internal spatial and time coordinate operators (ISaTCO) (...) derived directly from c without any assumptions. This paper does not change any of the accurate QED calculations of hydrogen’s energy levels, given the simplistic model of the proton used in these calculations [1]. The Proton Radius Puzzle [2, 3] may indicate that new physics is necessary beyond the Standard Model (SM), and this paper describes the bizarre, and very different, situation when the electron and muon are located “inside” the spatially extended proton with their Centers of Charge (CoCs) orbiting the proton at the speed of light in S energy states. The electron/muon center of charge (CoC) is a structureless point that vibrates rapidly in its inseparable, non-random vacuum whose geometry and time structure are defined by the electron/muon ISaTCO discrete geometry. The electron/muon self mass becomes finite in a natural way due to the ISaTCOs cutting off high virtual photon energies in the photon propagator. The Dirac-Maxwell-Wilson (DMW) Equations are derived from the ISaTCO for the EM fields of an electron/muon, and the electron/muon “look” like point particles in far field scattering experiments in the same way the electric field from a sphere with evenly distributed charge “e” “looks” like a point with the same charge in the far field (Gauss Law). The electron’s/muon’s three fluctuating CoC internal spatial coordinate operators have eight possible eigenvalues [4, 5, 6] that fall on a spherical shell centered on the electron’s CoM with radius in the rest frame. The electron/muon internal time operator is discrete, describes the rapid virtual electron/positron pair production and annihilation. The ISaTCO together create a current that produce spin and magnetic moment operators, and the electron and muon no longer have “intrinsic” properties since the ISaTCO kinematics define spin and magnetic moment properties. (shrink)

We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, (...) semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants. (shrink)

In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, it (...) is argued that, since ITL is truly intensional, it can be used to model ascriptions of propositional attitude without predicting logical omniscience. In order to illustrate this a small fragment of English is defined and provided with an ITL semantics. Secondly, it is shown that ITL models contain certain objects that can be identified with possible worlds. Essential elements of modal logic become available within classical type theory once the axiom of Extensionality is given up. (shrink)

Mathematics has a long track record of refining the concepts by which we make sense of the world. For example, mathematics allows one to speak about different senses of "sameness", depending on the larger context. Phenomenology is the name of a philosophical discipline that tries to systematically investigate the first-personal perspective on reality and how it is constituted. Together, mathematics and phenomenology seem to be a good fit to derive statements about our experience that are, at the same time, well-defined, (...) precise, and significant to our inner lives. However, there are difficulties stemming from the fact that phenomenology deals with inherently subjective things. Phenomenological investigations seem to lose their appeal when trying to approach them in the clear-cut way afforded by mathematics. How to overcome this obstacle? We argue that the Arts play a special role in mediating between the precise statements of mathematics and the sometimes fuzzy nature of our experience. Mathematics and art are complementary ways to come to a comprehensive understanding of reality. (shrink)

The protests at the Universiteit van Amsterdam (UvA) that began in November 2014 as a reaction to severe cuts in the department of humanities have sparked a broad debate nationally and even internationally about the future of the university and the values and ideals that should define it. It turned out that dissatisfaction was much more widespread in different parts of the university than some had previously thought, and many turned out to share the concerns first put forward in (...) the humanities department, to extend beyond the borders of the university and the country. Increasing focus on getting as many students as possible to graduate promptly has shifted the attention ever more towards quantitative indicators for the evaluation of education rather than qualitative ones, leading to raising the question of whether the quality of education has suffered from these priorities. How did this come about and what could be done to improve this quality? In this essay we briefly consider the history of the university as an institute that aims to combine research and education, subsequently mentioning some more recent challenges for the university, finishing it with a brief description of a ‘circulation model of education’ that we consider to be a fruitful source for answering some of the challenges we identified from the current discussions. In this model circulation rather than unidirectional traffic occurs between different elements: circulation between research and education, between insights of teachers and of students, between disciplines, between general and contextualized knowledge, between disciplinary and experi- ential knowledge, between doing research and (meta-)reflection upon research, and so on. (shrink)

This paper extends Fitting's epistemic interpretation of some Kleene logics, to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting's "cut-down" operator is discussed, rendering a "track-down" operator later used to represent the idea that no consistent opinion can arise from a set including an inconsistent opinion. It is shown that, if some reasonable assumptions are made, the truth-functions of Paraconsistent Weak Kleene coincide with certain operations defined in this track-down fashion. Finally, further reflections (...) on conjunction and disjunction in the weak Kleene logics accompany this paper, particularly concerning their relation with containment logics. These considerations motivate a special approach to defining sound and complete Gentzen-style sequent calculi for some of their four-valued generalizations. (shrink)

The reason for physics’ failure to find a final theory of the universe is examined. Problems identified are: the lack of unequivocal definitions for its fundamental elements (time, length, mass, electric charge, energy, work, matter-waves); the danger of relying too much on mathematics for solutions; especially as philosophical arguments conclude the universe cannot have a mathematical basis. It does not even need the concept of number to exist. Numbers and mathematics are human inventions arising from the human predilection for measurement. (...) Following Aristotle, a single fundamental cause is proposed to explore the efficacy of using pure non-mathematical philosophy to explain the universe, contrary to current quantum physical views. The cause is taken as Time, which is then defined, surprisingly leading automatically to a definition of a three-dimensional space answering the question into what can a universe be placed (space before space seems non-sensical). This enables the philosophical arguments to derive a universal rule giving clear-cut descriptions (definitions) of force (both gravitational and electromagnetic), motion, energy, and particles. The formation of atomic nuclei and atomic properties together with an unexpected role for neutrinos follow. In particular, a Popper-test can be prepared by introducing the concept of measurement to allow the philosophy arguments to be tested in another discipline - mathematics. The solution agrees with human physical observations to a remarkable degree of accuracy, automatically explaining and predicting values for Planck’s and the fine-structure constants. Although mathematical, it is included as confirming the efficacy of philosophy in attaining a final theory. (shrink)

The simplest of solution providers define its problem assignment in the practical manner. Here we are, tet alone clipping path service, only the term 'Clipping path' can be seemed to be an unfamiliar topic to the newly added digital arena professionals. people, but as we relate Clipping Path such as- 'cutting a picture from the newspaper'- practical experience like that is bonded with Clipping path as- those are twins in practical and virtual arena. Here, in manual part, you are cutting (...) off the selected portion of that paper using the tool-'seizure'(the marked part by pencil or pen) and in digital arena- using the most preferred application or software. Now, here, things can become bizarre. We come to a real life example then. Suppose, you were all out equipped and forcefully torn the marked area which is surely your property and manually finished the process all so smartly. Hat's off to you. No over-exposure touch too. You are simply missing a point here, friend. It's a fake now. You eliminated the natural presence of that lively image by a high margin as you only focused on the marked area, the unmarked area rested in peace there. And, if some cautions was to be secured firstly there, you would never have had gone with the seizer or knife, you-my friend would have chosen circulated parameter based blades or cutters to avoid any clinch due to less distortion and restoration of that full paper- you are going to curse yourself now- to go on to the first stage of finding the raw material procession which is now mandatory to you for specifically needed correction of that newspaper processing. (shrink)

The intuitive view that memories are characterized by a feeling of pastness, perceptions by a feeling of presence, while imagination lacks either faces challenges from two sides. Some researchers complain that the “feeling of pastness” is either unclear, irrelevant or isn’t a real feature. Others point out that there are cases of memory without the feeling of pastness, perception without presence, and other cross-cutting cases. Here we argue that the feeling of pastness is indeed a real, useful feature, and although (...) this feeling does not define memory ontologically, it is a characteristic marker which helps us easily categorise a mental state first-personally. We outline several cognitive features that underlie this experience, including the feeling of past accessibility, ergonomic significance, immersion, objectivity and mental strength. Our account is distinctly phenomenal, rather than doxastic, although our web of beliefs may contribute to this experience. (shrink)

This paper explores the difference it makes to incorporate the multi-focal conception of violence that has emerged in peace studies over recent decades into the discourse of non-violent direct action (Galtung 1969, 1990; Uvin 2003; Springs 2015b). I argue that non-violent action can and should incorporate and deploy the distinctions between direct, cultural, and structural forms of violence. On one hand, these analytical distinctions can facilitate forms of self-reflexive critical analysis that guard against certain violent conceptual and practical implications of (...) non-violence, however inadvertent those may be. At the same time, these lenses help reconceptualise non-violent action in ways that open up an array of strategies and tools not previously prevalent among activists committed to non-violence. Non-violent action may itself be either complicit in, or might be enabled to illuminate and cut against, forms of violence that infuse social, political, and economic structures (i.e. structural violence). Appeals to non-violence and the actions with which they interweave may be complicit in, or might be enabled to illuminate and cut against, religious, ideological, aesthetic, and even scientific understandings and conceptual frames that underpin and support structural violence (i.e. cultural violence). In each case, non- violence must be critically examined with all these possibilities in mind. I first define and contextualize a multidimensional account of violence in terms of direct, structural, and cultural violence. I then consider two examples of how it challenges thinking about non-violence. (shrink)

Intersectionality has utilized various feminist theories that continue subculture of violence thinking about Black men and boys. While intersectional feminists often claim that intersectionality leads to a clearer social analysis of power and hierarchies throughout society and within groups, the categories and claims of intersectionality fail to distinguish themselves from previously racist theories that sought to explain race, class, and gender, based on subcultural values. This article is the first to interrogate the theories used to construct the gendered categories and (...) the assumptions behind Black male positionality under intersectional analyses. Contrary to its promises for more liberated Black identities, intersectionality merely replicates the pseudo-science of racist criminology and presents decades old theories as cutting-edge gender analyses. In short, while intersectionality has allowed Black women to create nuanced experiences and epistemological accounts of Black womanhood, the very same theory has confined Black male experience to the perpetration of violence and defined Black manhood as lesser—merely the exemplification of white masculinity’s pathological excess. (shrink)

Placebo-trials on HIV-infected pregnant women in developing countries like Thailand and Uganda have provoked recent controversy. Such experiments aim to find a treatment that will cut the rate of vertical transmission more efficiently than existing treatments like zidovudine. This scenario is first stated as generally as possible, before three ethical principles found in the Belmont Report, itself a sharpening of the Helsinki Declaration, are stated. These three principles are the Principle of Utility, the Principle of Autonomy and the Principle of (...) Justice. These are taken as voices of moral imperative. But although each has intuitive appeal, it can be shown that there are possible scenarios in which they give conflicting prescriptions. To achieve consistency, one must be subordinate to the others. The voice of utility is taken as subordinate to those of justice and autonomy and it is shown that given plausible assumptions about the level of poverty and education in the developing country targeted, the experiment is ruled morally wrong in the name of both justice and autonomy. Moreover, it is argued that no justification can be found for the inclusion of a placebo group, when strictly defined. By contrast, a ‘no- treatment’ control arm might be justified, but only when the demands of autonomy are satisfied, demands that are more stringent than they might appear. A utilitarian defence of the experiment is examined, namely that the would-be participants are in a no-loss situation, and it is shown that this defence is seriously flawed. Finally, it is concluded that there is no justification for amending the Declaration of Helsinki. (shrink)

As the aim of the responsible robotics initiative is to ensure that responsible practices are inculcated within each stage of design, development and use, this impetus is undergirded by the alignment of ethical and legal considerations towards socially beneficial ends. While every effort should be expended to ensure that issues of responsibility are addressed at each stage of technological progression, irresponsibility is inherent within the nature of robotics technologies from a theoretical perspective that threatens to thwart the endeavour. This is (...) because the concept of responsibility, despite being treated as such, is not monolithic: rather this seemingly unified concept consists of converging and confluent concepts that shape the idea of what we colloquially call responsibility. From a different perspective, robotics will be simultaneously responsible and irresponsible depending on the particular concept of responsibility that is foregrounded: an observation that cuts against the grain of the drive towards responsible robotics. This problem is further compounded by responsible design and development as contrasted to responsible use. From a different perspective, the difficulty in defining the concept of responsibility in robotics is because human responsibility is the main frame of reference. Robotic systems are increasingly expected to achieve the human-level performance, including the capacities associated with responsibility and other criteria which are necessary to act responsibly. This subsists within a larger phenomenon where the difference between humans and non-humans, be it animals or artificial systems, appears to be increasingly blurred, thereby disrupting orthodox understandings of responsibility. This paper seeks to supplement the responsible robotics impulse by proposing a complementary set of human rights directed specifically against the harms arising from robotic and artificial intelligence technologies. The relationship between responsibilities of the agent and the rights of the patient suggest that a rights regime is the other side of responsibility coin. The major distinction of this approach is to invert the power relationship: while human agents are perceived to control robotic patients, the prospect for this to become reversed is beginning. As robotic technologies become ever more sophisticated, and even genuinely complex, asserting human rights directly against robotic harms become increasingly important. Such an approach includes not only developing human rights that ‘protect’ humans but also ‘strengthen’ people against the challenges introduced by robotics and AI [This distinction parallels Berlin’s negative and positive concepts of liberty ], by emphasising the social and reflective character of the notion of humanness as well as the difference between the human and nonhuman. This will allow using the human frame of reference as constitutive of, rather than only subject to, the robotic and AI technologies, where it is human and not technology characteristics that shape the human rights framework in the first place. (shrink)

This report aims to offer insights into cutting-edge research on digital well-being. Many of these insights come from a 2-day academic-impact event, The Future of Digital Well-Being, hosted by a team of researchers working with the Royal Netherlands Academy of Arts and Sciences (KNAW) in February 2024. Today, achieving and maintaining well-being in the face of online technologies is a multifaceted challenge that we believe requires using theoretical resources of different research disciplines. This report explores diverse perspectives on how digital (...) well-being can be actively cultivated, while also emphasising the importance of considering individual differences, societal contexts, and nuanced cultural factors. We aim to offer a holistic view of the future of digital well-being, one that will inspire the next generation of designers of online tools, as well as policymakers who will regulate these tools. We start by asking what digital well-being is – how we can best define a concept that is used by diverse stakeholders and researchers from many disciplines in various ways. To do this, we explore the classic ethical theories of well-being, showing how they can give us insights into how the term digital well-being is currently deployed. We then move to look at the existing strategies that have been proposed to actively cultivate digital well-being, exploring the business models that threaten digital well-being and the relative advantages of the digital and non-digital solutions that are currently proposed. On the one hand, digital tools – such as Apple’s Screen Time and app blockers such as Opal and Forest – integrate seamlessly with the digital lifestyles of users. They also create precise metrics for digital well-being, which facilitates their solutions to reduce screen time. On the other hand, non-digital solutions, including mindfulness practices, digital detoxes, and digital well-being coaching, offer a new set of tools to reconnect individuals to their natural rhythms and help to actively promote offline activities. We then move to discuss diversity and how various groups of users have strikingly different digital well-being needs. Embracing neurodiversity in digital well-being is crucial as it strongly impacts the users’ experience of online technologies. When designing for diversity, organisations and designers alike need to prioritise customization for people with physical disabilities, mitigate harmful content for users with mental well-being conditions, address gender stereotypes and online harassment, and be designed in ways that recognize the very real risks of online technologies. This report closes by examining cultural differences. We believe that non-Western conceptions of well-being offer rich sources for enhancing digital well-being insofar as these traditions can inform and inspire the designers of future online technologies. We focus on East-Asian and South-Asian traditions, although in further work we recognise it would be useful to investigate conceptions of well-being that are influential in the Gulf region, Africa, and South America. Each of these areas have ethical frameworks that discuss well-being in depth as well as a rich cultural heritage. In conclusion, this report’s insights underscore the imperative of recognizing diversity in digital well-being, both in terms of cultural contexts and disciplinary perspectives. It emphasises the need for culturally responsive design methodologies and the integration of non-Western philosophical perspectives into current digital well-being research. Embracing this diversity, we believe, offers the best chance to create digital environments that prioritise well-being for users and the societies they live in across the world. Ultimately, we believe that it is not only about designing better online products; it’s about shaping a digital landscape that promotes well-being and flourishing for everyone. (shrink)

Concrete is one of the most intelligent and widely utilized man-made materials in the construction industry. Despite this, even high-quality concrete is susceptible to porosity, which reduces its serviceability period. Furthermore, there is an increasing need to increase longevity due to environmental exposure such as soil moisture, corrosive outside elements, or structural defects forming in the surface of concrete. The use of crystalline admixtures in concrete is one of the many approaches to reducing these risks. When crystalline admixtures come into (...) contact with water, they form thin crystals that fill pores, capillaries, and micro fractures, as a result making concrete a self-sealing material. When the concrete has dried, the crystalline particles remain dormant until they come into contact with additional water, which causes them to crystallize once more. This research aims to analyze and compare the material properties of commonly used concrete and concrete where crystalline waterproofing is present. Furthermore, experiments are conducted to evaluate each of the concrete samples: compressive strength, water permeability, and flexure strength. As a result, demonstrating the benefits or negative aspects of the use of crystalline admixture in the early stages of concrete is important. It is not yet defined, whether this is the future of cutting-edge concrete and the impact that it will have in the Albanian building market. (shrink)

Informatics is generally understood as a “new technology” and is therewith discussed according to technological aspects such as speed, data retrieval, information control and so on. Its widespread use from home appliances to enterprises and universities is not the result of a clear-cut analysis of its inner possibilities but is rather dependent on all sorts of ideological promises of unlimited progress. We will discuss the theoretical definition of informatics proposed in 1936 by Alan Turing in order to show that it (...) should be taken as final and complete. This definition has no relation to the technology because Turing defines computers as doing the work of solving problems with numbers. This formal definition implies nonetheless a relation to the non-formalized elements around informatics, which we shall discuss through the Greek notion of téchne. (shrink)

The derivative is a basic concept of differential calculus. However, if we calculate the derivative as change in distance over change in time, the result at any instant is 0/0, which seems meaningless. Hence, Newton and Leibniz used the limit to determine the derivative. Their method is valid in practice, but it is not easy to intuitively accept. Thus, this article describes the novel method of differential calculus based on the double contradiction, which is easier to accept intuitively. Next, the (...) geometrical meaning of the double contradiction is considered as follows. A tangent at a point on a convex curve is iterated. Then, the slope of the tangent at the point is sandwiched by two kinds of lines. The first kind of line crosses the curve at the original point and a point to the right of it. The second kind of line crosses the curve at the original point and a point to the left of it. Then, the double contradiction can be applied, and the slope of the tangent is determined as a single value. Finally, the meaning of this method for the foundation of mathematics is considered. We reflect on Dehaene’s notion that the foundation of mathematics is based on the intuitions, which evolve independently. Hence, there may be gaps between intuitions. In fact, the Ancient Greeks identified inconsistency between arithmetic and geometry. However, Eudoxus developed the theory of proportion, which is equivalent to the Dedekind Cut. This allows the iteration of an irrational number by rational numbers as precisely as desired. Simultaneously, we can define the irrational number by the double contradiction, although its existence is not guaranteed. Further, an area of a curved figure is iterated and defined by rectilinear figures using the double contradiction. (shrink)

The paper attempts to set a guideline to contemporary common morality debate. The author points out what he sees as two common problems that occur in the field of comparative cultural studies related to a common morality debate. The first problem is that the advocates and opponents of common morality, consciously or unconsciously, define the moral terms in question in a way that their respective meanings would naturally lead to the outcomes that each party desires. The second problem is that (...) the examples each party chooses as the empirical evidences may not be as simple and clear-cut as the researchers think they are, mainly because the situational contexts where the examples are located between two different cultures vastly differ. To prevent these mistakes, the author emphasizes that we should pay attention to a subtle distinction between "thick" and "thin" construed from the levels of "theoretical status" and of "material content". With the conceptual distinctions in mind, the author shows how different cultures (i.e., Western individualist society and East Asian neo-Confucian society) see the moral principles like autonomy and beneficence in different lexical orders. (shrink)

The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality is a treatise of formal logic and of aetiology. It is an original and wide-ranging investigation of the definition of causation (deterministic causality) in all its forms, and of the deduction and induction of such forms. The work was carried out in three phases over a dozen years (1998-2010), each phase introducing more sophisticated methods than the previous to solve outstanding problems. This study was intended as part of a (...) larger work on causal logic, which additionally treats volition and allied cause-effect relations (2004). The Logic of Causation deals with the main technicalities relating to reasoning about causation. Once all the deductive characteristics of causation in all its forms have been treated, and we have gained an understanding as to how it is induced, we are able to discuss more intelligently its epistemological and ontological status. In this context, past theories of causation are reviewed and evaluated (although some of the issues involved here can only be fully dealt with in a larger perspective, taking volition and other aspects of causality into consideration, as done in Volition and Allied Causal Concepts). Phase I: Macroanalysis. Starting with the paradigm of causation, its most obvious and strongest form, we can by abstraction of its defining components distinguish four genera of causation, or generic determinations, namely: complete, partial, necessary and contingent causation. When these genera and their negations are combined together in every which way, and tested for consistency, it is found that only four species of causation, or specific determinations, remain conceivable. The concept of causation thus gives rise to a number of positive and negative propositional forms, which can be studied in detail with relative ease because they are compounds of conjunctive and conditional propositions whose properties are already well known to logicians. The logical relations (oppositions) between the various determinations (and their negations) are investigated, as well as their respective implications (eductions). Thereafter, their interactions (in syllogistic reasoning) are treated in the most rigorous manner. The main question we try to answer here is: is (or when is) the cause of a cause of something itself a cause of that thing, and if so to what degree? The figures and moods of positive causative syllogism are listed exhaustively; and the resulting arguments validated or invalidated, as the case may be. In this context, a general and sure method of evaluation called ‘matricial analysis’ (macroanalysis) is introduced. Because this (initial) method is cumbersome, it is used as little as possible – the remaining cases being evaluated by means of reduction. Phase II: Microanalysis. Seeing various difficulties encountered in the first phase, and the fact that some issues were left unresolved in it, a more precise method is developed in the second phase, capable of systematically answering most outstanding questions. This improved matricial analysis (microanalysis) is based on tabular prediction of all logically conceivable combinations and permutations of conjunctions between two or more items and their negations (grand matrices). Each such possible combination is called a ‘modus’ and is assigned a permanent number within the framework concerned (for 2, 3, or more items). This allows us to identify each distinct (causative or other, positive or negative) propositional form with a number of alternative moduses. This technique greatly facilitates all work with causative and related forms, allowing us to systematically consider their eductions, oppositions, and syllogistic combinations. In fact, it constitutes a most radical approach not only to causative propositions and their derivatives, but perhaps more importantly to their constituent conditional propositions. Moreover, it is not limited to logical conditioning and causation, but is equally applicable to other modes of modality, including extensional, natural, temporal and spatial conditioning and causation. From the results obtained, we are able to settle with formal certainty most of the historically controversial issues relating to causation. Phase III: Software Assisted Analysis. The approach in the second phase was very ‘manual’ and time consuming; the third phase is intended to ‘mechanize’ much of the work involved by means of spreadsheets (to begin with). This increases reliability of calculations (though no errors were found, in fact) – but also allows for a wider scope. Indeed, we are now able to produce a larger, 4-item grand matrix, and on its basis find the moduses of causative and other forms needed to investigate 4-item syllogism. As well, now each modus can be interpreted with greater precision and causation can be more precisely defined and treated. In this latest phase, the research is brought to a successful finish! Its main ambition, to obtain a complete and reliable listing of all 3-item and 4-item causative syllogisms, being truly fulfilled. This was made technically feasible, in spite of limitations in computer software and hardware, by cutting up problems into smaller pieces. For every mood of the syllogism, it was thus possible to scan for conclusions ‘mechanically’ (using spreadsheets), testing all forms of causative and preventive conclusions. Until now, this job could only be done ‘manually’, and therefore not exhaustively and with certainty. It took over 72’000 pages of spreadsheets to generate the sought for conclusions. This is a historic breakthrough for causal logic and logic in general. Of course, not all conceivable issues are resolved. There is still some work that needs doing, notably with regard to 5-item causative syllogism. But what has been achieved solves the core problem. The method for the resolution of all outstanding issues has definitely now been found and proven. The only obstacle to solving most of them is the amount of labor needed to produce the remaining (less important) tables. As for 5-item syllogism, bigger computer resources are also needed. (shrink)

In view of the publication of the DSM-V researchers were asked to discuss the theoretical implications of the definition of mental disorders. The reasons for the use, in the DSM-III, of the term disorder instead of disease are considered. The analysis of these reasons clarifies the distinction between the general definition of disorder and its implicit, technical meaning which arises from concrete use in DSM disorders. The characteristics and limits of this technical meaning are discussed and contrasted to alternative definitions, (...) like Wakefield’s harmful/dysfunction analysis. It is shown that Wakefield’s analysis faces internal theoretical problems in addition to practical limits for its acceptance in the DSM-V. In particular, it is shown that: a) the term dysfunction is not purely factual but intrinsically normative/evaluative; b) it is difficult to clarify what dysfunctions are in the psychiatric context (the dysfunctional mechanism involved being unknown in most cases and the use of evolutionary theory being even more problematic); c) the use of conceptual analysis and commonsense intuition to define dysfunctions leaves unsatisfied empiricists; d) it is unlikely that the authors of the DSM-V will accept Wakefield’s suggestion to revise the diagnostic criteria of any single DSM disorder in accordance with his analysis, because this is an excessively extensive change and also because this would probably reduce DSM reliability. In conclusion, it is pointed up in which sense DSM mental disorders have to be conceived as constructs, and that this undermines the realistic search for a clear-cut demarcation criterion between what is disorder and what is not. (shrink)

A. Accident 1. We call an accident (συμβεβηκὸς) that which attaches to something and can be truly asserted, but neither of necessity nor usually.’ (Met. , Δ, 1025a14-16) 2. Whenever an accident attaches to a subject, it attaches to it not because it is that subject (μὴ διότι τοδὶ ἧν). (Met., Δ, 1025a21-24) 3. ‘There is no definite cause for an accident, but a chance cause, i.e. an indefinite one.’ (Met., Δ, 1025a24-25) 4. ‘The accident has happened or exists, -not (...) in virtue of itself, however, but of something else. (Met., Δ, 1025a28-29) 5. ‘What attaches to each thing in virtue of itself but is not in its substance is an accident.’ (Met., Δ, 1025a30-32) 6. ‘An accident is something which, though it is … neither a definition nor a property nor a genus, yet belongs to the thing.’ (To., I, 5, 102b4-) 7. An accident is ‘something which may either belong or not belong to any one and the self-same thing, as (e.g.) being seated may belong or not belong to some self-same thing.’ (To., I, 5, 102b4-) 8. ‘There is nothing to prevent an accident from becoming a temporary or relative property … [and] there is nothing to prevent an accident from becoming both a relative and a temporary property; but a property absolutely it will never be.’ Aristotle’s example is ‘being seated.’ That it is a temporary property is evident. It is also a relative property to those who are not seating when he is the only person sitting. Therefore, it is a temporary and also a relative property. 9. ‘In the case of accidents and in no other it is possible for something to be true in a certain respect and not universally’ and ‘there is nothing to prevent an attribute belonging in part’ so that it is open to dispute accidents e.g. being white or just about a man because he might be white or just in part only. Thus, ‘conversion is not a necessary process in the case of accidents.’ (To., B, 1, 109a9-) B. Essential versus accidental Aristotle distinguishes between two senses of being (τὸ ὄν): accidental sense (κατὰ συμβεβηκός) and essential sense (καθ᾿ αὑτό). The accidental sense happens when something is said to be another thing while there is in fact a third thing which is both of them. Thus, being the first thing is not by itself the second thing. a) Aristotle speaks of three ways in which one thing is said in an accidental sense to be another. (Met., Δ, 1017a8-22) i) When both the subject and the predicate are accidents of a third thing and it is in fact the third thing which ‘is’ by its own. Thus, when it is said e.g. that ‘The just is musical’ it is said accidentally because it is in fact a third thing, Socrates for example, which is just and musical. (Met., Δ, 1017a13-19) ii) When that to which the attribute belongs is. The example of this must be ‘the man is musical’ because it is in fact the man which is. iii) When the subject which has as an attribute that of which it is itself predicated, itself is. The example of this must be Aristotle’s third example: ‘The musical is man.’ b) Aristotle rejects the essential sense to categories: ‘Those things are said in their own right to be that are indicated by the figures of predication; for the senses of ‘being’ are just as many as these figures.’ (Met., Δ, 1017a22-24) Aristotle does not give us any example of the essential sense. Daniel W. Graham suggests that while essential predication is of the logical form of ‘S is P,’ the logical form of the accidental predication is ‘S has P.’ Although he concedes that the is/has contrast is not Aristotle’s, for which he thinks Aristotle prefers ‘said of’/’in’ terminology, he points to the discussion of ‘have’ in Cat. 15 as an evidence of its potential value for an analysis of predication. Kirwan analyses the distinction of essential and accidental predicate as such: while essential predicates ‘are identical with the subjects of which they are predicated; other predications are true in virtue of the fact that two distinct items, e.g. a substance and a quality, ‘coincide.’ Herman Weidemann believes ‘what divides a predicative statement which predicates essentially from a predicative statement which predicates accidentally is the fact that the former does- whereas the latter does not- answer the question what its subject cannot fail to be without ceasing to exist, as the somewhat its subject goes on existing, no matter what happens to be true of it during its existence, or, what kind of things its subject must be in order to be identifiable as one and the same object as long as it exists.’ C. Essential 1. Either the formula or the name of the subject of an essential attribute is involved in it. For example, animal is involved in female but not in white. (Met., Z, 1030b23-26) 2. Essential attributes, combined together, form a unity. Thus, e.g. animal and biped form a unity because they are both essential of man. (OI., II, 11, 21a14-16) 3. Aristotle distinguishes between two kinds of essential attributes (PsA., A, 4, 73a34-b3; 22, 84a12-17): a) Those attributes that belong to their subject as elements in its essential nature as e.g. line belongs to triangle or point to line. Here the very being of triangle is composed of line or that of line is composed of points: line is contained in the formula of triangle and point in that of line. b) Those attributes whose subjects are contained in their own defining formula as e.g. straight is an essential attribute of line because line is part of the defining formula of straight or odd belongs to number because number is part of the defining formula of odd. Every attribute that is related in neither of these two ways to its subject, it is not an essential but an accidental attribute. (PsA., A, 4, 73b3-5) 4. That attribute which is not predicated of a subject other than itself is an essential attribute. A substance cannot be predicated of anything but itself and is, thus, essential. (PsA., A, 4, 73b5-10) 5. A thing consequently co-stated with anything is essential. For example, if a beast dies when its throat is being cut, its death is also essentially connected with the cutting because the cutting was the cause of death, not death a coincidence of cutting. (PsA., A, 4, 73b10-15) 6. Essential attributes in both of this sense, either in the sense that their subjects are contained in them or in the sense that they are contained in their subjects, are necessary as well as consequently co-stated with their subjects. The reason is that it is impossible for them to inhere in their subjects either simply or in the qualified sense (that one or other of a pair of opposites must inhere in the subject as e.g. one of straight or curve must be necessarily predicable of a line or one of odd or even of number). (PsA., A, 4, 73b16-21; 6, 74b5-12; B, 96b1-5) 7. Only those attributes that are within a genus are essential and possessed by their respective subjects as such and, thus, are necessary. Thereupon, both the conclusion and the premises of demonstrations which produce scientific knowledge are essential. (PsA., A, 6, 75a28-31) Therefore, ‘the extreme and the middle terms must be drawn from the same genus; otherwise, as predicated, they will not be essential and will thus be accidents.’ (PsA., A, 6, 75b10-12) Also, the theorems of a science can be demonstrated by means of another science only when they are related as subordinate to superior. (PsA., A, 6, 75b13-) 8. Our knowledge of the connexion of an attribute with a subject is essential only when ‘we know that connexion through the middle term in virtue of which it inheres (καθ᾿ὃ ὑπἀρχει), and as an inference from basic premises essential and ‘appropriate’ to the subject.’ The essential belonging of the middle to the minor has a necessary connexion with its belonging to the same genus of the major and minor: ‘If that middle term also belongs essentially to the minor, the middle must belong to the same genus as the major and minor terms (ἀνάγκη τὸ μέσον ἐν τῇ αὐτῇ συγγενείᾳ εἶναι). (PsA., A, 9, 76a4-9) 9. In an essential predication, the predicate is signified of a subject identical with itself or with a species of itself. Since only predicates which signify substance signify that the subject is identical with the predicate or with a species of the predicate, predicates signifying substance are essentially predicated and any other predicate is accidental or coincidental. Thus, while animal is essentially predicated of man because man is identical with a species of animal, white is accidentally predicated of man because man is neither identical with white nor a species of it. (PsA., A, 22, 83a24-32) Weidemann discusses the confusion between essential predications and statements of identity. He warns that the expression ‘(to be) just what a man is’ (analogous to the Greek phrase ‘(εἶναι) ὃπερ ἀνθρώπον) ought not to be confused with the expression ‘just what it is for a man to be,’ which renders the phrase τὸ ὃπερ ἀνθρώπῳ εἶναι’ (1007a22, 23, 27-28); a confusion Kirwan discusses. 10. ‘Demonstration proves the inherence of essential attributes in things.’ (PsA., A, 22, 84a11-12) 11. ‘Nothing which does not happen to belong to the genus is essentially the genus; e.g. a white man is not essentially a color.’ Thus, while justice falls within the genus, a just man does not. (To., Γ, 1, ^116a24-) 12. There is no syllogism of essence (ti esti). Nevertheless, we come to know ti esti through a demonstration. (93b15-20; cf. 93b25-28) D. Accidental 1. An accidental attribute cannot be predicated of a subject universally. Thus, we cannot say ‘Every man is musical.’ The reason is that ‘universal attributes belong to things in virtue of their nature.’ Therefore, accidental predicates are predicated only of the individuals. (Met., Δ, 1017b33-1018a2) 2. An accidental is a mere name. (Met., E, 1026b13-) 3. An accidental is obviously akin to non-being. (Met., E, 1026b21) 4. ‘That which is neither always nor for the most part we call accidental.’ (Met., E, 1026b27-33) 5. The matter (ὕλη) is the cause of the accidental because it is matter which is capable of being otherwise than as it for the most part is. (Met., E, 1027a13-16) In fact, there is cause or principle of the incidental of the same kind as there are of the essential because if there were, everything would be of necessity. (Met., K, 1065a6-8) The causes of accidental are unordered and indefinite. (Met., K, 1065a25-26) 6. Since all science is either of that which is always or of that which is for the most part, there is no science of the accidental. (Met., E, 1027a19-24; K, 1064b30-1065a6) Therefore, since an accident may also not inhere and, thus, it is impossible to prove its inherence as a necessary conclusion, there is no demonstrative knowledge of accidents. (PsA., A, 6, 75a18-23) 7. The accidental is not necessary but indeterminate. (Met., K, 1065a24-26) 8. The co-positing of a subject and a predicate which are accidental either to the same subject or to one another, whiteness and being musical for instance, does not form a unity. (OI, II, 11, 21a7-14) 9. Negative predicates, i.e. predicates including a ‘not,’ are accidental predicates. Thus, if good be an essential predicate of a subject, ‘not bad’ cannot be essential but is accidental. (OI., II, 14, 23b15-20) 10. Every attribute which does not belong to its subject in either of two senses of essential attribute (cf. PsA., A, 4, 73a34-b3), namely, belonging to their subjects as an element of its formula or their subjects belonging to them as an element of them, is an accidental attribute. (PsA., A, 4, 73b3-5) 11. Those attributes that are predicated of a subject other than themselves are accidental attributes. Thus, everything except substance is an accidental in this sense. (PsA., A, 4, 73b5-10) 12. A thing not consequentially connected with anything is accidental. For example, in ‘while he was walking it lightened,’ the lightening was not due to his walking but was a coincidence. (PsA., A, 4, 73b10-15) 13. Those attributes that are not within a genus are accidental attributes. (PsA., A, 6, 75a28-31) Therefore, the extreme and middle terms that are not drawn from the same genus are accidents. (PsA., A, 6, 75b10-12) Moreover, to apply an attribute to subjects in different genera afford knowledge of the attribute, only as inhering accidentally, not as belonging to its subject as such.’ (PsA., A, 9, 75b38-76a3) . (shrink)

During the idea generation phase of the design process, designers often search for inspirations in external sources of information, such as photographs, written descriptions and physical examples. These sources have potential to enhance creative performance. However, they sometimes become too attached to particular ideas of external precedents or various examples. It refers to fixation which is identified as inadequate adoption of features from existing examples. Influence of the existing examples on creativity and fixation, specifically textual examples, have been discussed in (...) this research. -/- For the nature of design, researchers highlighted the restructuring process of design problem by new sources because the capabilities and boundaries of design problems are not defined very well. Further, the design problem is not knowable at any specific point. Design knowledge identifies itself by its ambiguity. Many models have been developed for design process. The various numbers of divided phases of the models can be seen as having two main areas: (1) idea generation phase (or “ideation”); (2) later phase for details. Idea generation plays an important role in the design process. It is the area of new and creative configurations on design. -/- Creativity is an integral part of the design process. Designers purpose to achieve original ideas to demonstrate their ability and unique designs. External stimuli or inspirational inputs play important roles to increase creativity. They can support moments of stimulation. Associations between information from memory and external stimuli can contribute to the creation of new meanings. Designers are widely influenced by their surroundings in daily lives. However, each stimulus may not be the part of a more creative result Even if designers want to utilize stimulus as an inspirational source, somehow it may fixate their mind to its surface features and they may lose potential creative contributions of the source. It is called fixation. There is much research that shows significant evidence of conformity effects across the design problems. -/- The given examples to designers may cause higher-level fixation and lower-level creativity or vice versa. Fixation may occur when example solutions are introduced, on the other hand, the designers may create more original ideas as well. There is a need for research to find ways to avoid fixation traps or reduce their adverse impact. Thus, this research focuses on variables of the given example. -/- The following claims show some research areas remained unclear: (1) Some researchers investigated textual examples as - one of the modalities of representation - but did not focus on forms of textual examples. (2) Much research has been conducted with examples which are selected by the researcher. Nevertheless, designers can also choose or produce their own stimuli. There is not much research on this possibility. In this context, my research focuses on the following two variables through two studies (Study 1 and 2): (1) forms of textual examples; (2) self-construction of textual examples. First, most of the studies in the literature have focused on visual presentation and there is not enough research on the content and form of the text. The study of textual examples has still not been awarded enough attention especially as various forms of text. Some forms of text are as follows: keyword, paragraph, sentence, poem. These observations lead me to the following research question: Which forms of textual example increase creativity and reduce fixation more? (Study 1). -/- Second, most of the studies regarding textual examples have used prose or keywords. The poems have been ignored. However, poems imply more meaning with fewer words. The structure of the poems enables more creative narratives than structure of prose. Because unusual organization of words stimulates the readers and draws their attention. This activates the creative performance of the reader. The surrealist poem is the extreme form of this activation. It is random assemblies with headlines and sentences which is cut from newspapers. Thus, novel meaning networks are formed. The method of creating a surrealist poem offers a new way of getting inspiration. It is termed as self-construction practice by this research. Through this method, designers create their own example from the given one. Reconstruction of the text may increase the creative process and prevent fixations from the given text. This suggestion led me to the following research question: If the designers write their own poem instead of a given poem (as a self-construction practice), can they internalize the textual example? In addition, does it produce more creative and less fixated designs? (Study 2). Two experimental studies were planned to partially answer the research questions, in which novice students of architecture were asked to solve two different design problems, under different conditions. All of the experimental sessions were conducted in a design education studio. The participants produced sketches and added a written explanation relating to their designs. Fluency, flexibility and repetition of key attributes were calculated by the researcher. -/- Originality, practicality, understanding of the task and quality were ranked by judges. Study 1 shows us tendencies of using various textual forms. Distinctions of keywords and of poems have appeared among them. This emphasizes the role of keyword and poem in the design process as inspirational sources and provides many tips for their potential use. The keyword also leads to a high degree of fixation. However, a low degree of fixation is observed when poems are presented as inspirational examples. -/- In Study 2, the self-constructed poem seems to support develop more successful design ideas from many perspectives. In the context of the surrealist poem, writing and reading the surrealist poem trigger the designers’ imagination. At first, the words and lines of poems seem unrelated to each other and designers try to relate them and solve the puzzle of meaning. Hence, novel meaning networks are formed. It indicates that surrealist poems are able to activate the creative performance of the designers. Writing their own surrealist poems ,as a self-construction practice, motivated designers to begin to produce by having fun. Motivated designers have stimulated themselves to produce creative ideas. In other words, the self-construction process may be added to the design process models in the earlier part of the idea generation phase which is called as pre-design and warm-up phase. This earlier phase makes designers highly motivated and they internalized the given examples. -/- Following the conclusions, several implications and recommendations for the design process and education are discussed. (shrink)

شنت الولايات المتحدة الأمريكية حربا على العراق عام 2003 بدعوى أن العراق يمتلك أسلحة دمار شامل، ثم تبين للعالم عدم صحة هذه الدعوى، وقال الناس: لقد كذبت الإدارة الأمريكية. كانت نظرية المعرفة التقليدية تنسب المعرفة إلى الذات العارفة الفردية، وتركز على الفاعلين الأفراد وحالاتهم الاعتقادية، مثل "يعتقد أحمد بقضية معينة". أما أن ننسب الحالات المعرفية إلى الجماعات مثل " كذبت الإدارة الأمريكية"، فهذا تحول في الإبستمولوجيا إلى الفاعل الجماعي. إبستمولوجيا الجماعات epistemology of groups حقل فرعي من الإبستمولوجيا الاجتماعية. يهدف إلى (...) استكشاف الخصائص والعمليات المعرفية على مستوى الجماعة. ظهر بصورة واضحة مع مطلع القرن الحادي والعشرين، فعقدت له مؤتمرات وطنية ودولية، وظهرت البحوث والكتب التي تعنى بموضوعاته الأساسية مثل معرفة الجماعة، واعتقاد الجماعة، وتسويغ الجماعة، وفهم الجماعة، وعقلانية الجماعة وموضوعيتها، وفضيلة الجماعة، واختلاف الجماعة، واستقطاب الجماعة، وذكاء الجماعة، وَهَلُمَّ جَرّاً. ويضيف هذا الكتاب إلى المناقشات المتطورة في المعرفة الاجتماعية عامة، ونظرية المعرفة الجماعية خاصة. ويوفر مسارًا يسهل الوصول إليه في موضوع إبستمولوجيا الجماعات، مع فصول منظمة بشكل ملائم ومصطلحات فنية محددة ومفسرة بوضوح. ويطور نظريات لها جاذبية تتجاوز الفلسفة إلى تخصصات مثل الاقتصاد والقانون وعلم النفس الاجتماعي والعلوم السياسية. The United States of America launched a war against Iraq in 2003 claiming that Iraq possesses weapons of mass destruction, then it became clear to the world that this claim was not true, and people said: The American administration lied. The traditional theory of knowledge attributed knowledge to the individual knowing subject, and focused on individual actors and their belief states, such as "Ahmed believes in a certain proposition". As for attributing cognitive states to groups, such as “the American administration lied,” this is a shift in epistemology to the collective actor. The epistemology of groups is a subfield of social epistemology. It aims to explore the characteristics and cognitive processes at the group level. It appeared clearly at the beginning of the twenty-first century, so national and international conferences were held for it, and research and books appeared that deal with its basic topics such as group knowledge, group belief, group justification, group understanding, group rationality, and objectivity, group virtue, group difference, group polarization, and group intelligence, and so on. This book adds to the cutting-edge debates on social epistemology generally, and collective epistemology more specifically. Provides a very accessible path into the topic of an epistemology of groups, with conveniently organized chapters and technical terms clearly defined and explained. Develops theories that have appeal beyond philosophy, for disciplines such as economics, law, social psychology, and political science. (shrink)

Climate change is today one of the greatest risks to peace and security, but arguably remains at the margins of policy action amid the loss of trust in multilateral institutions. The impacts of climate change are already felt by local communities in regions on the frontline. While communities have exercised agency to generate local impact and promote trust, the overwhelming impact of climate change necessitates effective state responses, and regional and global cooperation. Global cooperation, in turn, needs to better address (...) the challenges to peace and security faced by regions most exposed to the impacts of climate change. Southeast Asia is already experiencing direct climate change impacts from changes in temperature, precipitation, sea-level rise, ocean warming, and more frequent and intense extreme weather events. The subsequent indirect climate change impacts on food and water security, and changes in natural resource exploitation and migration patterns, affect the lives and livelihoods of people and communities across the highly diverse region and threaten its peace and security. In Southeast Asia, the cross-cutting impacts of climate change on peace and security can be analysed through the framework of comprehensive security. Comprehensive security is the organising concept of security in the region, integrated and widely reflected in the security lexicon in the ASEAN region and beyond. Unlike the conventional notion of security, which is narrowly defined to mean defending state borders from military attack, comprehensive security is a much broader conceptualisation of security that “[goes] beyond (but does not exclude) the military threats to embrace the political, economic and socio-cultural dimensions.". (shrink)

The development of the science of poverty has largely been driven by the need to define more precisely what poverty is, as well as to provide theoretical and empirical criteria for identifying those who suffer from it. This thesis focuses on a notable response to these and related questions: the conception and measure of poverty by the British sociologist Peter Townsend. Townsend defines poverty as relative deprivation caused by lack of resources. This conception, along with his corresponding cut-off measure, constitutes (...) some of the key components of his theory of poverty. The theory discusses what poverty is, its causes, and how it can be eradicated, and is detailed in Poverty in the United Kingdom: A Survey of Household Resources and Standards of Living (1979), his magnum opus. The primary aim of this thesis is to interpret the theory from Townsend’s adherence to the value-free ideal. He pursued this ideal in response to what he perceived as the pervasive and deleterious influence of moral and political values on measures, theories, and policies on poverty throughout its scientific and political history. I argue that to be free from such influence, Townsend aimed to be as guided by epistemic values as possible, which resulted in a systematic theory of poverty. -/- The thesis is structured as follows: In Chapter 1, I situate Townsend’s conception and measurement of poverty within the context of both the recent history of scientific poverty lines and the most important approaches to measuring the phenomenon. Chapter 2 discusses the systematic nature of the theory, including its role as a middle-range theory that bridges broad-range theories with empirical data. This connection is achieved through several elements: a conception of poverty; hypotheses and anthropological observations related to the elements of the conception; measures to test these hypotheses; an explanation of poverty; and reports on how the research was conducted. Furthermore, Townsend’s theory aligns with Bradburn et al.’s (2017) measurement theory, which asserts that a good measure must include a conception of the relevant phenomenon, a representation, and procedures to gather data. Additionally, all three components must be supported by arguments showing that they fit together properly. -/- In the remaining chapters, I present and discuss the main elements of the theory: his conception of poverty as relative deprivation caused by lack of resources, along with the related hypotheses and observations (Chapter 3); the representations of this conception and the procedures for data collection, processing, as well as ensuring their reliability (Chapter 4); and the explanation of poverty (Chapter 5). I conclude by presenting what Townsend considered the “policy prescriptions” of his theory. Despite its potential shortcomings, I also argue that Townsend’s theory fulfills an important epistemic value: fruitfulness. (shrink)

The purpose of this paper is to introduce a bi-intuitionistic sequent calculus and to give proofs of admissibility for its structural rules. The calculus I will present, called SC2Int, is a sequent calculus for the bi-intuitionistic logic 2Int, which Wansing presents in [2016a]. There he also gives a natural deduction system for this logic, N2Int, to which SC2Int is equivalent in terms of what is derivable. What is important is that these calculi represent a kind of bilateralist reasoning, since they (...) do not only internalize processes of verifcation or provability but also the dual processes in terms of falsifcation or what is called dual provability. In [Wansing, 2017] a normal form theorem for N2Int is stated, here, I want to prove a cut-elimination theorem for SC2Int, i.e., if successful, this would extend the results existing so far. (shrink)

Without doubt, terrorism is one of the most vehemently debated subjects in current political affairs as well as in academic discourse. Yet, although it constitutes an issue of general socio-political interest, neither in everyday language nor in professional (political, legal, or academic) contexts does there exist a generally accepted definition of terrorism. The question of how it should be defined has been answered countless times, with as much variety as quantity in the answers. In academic discourse, it is difficult to (...) find two scholars who use the term ‘terrorism’ in the same way. -/- While it is impossible to formulate a definition which satisfies everyone, discussing the definition question is indispensable. The necessity to review existing definitions with a view to improving them is especially obvious in legal and political contexts. How terrorism is defined in these contexts has serious consequences, and if we lack clear definitions we run into problems. How can we have laws or take political measures against something we have not clearly defined? Without doubt, there exists a practical necessity for a definition in these fields. It is important to have clear standards for defining terrorism. -/- In my view, the definition should meet three basic criteria: first, it should cover those cases that we concurrently consider to be instances of terrorism (such as the attacks on the World Trade Center in New York and the Pentagon in September 2001 or those on commuting trains in Madrid Atocha in March 2004). That is, ideally, our definition of terrorism remains close to uncontroversial usages of the term. Second, the definition should abstain from morally judging the act in question. Later I will say more about so called “moral” definitions of terrorism. For now, it suffices to say that defining an action and evaluating it are distinct tasks and should remain so. Third, the definition must identify characteristics that are specific to terrorism alone, characteristics which clearly distinguish it from other phenomena. (shrink)

A map is not its territory. Taking a map too seriously may lead to pernicious reification: map and world are conflated. As one family of cases of such reification, I focus on maps exuding the omphalos syndrome, whereby a centred location on the map is taken to be the world navel of, for instance, an empire. I build on themes from my book _When Maps Become the World_, in which I analogize scientific theories to maps, and develop the tools of (...) assumption archaeology and integration platforms. Here I argue that excavating assumptions helps fill cartographic silences, showing the limitations of perspectives often at war. Furthermore, integrating perspectives permits resisting imperial central or master images. A worthwhile future project would be a repository of world-navel maps, critically annotated with cultural context and imperial information. Mutual understanding may result from such an integration platform, perhaps implemented online or in a museum. (shrink)

In ‘Towards a Solution to the Sorites Paradox’, Graham Priest gives us a new account of the sorites based on fuzzy logic. The novelty lies in the suggestion that truth-value assignments should themselves be treated as fuzzy objects, i.e., objects about which we can make fuzzy identity statements. I argue that Priest’s solution does not have the explanatory force that Priest advocates. That is, it does not explain why we find the existence of a cut-off point counter-intuitive. I also argue (...) that this sort of explanation calls for a general theory that goes beyond the special case of linguistic vagueness, for the phenomenon is at bottom not linguistic. (shrink)

Cutting God in Half argues that, in order to tackle climate change, world poverty, extinction of species and our other global problems rather better than we are doing at present we need to bring about a revolution in science, and in academia more generally. We need to put our problems of living – personal, social, global – at the heart of the academic enterprise. How our human world, imbued with meaning and value, can exist and best flourish embedded in the (...) physical universe is, the book argues, our basic problem. It is our fundamental philosophical problem, our fundamental problem of knowledge and understanding, and our fundamental practical problem of living. It is this problem that we fail, at present, to recognize as fundamental – to our cost. It can be understood to arise as a result of cutting God in half – severing the God of Cosmic Power from the God of Value. The first is Einstein’s God, the underlying unity in the physical universe that determines how events occur. The second is what is of most value associated with human life – and sentient life more generally. Having cut God in half in this way, the problem then becomes to see how the two halves can be put together again. This book tackles outstanding aspects of this problem, and in doing so throws out original ideas about science, education, religion, evolutionary theory, free will, quantum theory, and how we should go about tackling our impending global crises. It transpires that bringing our basic problem into sharp focus has revolutionary implications. It becomes clear how and why many aspects of our social and cultural world urgently need to be transformed. Cutting God in Half is written in a lively, accessible style, and ought to be essential reading for anyone concerned about ultimate questions – the nature of the universe, the meaning of life, the future of humanity. (shrink)

In recent years, the e ffort to formalize erotetic inferences (i.e., inferences to and from questions) has become a central concern for those working in erotetic logic. However, few have sought to formulate a proof theory for these inferences. To fill this lacuna, we construct a calculus for (classes of) sequents that are sound and complete for two species of erotetic inferences studied by Inferential Erotetic Logic (IEL): erotetic evocation and regular erotetic implication. While an attempt has been made to (...) axiomatize the former in a sequent system, there is currently no proof theory for the latter. Moreover, the extant axiomatization of erotetic evocation fails to capture its defeasible character and provides no rules for introducing or eliminating question-forming operators. In contrast, our calculus encodes defeasibility conditions on sequents and provides rules governing the introduction and elimination of erotetic formulas. We demonstrate that an elimination theorem holds for a version of the cut rule that applies to both declarative and erotetic formulas and that the rules for the axiomatic account of question evocation in IEL are admissible in our system. (shrink)

I prove that the Boolean Prime Ideal Theorem is equivalent, under some weak set-theoretic assumptions, to what I will call the Cut-for-Formulas to Cut-for-Sets Theorem: for a set F and a binary relation |- on Power(F), if |- is finitary, monotonic, and satisfies cut for formulas, then it also satisfies cut for sets. I deduce the CF/CS Theorem from the Ultrafilter Theorem twice; each proof uses a different order-theoretic variant of the Tukey- Teichmüller Lemma. I then discuss relationships between various (...) cut-conditions in the absence of finitariness or of monotonicity. (shrink)

In order to solve the problem of the monstrous acts that an all-powerful, all-knowing God would daily be performing, we need to sever the God of Power from the God of Value. The former is the underlying dynamic unity in the physical universe, eternal, omnipresent, all-powerful, but an It, and thus not capable of knowing what It does. It can be forgiven the terrible things It does. The latter is what is of most value associated with our human world - (...) or the world of sentient life more generally. Having performed this surgical operation on God, the problem then becomes: How can we put the two halves of God together again? How can our human world, imbued with experiential qualities, consciousness, free will meaning and value, exist and best flourish, embedded as it is in the physical universe? This is our fundamental problem - philosophical, intellectual and practical. It is our fundamental religious problem. (shrink)

We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames.

I show that the Lottery Paradox is just a version of the Sorites, and argue that this should modify our way of looking at the Paradox itself. In particular, I focus on what I call “the Cut-off Point Problem” and contend that this problem, well known by Sorites scholars, ought to play a key role in the debate on Kyburg’s puzzle. Very briefly, I show that, in the Lottery Paradox, the premises “ticket n°1 will lose”, “ticket n°2 will lose”… “ticket (...) n°1000 will lose” are equivalent to soritical premises of the form “~(the winning ticket is in {…, (tn)}) ⊃ ~(the winning ticket is in {…, tn, (tn + 1)})” (where “⊃” is the material conditional, “~” is the negation symbol, “tn” and “tn + 1” are “ticket n°n” and “ticket n°n + 1” respectively, and “{}” identify the elements of the lottery tickets’ set. The brackets in “(tn)” and “(tn + 1)” are meant to point out that in the antecedent of the conditional we do not always have a “tn” (and, as a result, a “tn + 1” in the consequent): consider the conditional “~(the winning ticket is in {}) ⊃ ~(the winning ticket is in {t1})”). As a result, failing to believe, for some ticket, that it will lose comes down to introducing a cut-off point in a chain of soritical premises. In this paper I explore the consequences of the different ways of blocking the Lottery Paradox with respect to the Cut-off Point Problem. A heap variant of the Lottery Paradox is especially relevant for evaluating the different solutions. One important result is that the most popular way out of the puzzle, i.e., denying the Lockean Thesis, becomes less attractive. Moreover, I show that, along with the debate on whether rational belief is closed under classical logic, the debate on the validity of modus ponens should play an important role in discussions on the Lottery Paradox. -/- . (shrink)

In free speech theory ‘speech’ has to be defined as a special term of art. I argue that much free speech discourse comes with a tacit commitment to a ‘Subtractive Approach’ to defining speech. As an initial default, all communicative acts are assumed to qualify as speech, before exceptions are made to ‘subtract’ those acts that don’t warrant the special legal protections owed to ‘speech’. I examine how different versions of the Subtractive Approach operate, and criticise them in terms of (...) their ability to yield a substantive definition of speech which covers all and only those forms of communicative action that – so our arguments for free speech indicate – really do merit special legal protection. In exploring alternative definitional approaches, I argue that what ultimately compromises definitional adequacy in this arena is a theoretical commitment to the significance of a single unified class of privileged communicative acts. I then propose an approach to free speech theory that eschews this theoretical commitment. (shrink)

To be optimistic, it is standardly assumed, is to have positive expectations. I here argue that this definition is correct but captures only one variety of optimism – here called factual optimism. It leaves out two other important varieties of optimism. The first – focal optimism – corresponds to the idea of seeing the glass half full. The second – axiological optimism – consists in the view that good is stronger than bad. Those three varieties of optimism are irreducible to (...) each other and do not belong to a common kind. I define each of these, characterize their respective correctness conditions, and contrast hope with optimism. (shrink)

The paper deals with polymodal languages combined with standard semantics defined by means of some conditions on the frames. So, a notion of "polymodal base" arises which provides various enrichments of the classical modal language. One of these enrichments, viz. the base £(R,-R), with modalities over a relation and over its complement, is the paper's main paradigm. The modal definability (in the spirit of van Benthem's correspondence theory) of arbitrary and ~-elementary classes of frames in this base and in some (...) of its extensions, e.g., £(R,-R,R-1 ,_R-1), £(R,-R,=I=) etc., is described, and numerous examples of conditions definable there, as well as undefinable ones, are adduced. (shrink)

When the benefits of surgery do not outweigh the harms or where they do not clearly do so, surgical interventions become morally contested. Cutting to the Core examines a number of such surgeries, including infant male circumcision and cutting the genitals of female children, the separation of conjoined twins, surgical sex assignment of intersex children and the surgical re-assignment of transsexuals, limb and face transplantation, cosmetic surgery, and placebo surgery.

In international law and just war theory, war is treated as normatively and legally unique. In the context of international law, war’s special status gives rise to a specific set of belligerent rights and duties, as well as a complex set of laws related to, among other things, the status of civilians, prisoners of war, trade and economic relationships, and humanitarian aid. In particular, belligerents are permitted to derogate from certain human rights obligations and to use lethal force in a (...) far more permissive manner than is the case in other kinds of conflicts and in domestic law enforcement operations. Given war’s unique status, the task of defining war requires not just identifying the empirical features that are characteristic of war but explaining and justifying war’s special legal and moral status. In this chapter, I propose a definition of war that captures war’s unique features and can offer insights into when and how some forms of unarmed conflict could count as wars. (shrink)

In this paper, a metal cutting machine position control have been designed and simulated using Matlab/Simulink Toolbox successfully. The open loop response of the system analysis shows that the system needs performance improvement. Static output feedback and full state feedback H 2 controllers have been used to increase the performance of the system. Comparison of the metal cutting machine position using static output feedback and full state feedback H 2 controllers have been done to track a set point position using (...) step and sine wave input signals and a promising results have been analyzed. (shrink)

The perhaps most important criticism of the nontransitive approach to semantic paradoxes is that it cannot truthfully express exactly which metarules preserve validity. I argue that this criticism overlooks that the admissibility of metarules cannot be expressed in any logic that allows us to formulate validity-Curry sentences and that is formulated in a classical metalanguage. Hence, the criticism applies to all approaches that do their metatheory in classical logic. If we do the metatheory of nontransitive logics in a nontransitive logic, (...) however, there is no reason to think that the argument behind the criticism goes through. In general, asking a logic to express its own admissible metarules may not be a good idea. (shrink)

The paper studies a cluster of systems for fully disquotational truth based on the restriction of initial sequents. Unlike well-known alternative approaches, such systems display both a simple and intuitive model theory and remarkable proof-theoretic properties. We start by showing that, due to a strong form of invertibility of the truth rules, cut is eliminable in the systems via a standard strategy supplemented by a suitable measure of the number of applications of truth rules to formulas in derivations. Next, we (...) notice that cut remains eliminable when suitable arithmetical axioms are added to the system. Finally, we establish a direct link between cut-free derivability in infinitary formulations of the systems considered and fixed-point semantics. Noticeably, unlike what happens with other background logics, such links are established without imposing any restriction to the premisses of the truth rules. (shrink)

Hilbert arithmetic in a wide sense, including Hilbert arithmetic in a narrow sense consisting by two dual and anti-isometric Peano arithmetics, on the one hand, and the qubit Hilbert space (originating for the standard separable complex Hilbert space of quantum mechanics), on the other hand, allows for an arithmetic version of Gentzen’s cut elimination and quantum measurement to be described uniformy as two processes occurring accordingly in those two branches. A philosophical reflection also justifying that unity by quantum neo-Pythagoreanism links (...) it to the opposition of propositional logic, to which Gentzen’s cut rule refers immediately, on the one hand, and the linguistic and mathematical theory of metaphor therefore sharing the same structure borrowed from Hilbert arithmetic in a wide sense. An example by hermeneutical circle modeled as a dual pair of a syllogism (accomplishable also by a Turing machine) and a relevant metaphor (being a formal and logical mistake and thus fundamentally inaccessible to any Turing machine) visualizes human understanding corresponding also to Gentzen’s cut elimination and the Gödel dichotomy about the relation of arithmetic to set theory: either incompleteness or contradiction. The metaphor as the complementing “half” of any understanding of hermeneutical circle is what allows for that Gödel-like incompleteness to be overcome in human thought. (shrink)

The present study investigated freehand cutting technique in dressmaking as an entrepreneurial skill among secondary school students for sustainable development in Port Harcourt Metropolis. The researcher employed a descriptive survey research design. The study was conducted in Port Harcourt, Rivers State. The population for the study included all students in eight government secondary schools in Rivers State. A sample of 25 students was randomly selected from each of the schools, resulting in a total of 200 respondents. The researcher created a (...) self-made questionnaire. The results emphasized the importance of teaching freehand cutting technique in dressmaking in secondary schools, as well as the need to provide Nigerian youths with training in various skills, such as creativity and innovation, entrepreneurship skills, managerial experience, and record keeping. (shrink)

Language defines human existence. Yet defining language is a fraught project. I use the term "language" to refer to a specific mode of information transfer. First, it is a communicative mode. By communication I mean the information transfer serves a function, that is, an activity that occurs because it has increased the evolutionary fitness of ancestors. Secondly, while all communication is governed by norms, human communication, as opposed to biological communication, is governed by norms that have evolved within the learned (...) traditions of individual cultures. The meaning of an assertion in a culture’s language is the set of commitments to which that culture holds its speakers when they utter that assertion. Syntax has appeared in recent evolution to facilitate and enrich the communicative function, but it is a secondary aspect of language. The defining characteristic of human communication, of "language," -- is its capacity to constitute meaning. (shrink)