The Joint International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it (...) has been used for nonmonotonic and commonsense reasoning, expert systems implementation, deductive databases, and applications such as computer-aided manufacturing. Krzysztof R. Apt is project leader at the Centre for Mathematics and Computer Science in Amsterdam and part-time Professor in Computer Science at the University of Amsterdam. Topics covered: Theory Foundations. Programming Languages. Implementation. Programming Methodologies and Tools. Applications. Deductive Databases. Artificial Intelligence. Parallelism. (shrink)

This volume contains finalized versions of papers presented at an international workshop on extensions of logic programming, held at the Seminar for Natural Language Systems at the University of Tübingen in December 1989. Several recent extensions of definite Horn clause programming, especially those with a proof-theoretic background, have much in common. One common thread is a new emphasis on hypothetical reasoning, which is typically inspired by Gentzen-style sequent or natural deduction systems. This is not only of (...) theoretical significance, but also bears upon computational issues. It was one purpose of the workshop to bring some of these recent developments together. The volume covers topics such as the languages Lambda-Prolog, N-Prolog, and GCLA, the relationship between logic programming and functional programming, and the relationship between extensions of logic programming and automated theorem proving. It contains the results of the first conference concentrating on proof-theoretic approaches to logic programming. (shrink)

These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International (...) class='Hi'>Conference on Rules and Objects in Databases (DOOD 2000) { 10th International Workshop on Logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th International Conference on Inductive Logic Programming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { Logic Programming: Theory and Extensions { Constraints { Automated Deduction: Putting Theory into Practice { Knowledge Representation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { Logic Programming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. The acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream. (shrink)

Includes tutorials, invited lectures, and refereed papers on all aspects of logic programming including: Constraints, Concurrency and Parallelism, Deductive Databases, Implementations, Meta and Higher-order Programming, Theory, and Semantic Analysis. September 2-6, 1996, Bonn, Germany Every four years, the two major international scientific conferences on logic programming merge in one joint event. JICSLP'96 is the thirteenth in the two series of annual conferences sponsored by The Association for Logic Programming. It includes tutorials, (...) invited lectures, and refereed papers on all aspects of logic programming including: Constraints, Concurrency and Parallelism, Deductive Databases, Implementations, Meta and Higher-order Programming, Theory, and Semantic Analysis. The contributors are international, with strong contingents from the United States, United Kingdom, France, and Japan. Logic Programming series, Research Reports and Notes. (shrink)

The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University of St Andrews, March/April 1993. Among the topics covered in the volume are: defintional reflection and completion, modules in lambda-Prolog, representation of logics as partial inductive definitions, non-procedural logic programming, knowledge representation, contradiction avoidance, disjunctive databases, strong negation, linear logic programming, proof theory and regular search spaces, finite sets (...) and constraint logic programming, search-space pruning and universal algebra, and implementation on transputer networks. (shrink)

These two volumes collect papers presented at the first joint meeting of the two principal logic programming conferences, held in August of 1988. The more than fifty contributions cover all aspects of the field, including applications (particularly those that exploit the unique character of logic programming), the role of logic programming in artificial intelligence, deductive databases, relations to other computational paradigms, language issues, methodology, implementations on sequential and parallel architectures, and theory.Logic (...) Programming is included in the Logic Programming series Research Reports and Notes, edited by Ehud Shapiro. (shrink)

A proof of ‘correctness’ for a mathematical algorithm cannot be relevant to executions of a program based on that algorithm because both the algorithm and the proof are based on assumptions that do not hold for computations carried out by real-world computers. Thus, proving the ‘correctness’ of an algorithm cannot establish the trustworthiness of programs based on that algorithm. Despite the (deceptive) sameness of the notations used to represent them, the transformation of an algorithm into an executable program is a (...) wrenching metamorphosis that changes a mathematical abstraction into a prescription for concrete actions to be taken by real computers. Therefore, it is verification of program executions (processes) that is needed, not of program texts that are merely the scripts for those processes. In this view, verification is the empirical investigation of: (a) the behavior that programs invoke in a computer system and (b) the larger context in which that behavior occurs. Here, deduction can play no more, and no less, a role than it does in the empirical sciences. (shrink)

This book constitutes the refereed proceedings of the 10th International Conference on Inductive Logic Programming, ILP 2000, held in London, UK in July 2000 as past of CL 2000. The 15 revised full papers presented together with an invited paper were carefully reviewed and selected from 37 submissions. The papers address all current issues in inductive logic programming and inductive learning, from foundational aspects to applications in various fields like data mining, knowledge discovery, and ILP (...) system design. (shrink)

This book constitutes the refereed proceedings of the 20th International Conference on Logic Programming, ICLP 2004, held in Saint-Malo, France in September 2004. The 28 revised full papers and 16 poster papers presented together with 2 invited papers were carefully reviewed and selected from 70 submissions. The papers are organized in topical sections on program analysis, constraints, alternative programming paradigms, answer set programming, and implementation.

This volume presents a collection of refereed papers reflecting the state of the art in the area of over-constrained systems. Besides 11 revised full papers, selected from the 24 submissions to the OCS workshop held in conjunction with the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Marseilles in September 1995, the book includes three comprehensive background papers of central importance for the workshop papers and the whole field. Also included (...) is an introduction by one of the volume editors together with a bibliography listing 243 entries. All in all this is a very useful reference book relevant for all researchers and practitioners interested in hierarchical, partial, and over-constrained systems. (shrink)

This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997. The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics and its (...) applications and thus presents the state of the art in the area. (shrink)

The appearance of mass media and a versatile medium of videos can serve the convenience and instructive information for children; on the other hand, it could abet them in implicit image consumption. Now is the time for kids' to be in need of thinking power which enables them to make a choice, applications andcriticism of information within such visual cultures. In spite of these social changes, the realities are that our curriculum still doesn't meet a learner's demand properly. This research, (...) in this context, is aimed at looking out on the currently implemented art appreciation learning process in a critical fashion, and also aimed at suggesting a plan for visual culture learning by applying the philosophy program for kids as a new alternative. The purpose of such education is toenhance the capability to solve a variety of problems they are facing in the course of daily life by reflecting their matter of concern in a curriculum. What we have to pay attention to in visual culture learning is 'visual literacy.' Such an interpretative faculty of a critical reading of images is a must especially when kids should make a judgment of value hidden in images in their daily events, make an analysis of an ideological message and make an information-oriented decision. Therefore, learners have to enrich their higher-order thinking power as well as critical thinking faculty in modern society. If there is no objection to these social surroundings, it is quite natural that philosophy education, which forms a base of a higher-order thinking for children should be handled significantly at school. (shrink)

A major strategy to reduce transport congestion and other social costs of transport is to ensure that travellers make the best decisions, based on real time information. A wide range of technological systems have been developed to provide this information, but little is known about how travellers actually respond to it. This book offers an overview of various transport telematics options and provides an appropriate methodological framework, followed by a presentation of results from actual applications of these telematics systems from (...) a range of European countries in various transport sectors. The empirical results are supplemented by analytical models and geographic information systems representations with a view on generalizing these findings and identifying the key parameters which determine user response. (shrink)

Workshop organized by Fraunhofer-Institut f'ur Arbeitswirtschaft und Organisation.".

This book constitutes the refereed proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2004, held in Fort Lauderdale, Florida, USA in January 2004. The 24 revised full papers presented together with 8 system descriptions were carefully reviewed and selected for presentation. Among the topics addressed are declarative logic programming, nonmonotonic reasoning, knowledge representation, combinatorial search, answer set programming, constraint programming, deduction in ontologies, and planning.

This volume contains papers presented at the second international workshop on extensions of logic programming, which was held at the Swedish Institute of Computer Science, Stockhom, January 27-29, 1991. The 12 papers describe and discuss several approaches to extensions of logic programming languages such as PROLOG, as well as connections between logic programming and functional programming, theoretical foundations of extensions, applications, and programming methodologies. The first workshop in this series was (...) held in T}bingen in 1989 and its proceedings areavailable as LNCS 475. The third workshop will be held in Bologna in 1992. (shrink)

Table of contentsI1 Proceedings of the 4th World Conference on Research IntegrityConcurrent Sessions:1. Countries' systems and policies to foster research integrityCS01.1 Second time around: Implementing and embedding a review of responsible conduct of research policy and practice in an Australian research-intensive universitySusan Patricia O'BrienCS01.2 Measures to promote research integrity in a university: the case of an Asian universityDanny Chan, Frederick Leung2. Examples of research integrity education programmes in different countriesCS02.1 Development of a state-run “cyber education program of research ethics” (...) in KoreaEun Jung Ko, Jin Sun Kwak, TaeHwan Gwon, Ji Min Lee, Min-Ho LeeCS02.3 Responsible conduct of research teachers’ training courses in Germany: keeping on drilling through hard boards for more RCR teachersHelga Nolte, Michael Gommel, Gerlinde Sponholz3. The research environment and policies to encourage research integrityCS03.1 Challenges and best practices in research integrity: bridging the gap between policy and practiceYordanka Krastev, Yamini Sandiran, Julia Connell, Nicky SolomonCS03.2 The Slovenian initiative for better research: from national activities to global reflectionsUrsa Opara Krasovec, Renata SribarCS03.3 Organizational climate assessments to support research integrity: background of the Survey of Organizational Research Climate and the experience with its use at Michigan State UniversityBrian C. Martinson, Carol R. Thrush, C.K. Gunsalus4. Expressions of concern and retractionsCS04.1 Proposed guidelines for retraction notices and their disseminationIvan Oransky, Adam MarcusCS04.2 Watching retractions: analysis of process and practice, with data from the Wiley retraction archivesChris Graf, Verity Warne, Edward Wates, Sue JoshuaCS04.3 An exploratory content analysis of Expressions of ConcernMiguel RoigCS04.4 An ethics researcher in the retraction processMichael Mumford5. Funders' role in fostering research integrityCS05.1 The Fonds de Recherche du Québec’s institutional rules on the responsible conduct of research: introspection in the funding agency activitiesMylène Deschênes, Catherine Olivier, Raphaëlle Dupras-LeducCS05.2 U.S. Public Health Service funds in an international setting: research integrity and complianceZoë Hammatt, Raju Tamot, Robin Parker, Cynthia Ricard, Loc Nguyen-Khoa, Sandra TitusCS05.3 Analyzing decision making of funders of public research as a case of information asymmetryKarsten Klint JensenCS05.4 Research integrity management: Empirical investigation of academia versus industrySimon Godecharle, Ben Nemery, Kris Dierickx5A: Education: For whom, how, and what?CS05A.1 Research integrity or responsible conduct of research? What do we aim for?Mickey Gjerris, Maud Marion Laird Eriksen, Jeppe Berggren HoejCS05A.2 Teaching and learning about RCR at the same time: a report on Epigeum’s RCR poll questions and other assessment activitiesNicholas H. SteneckCS05A.4 Minding the gap in research ethics education: strategies to assess and improve research competencies in community health workers/promoteresCamille Nebeker, Michael Kalichman, Elizabeth Mejia Booen, Blanca Azucena Pacheco, Rebeca Espinosa Giacinto, Sheila Castaneda6. Country examples of research reward systems and integrityCS06.1 Improving systems to promote responsible research in the Chinese Academy of SciencesDing Li, Qiong Chen, Guoli Zhu, Zhonghe SunCS06.4 Exploring the perception of research integrity amongst public health researchers in IndiaParthasarathi Ganguly, Barna Ganguly7. Education and guidance on research integrity: country differencesCS07.1 From integrity to unity: how research integrity guidance differs across universities in Europe.Noémie Aubert Bonn, Kris Dierickx, Simon GodecharleCS07.2 Can education and training develop research integrity? The spirit of the UNESCO 1974 recommendation and its updatingDaniele Bourcier, Jacques Bordé, Michèle LeducCS07.3 The education and implementation mechanisms of research ethics in Taiwan's higher education: an experience in Chinese web-based curriculum development for responsible conduct of researchChien Chou, Sophia Jui-An PanCS07.4 Educating principal investigators in Swiss research institutions: present and future perspectivesLouis Xaver Tiefenauer8. Measuring and rewarding research productivityCS08.1 Altimpact: how research integrity underpins research impactDaniel Barr, Paul TaylorCS08.2 Publication incentives: just reward or misdirection of funds?Lyn Margaret HornCS08.3 Why Socrates never charged a fee: factors contributing to challenges for research integrity and publication ethicsDeborah Poff9. Plagiarism and falsification: Behaviour and detectionCS09.1 Personality traits predict attitude towards plagiarism of self and others in biomedicine: plagiarism, yes we can?Martina Mavrinac, Gordana Brumini, Mladen PetrovečkiCS09.2 Investigating the concept of and attitudes toward plagiarism for science teachers in Brazil: any challenges for research integrity and policy?Christiane Coelho Santos, Sonia VasconcelosCS09.3 What have we learnt?: The CrossCheck Service from CrossRefRachael LammeyCS09.4 High p-values as a sign of data fabrication/falsificationChris Hartgerink, Marcel van Assen, Jelte Wicherts10. Codes for research integrity and collaborationsCS10.1 Research integrity in cross-border cooperation: a Nordic exampleHanne Silje HaugeCS10.3 Research integrity, research misconduct, and the National Science Foundation's requirement for the responsible conduct of researchAaron MankaCS10.4 A code of conduct for international scientific cooperation: human rights and research integrity in scientific collaborations with international academic and industry partnersRaffael Iturrizaga11. Countries' efforts to establish mentoring and networksCS11.1 ENRIO : a network facilitating common approaches on research integrity in EuropeNicole FoegerCS11.2 Helping junior investigators develop in a resource-limited country: a mentoring program in PeruA. Roxana Lescano, Claudio Lanata, Gissella Vasquez, Leguia Mariana, Marita Silva, Mathew Kasper, Claudia Montero, Daniel Bausch, Andres G LescanoCS11.3 Netherlands Research Integrity Network: the first six monthsFenneke Blom, Lex BouterCS11.4 A South African framework for research ethics and integrity for researchers, postgraduate students, research managers and administratorsLaetus OK Lategan12. Training and education in research integrity at an early career stageCS12.1 Research integrity in curricula for medical studentsGustavo Fitas ManaiaCS12.2 Team-based learning for training in the responsible conduct of research supports ethical decision-makingWayne T. McCormack, William L. Allen, Shane Connelly, Joshua Crites, Jeffrey Engler, Victoria Freedman, Cynthia W. Garvan, Paul Haidet, Joel Hockensmith, William McElroy, Erik Sander, Rebecca Volpe, Michael F. VerderameCS12.4 Research integrity and career prospects of junior researchersSnezana Krstic13. Systems and research environments in institutionsCS13.1 Implementing systems in research institutions to improve quality and reduce riskLouise HandyCS13.2 Creating an institutional environment that supports research integrityDebra Schaller-DemersCS13.3 Ethics and Integrity Development Grants: a mechanism to foster cultures of ethics and integrityPaul Taylor, Daniel BarrCS13.4 A culture of integrity at KU LeuvenInge Lerouge, Gerard Cielen, Liliane Schoofs14. Peer review and its role in research integrityCS14.1 Peer review research across disciplines: transdomain action in the European Cooperation in Science and Technology “New Frontiers of Peer Review ”Ana Marusic, Flaminio SquazzoniCS14.2 Using blinding to reduce bias in peer reviewDavid VauxCS14.3 How to intensify the role of reviewers to promote research integrityKhalid Al-Wazzan, Ibrahim AlorainyCS14.4 Credit where credit’s due: professionalizing and rewarding the role of peer reviewerChris Graf, Verity Warne15. Research ethics and oversight for research integrity: Does it work?CS15.1 The psychology of decision-making in research ethics governance structures: a theory of bounded rationalityNolan O'Brien, Suzanne Guerin, Philip DoddCS15.2 Investigator irregularities: iniquity, ignorance or incompetence?Frank Wells, Catherine BlewettCS15.3 Academic plagiarismFredric M. Litto16. Research integrity in EuropeCS16.1 Whose responsibility is it anyway?: A comparative analysis of core concepts and practice at European research-intensive universities to identify and develop good practices in research integrityItziar De Lecuona, Erika Löfstrom, Katrien MaesCS16.2 Research integrity guidance in European research universitiesKris Dierickx, Noémie Bonn, Simon GodecharleCS16.3 Research Integrity: processes and initiatives in Science Europe member organisationsTony Peatfield, Olivier Boehme, Science Europe Working Group on Research IntegrityCS16.4 Promoting research integrity in Italy: the experience of the Research Ethics and Bioethics Advisory Committee of the Consiglio Nazionale delle Ricerche Cinzia Caporale, Daniele Fanelli17. Training programs for research integrity at different levels of experience and seniorityCS17.1 Meaningful ways to incorporate research integrity and the responsible conduct of research into undergraduate, graduate, postdoctoral and faculty training programsJohn Carfora, Eric Strauss, William LynnCS17.2 "Recognize, respond, champion": Developing a one-day interactive workshop to increase confidence in research integrity issuesDieter De Bruyn, Bracke Nele, Katrien De Gelder, Stefanie Van der BurghtCS17.4 “Train the trainer” on cultural challenges imposed by international research integrity conversations: lessons from a projectJosé Roberto Lapa e Silva, Sonia M. R. Vasconcelos18. Research and societal responsibilityCS18.1 Promoting the societal responsibility of research as an integral part of research integrityHelene IngierdCS18.2 Social responsibility as an ethical imperative for scientists: research, education and service to societyMark FrankelCS18.3 The intertwined nature of social responsibility and hope in scienceDaniel Vasgird, Stephanie BirdCS18.4 Common barriers that impede our ability to create a culture of trustworthiness in the research communityMark Yarborough19. Publication ethicsCS19.1 The authors' forum: A proposed tool to improve practices of journal editors and promote a responsible research environmentIbrahim Alorainy, Khalid Al-WazzanCS19.2 Quantifying research integrity and its impact with text analyticsHarold GarnerCS19.3 A closer look at authorship and publication ethics of multi- and interdisciplinary teamsLisa Campo-Engelstein, Zubin Master, Elise Smith, David Resnik, Bryn Williams-JonesCS19.4 Invisibility of duplicate publications in biomedicineMario Malicki, Ana Utrobicic, Ana Marusic20. The causes of bad and wasteful research: What can we do?CS20.1 From countries to individuals: unravelling the causes of bias and misconduct with multilevel meta-meta-analysisDaniele Fanelli, John PA IoannidisCS20.2 Reducing research waste by integrating systems of oversight and regulationGerben ter Riet, Tom Walley, Lex Marius BouterCS20.3 What are the determinants of selective reporting?: The example of palliative care for non-cancer conditionsJenny van der Steen, Lex BouterCS20.4 Perceptions of plagiarism, self-plagiarism and redundancy in research: preliminary results from a national survey of Brazilian PhDsSonia Vasconcelos, Martha Sorenson, Francisco Prosdocimi, Hatisaburo Masuda, Edson Watanabe, José Carlos Pinto, Marisa Palácios, José Lapa e Silva, Jacqueline Leta, Adalberto Vieyra, André Pinto, Mauricio Sant’Ana, Rosemary Shinkai21. Are there country-specific elements of misconduct?CS21.1 The battle with plagiarism in Russian science: latest developmentsBoris YudinCS21.2 Researchers between ethics and misconduct: A French survey on social representations of misconduct and ethical standards within the scientific communityEtienne Vergès, Anne-Sophie Brun-Wauthier, Géraldine VialCS21.3 Experience from different ways of dealing with research misconduct and promoting research integrity in some Nordic countriesTorkild VintherCS21.4 Are there specifics in German research misconduct and the ways to cope with it?Volker Bähr, Charité22. Research integrity teaching programmes and their challengesCS22.1 Faculty mentors and research integrityMichael Kalichman, Dena PlemmonsCS22.2 Training the next generation of scientists to use principles of research quality assurance to improve data integrity and reliabilityRebecca Lynn Davies, Katrina LaubeCS22.3 Fostering research integrity in a culturally-diverse environmentCynthia Scheopner, John GallandCS22.4 Towards a standard retraction formHervé Maisonneuve, Evelyne Decullier23. Commercial research and integrityCS23.1 The will to commercialize: matters of concern in the cultural economy of return-on-investment researchBrian NobleCS23.2 Quality in drug discovery data reporting: a mission impossible?Anja Gilis, David J. Gallacher, Tom Lavrijssen, Malwitz David, Malini Dasgupta, Hans MolsCS23.3 Instituting a research integrity policy in the context of semi-private-sector funding: an example in the field of occupational health and safetyPaul-Emile Boileau24. The interface of publication ethics and institutional policiesCS24.1 The open access ethical paradox in an open government effortTony SavardCS24.2 How journals and institutions can work together to promote responsible conductEric MahCS24.3 Improving cooperation between journals and research institutions in research integrity casesElizabeth Wager, Sabine Kleinert25. Reproducibility of research and retractionsCS25.1 Promoting transparency in publications to reduce irreproducibilityVeronique Kiermer, Andrew Hufton, Melanie ClyneCS25.2 Retraction notices issued for publications by Latin American authors: what lessons can we learn?Sonia Vasconcelos, Renan Moritz Almeida, Aldo Fontes-Pereira, Fernanda Catelani, Karina RochaCS25.3 A preliminary report of the findings from the Reproducibility Project: Cancer biologyElizabeth Iorns, William Gunn26. Research integrity and specific country initiativesCS26.1 Promoting research integrity at CNRS, FranceMichèle Leduc, Lucienne LetellierCS26.2 In pursuit of compliance: is the tail wagging the dog?Cornelia MalherbeCS26.3 Newly established research integrity policies and practices: oversight systems of Japanese research universitiesTakehito Kamata27. Responsible conduct of research and country guidelinesCS27.1 Incentives or guidelines? Promoting responsible research communication through economic incentives or ethical guidelines?Vidar EnebakkCS27.3 Responsible conduct of research: a view from CanadaLynn PenrodCS27.4 The Danish Code of Conduct for Research Integrity: a national initiative to promote research integrity in DenmarkThomas Nørgaard, Charlotte Elverdam28. Behaviour, trust and honestyCS28.1 The reasons behind non-ethical behaviour in academiaYves FassinCS28.2 The psychological profile of the dishonest scholarCynthia FekkenCS28.3 Considering the implications of Dan Ariely’s keynote speech at the 3rd World Conference on Research Integrity in MontréalJamal Adam, Melissa S. AndersonCS28.4 Two large surveys on psychologists’ views on peer review and replicationJelte WichertsBrett Buttliere29. Reporting and publication bias and how to overcome itCS29.1 Data sharing: Experience at two open-access general medical journalsTrish GrovesCS29.2 Overcoming publication bias and selective reporting: completing the published recordDaniel ShanahanCS29.3 The EQUATOR Network: promoting responsible reporting of health research studiesIveta Simera, Shona Kirtley, Eleana Villanueva, Caroline Struthers, Angela MacCarthy, Douglas Altman30. The research environment and its implications for integrityCS30.1 Ranking of scientists: the Russian experienceElena GrebenshchikovaCS30.4 From cradle to grave: research integrity, research misconduct and cultural shiftsBronwyn Greene, Ted RohrPARTNER SYMPOSIAPartner Symposium AOrganized by EQUATOR Network, Enhancing the Quality and Transparency of Health ResearchP1 Can we trust the medical research literature?: Poor reporting and its consequencesIveta SimeraP2 What can BioMed Central do to improve published research?Daniel Shanahan, Stephanie HarrimanP3 What can a "traditional" journal do to improve published research?Trish GrovesP4 Promoting good reporting practice for reliable and usable research papers: EQUATOR Network, reporting guidelines and other initiativesCaroline StruthersPartner Symposium COrganized by ENRIO, the European Network of Research Integrity OfficersP5 Transparency and independence in research integrity investigations in EuropeKrista Varantola, Helga Nolte, Ursa Opara, Torkild Vinther, Elizabeth Wager, Thomas NørgaardPartner Symposium DOrganized by IEEE, the Institute of Electrical and Electronics EngineersRe-educating our author community: IEEE's approach to bibliometric manipulation, plagiarism, and other inappropriate practicesP6 Dealing with plagiarism in the connected world: An Institute of Electrical and Electronics Engineers perspectiveJon RokneP7 Should evaluation of raises, promotion, and research proposals be tied to bibliometric indictors? What the Institute of Electrical and Electronics Engineers is doing to answer this questionGianluca SettiP8 Recommended practices to ensure conference content qualityGordon MacPhersonPartner Symposium EOrganized by the Committee on Freedom and Responsibility in the Conduct of Science of ICSU, the International Council for ScienceResearch assessment and quality in science: perspectives from international science and policy organisationsP9 Challenges for science and the problems of assessing researchEllen HazelkornP10 Research assessment and science policy developmentCarthage SmithP11 Research integrity in South Africa: the value of procedures and processes to global positioningRobert H. McLaughlinP12 Rewards, careers and integrity: perspectives of young scientists from around the worldTatiana Duque MartinsPartner Symposium FOrganized by the Online Resource Center for Ethics Education in Engineering and Science / Center for Engineering, Ethics, and Society of the National Academy of EngineeringP13 Research misconduct: conceptions and policy solutionsTetsuya Tanimoto, Nicholas Steneck, Daniele Fanelli, Ragnvald Kalleberg, Tajammul HusseinPartner Symposium HOrganized by ORI, the Office of Research Integrity; Universitas 21; and the Asia Pacific Research Integrity NetworkP14 International integrity networks: working together to ensure research integrityPing Sun, Ovid Tzeng, Krista Varantola, Susan ZimmermanPartner Symposium IOrganized by COPE, the Committee on Publication EthicsPublication without borders: Ethical challenges in a globalized worldP15 Authorship: credit and responsibility, including issues in large and interdisciplinary studiesRosemary ShinkaiPartner Symposium JOrganized by CITI, the Cooperative Institutional Training InitiativeExperiences on research integrity educational programs in Colombia, Costa Rica and PeruP16 Experiences in PeruRoxana LescanoP17 Experiences in Costa RicaElizabeth HeitmanP18 Experiences in ColumbiaMaria Andrea Rocio del Pilar Contreras NietoPoster Session B: Education, training, promotion and policyPT.01 The missing role of journal editors in promoting responsible researchIbrahim Alorainy, Khalid Al-WazzanPT.02 Honorary authorship in Taiwan: why and who should be in charge?Chien Chou, Sophia Jui-An PanPT.03 Authorship and citation manipulation in academic researchEric Fong, Al WilhitePT.04 Open peer review of research submission at medical journals: experience at BMJ Open and The BMJTrish GrovesPT.05 Exercising authorship: claiming rewards, practicing integrityDésirée Motta-RothPT.07 Medical scientists' views on publication culture: a focus group studyJoeri Tijdink, Yvo SmuldersPoster Session B: Education, training, promotion and policyPT.09 Ethical challenges in post-graduate supervisionLaetus OK LateganPT.10 The effects of viable ethics instruction on international studentsMichael Mumford, Logan Steele, Logan Watts, James Johnson, Shane Connelly, Lee WilliamsPT.11 Does language reflect the quality of research?Gerben ter Riet, Sufia Amini, Lotty Hooft, Halil KilicogluPT.12 Integrity complaints as a strategic tool in policy decision conflictsJanneke van Seters, Herman Eijsackers, Fons Voragen, Akke van der Zijpp and Frans BromPoster Session C: Ethics and integrity intersectionsPT.14 Regulations of informed consent: university-supported research processes and pitfalls in implementationBadaruddin Abbasi, Naif Nasser AlmasoudPT.15 A review of equipoise as a requirement in clinical trialsAdri LabuschagnePT.16 The Research Ethics Library: online resource for research ethics educationJohanne Severinsen, Espen EnghPT.17 Research integrity: the view from King Abdulaziz City for Science and TechnologyDaham Ismail AlaniPT. 18 Meeting global challenges in high-impact publications and research integrity: the case of the Malaysian Palm Oil BoardHJ. Kamaruzaman JusoffPT.19 University faculty perceptions of research practices and misconductAnita Gordon, Helen C. HartonPoster Session D: International perspectivesPT.21 The Commission for Scientific Integrity as a response to research fraudDieter De Bruyn, Stefanie Van der BurghtPT. 22 Are notions of the responsible conduct of research associated with compliance with requirements for research on humans in different disciplinary traditions in Brazil?Karina de Albuquerque Rocha, Sonia Maria Ramos de VasconcelosPT.23 Creating an environment that promotes research integrity: an institutional model of Malawi Liverpool Welcome TrustLimbanazo MatandikaPT.24 How do science policies in Brazil influence user-engaged ecological research?Aline Carolina de Oliveira Machado Prata, Mark William NeffPoster Session E: Perspectives on misconductPT.26 What “causes” scientific misconduct?: Testing major hypotheses by comparing corrected and retracted papersDaniele Fanelli, Rodrigo Costas, Vincent LarivièrePT.27 Perception of academic plagiarism among dentistry studentsDouglas Leonardo Gomes Filho, Diego Oliveira GuedesPT. 28 a few bad apples?: Prevalence, patterns and attitudes towards scientific misconduct among doctoral students at a German university hospitalVolker Bähr, Niklas Keller, Markus Feufel, Nikolas OffenhauserPT. 29 Analysis of retraction notices published by BioMed CentralMaria K. Kowalczuk, Elizabeth C. MoylanPT.31 "He did it" doesn't work: data security, incidents and partnersKatie SpeanburgPoster Session F: Views from the disciplinesPT.32 Robust procedures: a key to generating quality results in drug discoveryMalini Dasgupta, Mariusz Lubomirski, Tom Lavrijssen, David Malwitz, David Gallacher, Anja GillisPT.33 Health promotion: criteria for the design and the integrity of a research projectMaria Betânia de Freitas Marques, Laressa Lima Amâncio, Raphaela Dias Fernandes, Oliveira Patrocínio, and Cláudia Maria Correia Borges RechPT.34 Integrity of academic work from the perspective of students graduating in pharmacy: a brief research studyMaria Betânia de Freitas Marques, Cláudia Maria Correia Borges Rech, Adriana Nascimento SousaPT.35 Research integrity promotion in the Epidemiology and Health Services, the journal of the Brazilian Unified Health SystemLeila Posenato GarciaPT.36 When are clinical trials registered? An analysis of prospective versus retrospective registration of clinical trials published in the BioMed Central series, UKStephanie Harriman, Jigisha PatelPT.37 Maximizing welfare while promoting innovation in drug developmentFarida LadaOther posters that will be displayed but not presented orally:PT.38 Geoethics and the debate on research integrity in geosciencesGiuseppe Di Capua, Silvia PeppoloniPT.39 Introducing the Professionalism and Integrity in Research Program James M. DuBois, John Chibnall, Jillon Van der WallPT.40 Validation of the professional decision-making in research measureJames M. DuBois, John Chibnall, Jillon Van der Wall, Raymond TaitPT.41 General guidelines for research ethicsJacob HolenPT. 42 A national forum for research ethicsAdele Flakke Johannessen, Torunn EllefsenPT.43 Evaluation of integrity in coursework: an approach from the perspective of the higher education professorClaudia Rech, Adriana Sousa, Maria Betânia de Freitas MarquesPT.44 Principles of geoethics and research integrity applied to the European Multidisciplinary Seafloor and Water Column Observatory, a large-scale European environmental research infrastructureSilvia Peppoloni, Giuseppe Di Capua, Laura BeranzoliF1 Focus track on improving research systems: the role of fundersPaulo S.L. Beirão, Susan ZimmermanF2 Focus track on improving research systems: the role of countriesSabine Kleinert, Ana MarusicF3 Focus track on improving research systems: the role of institutionsMelissa S. Anderson, Lex Bouter. (shrink)

ABSTRACT To more efficiently cover a wide spectrum of conceptual modeling applications such as computer-aided design, computer-aided manufacturing, and medical information systems, we envision multi-paradigm design environments which have reasoning capability to support analyzing specifcations for correctness. For such applications, information system designers employ conceptual models characterized by semantically-rich specification languages. The problem of providing a comprehensive formal framework for such languages has not been adequately addressed. This paper investigates a formal system for this purpose called Event-Formula Logic (EFL). (...) The analysis focuses in particular on characterizing correctness of database updates. Its applicability is demonstrated from two perspectives: deriving preconditions that guarantee a given update will not violate an integrity constraint, and determining alternative integrity maintenance rules for performing corrective actions when the application semantics requires this update interpretation. The work described in this paper represents an important step in the analysis of database update semantics through the use of algorithmic logic. As a result, it contributes towards providing a formal basis for semantically-rich information system design environments. (shrink)

The First International Workshop brings together researchers from the theoretical ends of the logic programming and artificial intelligence communities to discuss their mutual interests. Logic programming deals with the use of models of mathematical logic as a way of programming computers, where theoretical AI deals with abstract issues in modeling and representing human knowledge and beliefs. One common ground is nonmonotonic reasoning, a family of logics that includes room for the kinds of variations (...) that can be found in human reasoning. Topics covered: Stable Semantics. Default Logic. AutoEpistemic Logic. Truth Maintenance Systems. Implementation Issues. Diagnosis. Applications. Inheritance Reasoning. Logics of Belief. Inconsistency and Non-Monotonicity. (shrink)

In the fall of 2019, Trøndelag County Council, Norway, organized a Climate Workshop for children and youth. The intention of the workshop was to include children’s and youth’s perspectives as a foundation for a policy document titled “How we do it in Trøndelag. Strategy for transformations to mitigate climate change”. The workshop involved a range of creative and discussion tools for input on sustainable development and climate politics. In this article, we aim to describe and discuss (...) innovative practices that include children and youth in policymaking related to climate action, and discuss the theoretical implications of such policymaking in relation to children’s rights, young citizenship, and intergenerational justice. We employ a generational framework and perceive climate politics as inherently ingrained in intergenerational justice, where no generation has a superior claim to the earth’s resources, yet power is unfairly concentrated and accumulated among adult generations. We draw on contributions by various stakeholders involved: Two young workshop participants, two county council policymakers, and an interdisciplinary team of researchers from Childhood Studies and Design. (shrink)

The book reconstructs the history of Western ethics. The approach chosen focuses the endless dialectic of moral codes, or different kinds of ethos, moral doctrines that are preached in order to bring about a reform of existing ethos, and ethical theories that have taken shape in the context of controversies about the ethos and moral doctrines as means of justifying or reforming moral doctrines. Such dialectic is what is meant here by the phrase ‘moral traditions’, taken as a name for (...) threads of moral discourse, made in turn of other interwoven threads, including transmission of shared codes, appeals to reform of prevailing custom, rational argument about the justification of some precept on the basis of some shared general teaching or principle, and rational argument about the ultimate basis for principles and justification of authoritative teaching. That is, the approach adopted to the reading of ethical texts depends on a firm belief in the fact that philosophers hardly created any ethical doctrine out of nothing. The main point this book tries to highlight is how different philosophical theories emerged and followed each other as a result of attempts at accounting for what was going on in the world of moral traditions. Changes were propelled by controversies between different schools, and highly abstract arguments were the unintended effects of moves made by controversialists forced to transform (and occasionally to turn upside down) their own doctrines in order to face the challenge posed by other arguments. This is the reason why the book examines not only texts that already enjoy pride of place in the history of philosophy (Aristotle, Kant, Hegel), but also other texts usually treated in the histories of religions (the Bible, the Talmud, the Quran), and others considered to be much less philosophical (Plutarchus, Pufendorf). -/- 1. Plato and a response to ethical scepticism. Two different traditions of morality in VI-V century Greece are described. The birth of philosophical questioning of traditional morality and temporal and spatial variation of custom is described within the context of the v century crisis, the demise of traditional aristocratic and tyrannical rule and the birth of democracy. Two conflicting answers to the challenge are reconstructed, namely conventionalist or immoralist theories formulated by the Sophists and the eudemonist and intellectualist Socratic theory. Plato’s own reformulation of Socrates answer to the Sophists is reconstructed. His psychological views, his classification of the four cardinal virtues and his political theory are described as parts of a unitary system, culminating in an extremely realist moral ontology identifying the idea of the good with the essence of the (moral and extra-moral) world itself. -/- 2. Aristotle and the invention of practical philosophy. Aristotle’s invention of practical philosophy as a field separated from first philosophy is shown to be an implication of his break with Plato moral ultra-realism. Aristotle’s agenda in his moral works is arguably dependent on a polemical intention, namely dismantling Socratic intellectualism. The semi-inductive or virtuously circular method of practical philosophy is illustrated, starting with the received opinions of the better and wiser individuals and trying dialectically to sift what is left of mistake and inconsistence in such opinions, finally trying to correct mistakes and make the overall practical science more consistent. The chapter illustrates then the relationship of individual ethics, or ‘monastics’, with the art and the science of the pater familias, or ‘economics’, and the science of the ruler and citizen, or politics. The nature of virtues, or better, excellences of character, is discussed, highlighting the basic role of hexis, or ‘disposition’. Prudence, or better practical wisdom, is the focus of the chapter. Its relationship with bouleusis or deliberation is examined, and its autonomous status vis-à-vis theoretical knowledge is stressed. -/- 3. Diogenes and philosophy as a way of life. The chapter provides an overview of Hellenistic ethics, which almost amounts to Hellenistic schools of philosophy, in so far as ‘philosophy’ became in these centuries primarily the name for a way of life. The typical character of the Cynical movement is highlighted, that of a school of life, not a school aimed at providing any kind of intellectual training was to be provided. -/- 4. Epicurus and ethics as self-care. The peculiar character of the Epicurean school is described, a combination of a science of well-being aiming, more than at pleasure as in the popular view, at reduction of useless suffering, of unnecessary needs, and at a balanced selection of pleasures of the best and most durable kind. -/- 5. Epictetus and ethics as therapy of the passions. The various phases of Stoicism are described, and the shifting place given to ethics in the Stoic system of idea, culminating in the paradoxical view of ethics, its impossibility in principle notwithstanding, as the only truly significant and necessary part of philosophy. Cicero is treated, showing how his own synthesis of various Hellenistic trends is as a truly philosophical enterprise, deserving serious consideration after one or two centuries when he was confined to the role of literate. Epictetus is chosen as the best example of what the Stoic tradition could yield, an art of living based on sophisticated introspection, in turn aimed at making a kind of cognitive therapy possible, dismantling obnoxious passions at their root by systematically correcting false representations. -/- 6. Philo and the reconciliation of Torah and Platonism. A reconstruction of basic ideas from a few books of the Hebrew Bible is provided, starting with the Prophetic tradition and the focus on God’s mercy as the source of motivation and standard for human behaviour. Then a comparative analysis is undertaken of a parallel tradition, namely the three codifications of the Torā (Law or, better, Instruction), highlighting how a core of moral ideas may be recognized as a basis and preamble of codification of civil law, cultural practice, and regulation of ritual purity. The importance of Leviticus is stressed as the turning point when emphasis mercy, typical of the Prophetic tradition, is combined with the legal tradition, yielding the change in sensibility of the Second Temple time. Philo of Alexandria is described as one of the three leading figures – together with Rabbi Hillel and Rabbi Yeshua – at the apex the emergence of the mentioned new sensibility, gradually including mercy as an essential part of justice and establishing the starting point of both the Rabbinic and the Christian tradition. This consists precisely in the precept of one’s neighbour’s love or of the golden rule, two eventually identical precepts whose meaning is arguably more sober and sensible than the long-lasting Christian tradition deriving from John and Augustine has made us believe and no novelty vis-à-vis so-called Ancient-Testament teachings. -/- 7. Augustine and Christianity as Neo-Platonism. The first section examines the moral doctrines of so-called 'ethical Treaties' from the Talmud, a group of treaties, among which the best known is Pirqé Avot, that were left out of the six "orders" of the canon as they did not fit in any of the six groups of issues ritual or legal on which the division was based. According to Maimonides, their peculiar theme is provided by the Deòt, 'opinions', i.e., mental dispositions, that is, the translation of the Greek term hexeis and Arab akhlak (in turn providing in this language the name for ethics as such). The three topics I reconstruct are: i) the notion of Torah: The Torah is understood as the world order itself, or as the ‘Wisdom’ that existed even before creation and was ‘the tool by which the world was built’; however, the Torah is an earthly and human entity, as it was "received" by humans, and from that very moment belongs to them; ii) the relationship between love of God and love of neighbour; the treaties require us to study and practice the Torah ‘for its own sake’, that is, require us to act out of love, not out of fear or hope of reward; iii) the idea of sanctification of daily life: having disappeared with the destruction of the Temple the possibility of any conflict between liturgical service and everyday life, the latter is assumed to be in itself divine service: to give food to the poor has the same value as sacrifices in the Temple, and as an implication, the insistence become recurrent on the goodness of created things in themselves along with a polemic against ascetic currents. The conclusions drawn are: i) the moral teachings of the Talmud and those of Yeshua are, rather than similar, virtually identical; one may safely say that the precept of love and the golden rule are central ones for all Talmudic rabbis, that mercy plays an indispensable role alongside with justice, and the latter is not a different thing from one’s neighbour’s love; ii) a peculiarity of Talmud rabbis facing Yeshua is the idea of study as worship, and knowledge as a source of justice; but this is an idea of Judaism after the Temple's destruction that cannot be attributed to the Pharisees of Yeshua’s time; iii) the relation of study and practice in the Talmud parallels that between faith and deeds in Paul's epistles, that is, respectively faith or learning are a necessary and sufficient condition to be recognized as righteous , but deeds are the inevitable effect of either faith or learning. The sayings ascribed to Yeshua are examined first, yielding the conclusion that a close equivalent may be found for every saying in Talmudic literature and yet the whole is ascribed to one rabbi, with rather consistent stress on God’s mercy and unconditional forgiving as the mark of true imitation of God. Thus, Yeshua’s teaching is pure Judaism. The third section describes briefly the galaxy of Gnostic currents and Manichaeism, trying to sketch the profile of moral teachings resulting from an encounter of Asian spiritual traditions, Hellenistic lore and sparks of teachings from apocalyptic Jewish currents. The last section summarizes the turbulent history of several encounters between Christian currents and Hellenistic philosophical schools. The first one was with late Cynicism. Recent, rather controversial, literature discovered the jargon and a few topics from the Stoic-Cynical popular philosophy in a few books from the New Testament itself. This, far from proving that Rabbi Yeshua had been influenced by cynic preachers, is a proof of the necessity felt by Christian preachers to translate the original ‘Christian’ teaching into a Greek lexicon deeply impregnated with cynic terminology. The second was with Platonism, yielding the mild and temperate moral teaching of Clemens of Alexandria, teaching the sanctity of nature and the human body, the joy of moderate fruition of ‘natural’ kinds of pleasures, and the beauty of the marital life – in short, the opposite of the standard picture of Medieval Christianity. Ambrose of Milan brings about a different kind of synthesis, namely with Middle Platonism, where Stoic themes prevail. The most shocking case is Augustine, where an early Manichean education is overcome in a former phase by a synthesis of Plotinian Neo-Platonism and Christian preaching, yielding a sustained polemic with the Manicheans and rather optimistic views on life and Creation, the body and sexuality, and Hebrew-Judaic tradition not far from Clemens of Alexandria. In a later phase, occasioned by controversy on the opposite front, with such Christian currents as the Pelagians and Donatists, Augustine comes back to heavily anti-Judaic and world-denying ascetic attitudes where is earlier Manichean upbringing seems to emerge again. The tragedy of medieval Christianity will be the later Augustine’s overwhelming influence. A final section is dedicated to the monastic tradition where a curious mixture of world-denying asceticism with an astonishingly penetrating ‘science’ of introspection emerges. -/- 8. Al Farabi and the reconciliation of Islam and Platonism. The Qurān and the qadit, that is, collections of sayings ascribed to the prophet Muhammad contain a wealth of precepts and catalogues of virtues mirroring moral contents from the Jewish and the Christian traditions, among them the basic notion of imitation of the Deity, where mercy is assumed to be its basic trait. An important tradition within Islam, namely Sufism, stressed to the utmost degree the role of mercy, turning Islam into a mystic doctrine centred on retreat from the world, abandonment to God’s will, and a peaceful and fraternal attitude to our fellow-beings. A secular literary tradition originating in the Sassanid Empire, the literature of advice to the Prince had for a time a widespread influence in the newly constituted Arabic-Islamic commonwealth. In a later phase, the legacy of Hellenic philosophy made its way into the intellectual elite of the Islamic world. The first important legacy was Platonic, and the Republic became the main text for Islamic Platonism. Al-Farabi wrote an enjoyable remake of the Platonic Republic, arguing that the citizen’s virtues were the basis on which the political building needs to rest. The secular lawgiver is enlightened by the light of reason in his everyday practice of governance, but room is made for the Prophet as the voice of revealed truth that confirms and completes the rational truth that philosophy may afford. In a second phase also Aristotelian and Stoic influence were assimilated. Miskawayh’s treatise was the masterwork at the time Arabic philosophy reached its Zenith. It is a treatment of the soul’s diseases and their remedies, combining the Aristotelian doctrine of the golden mean with the Stoic doctrine of the passions and elements of Galenic medicine. Towards the eleventh-twelve centuries a war raged among theologians and philosophers, finally won by the former with disappearance of philosophy as such. The newly established mainstream, yet, was no kind of intolerant fanaticism. It drew from the work of mystic theologian Al-Ghazālī, the best heir of Sufism, teaching a tolerant and peaceful attitude to our fellow-beings and a passive attitude to destiny as an expression of the Divine will. -/- 9. Moshe ben Maimon and the reconciliation of Torah and Aristotelian ethics. The encounter between the Talmudic tradition and Hellenic philosophy had taken place a first time in Alexandria at the time of Philo but the two traditions had parted way again. In fact, the kind of Platonic Judaism founded by Philo survived only within Christianity, in the fourth Gospel and then in writings by Clemens of Alexandria. The Talmudic literature had absorbed just less striking traits from the Hellenic Philosophy, namely an idea of ethics as care of the self and a role for the education of character as propaedeutic to theoretical knowledge. In the Arabic-Islamic world, a second round started when Jewish authors writing in Arabic undertook the task to prove the full compatibility of the tradition deriving from Torah and Platonic philosophy. The culmination of this attempt is provided by Moshe ben Maimon who tried to use Aristotelian ethics as a language into which the teaching from the Pirké Avot could be translated. -/- 10. Thomas Aquinas and the reconciliation of Christian morality and Aristotelian ethics. In the first section the fresh start is described of philosophical ethics in Latin Europe at the turn of the Millennium. In a first phase, Anselm and Peter Abelard built on a Platonic and Augustinian legacy. In this phase. remarkable innovations are introduced, including Abelard’s claim of the obliging character of erring consciousness. In a second phase, the rediscovery of Nicomachean Ethics thanks to Latin translation of Arabic versions gives birth to a new wave of ethical studies, recovering the very idea of Aristotelian practical philosophy, with the potential implication of full legitimization of natural morality, i.e. ethics without Revelation. Aquinas’s ethics is a theological ethics out of which it would be vain to try to extract a self-contained philosophical ethics. His treatment of topics in philosophical ethics, yet, does not boil down to repetition of Aristotelian arguments but is rather a creative reshaping of such arguments. For example, he introduces also in the practical philosophy a first principle parallel to the principle of non-contradiction; and he also carries out a synthesis of Aristotelianism, Stoicism, and neo-Platonism. Even though it is essentially moral theology, Aquinas’s doctrine - unlike Augustine – grants full citizenship to "natural" morality, firstly by rejecting the claim that the corruption of human nature due to the original sin is so radical as to leave "pure nature" incapable of moral goodness. The doctrine is presented in a more sophisticated formulation in a few of the Quaestiones, such as De Malo and De Veritate, in the Summa contra Gentes and in the commentaries to Aristotle than in the famous Summa Theologica, but the latter work includes the only or the largest exposition of some decisive part of the theory. Thus, the Summa Theologica should be read for what it is more than criticized for not being what it was not meant to be. It was not meant to be the brilliant synthesis of all that Reason he had been able to produce with what Revelation had added about which the Neo-Thomists used to dream, but rather a manual for the training of preachers and confessors, where theoretical claims are not too demanding and a few serious tensions are left. Besides a jump between the Prima Secundae and the Secunda Secundae, being the former an essay in virtue theory and the latter a handbook for confessors, the most serious tension is perhaps the one between the ethics of right reason presented in most of Ia-IIae and the eudemonistic ethics developed in quaestiones 1-5 of the same part; the alternative ethical theory which also may be found in Augustine, the Stoic view of a cosmic reason eventually coincident with the moral law, was believed by Anselm (followed by John Duns Scotus and William of Ockham) to be incompatible with eudemonism. It is questionable whether Thomas could reduce the tension proving that it is just an apparent tension, in so far as the right reason and bliss derived from knowledge of God tend to coincide, but this is just a conjecture. Thomas’s ethics is a virtue ethic, not a law-based one, and moral judgment focuses on the virtues, particularly charity, not on the commandments and even less on absolute prohibitions; Thomas, however, would not have considered a drastic alternative between law and the virtues such as the one which has been advanced in late twentieth-century philosophy to be justified. Nonetheless, when it discusses ‘special’ virtues, it ceases to be an ethics of virtue and becomes a disappointing and often contradictory discussion of legal and illegal acts. Such a discussion takes most of the time ‘reasonable’ middle positions on controversial issues but not the alternative approach that Aristotelianism would have made possible; even when some occasional Aristotelian claim shows up, such as money’s barrenness as a reason against usury, this seems to be made by an author who apparently ignores the Aristotelian Thomas of the Prima Secundae. It is an ethic of human autonomy which recognizes the binding character of the individual conscience and, potentially, even a duty to disobey unjust laws. It is true that what Thomas writes in his discussion of death penalty and persecution of heretics is simply disgusting, and yet we should blame Thomas the man, not Thomist ethical theory. Finally, Thomas’s ethics is not ethical ‘absolutism’, as both traditionalist Catholic theologians and secularist enemies of dogmatic morality tend to believe. It is instead an ethic of prudential judgment. Exceptions to this approach – or better results of logical fallacies – are such claims as the absolute character of negative precepts and of the existence of "intrinsically evil acts", claims that simply cease to make sense in the light of Thomas’s own distinction between human act and natural act, carrying consequences Thomas did not live long enough to draw or was not consistent enough to dare to draw. -/- 11. Francisco de Vitoria and casuistry. The first topic illustrated is the discussion about the notion of pura natura, namely the human condition after the original sin and before divine revelation. The core notion was already there in Aquinas but was later developed by Caietanus (Thomas de Vio) with a number of interesting implications: firstly a view of human nature as such much more positive than Augustine’s and his followers’ view, including both Calvinists and Jansenists; secondly, the implication that the philosopher’s morality, as opposed to the Christian’s morality, is a quite respectable kind of morality; thirdly, that theocracy and prosecution of the unfaithful lacked justification, with more far-fetching consequences than Aquinas himself had dared to draw. The second topic is casuistry, a new name for a comparatively older way of thinking, which was already there in late Stoicism and Cicero as well as in the Talmudic literature. This is an approach aimed at yielding probable enough solutions for doubtful cases even in absence of completely safe staring points. The genre developed from medieval reference books for confessors and became by the sixteenth-century a sophisticated tool-box for dealing with various fields of applied ethics. Francisco Vitoria, the main authority of Baroque Scholasticism, was a controversial figure, among the proponents of the new discipline of casuistry and a consistent proponent of more separation between the religious and the civil authority, stricter limits to the legitimacy of war, innate rights of non-Christian nations in the New World based on the notion of pura natura, providing a standard of ‘natural’ goodness, previous to revelation, on which the Indian nations were judged to live in a naturally good condition, provided with the institutions of family, justice, and religion had accordingly a right to full respect by Christian sovereigns. Bartolomé de Las Casas, arguing along similar lines, was the leader of a historical battle in defence of the rights of the Indios. -/- 12. Michel de Montaigne and the art of living. A short description of one of the Renaissance Phyrronism, one of the classical philosophies revived in the fifteenth and sixteenth century. Montaigne combines the sceptical epistemology with an understanding of ethics – indeed of philosophy as a whole – in terms of an art of living inspired by two basic ideas, sagesse, that is, practical wisdom as the only kind of rationality available after theology, science, and tradition have declared bankrupt, and an aesthetic ideal of self-transformation through the art of writing and introspection. -/- 13. Pierre Nicole and neo-Augustinianism. The chapter illustrates first the vicissitudes of Augustinianism newly born after the late medieval triumph of Thomist Aristotelianism in the alternative Protestant and Catholic versions processed by the Calvinists and the Jansenists. Then it illustrates the doctrines of Pierre Nicole, Blaise Pascal’s best disciple, on the impossibility of introspection, on the ubiquity of self-deception, on the incurably evil character of the passion of love, and on the two moralities, the one of the man of the world, the morality of honesty which is indispensable for granting peace and order but devoid of any true value for eternal salvation, since the same external behaviour may be prompted by opposite motivations, and the morality of charity, the only true one but also useless to society. The third topic is Pierre Malebranche’s view of self-deception as a ubiquitous phenomenon accounting for human action and responsibility and his reformulated theory of self-love, no less ubiquitous than for Nicole and yet not as incurably evil, given the distinction between morally indifferent and even necessary amour de soi and vicious amour proper, a distinction on which the whole of Rousseau’s moral and political theory rests. -/- 14. Samuel von Pufendorf and the new science of morality. The chapter is dedicated to the discovery of the idea of a ‘new moral science’. Hugo Grotius is discussed first highlighting the real character of his project, much closer to the Thomist idea of a natural law accessible to non-corrupted human reason when human beings are living in a state of pura natura. Then Hobbes’s combination of scepticism, voluntarism, and conventionalism is described and both the continuity with Grotius’s new science, in the search for non-revealed rational morality, and the break with him, in the adoption of voluntarism and refusal of an intellectualist view of natural law, are illustrated. Pufendorf’s work is illustrated as a synthesis of the two previous attempts and the – up to Schneewind underestimated – paradigmatic example of the new science of morality. -/- 15. Richard Cumberland and consequentialist voluntarism. The chapter gives an overview of eighteenth-century Anglican ethics, noticing how the Cambridge tradition gave special weight to natural theology as opposed to positive or revealed theology – and how two Cambridge fellows, John Gay and Thomas Brown, elaborated on Cumberland’s (and Malebranche’s, as well as Leibniz’s) strategy for finding a third way between intellectualist view and voluntarist view of the laws of nature. The result of their elaboration was a kind of a rational-choice account of the origins of natural laws, where a law-giver God chooses among a number possible sets of laws on a maximizing criterion, and God’s maximandum is happiness for his creatures. The chapter notices also how such a solution aimed at solving at once the problem of evil and that of the foundation of moral obligation by proving how God’s choice was justified as far as it was the one minimising the amount of suffering in the world. 16. Richard Price and intuitionism. The chapter describes first the doctrines of the Cambridge Platonists, an example of hyper-rationalist reaction to Calvinism. Secondly it describes the sophisticated and universally ignored – from Sidgwick to Anscombe –version of what was later labelled ‘ethical intuitionism’ – showing how it escapes familiar objections and misrepresentations of intuitionism – from Mill to Rawls – in grounding its argument on transcendental arguments while carefully avoiding recourse to introspection and psychological evidence, which has been taken as a too easy target by critics of intuitionism. Thirdly, the chapter discusses Whewell’s ‘philosophy of morality’, as opposed to ‘systematic morality’, not unlike Kant’s distinction between a pure and an empirical moral philosophy. Whewell worked out a systematization of traditional normative ethics as a first step before its rational justification; he believed that the point in the philosophy of morality is justifying a few rational truths about the structure of morality such as to rule hedonism, eudemonism, and consequentialism; yet a system of positive morality cannot be derived solely from such rational truths but requires consideration of the ongoing dialectics between idea and fact in historically given moralities. Whewell’s intuitionism turns out closer to Kantian ethics than commentators have made us believe until now, and quite different from what Sidgwick meant by intuitionism. -/- 17. Adam Smith and the morality of role-switch. The chapter describes first, Hutcheson’s attempt at basing the ‘new science’ of natural law on different bedrock than Pufendorf and the English Platonists, namely a moral sense, a faculty whose existence is assumed to be proved on an empirical basis. The second step is a reconstruction of Hume’s rejoinder in terms of a new science of man including morality on an ‘experimental’ basis, that is, a ‘Newtonian’ hypothetical-deductive approach, distinguished from Hutcheson’s allegedly uncritical descriptive approach to human nature. The third step is a reconstruction of Adam Smith theory of morality understood as emerging from a spontaneous interplay of exchanges of situations (the most basic meaning of the word ‘sympathy’ as construed by this author). -/- 18. Jeremy Bentham and utilitarianism. The bulk of the chapter is dedicated to the doctrines of Jeremy Bentham. The Enlightenment spirit that suggested the idea of a new morality, free from religion, is illustrated. The notion of utility is illustrated as well as the subsequent formulations of the principle of utility. The idea of felicific calculus is discussed, showing how its inner difficulties prompted several reformulations of the principle of utility in order to avoid undesirable implications of proposed formulations. The role of the thesis of spontaneous convergence between interest and duty is discussed, showing how it left numberless questions open, and the distinction between the virtues of prudence, justice and beneficence is described as a way out of the deadlocks of classical utilitarianism. After Bentham, Mill’s reformed utilitarianism is reconstructed, showing how it is a kind of mixed system – as closer to common sense as it gives up Bentham’s claims to consistency and simplicity – resulting as unintended consequences from the controversies in which Mill was too keen to engage. The hidden agenda of the controversy between Utilitarianism and Intuitionism, going beyond the image of the battle between Prejudice and Reason, is described, showing how both competing philosophical outlooks turn out to be more research programs than self-contained doctrinal bodies, and such programs appear to be implemented, and indeed radically transformed while in progress thanks to their enemies no less than to their supporters. -/- 19. Immanuel Kant, practical reason and judgment. The chapter argues that Kant took from Moses Mendelssohn the idea of a distinction between geometry of morals and a practical ethic. He was drastically misunderstood by his followers precisely on this point. He had learned from the sceptics and the Jansenists the lesson that men are prompted to act by deceptive ends, and he was aware that human actions are also empirical phenomena, where laws like the laws of Nature may be detected. His practical ethics made room for judgment as a holistic procedure for assessing the saliency of relevant moral qualities in one given situation; this procedure yields the same results as the geometry of morals does for abstract cases but does so immediately and without balancing conflicting duties with each other, since what makes for the salient quality of a situation is perceived from the very beginning. Kant's practical philosophy is richer than the received image, making room for an ‘empirical moral philosophy’ or moral anthropology including treatment of commerce, needs, value and price, happiness and well-being; the overall social theory and philosophy of history is less different from Adam Smith's than the received image makes believe; the paradox of happiness is central to Kant's philosophy; a distinction between happiness and well-being is clearly drawn; the distinction plays a basic role in establishing a link between the economic and the moral life. -/- 20. Georg Wilhelm Friedrich Hegel and the critique of abstract universalism. The chapter describes first the Romantic movement and the implications some of its concerns, rescuing passions, community, tradition, the individual as the bearer of a unique destiny, and the longing for organic unity between the individual, mankind and nature. Hegel’s contribution is discussed then, highlighting how, on the one hand, he shared a number of these concerns and on the other he had more rationalist leanings. The notion of morality is the pivotal point of the reconstruction, highlighting how Hegel construes this notion as a key to his own diagnosis of the malaise of modernity – the separation of individual and Gemeinschaft – and how his attack on Kant turns around this very idea. -/- 21. Friedrich Nietzsche against Christianity and the Enlightenment. The chapter illustrates first the idea of deconstruction of the back-world of values. Nietzsche claims to be legitimate heir of the French moralists, Leibniz, Kant and Hegel, in so far as he allegedly carries out to its deepest implications their discovery of what lies behind traditional naïve belief in the existence of an objective realm of values just waiting for description by the philosopher. The two exemplars form which genealogy draws inspiration are the classical philologist’s historical reconstructions of lost meanings and the chemist’s decomposition of elements. Then the genealogy of the notions of good and evil carried out in the first dissertation of Genealogy of morals is illustrated with its paradoxical conclusion that will to power is in fact the only ‘genuine’ kind of goodness. The third point illustrated is the dialectic of ascetism and self-realization with its ambiguous outcome. The suggested interpretation of such outcome is that Nietzsche’s normative ethics is a kind of virtue ethics taking an aesthetic ideal as a normative standard -/- 22. George Edward Moore and ideal utilitarianism. The chapter discusses the ideas of common sense and common-sense morality in Sidgwick. I argue that, far from aiming at overcoming common-sense morality, Sidgwick aimed purposely at grounding a consist code of morality by methods allegedly taken from the natural sciences to reach, also in ethics, the same kind of “mature” knowledge as in the natural sciences. His whole polemics with intuitionism was vitiated by the a priori assumption that the widespread ethos of the educated part of humankind, not the theories of the intuitionist philosophers, was what was worth considering as the expression of intuitionist ethics. In spite of a naïve positivist starting-point, Sidgwick was encouraged by his own approach in exploring the fruitfulness of coherentist methods for normative ethics. Thus, Sidgwick left an ambivalent legacy to twentieth-century ethics: the dogmatic idea of a “new” morality of a consequentialist kind, and the fruitful idea that we can argue rationally in normative ethics albeit without shared foundations. Then it reconstructs the background of ideas, concerns and intentions out of which Moore’s early essays, the preliminary version, and then the final version of Principia Ethica originated. I stress the role of religious concerns, as well as that of the Idealist legacy. I argue that PE is more a patchwork of rather diverging contributions than a unitary work, not to say the paradigm of a new school in Ethics. I add a comparison with Rashdall’s almost contemporary ethical work, suggesting that the latter defends the same general claims in a different way, one that manages to pave decisive objections in a more plausible way. I end by suggesting that the emergence of Analytic Ethics was a more ambiguous phenomenon than the received view would make us believe, and that the wheat (or some other gluten-free grain) of this tradition, that is, what logic can do for philosophy, should be separated from the chaff, that is, the confused and mutually incompatible legacies of Utilitarianism and Idealism. -/- 23. Edmund Husserl and the a-priori of action. The chapter illustrates first the idea of phenomenology and the Husserl’s project of a phenomenological ethic as illustrated in his 1908-1914 lectures. The key idea is dismissing psychology and trying to ground a new science of the a priori of action, within which a more restricted field of inquiry will be the science of right actions. Then the chapter illustrates the criticism of modern moral philosophy carried out in the 1920 lectures, where the main target is naturalism, understood in the Kantian meaning of primacy of common sense. The third point illustrate is Adolph Reinach’s theory of social acts as a key the grounding of norms, a view that basically sketches the very ideas ‘discovered’ later by Clarence I. Lewis, John Searle, Karl-Otto Apel and Jürgen Habermas. A final section is dedicated to Nicolai Hartman, who always refused to define himself a phenomenologist and yet developed a more articulated and detailed theory of ‘values’ – with surprising affinities with George E. Moore - than philosophers such as Max Scheler who claimed to Husserl’s legitimate heirs. -/- 24. Bertrand Russell and non-cognitivism. The chapter reconstructs first the discussion after Moore. The naturalistic-fallacy argument was widely accepted but twisted to prove instead that the intuitive character of the definition of ‘good’, its non-cognitive meaning, in a first phase identified with ‘emotive’ meaning. Alfred Julius Ayer is indicated as a typical proponent of such non-cognitivist meta-ethics. More detailed discussion is dedicated to Bertrand Russell’s ethics, a more nuanced and sophisticated doctrine, arguing that non-cognitivism does not condemn morality to arbitrariness and that the project of a rational normative ethics is still possible, heading finally to the justification of a kind of non-hedonist utilitarianism. Stevenson’s theory, another moderate version of emotivism is discussed at some length, showing how the author comes close to the discovery of the role of a pragmatic dimension of language as a basis for ethical argument. Last of all, the discussion from the Forties about Hume’s law is described, mentioning Karl Popper’s argument and Richard Hare’s early non-cognitivist but non-emotivist doctrine named prescriptivism. -/- 25. Elizabeth Anscombe and the revival of virtue ethics. The chapter discusses the three theses defended by Anscombe in 'Modern Moral Philosophy'. I argue that: a) her answer to the question "why should I be moral?" requires a solution of the problem of theodicy, and ignores any attempts to save the moral point of view without recourse to divine retribution; b) her notion of divine law is an odd one more neo-Augustinian than Biblical or Scholastic; c) her image of Kantian ethics and intuitionism is the impoverished image manufactured by consequentialist opponents for polemical purposes and that she seems strangely accept it; d) the difficulty of identifying the "relevant descriptions" of acts is not an argument in favour of an ethics of virtue and against consequentialism or Kantian ethics, and indeed the role of judgment in the latter is a response to the difficulties raised by the case of judgment concerning future action. A short look at further developments in the neo-naturalist current is given trough a reconstruction of Philippa Foot’s and Peter Geach’s critiques to the naturalist-fallacy argument and Alasdair MacIntyre’s grand reconstruction of the origins and allegedly unavoidable failure of the Enlightenment project of an autonomous ethic. -/- 26. Richard Hare and neo-Utilitarianism. The chapter addresses the issue of the complex process of self-transformation Utilitarianism underwent after Sidgwick’s and Moore’s fatal criticism and the unexpected Phoenix-like process of rebirth of a doctrine definitely refuted. A glimpse at this uproarious process is given through two examples. The first is Roy Harrod Wittgensteinian transformation of Utilitarianism in pure normative ethics depurated from hedonism as well as from whatsoever theory of the good. This results in preference utilitarianism combined with a ‘Kantian’ version of rule utilitarianism. The second is Richard Hare’s two-level preference utilitarianism where act utilitarianism plays the function of eventual rational justification of moral judgments and rule-utilitarianism that of action-guiding practical device. -/- 27. Hans-Georg Gadamer and rehabilitation of practical philosophy. The post-war rediscovery of ethics by many German thinkers and its culmination in the Sixties in the movement named ‘Rehabilitation of practical philosophy’ is described. Among the actors of such rehabilitation there were a few of Heidegger’s most brilliant disciples, and Hans-Georg Gadamer is chosen as a paradigmatic example. His reading of Aristotle’s lesson I reconstructed, starting with Heidegger’s lesson but then subtly subverting its outcome thanks to the recovery of the central role of the notion of phronesis. -/- 28. Karl-Otto Apel and the revival of Kantian ethics. Parallel to the neo-Aristotelian trend, there was in the Rehabilitation of practical philosophy a Kantian current. This started, instead than the rehabilitation of prudence, with the discovery of the pragmatic dimension of language carried out by Charles Peirce and the Oxford linguistic philosophy. On this basis, Karl-Otto Apel singled out as the decisive proponent of the linguistic and Kantian turn in German-speaking ethics, worked out the performative-contradiction argument while claiming that this was able to provide a new rational and universal basis for normative ethics. An examination of his argument is some detail is offered, followed by a more cursory reconstruction of Jürgen Habermas’s elaboration on Apel’s theory. -/- 29. John Rawls and public ethics as applied ethics. Rawls’s distinction between a “political” and a “metaphysical” approach to one central part of ethical theory, namely the theory of justice, is interpreted as a formulation of the same basic idea at the root of both the principles approach and neo-casuistry, both discussed in the following chapter, namely that it is possible to reach an agreement concerning positive moral judgments even though the discussion is still open – and in Rawls’ view never will be close – on the basic criteria for judgment. -/- 30. Beauchamp and Childress and bioethics as applied ethics. The chapter presents the revolution of applied ethics while stressing its methodological novelty, exemplified primarily by Beauchamp and Childress principles approach and then by Jonsen and Toulmin’s new casuistry. -/- . (shrink)

