Semiclassical theory based upon complexified classical mechanics is developed for periodically time-dependent scattering systems, which are minimal models of multi-dimensional systems. Semiclassical expression of the wave-matrix is derived, which is represented as the sum of the contributions from classical trajectories, where all the dynamical variables as well as the time are extended to the complex-domain. The semiclassical expression is examined by a periodically perturbed 1D barrier system and an excellent agreement with the fully quantum result is confirmed. (...) In a stronger perturbation regime, the tunneling component of the wave-matrix exhibits a remarkable interference fringes, which is clarified by the semiclassical theory as an interference among multiple complex tunneling trajectories. It turns out that such a peculiar behavior is the manifestation of an intrinsic multi-dimensional effect closely related to a singular movement of singularities possessed by the complex classical trajectories. (shrink)

The philosophical tradition has given rise to many competing moral theories. Virtue ethics encourages the flourishing of the person, theories of justice and rights tell us to act according to principles, and consequentialist theories advise that we seek to bring about good ends. These varied theories highlight the morally relevant features of the problems that we encounter both in everyday personal interactions and on a broader social scale. When used together, they allow us to address moral (...) conflicts by balancing a plurality of reasons in order to reach nuanced ethical decisions. In _Ethical Reasoning: Theory and Application_, Andrew Kernohan guides the reader through the basics of these moral theories, showing their strengths and weaknesses and emphasizing the ways in which competing moral reasons can be collectively employed to guide decision-making. Throughout, the focus is on practical applications and on how each theory can play a role in solving problems and addressing issues. Numerous questions and exercises are provided to encourage active reflection and retention of information. (shrink)

The existential approach described by Mark Nesti offers a radical alternative to the cognitive-behavioral model which informs most contemporary applied sports psychology. Whereas standard psychological models of athlete behavior would advocate appropriate "mental skills" training such as visualizing the perfect race to help an athlete overcome performance problems, the existential approach will refer to an athletes unique emotional world to find deeper causes of their limitation. These causes may be only very indirectly linked to the athletes sporting life. Existential sports (...) psychology has gone out of phenomenological theory and existential philosophy. Mark Nesti's text is the first book to present an overview of this exciting approach. It contains case studies and a framework for psychologists to apply this approach to their work. (shrink)

The relativistic Schrödinger theory (RST) for N-fermion systems is further elaborated with respect to three fundamental problems which must emerge in any relativistic theory of quantum matter: (i) emergence/suppression of exchange forces between identical/non-identical particles, (ii) self-interactions, (iii) non-relativistic approximation. These questions are studied in detail for two- and three-particle systems but the results do apply to a general N-particle system. As a concrete demonstration, the singlet and triplet configurations of the positronium groundstate are considered within the RST framework, including (...) a discussion of the corresponding hyperfine splitting. (shrink)

This class-tested text provides a comprehensive overview of the classical and current theories of moral development and applications of these theories in various counseling and educational settings.

There is contrast to the belief that all energy and matter came into existence after the Big Bang. If we wish to understand the way the Greeks and other philosophers view our environment, we need to study the data that was collected by them. This book sees our portrayal of reality as having its departure point in concrete systems by which means of conceptual systems result in abstracted systems. This data must be sorted and information must now be surveyed, structured, (...) and analysed to find qualities and connections between the different aspects systems thinking. This has led to the theory for 'Living Systems'. It gives examples of applications which a basis for further studies of systems can be formed. The Internet now provides a major advantage to the retrieval of statistical information and opens a means for the future exploration and verification of how systems work. (shrink)

The volume offers an overview of current research in ontology, distinguishing basic conceptual issues, domain applications, general frameworks, and mathematical ...

