We explore the extent to which Boards use executive compensation to incite firms to act in accordance with social and environmental objectives (e.g., Johnson, R. and D. Greening: 1999, Academy of Management Journal 42(5), 564-578; Kane, E. J.: 2002, Journal of Banking and Finance 26, 1919-1933.). We examine the association between executive compensation and corporate social responsibility (CSR) for 77 Canadian firms using three key components of executives' compensation structure: salary, bonus, and stock options. Similar to prior research (McGuire, J., (...) S. Dow and K. Argheyd: 2003, Journal of Business Ethics 45(4), 341-359), we measure three different aspects of CSR, which include Total CSR as well as CSR Strengths and CSR Weaknesses. CSR Strengths and CSR Weaknesses capture the positive and negative aspects of CSR, respectively. We find significant positive relationships between: (1) Salary and CSR Weaknesses, (2) Bonus and CSR Strengths, (3) Stock Options and Total CSR; and (4) Stock Options and CSR Strengths. Our findings suggest the importance of the structure of executive compensation in encouraging socially responsible actions, particularly for larger Canadian firms. This in turn suggests that executive compensation can be an effective tool in aligning executives' welfare with that of the "common good", which results in more socially responsible firms (Bebchuk, L., J. Fried and D. Walker: 2002, The University of Chicago Law Review 69, 751-846; Zalewski, D.: 2003, Journal of Economic Issues 37(2), 503-509). In addition, our findings suggest the importance of institutional context in influencing the association between executive compensation and CSR. Further implications for practice and research are discussed. (shrink)

Jag har brutit med vårt aktuella paradigm. Detta är varför. /Ihave broken with our present paradigm. This is why.

Ontology and theology cannot be combined if ontology excludes non physical causes. This paper examines some possibilities for ontology to be combined with theology in so far as non physical causes are permitted. The paper builds on metaphysical findings that shows that separate ontological domains can interact causally indirectly via interfaces. As interfaces are not universes a first universe is allowed to be caused by an interface without violating the principle of causal closure of any universe. Formal theology can therefore (...) be based on the assumption that the (first) universe is caused by God if God is defined as the first cause. Given this, formal theology and science can have the same ontological base. (shrink)

Many logical systems today describe intelligent interacting agents over time. Frameworks include Interpreted Systems (IS, Fagin et al. [8]), Epistemic-Temporal Logic (ETL, Parikh & Ramanujam [22]), STIT (Belnap et al. [5]), Process Algebra and Game Semantics (Abramsky [1]). This variety is an asset, as different modeling tools can be fine-tuned to specific applications. But it may also be an obstacle, when barriers between paradigms and schools go up. This paper takes a closer look at one particular interface, between two systems (...) that both address the dynamics of knowledge and information flow in multi-agent systems. One is IS/ETL (IS and ETL are, from a technical point of view, the same up to model transformations, cf. [20]), which uses linear or branching time models with added epistemic structure induced by agents’ different capabilities for observing events. These models provide a Grand Stage where histories of some process unfold constrained by a protocol, and a matching epistemic-temporal language describes what happens. The other framework is Dynamic Epistemic Logic (DEL, [10, 4, 34]) that describes interactive processes in terms of epistemic event models which may occur inside modalities of the language. Temporal evolution is then computed from some initial epistemic model through a process of successive ‘product updates’. It has long been unclear how to best compare IS/ETL and DEL. Various aspects have been investigated in [10, 30, 32], but in this paper, we study the interface in a more systematic way. Often, DEL and ETL are presented as alternative ways of adding dynamics to multi-agent epistemic models. In this paper, we rather focus on how merging the two different modeling choices leads to interesting new questions. Our leading interest here will be a view of informational processes as evolving over time. To see what we mean, consider the simplest version of DEL, viz. the logic of public announcements PAL ([23]) which adds a very specific type of communicative 1 action to epistemic models: a public announcement.. (shrink)

Standard definitions of causal closure focus on where the causes in question are. In this paper, the focus is changed to where they are not. Causal closure is linked to the principle that no cause of another universe causes an event in a particular universe. This view permits the one universe to be affected by the other via an interface. An interface between universes can be seen as a domain that violates the suggested account of causal closure, suggesting a view (...) in which universes are causally closed whereas interfaces are not. On this basis, universes are not affected by other universes directly but rather indirectly. (shrink)