To adequately deal with unpredictable and dynamic environments, normative frameworks typically deployed in mechanisms for modifying the norms at runtime are crucial. We present the syntax and operational semantics of programming constructs to facilitate runtime norm modification, allowing a programmer to specify when and how the norms may be changed by external agents or by the normative mechanism. The norms take on the form of conditional obligations and prohibitions, instantiating obligations and prohibitions. We present rule-based constructs for runtime modification (...) of the norms and their instances, and a mechanism for automatically updating the instances when their underlying norms change. Moreover, we investigate a mechanism for avoiding norm conflicts. (shrink)

This is the 3rd edition. Although a number of new technological applications require classical deductive computation with non-classical logics, many key technologies still do well—or exclusively, for that matter—with classical logic. In this first volume, we elaborate on classical deductive computing with classical logic. The objective of the main text is to provide the reader with a thorough elaboration on both classical computing – a.k.a. formal languages and automata theory – and classical deduction with the classical (...) first-order predicate calculus with a view to computational implementations, namely in automated theorem proving and logic programming. The present third edition improves on the previous ones by providing an altogether more algorithmic approach: There is now a wholly new section on algorithms and there are in total fourteen clearly isolated algorithms designed in pseudo-code. Other improvements are, for instance, an emphasis on functions in Chapter 1 and more exercises with Turing machines. (shrink)