The characteristic features of ortho- and para-helium are investigated within the framework of Relativistic Schrödinger Theory (RST). The emphasis lies on the conceptual level, where the geometric and physical properties of both RST field configurations are inspected in detail. From the geometric point of view, the striking feature consists in the splitting of the $\mathfrak{u}(2)$ -valued bundle connection $\mathcal{A}_{\mu}$ into an abelian electromagnetic part (organizing the electromagnetic interactions between the two electrons) and an exchange part, which is responsible for their (...) exchange interactions. The electromagnetic interactions are mediated by the usual four-potentials A μ and thus are essentially the same for both types of field configurations, where naturally the electrostatic forces (described by the time component A 0 of A μ) dominate their magnetostatic counterparts (described by the space part A of A μ). Quite analogously to this, the exchange forces are as well described in terms of a certain vector potential (B μ), again along the gauge principles of minimal coupling, so that also the exchange forces split up into an “electric” type ( $\rightsquigarrow B_{0}$ ) and a “magnetic” type ( $\rightsquigarrow {\bf B}$ ). The physical difference of ortho- and para-helium is now that the first (ortho-) type is governed mainly by the “electric” kind of exchange forces and therefore is subject to a stronger influence of the exchange phenomenon; whereas the second (para-) type has vanishing “electric” exchange potential (B 0 ≡ 0) and therefore realizes exclusively the “magnetic” kind of interactions ( $\rightsquigarrow {\bf B}$ ), which, however, in general are smaller than their “electric” counterparts. The corresponding ortho/para splitting of the helium energy levels is inspected merely in the lowest order of approximation, where it coincides with the Hartree–Fock (HF) approximation. Thus RST may be conceived as a relativistic generalization of the HF approach where the fluid-dynamic character of RST implies many similarities with the density functional theory. (shrink)

This book constitutes the refereed proceedings of the 8th International Conference on Theory and Applications of Satisfiability Testing, SAT 2005, held in St Andrews, Scotland in June 2005. The 26 revised full papers presented together with 16 revised short papers presented as posters during the technical programme were carefully selected from 73 submissions. The whole spectrum of research in propositional and quantified Boolean formula satisfiability testing is covered including proof systems, search techniques, probabilistic analysis of algorithms and their properties, (...) problem encodings, industrial applications, specific tools, case studies, and empirical results. (shrink)

"This book develops a rigorous theory of indeterminism as a local and modal concept. Its crucial insight is that our world contains events or processes with alternative, really possible outcomes. The theory aims at clarifying what this assumption involves, and it does it in two ways. First, it provides a mathematically rigorous framework for local and modal indeterminism. Second, we support that theory by spelling out the philosophically relevant consequences of this formulation and by showing its fruitful applications in (...) metaphysics. To this end, we offer a formal analysis of modal correlations and of causation, which is applicable in indeterministic and non-local contexts as well. We also propose a rigorous theory of objective single-case probabilities, intended to represent degrees of possibility. In a third step, we link our theory to current physics, investigating how local and modal indeterminism relates to issues in the foundations of physics, in particular, quantum non-locality and spatio-temporal relativity. The book also ventures into the philosophy of time, showing how the theory's resources can be used to explicate the dynamic concept of the past, present, and future based on local indeterminism"--. (shrink)

