Theorems in automated theorem proving are usually proved by formal logical proofs. However, there is a subset of problems which humans can prove by the use of geometric operations on diagrams, so called diagrammatic proofs. Insight is often more clearly perceived in these proofs than in the corresponding algebraic proofs; they capture an intuitive notion of truthfulness that humans find easy to see and understand. We are investigating and automating such diagrammatic reasoning about mathematical theorems. Concrete, rather than general diagrams (...) are used to prove particular concrete instances of the universally quantified theorem. The diagrammatic proof is captured by the use of geometric operations on the diagram. These operations are the inference steps of the proof. An abstracted schematic proof of the universally quantified theorem is induced from these proof instances. The constructive -rule provides the mathematical basis for this step from schematic proofs to theoremhood. In this way we avoid the difficulty of treating a general case in a diagram. One method of confirming that the abstraction of the schematic proof from the proof instances is sound is proving the correctness of schematic proofs in the meta-theory of diagrams. These ideas have been implemented in the system, called Diamond, which is presented here. (shrink)

Heidegger’s philosophy has influenced largely the humanities and arts and has also been a source of interest in architecture. Although Heidegger has written on architecture, this paper will argue that one of the key topics in his philosophy, intertwined with architecture, is the concept of home (das Heim). In Heidegger’s philosophy, the homely (das Heimische) was intertwined with its opposition, the uncanny (das Unheimliche). This paper discusses the different understandings of home in Heidegger’s seminal works. The paradoxical structure of home (...) in Heidegger’s philosophy is discussed, as home in Heidegger’s philosophy is impossible for modern man with his horrifying nature, perpetuated by the uncanny. (shrink)

Popular culture continues fuelling public imagination with things, human and non-human, that we might beco-me or confront. Besides robots, other significant tropes in popular fiction that generated images include non-human humans and cyborgs, wired into his-torically varying sociocultural realities. Robots and artificial intelligence are re-defining the natural order and its hierar-chical structure. This is not surprising, as natural order is always in flux, shaped by new scientific discoveries, especially the reading of the genetic code, that reveal and redefine relationships between (...) life forms. However, for the first time, a new, artificial, species is being introduced into the existing diagrams, and, for the first time, it appears to hybridise the anthro-pocentric natural world order. (shrink)

Modernist Architecture and Ruins: On Ruins as a Minus, Neoclassicism and the Uncanny.

Mounting evidence documents the extraordinary toll on human health resulting from the consumption of unhealthy food products and physical inactivity. Diseases related to poor nutrition – such as diabetes, heart disease, stroke, and some cancers – are among the leading causes of disability and death in the United States. Poor diet and lack of exercise come second only to tobacco use in actual causes of preventable death in this country. It is estimated that 6% of all adult health care, 7% (...) of Medicare, and 11% of Medicaid expenditures are attributable to obesity. According to the Centers for Disease Control and Prevention, the direct medical cost associated with physical inactivity was nearly $76.6 billion in 2000.In response to America's growing obesity problem, local policymakers have been looking for legal strategies to adopt in their communities to encourage healthful behaviors. Taking the lead from the successful tobacco control movement, nutrition advocates are seeking strategies to “denormalize” unhealthy behaviors, rather than pursuing education-based approaches that encourage individuals to change their own personal behavior. (shrink)

Inquisitive logic is an extension of classical logic which can express questions. To enable this expressiveness, a possible world semantics is used. So, it is natural to combine inquisitive and modal logic, thus obtaining the inquisitive modal logic $$\textrm{InqML}$$. This paper contributes to the model theory of $$\textrm{InqML}$$. We show that the filtration technique can be adapted to the inquisitive logic semantics. Using filtrations, we prove that $$\textrm{InqML}$$ has the finite model property, i.e., every satisfiable formula is satisfiable in a (...) finite model. As a consequence, we obtain that $$\textrm{InqML}$$ is decidable. Finally, we study filtrations over particular model classes and we prove that some extensions of $$\textrm{InqML}$$ are also decidable. (shrink)

In this paper we present an approach to automated learning within mathematical reasoning systems. In particular, the approach enables proof planning systems to automatically learn new proof methods from well-chosen examples of proofs which use a similar reasoning pattern to prove related theorems. Our approach consists of an abstract representation for methods and a machine learning technique which can learn methods using this representation formalism. We present an implementation of the approach within the ΩMEGA proof planning system, which we call (...) LEARNΩMATIC. We also present the results of the experiments that we ran on this implementation in order to evaluate if and how it improves the power of proof planning systems. (shrink)