Mints has given a deductive calculus, a set of proof rules, for pure Prolog such that the goal X = A1,..., An succeeds in Prolog iff X is derivable in this calculus and X fails in Prolog iff ()X is derivable in this calculus. We summarise Mints' results and give appropriate modifications of his calculus to deal with use of negated goals in Prolog, SLD- resolution, SLDNF-resolution, extensions of SLDNF-resolution allowing negation as failure to be applied to nonground negative (...) literals. (shrink)

This paper reports on an action research project about organizational change by a regional food bank in New York State’s southern tier. While the project team initially included a sociologist, food bank leadership and staff, it expanded to involve participants in food access programs and area college students. This paper combines findings from qualitative research about the food bank with findings generated through a collaborative inquiry about a ten-year process of organizational change. We ask how a regional food (...) bank can change its approach to address root causes of hunger. Acknowledging that narrow, pragmatic definitions of hunger promote charitable responses, our collaboration is grounded in structural understandings of poverty that refuse to blame the poor or treat poverty as an accident. Decades-long economic restructuring, deindustrialization and a rise in the service economy have resulted in growing inequality and long-term demand for “emergency” food in New York State. We outline critiques by scholars and practitioners of the emergency food regime. Description and analysis of the organizational change efforts of the Food Bank of the Southern Tier combine discourse analysis, collaborative inquiry, interviews, and participant observation. Discourse analysis of the agency’s strategic plans documents changes in aspirations, exposure to new epistemic communities and repertoires of actions. Interviews with participants evidence impacts of the organization’s advocacy and education programs on people with lived experience in poverty. Through a participatory process, we developed a collaborative chronology of phases of organizational change. Collaborative analysis of organizational changes demonstrates new definitions of the problem, a shift in service focus, changing outcomes and increased funding for advocacy. While recognizing substantial constraints, this project contributes to evidence that food banks may shift their discourse and practices beyond charity. (shrink)