This sixth volume of Collected Papers includes 74 papers comprising 974 pages on (theoretic and applied) neutrosophics, written between 2015-2021 by the author alone or in collaboration with the following 121 co-authors from 19 countries: Mohamed Abdel-Basset, Abdel Nasser H. Zaied, Abduallah Gamal, Amir Abdullah, Firoz Ahmad, Nadeem Ahmad, Ahmad Yusuf Adhami, Ahmed Aboelfetouh, Ahmed Mostafa Khalil, Shariful Alam, W. Alharbi, Ali Hassan, Mumtaz Ali, Amira S. Ashour, Asmaa Atef, Assia Bakali, Ayoub Bahnasse, A. A. Azzam, Willem K.M. Brauers, Bui (...) Cong Cuong, Fausto Cavallaro, Ahmet Çevik, Robby I. Chandra, Kalaivani Chandran, Victor Chang, Chang Su Kim, Jyotir Moy Chatterjee, Victor Christianto, Chunxin Bo, Mihaela Colhon, Shyamal Dalapati, Arindam Dey, Dunqian Cao, Fahad Alsharari, Faruk Karaaslan, Aleksandra Fedajev, Daniela Gîfu, Hina Gulzar, Haitham A. El-Ghareeb, Masooma Raza Hashmi, Hewayda El-Ghawalby, Hoang Viet Long, Le Hoang Son, F. Nirmala Irudayam, Branislav Ivanov, S. Jafari, Jeong Gon Lee, Milena Jevtić, Sudan Jha, Junhui Kim, Ilanthenral Kandasamy, W.B. Vasantha Kandasamy, Darjan Karabašević, Songül Karabatak, Abdullah Kargın, M. Karthika, Ieva Meidute-Kavaliauskiene, Madad Khan, Majid Khan, Manju Khari, Kifayat Ullah, K. Kishore, Kul Hur, Santanu Kumar Patro, Prem Kumar Singh, Raghvendra Kumar, Tapan Kumar Roy, Malayalan Lathamaheswari, Luu Quoc Dat, T. Madhumathi, Tahir Mahmood, Mladjan Maksimovic, Gunasekaran Manogaran, Nivetha Martin, M. Kasi Mayan, Mai Mohamed, Mohamed Talea, Muhammad Akram, Muhammad Gulistan, Raja Muhammad Hashim, Muhammad Riaz, Muhammad Saeed, Rana Muhammad Zulqarnain, Nada A. Nabeeh, Deivanayagampillai Nagarajan, Xenia Negrea, Nguyen Xuan Thao, Jagan M. Obbineni, Angelo de Oliveira, M. Parimala, Gabrijela Popovic, Ishaani Priyadarshini, Yaser Saber, Mehmet Șahin, Said Broumi, A. A. Salama, M. Saleh, Ganeshsree Selvachandran, Dönüș Șengür, Shio Gai Quek, Songtao Shao, Dragiša Stanujkić, Surapati Pramanik, Swathi Sundari Sundaramoorthy, Mirela Teodorescu, Selçuk Topal, Muhammed Turhan, Alptekin Ulutaș, Luige Vlădăreanu, Victor Vlădăreanu, Ştefan Vlăduţescu, Dan Valeriu Voinea, Volkan Duran, Navneet Yadav, Yanhui Guo, Naveed Yaqoob, Yongquan Zhou, Young Bae Jun, Xiaohong Zhang, Xiao Long Xin, Edmundas Kazimieras Zavadskas. (shrink)

This seventh volume of Collected Papers includes 70 papers comprising 974 pages on (theoretic and applied) neutrosophics, written between 2013-2021 by the author alone or in collaboration with the following 122 co-authors from 22 countries: Mohamed Abdel-Basset, Abdel-Nasser Hussian, C. Alexander, Mumtaz Ali, Yaman Akbulut, Amir Abdullah, Amira S. Ashour, Assia Bakali, Kousik Bhattacharya, Kainat Bibi, R. N. Boyd, Ümit Budak, Lulu Cai, Cenap Özel, Chang Su Kim, Victor Christianto, Chunlai Du, Chunxin Bo, Rituparna Chutia, Cu Nguyen Giap, Dao The (...) Son, Vinayak Devvrat, Arindam Dey, Partha Pratim Dey, Fahad Alsharari, Feng Yongfei, S. Ganesan, Shivam Ghildiyal, Bibhas C. Giri, Masooma Raza Hashmi, Ahmed Refaat Hawas, Hoang Viet Long, Le Hoang Son, Hongbo Wang, Hongnian Yu, Mihaiela Iliescu, Saeid Jafari, Temitope Gbolahan Jaiyeola, Naeem Jan, R. Jeevitha, Jun Ye, Anup Khan, Madad Khan, Salma Khan, Ilanthenral Kandasamy, W.B. Vasantha Kandasamy, Darjan Karabašević, Kifayat Ullah, Kishore Kumar P.K., Sujit Kumar De, Prasun Kumar Nayak, Malayalan Lathamaheswari, Luong Thi Hong Lan, Anam Luqman, Luu Quoc Dat, Tahir Mahmood, Hafsa M. Malik, Nivetha Martin, Mai Mohamed, Parimala Mani, Mingcong Deng, Mohammed A. Al Shumrani, Mohammad Hamidi, Mohamed Talea, Kalyan Mondal, Muhammad Akram, Muhammad Gulistan, Farshid Mofidnakhaei, Muhammad Shoaib, Muhammad Riaz, Karthika Muthusamy, Nabeela Ishfaq, Deivanayagampillai Nagarajan, Sumera Naz, Nguyen Dinh Hoa, Nguyen Tho Thong, Nguyen Xuan Thao, Noor ul Amin, Dragan Pamučar, Gabrijela Popović, S. Krishna Prabha, Surapati Pramanik, Priya R, Qiaoyan Li, Yaser Saber, Said Broumi, Saima Anis, Saleem Abdullah, Ganeshsree Selvachandran, Abdulkadir Sengür, Seyed Ahmad Edalatpanah, Shahbaz Ali, Shahzaib Ashraf, Shouzhen Zeng, Shio Gai Quek, Shuangwu Zhu, Shumaiza, Sidra Sayed, Sohail Iqbal, Songtao Shao, Sundas Shahzadi, Dragiša Stanujkić, Željko Stević, Udhayakumar Ramalingam, Zunaira Rashid, Hossein Rashmanlou, Rajkumar Verma, Luige Vlădăreanu, Victor Vlădăreanu, Desmond Jun Yi Tey, Selçuk Topal, Naveed Yaqoob, Yanhui Guo, Yee Fei Gan, Yingcang Ma, Young Bae Jun, Yuping Lai, Hafiz Abdul Wahab, Wei Yang, Xiaohong Zhang, Edmundas Kazimieras Zavadskas, Lemnaouar Zedam. (shrink)

