This paper outlines a logical representation of certain aspects of the process of mathematical proving that are important from the point of view of Artificial Intelligence. Our starting point is the concept of proof-event or proving, introduced by Goguen, instead of the traditional concept of mathematical proof. The reason behind this choice is that in contrast to the traditional static concept of mathematical proof, proof-events are understood as processes, which enables their use in Artificial Intelligence in such contexts in which (...) problem-solving procedures and strategies are studied. We represent proof-events as problem-centred spatio-temporal processes by means of the language of the calculus of events, which adequately captures certain temporal aspects of proof-events (i.e. that they have history and form sequences of proof-events evolving in time). Further, we suggest a “loose” semantics for the proof events by means of Kolmogorov’s calculus of problems. Finally, we expose the intented interpretations for our logical model from the fields of automated theorem-proving and Web-based collective proving. (shrink)

In this paper, we suggest the broader concept of proof-event, introduced by Joseph Goguen, as a fundamental methodological tool for studying proofs in history of mathematics. In this framework, proof is understood not as a purely syntactic object, but as a social process that involves at least two agents; this highlights the communicational aspect of proving. We claim that historians of mathematics essentially study proof-events in their research, since the mathematical proofs they face in the extant sources involve many informal (...) components, often not completely formalizable, and convey some kind of semantic content calling for understanding and verification. We illustrate the application of this methodological approach in some outstanding historical cases, paying particular attention to the process of proof interpretation that makes a proof-event alive. Finally, we suggest a classification of proof-events, according to the conditions imposed upon problem-solving. This enables us to speak about broad classes of proof-events in history of mathematics that share a common characteristic. (shrink)

Neospora caninum infection, one of the major causes of abortions in dairy cattle, has brought a huge loss to farmers worldwide. In this study, we develop a six-compartment susceptible-infected model of N. caninum transmission which is later reduced to a two-equation system. Potential controls including medication, test-and-cull, and vaccination are proposed and analyzed, and the corresponding reproduction numbers are derived. The conditions for the global stabilities of disease-free and endemic equilibria are investigated with analytical solutions and geometric approach. Furthermore, uncertainty (...) and sensitivity analysis shows that three control strategies are effective towards the varied environment, whereas the effectiveness of each measure highly depends on parameters related to control actions. Dynamics of reproduction numbers illustrate that disease elimination can be achieved by three types of controls: adopting medication with medicine efficacy higher than 0.4 to prevent vertical transmission, implementing test-and-cull with culling coverage larger than 0.3, and taking vaccine with coverage larger than 0.1. Numerical results suggest that preventive measures should at least include the prevention of access of other hosts, such as dogs, to cattle; otherwise, these control measures will lose effectiveness. Our presented study provides guidance for decision-making on N. caninum infected farm management. (shrink)

Seit dem 2. Nachchristlichen Jahrhundert werden die Schriften von Aristoteles kommentiert. DIese Ausgabe enthalt griechische Kommentare zu seinem Werk vom 3. Bis 8. JAhrhundert n. CHr., u. A. Von Alexander von Aphrodiensias, Themistios, Joh. PHiloponus, Simplicius in griechischer Sprache.

Aesthetic perception is one of the most interesting topics for philosophers and scientists who investigate how it influences our interactions with objects and states of affairs. Over the last few years, several studies have attempted to determine “how aesthetics is represented in an object,” and how a specific feature of an object could evoke the respective feelings during perception. Despite the vast number of approaches and models, we believe that these explanations do not resolve the problem concerning the conditions under (...) which aesthetic perception occurs, and what constitutes the content of these perceptions. Adopting a naturalistic perspective, we here view aesthetic perception as a normative process that enables agents to enhance their interactions with physical and socio-cultural environments. Considering perception as an anticipatory and preparatory process of detection and evaluation of indications of potential interactions, we argue that the minimal content of aesthetic perception is an emotionally valued indication of interaction potentiality. Aesthetic perception allows an agent to normatively anticipate interaction potentialities, thus increasing sense making and reducing the uncertainty of interaction. This conception of aesthetic perception is compatible with contemporary evidence from neuroscience, experimental aesthetics, and interaction design. The proposed model overcomes several problems of transcendental, art-centered, and objective aesthetics as it offers an alternative to the idea of aesthetic objects that carry inherent values by explaining “the aesthetic” as emergent in perception within a context of uncertain interaction. (shrink)