The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003. The 29 revised full papers and 7 system description papers presented together with an invited paper and 3 abstracts of invited talks were carefully reviewed and selected from 83 submissions. All current aspects of automated deduction are discussed, ranging from theoretical and methodological issues to the presentation of new theorem provers and systems.

Within post - Kuhnian, philosophy of science, much effort has been devoted to issues related to conceptual change, such as incommensurability, scientific progress and realism, but mostly in terms of reference, without a fine - grained theory of scientific concepts/senses. Within the philosophy of language and of mind tradition, there is a large body of work on concepts, but the application to scientific concepts has been very tentative. The aim of this paper is to propose a general framework (...) for a theory for the individuation of scientific concepts. The general view about the individuation of concepts favored here is the possession - condition approach: to individuate a concept is to identify its possession conditions. The general metascientific tools for the analysis of scientific theories are model - theoretic, more specifically, structuralist: scientific theories, the entities to which scientifc concepts belong, are model - theoretic theory - nets. The general idea about the content of scientific concepts that inspires this proposal comes from: (i) our grandfathers’ "laws - plus - correspondence rules", (ii) Kuhns "laws applied to exemplars" views and (iii) moderate operationalism. The aim is to show that some clarification can be gained applying the possesion condition appproach to (an expansion of) these three elements using structuralist metascientific tools. First, I briefly present the two main structuralist ideas I shall use: the difference between observability and non - theoreticity, and the notion of theory - net. Second, I informally introduce the five components that come from my reading of the three traditional elements; these components are, or are not, plausible independently of how they will be integrated within a theory of concept - identity. Third, I present the kore of the theory of possession conditions for concept - identity that we shall use for the integration of such components. Finally, I propose the general traits of the possession condition that corresponds to each of these five components, I present some problems and point out some possible ways of dealing with them. (shrink)