The scientific successes of the last 400 years strongly suggest a view on which things are organized into layers, with phenomena in higher layers dependent on and determined by what goes on below. Philosophers have recently explored the idea that we can make sense of this idea by appeal to a relation called grounding. This book develops the rudiments of a theory of grounding, and applies that theory to questions of independent interest. The theorizing consists in saying in more detail (...) what grounding is and how it relates to explanations of the relevant sort, discussing objections to the deployment of a notion of grounding, and drawing points of contrast between a grounding-centered approach to relative fundamentality and other approaches in the literature. The book then turns to a demonstration of how this theorizing bears fruit in the investigation of other interesting questions. The applications are to central questions concerning (i) how to distinguish between truths that say how objective reality is in itself, quite independently of us, and truths that do not; (ii) the nature of truth; and (iii) the relation between fundamental physical facts and the rich panoply of other facts that depend on and are determined by them, including facts concerning our own doings. The aim is to advance our understanding of one of the deepest and thorniest questions which the stunning scientific achievements of the last 400 years pose: how higher-level phenomena, including ourselves, fit into an ultimately physical world. (shrink)

Intelligence allows people to understand events and to shape their surrounding environment. This book delves deeper into the theories and applications of intelligence, showing it is a multifaceted concept —defined and explained differently by prestigious experts of various disciplines in their own research. The book provides interdisciplinary connections of intelligence as it relates to a variety of clearly outlined subject areas, and should lead to a deep understanding of the phenomenon as it pertains to practical applications in (...) different domains. Contributors in this volume present results from evolutionary biology, mathematics, artificial intelligence, medicine, psychology, cultural studies, economy, political sciences and philosophy. Individual scientific models are integrated in an interdisciplinary concept of wisdom. This volume will help enhance the common understanding of intelligence for fellow researchers and scientists alike. (shrink)