Whether or not capitalism is compatible with ethics is a long standing dispute. We take up an approach to virtue ethics inspired by Adam Smith and consider how market competition influences the virtues most associated with modern commercial society. Up to a point, competition nurtures and supports such virtues as prudence, temperance, civility, industriousness and honesty. But there are also various mechanisms by which competition can have deleterious effects on the institutions and incentives necessary for sustaining even these most commercially (...) friendly of virtues. It is often supposed that if competitive markets are good, more competition must always be better. However, in the long run competition enhancing policies that neglect the nurturing and support of the bourgeois virtues may undermine the continued flourishing of modern commercial society. (shrink)

This paper analyses the use of strategies and instruments for organising ethics by small and large business in the Netherlands. We find that large firms mostly prefer an integrity strategy to foster ethical behaviour in the organisation, whereas small enterprises prefer a dialogue strategy. Both large and small firms make least use of a compliance strategy that focuses on controlling and sanctioning the ethical behaviour of workers. The size of the business is found to have a positive impact on the (...) use of several instruments, like code of conduct, ISO certification, social reporting, social handbook and confidential person. Also being a subsidiary of a larger firm has a significant positive influence on the use of instruments. The most popular instrument used by small firms is to let one member of the board be answerable for ethical questions, which fits the informal culture of most small firms. With respect to sectorial differences, we find that firms in the metal manufacturing and construction sectors are more actively using formal instruments than firms in the financial service sector and retail sector. The distinction between family and non-family firms hardly affects the use of instruments. (shrink)

The original publication is available at www.tandfonline.com.

It has often been argued that, notwithstanding his commitment to the authoritarian state, Thomas Hobbes is a champion of the "minimal" version of liberty of conscience: namely, the freedom of citizens to think whatever they like as long as they obey the law. Such an interpretation renders Hobbes's philosophy more palatable to contemporary society. Yet the claim is incorrect. Alongside his notion of "private" conscience, namely, Hobbes develops a conception of conscience as a public phenomenon. In the following, it is (...) argued that this inconsistency serves the purpose of deception: it holds out the possibility of dissent while making it impossible to utilise. Arguably, moreover, this is the proper hermeneutical approach to take to Hobbes's inconsistencies in general. Indeed, said inconsistencies ought to alert contemporary normative theorists to the instability of the "minimal" version of liberty of conscience attributed to Hobbes: Hobbes himself, namely, shows that it is insufficient. (shrink)

The modal properties of the principle of the causal closure of the physical have traditionally been said to prevent anything outside the physical world from affecting the physical universe and vice versa. This idea has been shown to be relative to the definition of the principle. A traditional definition prevents the one universe from affecting any other universe, but with a modified definition, e.g., the causal closure of the physical can be consistent with the possibility of one universe affecting the (...) other universe. Gamper proved this modal property by implementing interfaces between universes. Interfaces are thus possible, but are they realistic? To answer this question, I propose a two-step process where the second step is scientific research. The first step, however, is to fill the gap between the principles or basic assumptions and science with a consistent theoretical framework that accommodates the modal properties of an ontology that matches the basic assumptions. (shrink)

McDowell’s defence of disjunctivism is often portrayed as starting from a controversial epistemological access-internalism, which he fails to support in his writings. This paper critiques such interpretations and presents an alternative reading of McDowell’s argument in favour of disjunctivism. Taking outset in McDowell’s early debate with Michael Dummett, it is shown why disjunctivism is a consequence of McDowell’s realism combined with his acceptance of the Fregean claim that Sense determines reference. It is argued that even within the modest approach to (...) meaning theories which McDowell favour, disjunctivism is a necessary requirement for a defence of realism. This approach means that, rather than starting from controversial epistemological convictions, McDowell’s disjunctivism motivates the adoption of access-internalism, as it enables truth-ensuring experiential support for our thoughts. Hence, while I deny that disjunctivism follows from premises about the nature of knowledge, I agree with McDowell that the landscape of our debate about knowledge may be irrevocably altered once we accept disjunctivism. (shrink)