We construct logical languages which allow one to represent a variety of possible types of changes affecting the information states of agents in a multi-agent setting. We formalize these changes by defining a notion of epistemic program. The languages are two-sorted sets that contain not only sentences but also actions or programs. This is as in dynamic logic, and indeed our languages are not significantly more complicated than dynamic logics. But the semantics is more complicated. In general, the (...) semantics of an epistemic program is what we call aprogram model. This is a Kripke model of ‘actions’,representing the agents' uncertainty about the current action in a similar way that Kripke models of ‘states’ are commonly used in epistemic logic to represent the agents' uncertainty about the current state of the system. Program models induce changes affecting agents' information, which we represent as changes of the state model, called epistemic updates. Formally, an update consists of two operations: the first is called the update map, and it takes every state model to another state model, called the updated model; the second gives, for each input state model, a transition relation between the states of that model and the states of the updated model. Each variety of epistemic actions, such as public announcements or completely private announcements to groups, gives what we call an action signature, and then each family of action signatures gives a logical language. The construction of these languages is the main topic of this paper. We also mention the systems that capture the valid sentences of our logics. But we defer to a separate paper the completeness proof. (shrink)

This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC '96. The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the (...) volume is a timely report on the state-of-the-art in the area. (shrink)

Why do some epistemic objects persist despite undergoing serious changes, while others go extinct in similar situations? Scientists have often been careless in deciding which epistemic objects to retain and which ones to eliminate; historians and philosophers of science have been on the whole much too unreflective in accepting the scientists’ decisions in this regard. Through a re-examination of the history of oxygen and phlogiston, I will illustrate the benefits to be gained from challenging and disturbing the commonly accepted continuities (...) and discontinuities in the lives of epistemic objects. I will also outline two key consequences of such re-thinking. First, a fresh view on the (dis)continuities in key epistemic objects is apt to lead to informative revisions in recognized periods and trends in the history of science. Second, recognizing sources of continuity leads to a sympathetic view on extinct objects, which in turn problematizes the common monistic tendency in science and philosophy; this epistemological reorientation allows room for more pluralism in scientific practice itself. (shrink)