This special issue of the International Journal of Approximate Reasoning grew out of the 8th International Symposium on Imprecise Probability: Theories and Applications. The symposium was organized by the Society for Imprecise Probability: Theories and Applications at the Université de Technologie de Compiègne in July 2013. The biennial ISIPTA meetings are well established among international conferences on generalized methods for uncertainty quantification. The first ISIPTA took place in Gent in 1999, followed by meetings in Cornell, Lugano, (...) Carnegie Mellon, Prague, Durham and Innsbruck. Compiègne proved to be a very nice location for ISIPTA 2013, offering wonderful opportunities for collaborations and discussions, as well as sightseeing places such as its imperial palace. (shrink)

Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms for talking about time, space, knowledge, beliefs, actions, obligations, provability, etc. However, the nice computational properties can drastically change if we combine some of these formalisms into a many-dimensional system, say, to reason about knowledge bases developing in time or moving objects. To (...) study the computational behaviour of many-dimensional modal logics is the main aim of this book. On the one hand, it is concerned with providing a solid mathematical foundation for this discipline, while on the other hand, it shows that many seemingly different applied many-dimensional systems (e.g., multi-agent systems, description logics with epistemic, temporal and dynamic operators, spatio-temporal logics, etc.) fit in perfectly with this theoretical framework, and so their computational behaviour can be analyzed using the developed machinery. We start with concrete examples of applied one- and many-dimensional modal logics such as temporal, epistemic, dynamic, description, spatial logics, and various combinations of these. Then we develop a mathematical theory for handling a spectrum of 'abstract' combinations of modal logics - fusions and products of modal logics, fragments of first-order modal and temporal logics - focusing on three major problems: decidability, axiomatizability, and computational complexity. Besides the standard methods of modal logic, the technical toolkit includes the method of quasimodels, mosaics, tilings, reductions to monadic second-order logic, algebraic logic techniques. Finally, we apply the developed machinery and obtained results to three case studies from the field of knowledge representation and reasoning: temporal epistemic logics for reasoning about multi-agent systems, modalized description logics for dynamic ontologies, and spatio-temporal logics. The genre of the book can be defined as a research monograph. It brings the reader to the front line of current research in the field by showing both recent achievements and directions of future investigations (in particular, multiple open problems). On the other hand, well-known results from modal and first-order logic are formulated without proofs and supplied with references to accessible sources. The intended audience of this book is logicians as well as those researchers who use logic in computer science and artificial intelligence. More specific application areas are, e.g., knowledge representation and reasoning, in particular, terminological, temporal and spatial reasoning, or reasoning about agents. And we also believe that researchers from certain other disciplines, say, temporal and spatial databases or geographical information systems, will benefit from this book as well. Key Features: Integrated approach to modern modal and temporal logics and their applications in artificial intelligence and computer science Written by internationally leading researchers in the field of pure and applied logic Combines mathematical theory of modal logic and applications in artificial intelligence and computer science Numerous open problems for further research Well illustrated with pictures and tables. (shrink)

This collection of essays examines the ways in which disputes and controversies about the application of scientific knowledge are resolved. Four concrete examples of public controversy are considered in detail: the efficacy of Laetrile, the classification of homosexuality as a disease, the setting of safety standards in the workplace, and the utility of nuclear energy as a source of power. The essays in this volume show that debates about these cases are not confined to matters of empirical fact. Rather, as (...) is seen with most scientific and technical controversies, they focus on and are structured by complex ethical, economic, and political interests. Drs. Engelhardt and Caplan have brought together a distinguished group of scholars from the sciences and humanities, who sketch a theory of scientific controversy and attempt to provide recommendations about the ways in which both scientists and the public ought to seek more informed resolutions of highly contentious issues in science and technology. Scientific Controversies is offered as a contribution to the better understanding of the roles of both science and nonscientific interests in disputes and controversies pertaining to science and technology. (shrink)

This book presents a comprehensive mathematical study of the operators behind the Born-Jordan quantization scheme. The Schrödinger and Heisenberg pictures of quantum mechanics are equivalent only if the Born-Jordan scheme is used. Thus, Born-Jordan quantization provides the only physically consistent quantization scheme, as opposed to the Weyl quantization commonly used by physicists. In this book we develop Born-Jordan quantization from an operator-theoretical point of view, and analyze in depth the conceptual differences between the two schemes. We discuss various physically motivated (...) approaches, in particular the Feynman-integral point of view. One important and intriguing feature of Born-Jordan quantization is that it is not one-to-one: there are infinitely many classical observables whose quantization is zero. (shrink)

The notion of a critical successor [5] in relational semantics has been central to most classic modal completeness proofs in interpretability logics. In this paper we shall work with a more general notion, that of an assuring successor. This will enable more concisely formulated completeness proofs, both with respect to ordinary and generalised Veltman semantics. Due to their interesting theoretical properties, we will devote some space to the study of a particular kind of assuring labels, the so‐called full labels and (...) maximal labels. After a general treatment of assuringness, we shall apply it to obtain a completeness result for the modal logic w.r.t. generalised semantics for a restricted class of frames. (shrink)