Purpose– The purpose of this paper is twofold: to provide an overview of related studies and to highlight research gaps and questions that need to be addressed. Research conducted in three-dimensional (3D) online environments constitutes a different research context, not least because it involves the recruitment of avatars in the research process. Researchers need to appreciate better the ethical concerns that arise in this novel, fast-evolving context and how these concern different stakeholders.Design/methodology/approach– The paper employs an interdisciplinary desk-research approach. It (...) critically reviews related literature, highlights the involved stakeholders, discusses ethical issues from a marketing research perspective and concludes with a discussion of related studies and research gaps, providing direct future research avenues.Findings– The characteristics of the 3D online environments and the behaviour and experiences of their users set the boundaries and guide the way regarding the ethical research in this context.Research limitations/implications– The paper does not present primary empirical results, instead it reviews and critiques related literature in 3D online environments and sets the agenda for future research.Practical implications– The paper provides ethical guidelines and identifies blurred areas in conducting or participating in research in 3D online environments.Originality/value– Based on earlier studies and examples of ethical concerns when studying 3D online environments, this paper emphasises the parameters that should be taken into consideration in current and future research studies. (shrink)

Providing interpretations and drawing critically from classical and modern social theory, post-structuralism, and psychoanalytic theory, this original study offers an alternative way of thinking about the social and the individual. It offers critical analyses of, among others, Marx, Giddens, Bourdieu, Derrida, Laclau and Mouffe, Castoriadis, Freud and modern psychoanalytic theorists, and considers their roles in advancing our present-day conceptualization of the social and the self. In theorizing that behaviour is both socially determined and autonomous, it avoids the impasses of either (...) individualist or structuralist approaches. (shrink)

This article focuses on an analysis and evaluation of the importance Derrida's work may have for a theory of the social. It is argued that both his earlier and his later works are important in this respect, albeit at a high level of abstraction. In his early work the social is seen as an open `field of meaning' while in later work differentations within this field, such as the level of the `phantasmatic', are introduced. This is a direction of theorization (...) that has to be developed, although the way the `openness' of this field is to be conceived needs to be re-elaborated. However, Derrida's account in recent work of the structure of ethical/political action, based on `emancipatory promises', is not satisfactory and runs the danger of regressing to subjectivism. Instead, the existence of structural determinations - of a `history' - within the subject has to be theorized without reducing the subject to a form of self-presence. This history, alongside the contextuality of the moment of action, delineates the framework for ethical/political action. (shrink)

Structural realists of nearly all stripes endorse the structural continuity claim. Roughly speaking, this is the claim that the structure of successful scientific theories survives theory change because it has latched on to the structure of the world. In this paper I elaborate, elucidate and modify the structural continuity claim and its associated argument. I do so without presupposing a particular conception of structure that favours this or that kind of structural realism. Instead I focus on how structural realists can (...) best account for the neutrally formulated historical facts. The result, I hope, crystallises some of the shared commitments, desiderata and limits of structural realists. (shrink)

Even though aesthetics and affordances are two important factors based on which designers provide effective ways of interaction through their artifacts, there is no study or theoretical model that relates these two aspects of design. We suggest a theoretical explanation that relates the underlying functionality of aesthetics, in particular, of interaction aesthetics and of affordances in the design process. Our claim is that interaction aesthetics are one among other factors that allow users to enhance the detection of action possibilities and (...) consequently, the detection of affordances. Our aim is first to discuss the role of interaction aesthetics in the design process, and second to suggest an explanation for their role in the detection of affordances when users interact with artifacts. (shrink)

Seit dem 2. nachchristlichen Jahrhundert werden die Schriften von Aristoteles kommentiert. Diese Ausgabe enthält griechische Kommentare zu seinem Werk vom 3. bis 8. Jahrhundert n. Chr., u. a. von Alexander von Aphrodiensias, Themistios, Joh. Philoponus, Simplicius in griechischer Sprache.