We present an approach to database update as a form of non monotonic temporal reasoning, the main idea of which is the (circumscriptive) minimization of changes with respect to a set of facts declared persistent by default. The focus of the paper is on the relation between this approach and the update semantics recently proposed by Katsuno and Mendelzon. Our contribution in this regard is twofold: • We prove a representation theorem for KM semantics in terms of a restricted subfamily (...) of the operators defined by our construction. • We show how the KM semantics can be generalized by relaxing our construction in a number of ways, each justified in certain intuitive circumstances and each corresponding to one specific postulate. It follows that there are reasonable update operators outside the KM family. • Our approach is not dependent for its plausibility on this connection with KM semantics. Rather, it provides a relatively rich and flexible framework in which the frame and ramification problems can be solved in a systematic way by reasoning about default persistence of facts. (shrink)

On a ‘comparative’ conception of practical reasons, reasons are like ‘weights’ that can make an action more or less rational. Bernard Gert adopts instead a ‘toggle’ conception of practical reasons: something counts as a reason just in case it alone can make some or other otherwise irrational action rational. I suggest that Gert’s conception suffers from various defects, and that his motivation for adopting this conception – his central claim that actions can be rational without there being reasons for (...) them – does not require adoption of the toggle conception. The more intuitive comparative conception of reasons for action can accommodate the insight. (shrink)