Situation theory is the result of an interdisciplinary effort to create a full-fledged theory of information. Created by scholars and scientists from cognitive science, computer science, AI, linguistics, logic, philosophy, and mathematics, the theory is forging a common set of tools for the analysis of phenomena from all these fields. This volume presents work that evolved out of the Second Conference on Situation Theory and its Applications. Twenty-six essays exhibit the wide range of the theory, covering such topics as (...) natural language semantics, philosophical issues about information, mathematical applications, and the visual representation of information in computer systems.Jon Barwise is a professor of philosophy, mathematics, and logic at Indiana University in Bloomington. Jean Mark Gawron is a researcher at SRI International and a consultant at Hewlett-Packard Laboratories. Gordon Plotkin is a professor of theoretical computer science at the University of Edinburgh. Syun Tutiya is in the philosophy department at Chiba University in Japan. (shrink)

Handbook of Mathematical Induction: Theory and Applications shows how to find and write proofs via mathematical induction. This comprehensive book covers the theory, the structure of the written proof, all standard exercises, and hundreds of application examples from nearly every area of mathematics. In the first part of the book, the author discusses different inductive techniques, including well-ordered sets, basic mathematical induction, strong induction, double induction, infinite descent, downward induction, and several variants. He then introduces ordinals and cardinals, transfinite (...) induction, the axiom of choice, Zorn’s lemma, empirical induction, and fallacies and induction. He also explains how to write inductive proofs. The next part contains more than 750 exercises that highlight the levels of difficulty of an inductive proof, the variety of inductive techniques available, and the scope of results provable by mathematical induction. Each self-contained chapter in this section includes the necessary definitions, theory, and notation and covers a range of theorems and problems, from fundamental to very specialized. The final part presents either solutions or hints to the exercises. Slightly longer than what is found in most texts, these solutions provide complete details for every step of the problem-solving process. (shrink)

Preface This volume represents the proceedings of the First Conference on Situation Theory and Its Applications held by CSLI at Asilomar, California, ...

This is the first book about the emerging field of utility indifference pricing for valuing derivatives in incomplete markets.

First published in 1985. Routledge is an imprint of Taylor & Francis, an informa company.

Epistemology has had a strongly individualist orientation, at least since Descartes. Knowledge, for Descartes, starts with the fact of one’s own thinking and with oneself as subject of that thinking. Whatever else can be known, it must be known by inference from one’s own mental contents. Achieving such knowledge is an individual, rather than a collective, enterprise. Descartes’s successors largely followed this lead, so the history of epistemology, down to our own time, has been a predominantly individualist affair.

This book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, held in Ann Arbor, MI, USA in June 2011.The 25 revised full papers presented together with ...

This book constitutes the refereed proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing, SAT 2009, held in Swansea, UK, in June/July 2009. The 34 revised full papers presented together with 11 revised short papers and 2 invited talks were carefully selected from 86 submissions. The papers are organized in topical sections on applications of SAT, complexity theory, structures for SAT, resolution and SAT, translations to CNF, techniques for conflict-driven SAT Solvers, solving SAT by (...) local search, hybrid SAT solvers, automatic adaption of SAT solvers, stochastic approaches to SAT solving, QBFs and their representations, optimization algorithms, distributed and parallel solving. (shrink)

When Carol Gilligan (1982) first introduced the ethic of care she did so from the discipline of psychology using empirical data that questioned Kohlberg's (1981) negative assumptions about the mora...

Our primary aim in this paper is to sketch the account of virtue that we think most amenable to virtue measurement. Our account integrates Whole Trait Theory from psychology with a broadly neo-Aristotelian approach to virtue. Our account is ‘ecumenical’ in that it has appeal for a wide range of virtue ethicists. According to WTT, a personality trait is composed of a set of situation-specific trait-appropriate responses, which are produced when certain “social-cognitive” mechanisms are triggered by the perception of trait-relevant (...) stimuli in a person’s external and/or internal environment. Moving from this starting point, we discuss our conception of a virtue and respects in which it both aligns with and diverges from Aristotle’s conception. We discuss roles for practical wisdom and motivation in our conception of virtue, and highlight respects in which WTT provides an amenable empirical framework into which key Aristotelian elements can be integrated. We conclude with brief remarks about our conception as an empirically adequate and measurable account. (shrink)