Ovaj rad bavi se presjekom umjetnosti, imaginacije, emocija i etičkog obrazovanja iz perspektive inovativne sinteze kognitivne teorije emocija i Gestalt pedagogije. Jedan od elemenata ove sinteze kognitivna je teorija emocija kakvu podržava Martha Nussbaum. Emocije se shvaćaju kao procjene koje se odnose na percepciju svijeta oko nas. Emocije su naši stavovi, razumijevanja i evaluacije svijeta iz perspektive naših ciljeva i projekata. To se pokazalo kao odlična polazišna točka za proučavanje emocija i drugih domena unutar etike obrazovanja. U ovom radu uvodim (...) pojam ‘iskustvene imaginacije’ i ukazujem na njezine metodologije koje smo razvili kao dio istraživanja preklapanja Gestalt pedagogije, kognitivne teorije emocija i pristupa etici iz perspektive umijeća življenja. Potom predstavljam sintezu kognitivne teorije emocija i Gestalt pedagogije, nakon čega razjašnjavam koncept iskustvene imaginacije, naglašavam njezinu ulogu u etičkom obrazovanju te zaključujem s nekolicinom osvrta na pristup umijeća življenja etici i etičkom obrazovanju. The paper discusses the intersection between art, imagination, emotions, and ethical education from the perspective of an innovative synthesis of cognitive theory of emotion and Gestalt pedagogy. One of the elements of this synthesis is the cognitive theory of emotion as endorsed by Martha Nussbaum. Emotions are understood as evaluative judgments that are related to our perception of the world around us. Emotions are our attitudes, understandings, and assessments of the world from the perspective of our goals and projects. This proves an excellent starting point from which to address them as an essential part of ethics education. Next, art and imagination are considered as a vehicle by which to address emotions and other domains within ethics education. Here, I introduce the concept of “experiential imagining” and point to the methodologies that sustain it. I have developed this concept as part of my research on the overlap between Gestalt pedagogy, cognitive theory of emotion, and the art of life approaches to ethics. Next, I present the synthesis between cognitive theory of emotion and Gestalt pedagogy. I then illuminate the concept of experiential imagination, emphasise its role in ethics education, and conclude with some reflections on the art of life approach to ethics and ethics education. (shrink)

Entrepreneurs’ wellbeing is of unprecedented importance given their crucial role in national economies in terms of job creation and innovation. In this research, we used a mixed methods approach to investigate the direct and indirect mechanisms by which entrepreneurs’ wellbeing mediates the effects of stress on perceived entrepreneurial success. We theorize that entrepreneurs experience work-related stress and that the level of perceived wellbeing mediates the relationship between the entrepreneurs’ stress and perceived success. We also hypothesize moderation effects by dispositional positive (...) affect. We find that stress has direct negative effects on entrepreneurs’ wellbeing and perceived success. However, an experience of positive affect significantly weakens the negative effects of stress by broadening and building entrepreneurs’ cognitions. Drawing from our theoretical and empirical findings, we discuss implications for theory and practice in the domain of entrepreneurs’ wellbeing. (shrink)

The purpose of this article is to present the understanding of architecture within the field of hermeneutic philosophy by describing the ideas of three great hermeneutic philosophers: Heidegger, Gadamer and Vattimo, who approach architecture from the ontological and aesthetic point of view. Heidegger interprets architecture as a fundamental trait of existence; Gadamer values it as the artistic form par excellence, with the form surpassed by the contents, too; and Vattimo discusses three possible ways of perceiving architecture in the postmodern society, (...) related to simultaneity, simulacra and the question of ornamentality. (shrink)

Many surveys confirm a substantial number of discipline problems in schools, but not many surveys are aimed at their identification. Identification of discipline violations is indispensable for prudent planning of their interventions in and prevention of their occurrence. Earlier studies focused mostly on the teachers’ perceptions of discipline problems and they were not interested in how discipline problems are perceived by students. In this study, teachers and students identified the most frequent and disturbing discipline violations. Given the results of the (...) survey, it would be necessary to pay more attention to preventing disruption of lessons and improper attitude, which are, in the views of teachers and students alike, the most frequent and disturbing violations. (shrink)

America’s increasing obesity problem requires federal, state, and local lawyers, policymakers, and public health practitioners to consider legal strategies to encourage healthy eating and physical activity. The complexity of the legal landscape as it affects obesity requires an analysis of coordination across multiple sectors and disciplines. Government jurisdictions can be viewed “vertically,” including the local, state, tribal, and federal levels, or “horizontally” as agencies or branches of government at the same vertical level. Inspired by the successful tobacco control movement, obesity (...) prevention advocates seek comprehensive strategies to “normalize” healthy behaviors by creating environmental and legal changes that ensure healthy choices are the default or easy choices. With many competing demands on diminishing municipal budgets, strategic coordination both vertically and horizontally is essential to foster the environmental and social changes needed to reverse the obesity epidemic. (shrink)