The study of natural disaster and its discursive dimensions from a semiotic perspective can provide a theoretical frame for the scientific communication of global catastrophes. In this paper I will suggest two models; one is a semiotic model on the natural catastrophic events and the other is a hexagon model composed of semiotic dimensions of natural disaster discourse. The six main modules include narration, description, explication, visualization, prevention, and recovery action.

Excerpt from Logic, Vol. 1: Deduction The present work aims at embracing a full course of Logic, both Formal and Inductive. In an introductory chapter, are set forth such doctrines of psychology as have a bearing on Logic, the nature of knowledge in general, and the classification of the sciences the intention being to avoid doctrinal digressions in the course of the work. Although preparatory to the under standing of what follows, this chapter may be passed over (...) lightly on a first perusal of the work. The part on Deduction contains the usual doctrines of the Syllogism, with the additions of Hamilton, and a full abstract of the novel and elaborate schemes of De Morgan and Boole. The Inductive portion comprises the methods of induc tive research, and all those collateral topics brought for ward by Mr. Mill, as part of the problem of Induction; various modifications being made in the manner of state ment, the order of topics, and the proportion of the hand ling. The greatest innovation is the rendering of Cause by the new doctrine called the Conservation, Persistence, or Correlation of Force. Mr. Mill's view of the relation of Deduction and Induc tion is fully adopted, as being the solution of the otherwise inextricable puzzle of the syllogism, and the means of giving unity and comprehensiveness to Logic. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works. (shrink)

The article is an overview of the VI Scientific and Practical Conference «Internet beyond 2020» (April 22-24, 2021) organized by the online school of Internet research with the support of the Higher School of Economics. The conference program included workshop reports and round tables on the role of the global network, the evolution of art and education during the COVID-19 pandemic. The conference brought together representatives of social sciences and humanities (sociologists, cultural scientists, linguists), artists, designers, (...) and specialists in the field of Internet studies. The organizers and participants of the conference tried to answer various questions, including the following. Is a modern person witnessing the emergence of fundamentally new anthropological practices? Is it possible to obtain a comprehensive picture of digital realities from single events of Internet studies, as well as predict the emergence and development of yet unknown social and anthropological transformations? Is it possible for a post-pandemic narrative conceptualizing the heterogeneous eventuality of our time to emerge? (shrink)

The book presents the results of the joint annual conference of the four Operations Research Societies DGOR, GM\OR, \GOR and SVOR, held in Vienna in 1990.

Hempel and Oppenheim have stated in Part III of their paper “Studies in the Logic of Explanation” [2] a set of conditions for deductive explanation. However, their analysis has come under damaging systematic criticisms in a recent paper by Eberle, Kaplan and Montague [1], The principal aim of the present paper is to review the Hempel-Oppenheim analysis and propose a strengthened version of it that avoids the recent criticisms.