This paper counters an objection raised against one of Bertrand Russell’s lesser-known epistemological views, viz. ‘‘structural realism’’ (SR). In short, SR holds that at most we have knowledge of the structure of the external (i.e., physical) world. M. H. A. Newman’s allegedly fatal objection is that SR is either trivial or false. I argue that the accusation of triviality is itself empty since it fails to establish that SR knowledge claims are uninformative. Moreover, appealing to Quine’s notion of ontological relativity, (...) I suggest that far from being false, SR knowledge claims seem to be the most that we can hope for. (shrink)

Exploring emotions, in terms of their evolutionary origin; their basic neurobiological substratum, and their functional significance in autonomous agents, we propose a model of minimal functionality of emotions. Our aim is to provide a naturalized explanation – mostly based on an interactivist model of emergent representation and appraisal theory of emotions – concerning basic aesthetic emotions in the formation of aesthetic judgment. We suggest two processes the Cognitive Variables Subsystem (CVS) which is fundamental for the accomplishment of the function of (...) heuristic learning; and Aesthetic Appraisal Subsystem (AAS) which primarily affects the elicitation of aesthetic emotional meanings. These two subsystems (CVS and AAS) are organizationally connected and affect the action readiness of the autonomous agent. More specifically, we consider the emotional outcome of these two subsystems as a functional indication that strengthens or weakens the anticipation for the resolution of the dynamic uncertainty that emerges in the particular interaction. (shrink)

This is the first part of a study on cardinals that are characterizable by Scott sentences. Building on previous work of Hjorth, Malitz, and Baumgartner, we study which cardinals are characterizable by a Scott sentence $\phi$, in the sense that $\phi$ characterizes $\kappa$, if $\phi$ has a model of size $\kappa$ but no models of size $\kappa^{+}$. We show that the set of cardinals that are characterized by a Scott sentence is closed under successors, countable unions, and countable products. We (...) also prove that if $\aleph_{\alpha}$ is characterized by a Scott sentence, at least one of $\aleph_{\alpha}$, $\aleph_{\alpha+1}$, or $$ is homogeneously characterizable. Based on an argument of Shelah, we give counterexamples that characterizable cardinals are not closed under predecessors or cofinalities. (shrink)

Nowadays, aesthetics are generally considered as a crucial aspect that affects the way we confront things, events, and states of affairs. However, the functional role of aesthetics in the interaction between agent and environment has not been addressed effectively. Our objective here is to provide an explanation concerning the role of aesthetics, and especially, of the aesthetic experience as a fundamental bodily and emotional activity in the respective interactions. An explanation of the functional role of the aesthetic experience could offer (...) new orientations to our understanding of embodied cognition and of aesthetics as a fundamental part of it. We argue that aesthetic experience, especially its emotional dimension, is an evaluative process that influences the anticipation for stable and successful interactions with the environment. In other words, aesthetics facilitates sense-making as they affect what might be anticipated by an action tendency with respect to an environment. (shrink)

The linguistic foundations of science and technology include many terms that have been borrowed from ancient languages. In the case of terms with origins in the Greek language, the modern meaning can often differ significantly from the original one. Here we use the PubMed database to demonstrate the prevalence of words of Greek origin in the language of modern science, and call for scientists to exercise care when coining new terms.

This paper seeks to examine the relationship and the interaction between institutions, policy and the labour market in the light of the ideas of the first generation of institutional economists, who, in contrast to neoclassicals, conceived of the economy as a nexus of institutions, underlining, therefore, the significant role of institutional and non-market factors in the functioning of an economic system. They also criticised those who define (economic) welfare only in terms of efficiency and satisfaction of consumer interests; institutionalists instead (...) focus on issues related to justice, human self-development and labourers' welfare. In addition, early institutionalists paid considerable attention to the institutional framework of the labour market. In particular, the first generation of institutional economists highlighted the importance of institutions and other non-market parameters in determining the level of wages and employment (e.g. the role of the bargaining power of workers and employers). Furthermore, they made substantial contributions towards the field of labour policy and they were pioneers in the formulation of economic and social policy. Specifically, various modern institutions and labour market policies, such as unemployment benefits, industrial training and active employment policies, were implemented in the US, during the first decades of the 20th century, after the recommendation of the institutional labour economists. Therefore, their ideas, besides being interesting from a historical point of view, may also be useful in today's analysis of workers' problems and the functioning of modern labour markets. (shrink)