This work clarifies the role of the best interest standard (BIS) as ethical principle in the medical care of children. It relates the BIS to the ethical framework of medical practice. The BIS is shown to be a general principle in medical ethics, providing grounding to prima facie obligations. The foundational BIS of Kopelman and Buchanan and Brock are reviewed and shown to be in agreement with the BIS here defended. Critics describe the BIS as being too demanding, narrow, opaque, (...) not taking the family into account and not suitable as limiting principle. This work responds to these criticisms, showing that they do not stand up to scrutiny. They either do not apply to the BIS, only apply to misuses of the BIS or criticise a BIS that is not seriously defended in the literature. (shrink)

Starting from MacIntyre’s virtue ethics, we investigate several codes of conduct of banks to identify the type of virtues that are needed to realize their mission. Based on this analysis, we define three core virtues: honesty, due care, and accuracy. We compare and contrast these codes of conduct with the actual behavior of banks that led to the credit crisis and find that in some cases banks did not behave according to the moral standards they set themselves. However, although banks (...) and the professionals working in them can be blamed for what they did, one should also acknowledge that the institutional context of the free market economy in which they operated made it difficult to live up to the core values lying at the basis of the codes of conduct. Given the neo-liberal free market system, innovative and risky strategies to enhance profits are considered desirable for the sake of shareholder’s interests. A return to the core virtues in the financial sector will therefore only succeed if a renewed sense of responsibility in the sector is supported by institutional changes that allow banks to put their mission into practice. (shrink)

Prolegomena It is fitting to begin this book on intuitionistic type theory by putting the subject matter into perspective. The purpose of this chapter is to ...

Starting from MacIntyre’s virtue ethics, we investigate several codes of conduct of banks to identify the type of virtues that are needed to realize their mission. Based on this analysis, we define three core virtues: honesty, due care, and accuracy. We compare and contrast these codes of conduct with the actual behavior of banks that led to the credit crisis and find that in some cases banks did not behave according to the moral standards they set themselves. However, although banks (...) and the professionals working in them can be blamed for what they did, one should also acknowledge that the institutional context of the free market economy in which they operated made it difficult to live up to the core values lying at the basis of the codes of conduct. Given the neo-liberal free market system, innovative and risky strategies to enhance profits are considered desirable for the sake of shareholder’s interests. A return to the core virtues in the financial sector will therefore only succeed if a renewed sense of responsibility in the sector is supported by institutional changes that allow banks to put their mission into practice. (shrink)

This project explores vaccine hesitancy through an artist–scientist collaboration. It aims to create better understanding of vaccine hesitant parents’ health beliefs and how these influence their vaccine-critical decisions. The project interviews vaccine-hesitant parents in the Netherlands and Finland and develops experimental visual-narrative means to analyse the interview data. Vaccine-hesitant parents’ health beliefs are, in this study, expressed through stories, and they are paralleled with so-called illness narratives. The study explores the following four main health beliefs originating from the parents’ interviews: (...) perceived benefits of illness, belief in the body’s intelligence and self-healing capacity, beliefs about the “inside–outside” flow of substances in the body, and view of death as a natural part of life. These beliefs are interpreted through arts-based diagrammatic representations. These diagrams, merging multiple aspects of the parents’ narratives, are subsequently used in a collaborative meaning-making dialogue between the artist and the scientist. The resulting dialogue contrasts the health beliefs behind vaccine hesitancy with scientific knowledge, as well as the authors’ personal, and differing, attitudes toward these. (shrink)

This paper presents a new modal logic for ceteris paribus preferences understood in the sense of "all other things being equal". This reading goes back to the seminal work of Von Wright in the early 1960's and has returned in computer science in the 1990' s and in more abstract "dependency logics" today. We show how it differs from ceteris paribus as "all other things being normal", which is used in contexts with preference defeaters. We provide a semantic analysis and (...) several completeness theorems. We show how our system links up with Von Wright's work, and how it applies to game-theoretic solution concepts, to agenda setting in investigation, and to preference change. We finally consider its relation with infinitary modal logics. (shrink)

A variety of logical frameworks have been developed to study rational agents interacting over time. This paper takes a closer look at one particular interface, between two systems that both address the dynamics of knowledge and information flow. The first is Epistemic Temporal Logic (ETL) which uses linear or branching time models with added epistemic structure induced by agents’ different capabilities for observing events. The second framework is Dynamic Epistemic Logic (DEL) that describes interactive processes in terms of epistemic event (...) models which may occur inside modalities of the language. This paper systematically and rigorously relates the DEL framework with the ETL framework. The precise relationship between DEL and ETL is explored via a new representation theorem characterizing the largest class of ETL models corresponding to DEL protocols in terms of notions of Perfect Recall, No Miracles, and Bisimulation Invariance. We then focus on new issues of completeness. One contribution is an axiomatization for the dynamic logic of public announcements constrained by protocols, which has been an open problem for some years, as it does not fit the usual ‘reduction axiom’ format of DEL. Finally, we provide a number of examples that show how DEL suggests an interesting fine-structure inside ETL. (shrink)