This paper emphasizes the crucial role that language use plays in climate change communication. In particular, this paper examines UN public discourse and narratives about climate change. It will be shown that the climate change is often described as a "threat to human wellbeing" and as an external enemy—the Other. On the other hand, humanity is often portrayed as a victim of climate change. The consequence of this rhetoric and logic of apocalypse is insufficient action (...) in relation to climate change. The narrative construction of the Other that is described as a threat is founded on binary oppositions: we/they, self/other, culture/nature, human/non-human and so forth. As long as climate change is described as an external enemy and "independent matter" and climate policy is based on binary oppositions, action to combat climate change will remain insufficient. (shrink)

The Conference on Artificial General Intelligence is the only major conference series devoted wholly and specifically to the creation of AI systems possessing general intelligence at the human level and ultimately beyond. Its second installation, AGI-09, in Arlington, Virginia, March 6-9, 2009, attracted 67 paper submissions, which is a substantial increase from the previous year. Of these submissions, 33 (i.e., 49%) were accepted as full papers for presentation at the conference. Additional 13 papers were included as position (...) papers. The program also included a keynote address by Juergen Schmidhuber on 'The New AI', a post-conference workshop on 'The Future of AI', and a number of pre-conference tutorials on various topics related to AGI. (shrink)

This chapter advances a contextual view of evidence, through a reconsideration of Hempel's paradox of confirmation. The initial view regarding Hempel's paradox is that a non-black non-raven does confirm ‘All ravens are black’, but only in certain contexts. The chapter begins by reformulating the paradox as a puzzle about how the same entity can have variable evidential values for a given proposition. It then offers a three-stage solution to the reformulated paradox. The situation makes better sense when we reach a (...) deeper propositional understanding of evidence, recognising that each entity can be represented in multiple observational propositions. Some anti-contextualist intuitions can be defused by distinguishing two different senses of the word ‘evidence’, one applying to objects or events and the other applying to propositions; only the latter is relevant to inference. A fuller understanding comes from analysing the constitution and use of evidence in terms of epistemic action. These reflections on the ravens paradox suggest a general philosophical framework more suitable for understanding the function of evidence in scientific and everyday practices. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:The Solarpunk Conference by From Imagination to ActionAriel Kroon and Kees SchullerFrom Imagination to Action, The Solarpunk Conference, June 24, 2023, VirtualThe Solarpunk Conference was born out of the desire to see an accessible space dedicated to discussions of solarpunk. With solarpunk growing in popularity in both popular and academic circles, the need for such a space seemed obvious to the organizers. The organizers also (...) felt the need to bridge academic and popular conversations in a way that was productive and opened further discussion, as the disconnect between the academic and popular spheres is often damaging to social movements. [End Page 634]This was especially important for solarpunk because of its nature as being built from below. Solarpunk is crowdsourced, having evolved over the years from social media aesthetic to literature to social movement, with few canonical critical texts. Taking into consideration the distributed democratic nature at the heart of solarpunk, the conference aimed to be accessible to the widest array of people possible: in this regard, the conference was incredibly successful. As a remote conference, the event was already more financially and practically accessible than an in-person event. Tickets were available to those across the financial spectrum, with a large percentage of our tickets being pay-what-you-can, or free to those in need; live captioning was provided on the day of, volunteers were available throughout the day to address accessibility concerns, and the ability for attendees to request live translations or other accessibility options was also provided. Further, while still retaining academic integrity and value, the majority of the presentations were legible to the largely non-expert, non-academic audience.The other key goal for the conference was to create a space for conversation and networking between otherwise disconnected members of the solarpunk community. To this end, alongside the Zoom webinars used for presentations, a Discord server was created for attendees that saw consistent engagement, networking, and project sharing, further allowing presenters to engage with attendees after their talks, enabling extended Q+A sessions that otherwise would have not been possible within schedule constraints. This hybrid model between Zoom and Discord proved incredibly effective, allowing for a wide range of interactions, and encouraging the community building and idea sharing that were key to this conference.Throughout the conference, themes of climate grief and the disaffection and despair of late-stage neoliberal capitalism returned to the fore, with speakers positioning solarpunk as a way to combat these negative affects. Mirroring these themes, most speakers emphasized the necessity of direct (solarpunk) action to escape the dystopian long-present of contemporary corpo-capitalism. Perhaps because of these same themes appearing in the movement as a whole, solarpunk is often reduced to an aesthetic of green utopia, which is an unfair stereotype given that many strands of solarpunk thought could be labeled as anti-utopian or in the vein of critical utopian theory. Solarpunk’s explicit aim to imagine sociopolitical and economic realities beyond late-stage capitalist neoliberalism requires it to divest from what Lauren Berlant calls “stupid optimism”—“the faith that adjustment to certain forms or practices [End Page 635] of living and thinking... will secure one’s happiness” (2011, 126). Solarpunk rejects classical utopian picturing of a future world that operates according to the logics of the present, which in turn have been shaped by the (often racist, sexist, and classist) logics of the past (cf. Williams 2018; Kroon 2021). It is also important to note that solarpunk does not adhere to a singular vision of the future but instead acknowledges the biodiversity of nonhuman nature and the diversity of the human experience, and so encourages multiple futures that serve the peoples and lands on which they rest.The conference began with opening remarks by one of the organizers, Lindsay Jane, followed by a land acknowledgment by Cheryle Chagnon-Greyeyes, traditional knowledge-keeper and Indigenous activist from Muskeg Lake Cree Nation in Saskatchewan, Treaty Six. Chagnon-Greyeyes welcomed participants in nehiyaw (Cree), acknowledging her location in Mohkinstsis (Calgary, Alberta) and the Indigenous nations there, and reminding attendees to think about their connection to the land that they were on. She shared a teaching... (shrink)

The effects of anthropogenic climate change will be devastating. Nevertheless, most people do not seem to be seriously concerned. We consume as much as we always did, drive as much as we always did, eat as much meat as we always did. What can we do to overcome this collective apathy? In order to be able to develop effective measures, we must first get clear about the causes of climate change inaction. In this paper I ask whether moral (...) nihilism (the denial of moral truths) is a significant cause of climate change inaction. The answer to this question depends mainly on the extent to which being a moral nihilist reduces one’s likelihood of taking action against climate change. At first sight, the extent seems to be considerable. I will argue, however, that this assumption is false. Only slightly more non-nihilists than nihilists are led to climate-friendly actions by moral considerations. And in absolute terms, morality plays such a minor role in leading people to act that the difference is barely noticeable. (shrink)

ABSTRACT The rapid increase in human population is one of the underlying factors driving the ecological crisis. Despite efforts on the part of educators to raise awareness of environmental issues, the ecological impact of a burgeoning population – and the ethical implications of having children – remains an unbroachable topic. Nevertheless, the increase in human numbers is central to questions of sustainability: How can a species expect to survive in a finite terrestrial environment without limits to its population? Since most (...) of the world’s ecological impact can be traced to capitalist-industrial- consumer societies in over-developed nations, the middle and upper classes in rich countries must weigh the ecological consequences of their family-planning decisions. In this paper, I argue that educational programs that are concerned with environmental ethics should have students examine the assumptions and implications of having children. I consider the risks associated with this proposal and respond to a series of possible objections. This paper does not advocate coercive measures for population control, but rather enjoins a pedagogical responsibility to view having children as an act with ecological consequences, an act that must be subject to careful examination. (shrink)

In this paper we propose to enrich the four-valued modal logic associated to Monteiro's Tetravalent modal algebras (TMAs) with a deductive implication, that is, such that the Deduction Meta-theorem holds in the resulting logic. All this lead us to establish some new connections between TMAs, symmetric (or involutive) Boolean algebras, and modal algebras for extensions of S5, as well as their logical counterparts.

A logic-based approach to the design of computing systems would, undoubtedly, offer many advantages over the imperative paradigm most commonly applied so far for programming and hardware design and, consequently, logic, again and again, has been heralded as the basis for the next generation of computer systems. While logic and formal methods are indeed gaining ground in many areas of computer science and artificial intelligence the expected revolution has not yet happened. In this book the author (...) offers a convincing solution to the ramification problem and qualification problem associated with the frame problem and thus contributes to a satisfactory solution of the core problem and related challenges. Thielscher bases his approach on the fluent calculus, a first-order Prolog-like formalism allowing for the description of actions and change. (shrink)

We present an approach to database update as a form of non monotonic temporal reasoning, the main idea of which is the (circumscriptive) minimization of changes with respect to a set of facts declared “persistent by default”. The focus of the paper is on the relation between this approach and the update semantics recently proposed by Katsuno and Mendelzon. Our contribution in this regard is twofold:We prove a representation theorem for KM semantics in terms of a restricted subfamily of the (...) operators defined by our construction.We show how the KM semantics can be generalized by relaxing our construction in a number of ways, each justified in certain intuitive circumstances and each corresponding to one specific postulate. It follows that there are reasonable update operators outside the KM family.Our approach is not dependent for its plausibility on this connection with KM semantics. Rather, it provides a relatively rich and flexible framework in which the frame and ramification problems can be solved in a systematic way by reasoning about default persistence of facts. (shrink)

What happens at the end of a clinical trial for an investigational neural implant? It may be surprising to learn how difficult it is to answer this question. While new trials are initiated with increasing regularity, relatively little consensus exists on how best to conduct them, and even less on how to ethically end them. The landscape of recent neural implant trials demonstrates wide variability of what happens to research participants after an neural implant trial ends. Some former research participants (...) continue to receive support for their devices (e.g., battery and component replacements, software updates, etc.). Others, when safe, have their neural implants removed through surgical explantation. Still others continue to live with a deactivated neural implant embedded in their body. In the United States, there are no uniform requirements to provide services, of any kind, after an neural implant study ends, and other nations are similarly facing this challenge. The existence of a post-trial gap in an expanding neural implant research ecosystem invites obvious questions: What is owed to neural implant research participants post-trial, and why has providing it been so difficult to accomplish in practice? To take a step forward on this difficult issue, we assembled one group of stakeholders – researchers funded for neuroethics grants by the National Institutes of Health – to explore possible starting points on one topic: ethical guidance for post-trial care of research participants in neural implant trials. Based on shared concerns discussed in the expert workshop the current paper is a call to action. It reports the key areas of convergence from the meeting and highlights important next steps towards developing much needed guidance. (shrink)

We present a direct reduction of dynamic epistemic logic in the spirit of [4] to propositional dynamic logic (PDL) [17, 18] by program transformation. The program transformation approach associates with every update action a transformation on PDL programs. These transformations are then employed in reduction axioms for the update actions. It follows that the logic of public announcement, the logic of group announcements, the logic of secret message passing, and so on, can all be (...) viewed as subsystems of PDL. Moreover, the program transformation approach can be used to generate the appropriate reduction axioms for these logics. Our direct reduction of dynamic epistemic logic to PDL was inspired by the reduction of dynamic epistemic logic to automata PDL of [13]. Our approach shows how the detour through automata can be avoided. (shrink)

Customary discussions of quantum measurements are unrealistic, in the sense that they do not reflect what happens in most actual measurements even under ideal circumstances. Even theories of measurement which discard the projection postulate tend to retain two unrealistic assumptions of the von Neumann theory: that a measurement consists of a single physical interaction, and that the topic of every measurement is information wholly contained in the quantum state of the object of measurement. I suggest that these unrealistic assumptions originate (...) from an overly literal interpretation of the operator formalism of quantum mechanics. I also suggest, following Park, that some issues can be clarified by distinguishing the sense of the term ''''measurement'''' occurring in the quantum-mechanical operator formalism, and the sense of ''''measurement'''' that refers to actual processes of gaining information about the physical world. (shrink)