Our primary aim in this paper is to sketch the account of virtue that we think most amenable to virtue measurement. Our account integrates Whole Trait Theory from psychology with a broadly neo-Aristotelian approach to virtue. Our account is ‘ecumenical’ in that it has appeal for a wide range of virtue ethicists. According to WTT, a personality trait is composed of a set of situation-specific trait-appropriate responses, which are produced when certain “social-cognitive” mechanisms are triggered by the perception of trait-relevant (...) stimuli in a person’s external and/or internal environment. Moving from this starting point, we discuss our conception of a virtue and respects in which it both aligns with and diverges from Aristotle’s conception. We discuss roles for practical wisdom and motivation in our conception of virtue, and highlight respects in which WTT provides an amenable empirical framework into which key Aristotelian elements can be integrated. We conclude with brief remarks about our conception as an empirically adequate and measurable account. (shrink)

Our primary aim in this paper is to sketch the account of virtue that we think most amenable to virtue measurement. Our account integrates Whole Trait Theory from psychology with a broadly neo-Aristotelian approach to virtue. Our account is ‘ecumenical’ in that it has appeal for a wide range of virtue ethicists. According to WTT, a personality trait is composed of a set of situation-specific trait-appropriate responses, which are produced when certain “social-cognitive” mechanisms are triggered by the perception of trait-relevant (...) stimuli in a person’s external and/or internal environment. Moving from this starting point, we discuss our conception of a virtue and respects in which it both aligns with and diverges from Aristotle’s conception. We discuss roles for practical wisdom and motivation in our conception of virtue, and highlight respects in which WTT provides an amenable empirical framework into which key Aristotelian elements can be integrated. We conclude with brief remarks about our conception as an empirically adequate and measurable account. (shrink)

Our primary aim in this paper is to sketch the account of virtue that we think most amenable to virtue measurement. Our account integrates Whole Trait Theory from psychology with a broadly neo-Aristotelian approach to virtue. Our account is ‘ecumenical’ in that it has appeal for a wide range of virtue ethicists. According to WTT, a personality trait is composed of a set of situation-specific trait-appropriate responses, which are produced when certain “social-cognitive” mechanisms are triggered by the perception of trait-relevant (...) stimuli in a person’s external and/or internal environment. Moving from this starting point, we discuss our conception of a virtue and respects in which it both aligns with and diverges from Aristotle’s conception. We discuss roles for practical wisdom and motivation in our conception of virtue, and highlight respects in which WTT provides an amenable empirical framework into which key Aristotelian elements can be integrated. We conclude with brief remarks about our conception as an empirically adequate and measurable account. (shrink)

This book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability Testing, SAT 2004, held in Vancouver, BC, Canada in May 2004. The 24 revised full papers presented together with 2 invited papers were carefully selected from 72 submissions. In addition there are 2 reports on the 2004 SAT Solver Competition and the 2004 QBF Solver Evaluation. The whole spectrum of research in propositional and quantified Boolean formula satisfiability testing is covered; bringing together (...) the fields of theoretical and experimental computer science as well as the many relevant application areas. (shrink)

Papers presented at the National Seminar on 'Indian Hermeneutics : Theory and Application', held at Centre of Advanced Study in Sanskrit, University of Pune during 11-13 January 2011.

Preface This volume represents the proceedings of the Second Conference on Situation Theory and its Applications, held at Loch Rannoch, Scotland, ...

The Process Specification Language (PSL) has been designed to facilitate correct and complete exchange of process information among manufacturing systems, such as scheduling, process modeling, process planning, production planning, simulation, project management, work flow, and business process reengineering. We given an overview of the theories with the PSL ontology, discuss some of the design principles for the ontology, and finish with examples of process specifications that are based on the ontology.

part 1. Fuzzy logic theory 1 -- part 2. Applications and advanced topics of fuzzy logic.

We present this research to all researchers and scholars who have realized the existence of indeterminacy in all data, through the results they obtain and the values that are not accurate enough and that may cause loss to the systems and facilities under study, and we will present through it the emergence, foundations and development of Neutrosophic theories and their applications for more than two decades (1995- 2023) since it was defined and studied, along with its applications, (...) in order to be able to present new studies and research that keep pace with the great scientific development that our contemporary world is witnessing, through the use of research that has been published by the professionals and found on the attached open links. (shrink)