Das Unheimliche je tisto nedomače, grozljivo in strašljivo, ki pri Freudu in Heideggerju izhaja iz najbolj domačega in varnega, obenem pa je tudi eden od običajno spregledanih skupnih točk njunega dela. To je tudi ravnina, na kateri moderna in modernistična arhitektura, kot jo je oblikoval tudi Le Corbusier, zasije v drugačni perspektivi. Jedro arhitekture in metropole moderne bi morebiti lahko prebrali ravno skozi okular te grozljivosti das Unheimliche. -/- Knjiga v slovenski kulturni prostor prinaša prvo poglobljeno analizo prepleta moderne in (...) njene arhitekture z grozljivo tesnobnostjo, ki jo označuje termin das Unheimliche. -/- Predgovor h knjigi je napisal Aleš Vodopivec, strokovni recenziji pa Žarko Paić in Mladen Dolar. Knjiga je izšla pri Inštitutu Nove Revije s podporo Javne agencije za raziskovalno dejavnost Republike Slovenije, oblikoval jo je Ivian Kan Mujezinović. (shrink)

Architecture has always been a decisive manifestation of power. This volume represents an attempt to question and reflect on the relationship between power and architecture from three philosophical perspectives: materialistic, phenomenological and post-structuralist. -/- This collection opens an interdisciplinary investigation that aims to reflect on architecture and its interconnectedness with power within philosophy and cultural theory at large while presenting these concepts using practical examples from the built environment. Internationally recognised authors – philosophers, architectural theorists and historians – Andrew Benjamin, (...) Andrew Ballantyne, Mladen Dolar, Hilde Heynen, Nadir Lahiji, Jeff Malpas, Dean Komel, Elke Krasny, Robert Pfaller, Gerard Reinmuth, Luka Skansi, Douglas Spencer, Teresa Stoppani and Sven-Olov Wallenstein present their reflections in original unpublished essays and interviews. In the presented works, architecture is combined and transgressed by philosophy in a new discussion that focuses only on power. The contributions in this collection open a variety of architectural questions, one of the central among them being the impact of neoliberal capitalism on architecture. Architecture, with its implications on the complex contemporary political and social reality, is severely changing our space and, more globally, our environment. A reflection on the multilayered relation between architecture and power has never been as topical as it is today. (shrink)

In order to effectively communicate information, the choice of representation is important. Ideally, a chosen representation will aid readers in making desired inferences. In this paper, we develop the theory of observation: what it means for one statement to be observable from another. Using observability, we give a formal characterization of the observational advantages of one representation of information over another. By considering observational advantages, people will be able to make better informed choices of representations of information. To demonstrate the (...) benefit of observation and observational advantages, we apply these concepts to set theory and Euler diagrams. In particular, we can show that Euler diagrams have significant observational advantages over set theory. This formally justifies Larkin and Simon’s claim that “a diagram is worth ten thousand words”. (shrink)

Digital piracy as a continuing problem significantly impacts various stakeholders, including consumers, enterprises, and countries. This study develops a three-level mechanism of determinants of consumer digital piracy behavior, with personal risk as an individual factor, susceptibility to interpersonal influence as an inter-personal factor, and moral intensity as a broad societal factor. Further, it explores the role of rationalization and future piracy intent as outcomes of past piracy behaviors. The authors use survey data from four countries in the European Union to (...) test the system of structural relationships. With an exception of the effect of consumers’ susceptibility to interpersonal influence on piracy behavior, the conceptual model receives remarkably consistent support across the four countries. Specifically, perception of personal risk and moral intensity negatively affected the reported piracy behavior in all four countries. The results further support the negative influence of moral intensity and the positive influence of past digital piracy behavior on consumers’ use of rationalization. Lastly, personal risk, rationalization, and past digital piracy behavior directly influenced consumers’ intention to engage in digital piracy in the future. The study also discusses implications of the findings and identifies areas of future research. (shrink)

In this contribution we propose an agent architecture for theorem proving which we intend to investigate in depth in the future. The work reported in this paper is in an early state, and by no means finished. We present and discuss our proposal in order to get feedback from the Calculemus community.

Just as burnout is manifested through changes in behavioural and communication patterns, it is important to examine whether certain aspects of communication can affect student burnout development. Therefore, this study aims to investigate the relationship between communication and academic burnout. To achieve this, the study proposes an integrated model examining the effects of three communication dimensions – support from academic staff, support from colleagues, and participation in decision-making – on four different dimensions of academic burnout, as well as students’ overall (...) burnout. The model is tested using structural equation modelling (SEM) analysis. High coefficients of determination regarding particular burnout dimensions validate the strength of the proposed model. The results show that support from academic staff and support from fellow students significantly and negatively influence academic burnout, and might be instrumental in its reduction. Unexpectedly, participation in decision-making is shown to be positively related to academic burnout. (shrink)

The study of the motion of the magnetic top—a classical spherical top which carries magnetic moment proportional to its angular momentum, is motivated and inspired by the quantum mechanical relation between spin angular momentum and spin magnetic moment. Inversely, the magnetic top, taken to be the classical model of quantum spin, implies the description of spin states by probability amplitudes of the top orientation angles, instead of by Pauli spinors. This opens new possibilities for the interpretation of many interesting spin (...) experiments which serve as tests of basic principles of quantum mechanics and of the postulates of the quantum theory of measurement. (shrink)