In this dialogue Zhuangzi and Jacob discuss nothing and something and their relation with God.

The environmental crisis is undoubtedly one of the most critical and urgent problems of our times. Many people are raising their voices in support of nature to build a better future for humanity and for our planet. In this article, the authors explore the specific contribution that Christianity and Islam can offer in this debate and how religions can help bring back into the ecological discourse the element of the sacred that abandoned the reflection about nature since the advent of (...) the Enlightenment. Moving from the spiritual dimension of nature in the light of Pope Francis’s 2015 encyclical on ecology Laudato Si’, the authors argue that the current ecological crisis can represent an opportunity for a renewed encounter among religions, bringing together the ethical and the spiritual, recovering the element of communion between human beings and nature that points to something beyond themselves. The authors present the Laudato Si’ as a universal invitation and a space for encounter between world religions that puts at its heart love as a guiding principle and animating force of a much-needed ecological, spiritual and anthropological conversion. Contribution: This article focuses on the spiritual dimension of nature in Pope Francis’s 2015 encyclical letter Laudato Si ’. The authors argue that the document with its emphasis on love represents a platform for dialogue between Christianity and Islam by bringing back the element of the sacred in the current ecological debate. (shrink)

During the last years competition in the textile sector has increased, putting financial returns under considerable pressure. As a result, production has shifted to low wage countries in the third world. This has raised the relevance of ethical procedures. This paper analyses how C&A, as one of the largest Western apparel companies, organises its sourcing ethics, notwithstanding the financial pressure in the market. Based on interviews with Asian suppliers of C&A during the second half of 2000, we review the opinions (...) of external stakeholders about the sourcing ethics of C&A. Finally, we evaluate C&A’s sourcing ethics from a theoretical perspective. (shrink)

We define a set of things of one singular kind as the set of all things that can causally affect one another. To enable causal interaction between such sets, we define a thing that is of a non-singular kind as consisting of more than one singular kind. Such a thing of a non-singular kind supervenes on things of singular kinds and is open to causally intervene between sets of things of different singular kinds without violating the definition of a set (...) of things of one singular kind. With the empty set as a set of things of one singular kind, we define Mem as ‘either the smallest element of intervening sets in the indefinite set of sets of things of a singular kind and the intermediate supervening sets, or, if nothing exists, the empty set’. Thus, Mem exists. Comment. The argument focuses on a definition of a supervening set of things of a non-singular kind. Besides that, it really only claims that if we define Mem as some set of existing things or the set without elements, Mem exists. That, though, is tautological. The argument, thus, can only be interesting if anything besides the empty set exists. That only the empty set would exist, however, is refuted by this very claim. (shrink)

In this dialogue a sceptic meets one that convinces him that he is safe from the void of Nothingness although it exists.

In this dialogue, Mileva and Albert start to talk about physics and its subject matter, the physical. They end up in a situation that permits causal dependence between separate ontological domains. In this possible world, they continue talking. First, they Socratically agree that the physical is physical and only physical. Then, they call the physical an ontologically homogeneous domain. They then generalise the principle that the physical is causally unaffected by anything non-physical, into the principle that ontologically homogeneous domains do (...) not cause ontologically homogeneous domains. From a modern point of view talking about black hole singularities, they continue discussing the Chandrasekhar limit and the collapse of the physical laws as we know them. Mileva carries a burden and Albert stands up and carries it with her. The burden is an implication of the generalised principle. Relying on parsimony, only ontologically homogeneous domains are forbidden to cause ontologically homogeneous domains. This leaves the door open for ontologically heterogeneous domains to cause ontologically homogeneous domains. Also relying on parsimony, only ontologically homogeneous domains are forbidden to be caused by ontologically homogeneous domains and this allows ontologically heterogeneous domains to be caused by ontologically homogeneous domains. Ontologically heterogeneous domains, thus, are allowed to causally link ontologically homogeneous domains. Albert realises that the mathematical could qualify as an ontologically homogeneous domain and that the theoretical difficulties that are foreseen beyond the Chandrasekhar limit could be addressed by expanding physics into a context that contains also an ontologically heterogeneous domain. The theoretical difficulties beyond the Chandrasekhar limit would be due to an emergent mathematical-physical domain. Mileva concludes that Albert’s theory is not faulty but regional. A global theory would have to include the explanation of the mathematical-physical. (shrink)

