Logic does not have purely existential theorems: the only existential sentences that are valid are those with valid universal analogues. Here, we show indeed this is so, when properly interpreted: every existential validity has a simple universal analogue, which is also valid. We also characterize existential and universal validities in terms of tautologies.

A new, simpler proof, based on internalisation of interpretations, of the Modularisation Theorem for logical specifications is presented. This result is a basic tool for composing implementations and specialisation by parameter instantiation.

Logics for generally were introduced for handling assertions with vague notions,such as generally, most, several, etc., by generalized quantifiers, ultrafilter logic being an interesting case. Here, we show that ultrafilter logic can be faithfully embedded into a first-order theory of certain functions, called coherent. We also use generic functions (akin to Skolem functions) to enable elimination of the generalized quantifier. These devices permit using methods for classical first-order logic to reason about consequence in ultrafilter logic.

We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order (...) correspondence language, so both can express the same input–output behavior of processes. (shrink)

We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order (...) correspondence language, so both can express the same input-output behavior of processes. (shrink)

Veloso-Pereira-Haeusler_On-what-there-must-be.

Nosso objetivo, neste texto, será demonstrar que a noção de força, é, na verdade, uma noção de como a força pode ser tratada como uma atividade política. Nosso objetivo, nesse sentido, será demonstrar que, enquanto atividade política: força está amparada em diferentes possibilidades de uso e, principalmente, que força, no Príncipe, pode ser concebida como um exercício de virtù.

There is increasing evidence that dynamic changes to chromatin, chromosomes and nuclear architecture are regulated by RNA signalling. Although the precise molecular mechanisms are not well understood, they appear to involve the differential recruitment of a hierarchy of generic chromatin modifying complexes and DNA methyltransferases to specific loci by RNAs during differentiation and development. A significant fraction of the genome-wide transcription of non-protein coding RNAs may be involved in this process, comprising a previously hidden layer of intermediary genetic information that (...) underpins developmental ontogeny and the differences between species, ecotypes and individuals. It is also evident that RNA editing is a primary means by which hardwired genetic information in animals can be altered by environmental signals, especially in the brain, indicating a dynamic RNA-mediated interplay between the transcriptome, the environment and the epigenome. Moreover, RNA-directed regulatory processes may also transfer epigenetic information not only within cells but also between cells and organ systems, as well as across generations. (shrink)