Name der Zeitschrift: Byzantinische Zeitschrift Jahrgang: 107 Heft: 1 Seiten: 175-220.

We investigate the impact of perceived greenwashing on customer satisfaction. Unlike prior research that largely examines customer perceptions associated with irresponsible behavior, we focus on cases where firms overcommit and/or do not deliver on promised socially responsible actions. We theorize that this type of greenwashing is associated with lower customer satisfaction because customers perceive greenwashing through the lens of corporate hypocrisy. Using data from the American Customer Satisfaction Index (ACSI) for U.S. companies during the period 2008–2016, we document a negative (...) link between perceived greenwashing related to green product innovation (GPI) and the ACSI index. We demonstrate that this effect is primarily triggered by corporate policies exceeding the corresponding implementation actions and not by lower levels of implementation. We also show that a firm’s capability reputation mitigates the negative effect of greenwashing on customer satisfaction. Moreover, we conduct an experiment and provide evidence confirming that GPI greenwashing is in fact perceived by customers as corporate hypocrisy. (shrink)

Aesthetic experience, as a cognitive activity is a fundamental part of the interaction process in which an agent attempts to interpret his/her environment in order to support the fundamental process of decision making. Proposing a four-level interactive model, we underline and indicate the functions that provide the operations of aesthetic experience and, by extension, of aesthetic judgment. Particularly in this paper, we suggest an integration of the fundamental Peircean semiotic parameters and their related levels of semiotic organization with the proposed (...) model. Our aim is to provide a further theoretical understanding with respect to the perception of aesthetics and to enrich our models regarding the functionality of aesthetic interpretation, using the theoretical interpretive richness provided by the semiotic perspective. (shrink)

In June 2018 the Texan philosopher and distinguished bioethicist Tristram Engelhardt, Jr. crossed the great divide to meet his maker, as he would probably put it. His work remains till now the most systematic effort to fully revise Bioethics based on the doctrines of the Orthodox Christian theology, while it is also apreciseaccount ofEthics and Bioethics in the “after God” era. Engelhardt was anexcellent master of ancient Greek, medieval, western and eastern philosophy, and after heconverted from the Roman Catholic to (...) the Eastern Orthodox Church – officially the Orthodox Catholic Church – he indulged in the works of the Holy Fathers andbecame greatly influenced by them. This is clearlymanifest in his views and continuous reference to Fathers and Ecclesiastical Writers. His conversion crucially influenced not only his bioethical views, but also his entire philosophical system. This magnificent journey obviously turned the Texan philosopher into a true Theologist – not in the academic sense, but in the one the Orthodox Catholic Church accepts, according to which “a Theologist is a person of God, from God, before God and speaks to praise God”. Engelhardt was not the first to deal with bioethical issues under the spectrum of Orthodox Theology, but he was the first to unravel both secular and Western-Church Bioethics and suggest a totally different version of Bioethicsbased on the principles of Orthodox ethics, the ceremonial and esoteric life of the Orthodox Church, having previously made himself a true communicant of both the paternal tradition and dogmatic teaching. (shrink)

Hegel’s Science of Logic is widely acknowledged as one of the greatest works of European philosophy. However, its contribution to arguably the most important philosophical problem, Pyrrhonian scepticism, has never been examined in any detail. Pyrrhonian Scepticism and Hegel's Theory of Judgement fills a great lacuna in Hegel scholarship by convincingly proving that the dialectic of the judgement in Hegel’s Science of Logic successfully refutes this kind of scepticism. Although Ioannis Trisokkas has written the book primarily for those students (...) of philosophy who already have an interest in Hegel’s epistemology and philosophy of language and/or his Science of Logic, it will also appeal to those who investigate the problem of scepticism independently of the Hegel corpus. (shrink)

Emilios Christodoulidis’ The Redress of Law: Globalisation, Constitutionalism and Market Capture is a rare work in its magnitude and ambition. More than on an argument, the book centres on an impas...

This book explores the way in which the fear of enemies shapes political groups at their founding and helps to preserve them by consolidating them in times of crisis. It develops a theory of “negative association” that examines the dynamics captured by the maxim “The enemy of my enemy is my friend” and then traces its role in the history of political thought, demonstrating that the fear of external threats is an essential element of the formation and preservation of political (...) groups and that its absence renders political association unsustainable. (shrink)