McDowell recently renounced the assumption that the content of any knowledgeable, perceptual judgement must be included in the content of the knowledge grounding experience. We argue that McDowell’s introduction of a new category of non-inferential, perceptual knowledge is incompatible with the main line of argument in favour of conceptualism as presented in Mind and World [McDowell, John. 1996. Mind and World. 2nd ed. Cambridge, MA: Harvard University Press]. We reconstruct the original line of argument and show that it rests on (...) the assumption that a specific model of justification, the Comparison Model, must apply to all cases of non-inferential, perceptual knowledge. We then show that the Comparison Model cannot be applied to McDowell’s new category of non-inferential, perceptual knowledge. As a consequence, McDowell is in need of an alternative model of justification and an alternative argument for conceptualism. We propose such an alternative model of justification based on McDowell’s reading of Sellars, but argue that the model only serves to make the need for an alternative motivation for conceptualism more urgent. (shrink)

The basic fault in the philosophy of science is simple enough to put in words and now it is time to do that. This basic fault puts the food on the table for philosophers and scientists, so it is hard to actually get the word out. That is not my problem, though. The basic fault is that we still assume that there is some kind of stuff that ‘everything’ consists of. My aim is to show how we can make it (...) right. (shrink)

This is an attempt to axiomatise the natural laws. Note especially axiom 4, which is expressed in third order predicate logic, and which permits a solution to the problem of causation in nature without stating that “everything has a cause”. The undefined term “difference” constitutes the basic element and each difference is postulated to have an exact position and to have a discrete cause. The set of causes belonging to a natural set of dimensions is defined as a law. This (...) means that a natural law is determined by the discrete causes tied to a natural set of dimensions. A law is defined as “defined” in a point if a difference there has a cause. Given that there is a point for which the law is not defined it is shown that a difference is caused that connects two points in two separate sets of dimensions. (shrink)

In this dialogue, Anna and Alan talk about consciousness and its relation to self-consciousness. Could there be consciousness without self-consciousness? If not, what are the consequences? If it is possible, what are the consequences? How can we know of consciousness without self-consciousness?

Samuel seeks out Kurt at a pub and initiates a discussion. Soon Kurt becomes engaged. What is it that is incomplete?

In this dialogue Daniel and Jeito talk about the not knowing of experiences of existing in the non existence.

This manuscript delves into the philosophical debate surrounding the Special Composition Question (SCQ), focusing on the causal relationships between objects and their constituent parts. By distinguishing between Weak and Strong Causal Composition, the article explores how causal mechanisms underpin the composition of objects. Theories from notable philosophers, including van Inwagen and Leibniz, are evaluated. This study seeks to bridge the gap between common sense perspectives and principled ontological theories by introducing the concepts of Weak and Strong Causal Composition. The analysis (...) reveals how a causal approach can offer insightful resolutions to longstanding debates in mereology and ontology, emphasizing the role of causality in understanding the essence of material composition. The proposed causal perspective encourages further philosophical inquiry into the foundational principles governing the composition of objects. (shrink)

In this dialogue P F and Jeito talk about nothing and something.

This is a conceptual attempt to integrate the major current psychotherapeutic methods via the introduction of Macro Psychology. The idea is fully philosophical, and the aim is to spur debate. Clinically, we land in the following picture: Scenarios with a maltreated dog, its owner, and a therapist. Conditioning: The therapist takes the dog to a safe environment. Behavioral therapy: The therapist instructs the owner to take regular long walks with the dog, to feed it regularly, to let it have access (...) to fresh water, and to stop hitting it. Cognitive behavioral therapy: The therapist instructs the owner to take regular long walks with the dog, to feed it regularly, to let it have access to fresh water, and to stop hitting it. The therapist also tells the owner why. Psychodynamically oriented therapy: The therapist tries to help the owner to reconnect to repressed parts that care for the dog. (shrink)