IntroductionTranscranial magnetic stimulation is a consolidated procedure for the treatment of depression, with several meta-analyses demonstrating its efficacy. Theta-burst stimulation is a modification of TMS with similar efficacy and shorter session duration. The geriatric population has many comorbidities and a high prevalence of depression, but few clinical trials are conducted specifically for this age group. TBS could be an option in this population, offering the advantages of few side effects and no pharmacological interactions. Therefore, our aim is to investigate the (...) efficacy of TBS in geriatric depression.Clinical trial registration[https://clinicaltrials.gov/ct2/], identifier [NCT04842929]. (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)

Plato's Academy is commonly regarded as the most prestigious and most influential of all educational institutions in antiquity. Founded by one of the greatest thinkers of all times, its activity as a centre of philosophical and scientific research spanned at least three centuries (from ca. 387 to ca. 86 B.C.), while the influence it has exerted on contemporary and later philosophical and scientific thought is almost impossible to overestimate. The Academy's history is supposed to reflect not only the theoretical aspirations (...) of its founder and his followers, but also the manner in which they believed their views should operate within a given social context. (shrink)

Implementation of formal specifications is very important in formal software development and can be described in terms of simple logical concepts. Formal specifications are presentations of theories in many-sorted first-order logic, and an implementation of a formal specification on another formal specification amounts to an interpretation of the former into a conservative extension of the latter. Here we present and analyse some sort introducing constructs akin to those found in many programming languages. This is of importance because it occurs often (...) in implementing formal specifications, when new sorts are ‘constructed’ from the concrete ones. We specify these constructs and show that these specifications provide extensions with behaviour close to that of the familiar extensions by definitions. (shrink)

The Schwarzschild solution has played a fundamental conceptual role in general relativity, and beyond, for instance, regarding event horizons, spacetime singularities and aspects of quantum field theory in curved spacetimes. However, one still encounters the existence of misconceptions and a certain ambiguity inherent in the Schwarzschild solution in the literature. By taking into account the point of view of an observer in the interior of the event horizon, one verifies that new conceptual difficulties arise. In this work, besides providing a (...) very brief pedagogical review, we further analyze the interior Schwarzschild black hole solution. Firstly, by deducing the interior metric by considering time-dependent metric coefficients, the interior region is analyzed without the prejudices inherited from the exterior geometry. We also pay close attention to several respective cosmological interpretations, and briefly address some of the difficulties associated to spacetime singularities. Secondly, we deduce the conserved quantities of null and timelike geodesics, and discuss several particular cases in some detail. Thirdly, we examine the Eddington–Finkelstein and Kruskal coordinates directly from the interior solution. In concluding, it is important to emphasize that the interior structure of realistic black holes has not been satisfactorily determined, and is still open to considerable debate. (shrink)

A theory of magnitudes involves criteria for their equivalence, comparison and addition. In this article we examine these aspects from an abstract viewpoint, by focusing on the so-called De Zolt’s postulate in the theory of equivalence of plane polygons (“If a polygon is divided into polygonal parts in any given way, then the union of all but one of these parts is not equivalent to the given polygon”). We formulate an abstract version of this postulate and derive it from some (...) selected principles for magnitudes. We also formulate and derive an abstract version of Euclid’s Common Notion 5 (“The whole is greater than the part”), and analyze its logical relation to the former proposition. These results prove to be relevant for the clarification of some key conceptual aspects of Hilbert’s proof of De Zolt’s postulate, in his classicalFoundations of Geometry(1899). Furthermore, our abstract treatment of this central proposition provides interesting insights for the development of a well-behaved theory ofcompatiblemagnitudes. (shrink)

Profound theoretical and philosophical approach to contemporary music Unsayable Music presents theoretical, critical and analytical reflections on key topics of contemporary music including acoustic, electroacoustic and digital music, and audiovisual and multimedia composition. Six essays by Paulo C. Chagas approaching music from different perspectives such as philosophy, sociology, cybernetics, musical semiotics, media, and critical studies. Chagas’s practical experience, both as a composer of contemporary music and sound director of the Electronic Music Studio of Cologne, nourishes his observations on the (...) specific creativity that emerges with the use of the technical apparatus, the development of the electronic music studio, the different aesthetics of electroacoustic music, and the forms of audiovisual and multimedia composition. The title Unsayable Music is a reference to Wittgenstein, who suggested that sound is only the surface of music and that the musical work conceals something more profound that can hardly be described by philosophical models or scientific theories. (shrink)

In this book, we come to understand the author's pedagogical thinking even better, through the critical seriousness, humanistic objectivity, and engaged ...

This paper concerns a recently discovered, puzzling asymmetry in judgments of whether an action is intentional or not (Knobe, Philosophical Psychology 16:309–324, 2003a ; Analysis 63:190–193, b ). We report new data replicating the asymmetry in the context of scenarios wherein an agent achieves an amoral or immoral goal due to luck. Participants’ justifications of their judgments of the intentionality of the agent’s action indicate that two distinct folk concepts of intentional action played a role in their judgments. When viewed (...) from this perspective, the puzzle disappears, although the asymmetry remains. (shrink)

"Mentoring the Mentor" recreates a Freirian dialogue in a printed format. In this volume, sixteen distinguished scholars engage in a critical and thoughtful exchange with Paulo Freire. While some contributors voice appreciation for Freire's ideas and for what it means to -reinvent Freire- in a North American context, others offer sharp critiques of Freire's philosophy and, of equal importance, of the various interpretations of his work. A variety of chapters describe specific uses which have been made of Freire's ideas (...) in diverse educational contexts, from the New York City public schools to the revolutions in Guinea Bissau and Eritrea. Finally, Paulo Freire himself responds to the major issues which are raised in the volume and invites readers to share in a continuing lively dialogue about the meaning of democratic and revolutionary education. -The fundamental task of the mentor is a liberatory task. It is not to encourage the mentor's goals and aspirations and dreams to be reproduced in the mentees, the students, but to give rise to the possibility that the students become the owners of their own history. This is how I understand the need that teachers have to transcend their merely instructive task and to assume the ethical posture of a mentor who truly believes in the total autonomy, freedom, and development of those he or she mentors.- (from Chapter Sixteen, -A Response- by Paulo Freire)". (shrink)

In this volume, we have chosen to highlight the importance of education to human rights by reprinting two articles written by Paulo Freire in 1970 for the _Harvard Educational Review_. These articles contain many of Freire's original ideas on human rights and education—issues that are central to his work. Freire was a pioneer in promoting the universal right to education and literacy as part of a commitment to people's struggle against oppression. As Jerome Bruner recognized after Freire's death in (...) May 1997, Freire left as a legacy his commitment to basic human rights: "He was a brave man as well as a far-sighted one. He made us aware of our mindless cruelties, and now the challenge to all of us is to do something about those cruelties.". (shrink)

Upon its recent publication in Portuguese, Paulo Freire’s newest book became an instant success. This English translation is sure to meet with similar acclaim. In Teachers as Cultural Workers, Freire speaks directly to teachers about the lessons learned from a lifetime of experience as an educator and social theorist. No other book so cogently explains the implications for classroom practice of Freire’s latest ideas and the pathbreaking theories found in Pedagogy of the Oppressed and other treatises.This book challenges all (...) who teach to reflect critically on the meaning of the act of teaching as well as the meaning of learning. Freire shows why a teacher’s success depends on a permanent commitment to learning and training, as part of an ongoing appraisal of classroom practice. By observing the curiosity of students and the manner through which students develop strategies for learning, the teacher is helped in discovering doubts, successes, and the teacher’s mistakes. When teachers open themselves to recognize the different roads students take in order to learn, they will become involved in a continual reconstruction of their own paths of curiosity, opening the doors to habits of learning that will benefit everyone in the classroom. (shrink)

Schwichtenberg showed that the System T definable functionals are closed under a rule-like version Spector’s bar recursion of lowest type levels 0 and 1. More precisely, if the functional Y which controls the stopping condition of Spector’s bar recursor is T-definable, then the corresponding bar recursion of type levels 0 and 1 is already T-definable. Schwichtenberg’s original proof, however, relies on a detour through Tait’s infinitary terms and the correspondence between ordinal recursion for α < ε₀ and primitive recursion over (...) finite types. This detour makes it hard to calculate on given concrete system T input, what the corresponding system T output would look like. In this paper we present an alternative (more direct) proof based on an explicit construction which we prove correct via a suitably defined logical relation. We show through an example how this gives a straightforward mechanism for converting bar recursive definitions into T-definitions under the conditions of Schwichtenberg’s theorem. Finally, with the explicit construction we can also easily state a sharper result: if Y is in the fragment Tᵢ then terms built from BR^ℕ,σ for this particular Y are definable in the fragment T_i+max{1,level(σ)}+2. (shrink)

This article presents an analysis of Gödel's dialectica interpretation via a refinement of intuitionistic logic known as linear logic. Linear logic comes naturally into the picture once one observes that the structural rule of contraction is the main cause of the lack of symmetry in Gödel's interpretation. We use the fact that the dialectica interpretation of intuitionistic logic can be viewed as a composition of Girard's embedding of intuitionistic logic into linear logic followed by de Paiva's dialectica interpretation of linear (...) logic. We then investigate the various properties of the dialectica interpretation, such as the characterisation theorem, and variants of Gödel's interpretation within the linear logic context. The role of contraction in extensions to classical logic, arithmetic and analysis is also discussed. (shrink)

We show that Spector's “restricted” form of bar recursion is sufficient (over system T) to define Spector's search functional. This new result is then used to show that Spector's restricted form of bar recursion is in fact as general as the supposedly more general form of bar recursion. Given that these two forms of bar recursion correspond to the (explicitly controlled) iterated products of selection function and quantifiers, it follows that this iterated product of selection functions is T‐equivalent to the (...) corresponding iterated product of quantifiers. (shrink)

Le verdict du tribunal de la raison, institué par la critique kantienne, commande la fin de la métaphysique qui se muerait en croyance rationnelle, absolument nécessaire dans le cadre de la raison pratique et de ses exigences d’intelligibilité. Cependant, l’assimilation existentielle de l’impossibilité de la métaphysique par Kleist déclenche non seulement le sentiment de finitude et d’humilité de la raison, mais aussi le refus tragique, désespéré, d’une science strictement phénoménale et d’une solution croyante pour apaiser son besoin de vérité absolue. (...) Ainsi, une catastrophe, comme le tremblement de terre de Lisbonne ou du Chili, convoque des significations contrastées : Kant s’attache à la mécanique naturelle et à la possibilité d’un dessein inscrutable, tandis que Kleist éprouve la vie sous le signe du hasard, « voyage sans but », dont le mouvement offre le dynamisme diasporique du salut impossible. (shrink)

This article presents an analysis of Gödel's dialectica interpretation via a refinement of intuitionistic logic known as linear logic. Linear logic comes naturally into the picture once one observes that the structural rule of contraction is the main cause of the lack of symmetry in Gödel's interpretation. We use the fact that the dialectica interpretation of intuitionistic logic can be viewed as a composition of Girard's embedding of intuitionistic logic into linear logic followed by de Paiva's dialectica interpretation of linear (...) logic. We then investigate the various properties of the dialectica interpretation, such as the characterisation theorem, and variants of Gödel's interpretation within the linear logic context. The role of contraction in extensions to classical logic, arithmetic and analysis is also discussed. (shrink)

Le rapport à l’altérité en général et à autrui en particulier condense un noyau de possibilités multiples qui, selon l’hypothèse esquissée, s’exprime et s’interprète dans le mode de penser et de vivre le Désir d’avenir. Oscillant entre hétérophagie et hétérophilie, ce type fondamental d’érotisme temporel s’incarne dans des configurations phénoménologiques dont la typologie idéale fait covarier une décision métaphysique (repérable au sein du spectre qui va de l’idéalisme constructiviste au réalisme affectif) avec une attitude éthique (située entre le scepticisme individualiste (...) et l’hétérodicée absolue). L’analyse des contrastes qui définissent les positions onto-éthiques de Sartre, Merleau-Ponty et Levinas devient une méthode heuristique pour mettre en évidence la topologie de l’incommensurable et de l’optatif. -/- The relation to alterity in general and to others in particular encapsulates a logical space of multiple possibilities which, according to the author’s hypothesis, may be expressed and interpreted in the manner of thinking and living the Desire of future. Oscillating between heterophagia and heterophilia, this fundamental type of temporal eroticism embodies various phenomenological configurations whose ideal typology reveals a deep correlation between a metaphysical decision (oriented towards either constructivist idealism or affective realism) with an ethical attitude (ranging from individualistic scepticism to absolute heterodicy). The analysis of mutual contrasts defining Sartre’s, Merleau-Ponty’s and Levinas’ onto-ethic stances is adopted as a methodological device in order to elucidate a broad topology of incommensurabilia and desiderata. (shrink)

The moral psychologist Joshua Greene has proposed a number of arguments for the normative significance of empirical research and for the unreliability of deontological intuitions. For these arguments, much hinges on the combination of various components of Greene's research – namely the dual-process theory of moral judgement, ‘personalness’ as a factor in moral decision-making, and his functional understanding of deontology and consequentialism. Incorporating these components, I reconstruct three distinct arguments and show that the Personalness Argument for the claim that empirical (...) research can advance normative ethics and the Combined Argument against deontology are both sound and interesting in themselves. They do not, however, cast doubt on traditional deontology or reserve a specific role for neuroscience. The Indirect Route argument overcomes some of the other arguments’ limitations. It is, however, invalid. I conclude by pointing out the broader philosophical relevance of Greene's arguments as shedding light on second-order morality. (shrink)

RESUMO: A presente investigação questiona a essência teo-lógica dos futuros contingentes. Para o efeito, analisa-se, primeiramente, a argumentação segundo a qual, sob certas condições lógicas, teológicas, ontológicas e cosmológicas antinecessitantes, detetadas por G. W. Leibniz, a abertura contingente do futuro parece ser compatível com o regime das "verdades contingentes pré-determinadas", regime enquadrado teologicamente pelo princípio do "futuro melhor" ou do "único futuro verdadeiro". No entanto, os futuros contingentes incitam, com e contra Aristóteles, ao desenvolvimento de uma lógica temporal e plurivalente, (...) ao modo de J. Łukasiewicz ou A. Prior. Essa lógica garante a abertura do futuro sem o oneroso custo metafísico da adesão a uma teo-lógica omnideterminante. A crítica do determinismo lógico, daí resultante, afigura-se mais coadunável com as condições pós-metafísicas inerentes à episteme agnósticacontemporânea, mas, nesse caso, a abertura do futuro implicaria uma profunda redefinição das próprias ideias e funções de "Deus", "matéria", "história" e "verdade". ABSTRACT: This paper investigates the theological essence of contingent futures. First, it analyses the argument according to which, under certain logical, theological, ontological, and cosmological conditions detected by Leibniz, the contingent openness of the future may be compatible with the regime of "pre- determined contingent truths", theologically grounded in the principle of an "optimal future" or a "single true future". However, the examination of contingent futures has also fostered, both for and against Aristotle's position, the development of a many-valued and temporal logic as proposed by J. Łukasiewicz or A. Prior. This logic safeguards the openness of future without the metaphysically expensive cost of adhering to an all-determining theo-logic. It hence follows that the critique of logical determinism seems to be more appropriate to express the post-metaphysical conditions of our present agnostic mentality. In this case, however, the openness of the future would entail a profound redefinition of the very ideas and functions of "God", "matter", "history", and "truth". (shrink)

La fusion entre la logique et la dynamique déclenche chez G. W. Leibniz une réforme de la notion de substance qui altère profondément le rapport entre le Je et le temps. Prototype de la substantialité, miroir de Dieu et expression du Tout créé, le Je dirait beaucoup, notamment Être, Un, Même: la persistance d’un « sujet » logique, d’un « je ne sais quoi » de métaphysique et d’un « personnage » moral. Sous l’angle de la temporalité, le Je véhicule (...) tous les temps possibles et réels, passés et futurs. Il est question donc d’une communauté poly- et pan-chronique qui propose une sorte de synchronie de la diversité temporelle dans la notion complète et dans la force primitive qui semblent ainsi s’incliner vers ou se déplier de l’Eternel. (shrink)