In my old manuscript “Formal Theology” that now is out as a preprint I show that science and theology can be founded upon the same set of basic assumptions. I now follow up this idea with the thought that Formal Theology may be used to ground also a religion. “Religion“, in this regard, as related to beliefs. I’m not going into any details, neither concerning the original manuscript, nor this new idea. The important thing, I think, is to explore if (...) this kind of “religion”, in any way, can be accommodated with “ordinary” religions. I leave more rigorous work to myself or to others for the future. (shrink)

I show that general relativity and quantum mechanics, broadly construed, are consistent in relation to the singularities inside of black holes, if the singularities inside of black holes are interfaces.

In this dialogue Thomas A and Jeito intuitively discuss the difference between a miracle and a fact. They conclude that the doings of God aren’t miracles.

In recent years, we have witnessed renewed interest in metaphors in political theory. In this context, Hobbes’s theory of metaphor is of great importance as it helps us understand aesthetic qualities in theory and politics. This article argues that in the work of Hobbes – often portrayed as hostile to the use of metaphor, especially so by himself – there is a remarkable discrepancy between his professed enmity to metaphor and his own use of the very word ‘metaphor’. In a (...) philosopher who censures conceptual imprecision, we find a fundamentally inconsistent and ever-changing use of this key term. This inconsistency can be accounted for if we relate it to Hobbes’s own often neglected poetics and his theory of the need for conceptual innovation. This will help solve riddles that have haunted Hobbes studies. Moreover, we must discover Hobbes’s theory of metaphor as a source of potential insights into the way in which political and theoretical languages operate with regard to aesthetic pleasure through linguistic change. Hobbes’s theory can thus make us understand the importance of something being new, that is, how theoretical languages need novelty in order to be pleasant and persuasive. (shrink)

I don’t believe in the foundation of our current scientific-philosophical paradigm. What does that matter? It matters because I have dug deep, especially into the body-mind issue, and found that it is something wrong with our paradigm. There is an anomaly. I haven’t realized, though, that this anomaly may be my own construction. I have been frustrated and have been acting out on the frustration. I’m sorry for that. I think, though, that a paradigm shift may be near. There are (...) many important things that need to be approached in new ways from the academies. -/- . (shrink)

K has a prepaid appointment with J. She wants to talk about philosophy even though the appointment is for psychotherapy. It seems she really just wants to leave and eventually she does. When she returns the subject is the meaning of life in a world without a God. Together they manage to sort some things out.

Here A, B, C, D, I, X and “Philosophy” discuss some features of the relation between identity and love.

As a writer, it is hard to defend oneself from the accusation of being a robot. Even though the argument is ad hominem it perhaps is too difficult to create a “reversed” Turing test. It is suggested in this article that editors of flesh and blood still are necessary.

I explain Loophole Theory (LT) and show some applications of it. The basic element of LT is the truism that everything physical is physical. Any ontological domain that can be defined according to this template (everything X is X) is called a universe. LT allows causal relations between universes via the notion of interfaces. Interfaces are hypothetical domains that are not universes. The idea is that the one universe can be followed by another universe via an interface. Interfaces are defined (...) as being composed of, at least, parts of two universes. Some examples could be the mind/body interface, the physical/mathematical interface and the something/nothing interface. (shrink)

In this dialogue Jeito and Immanuel K. tries to navigate in a sea filled with philosophy, God and Nothingness. They conclude that they are safe from the void of Nothingness.

This commentary provides valuable insight into the basic tenets of an unknown sect from the formative years of Hellenistic Pythagoreanism, a movement which had a major impact on the morality and philosophy of the Greco-Roman world.

In this dialogue Otto K. and The Professor talk about how experiences from war can affect subjects over generations.

Modern logic is an active agent all across the university today, connecting disciplines, and transcending traditional boundaries. This book demonstrates this general role in the special setting of a conference at Tsinghua University, where modern logic was already taught in the 1930s by pioneers like Jin Yeulin. This boon contains an unusual dialogue between Chinese logicians and international colleagues representing a wide range of disciplines, including philosophy, mathematics, linguistics computer science, cognitive science, and the social sciences. The focus of this (...) encounter is not only to advance logic in its university-wide role but also to look for its application in modern society. (shrink)