contemporary philosophy essay

Philosophy: Contemporary philosophy (20th and 21st centuries)

• What is philosophy?
• Presocratics
• Socrates and Plato
• Neoplatonism
• Medieval philosophy
• Renaissance
• Modern philosophy
• Contemporary philosophy (20th and 21st centuries)
• Eastern Philosophy

What is contemporary philosophy?

A general overview: Contemporary Philosophy

"The term ‘contemporary philosophy’ refers to the current era of philosophy, generally dealing with philosophers from the late nineteenth century through to the twenty-first."

Bertrand Russell

" Bertrand Arthur William Russell (1872–1970) was a British philosopher, logician, essayist and social critic best known for his work in mathematical logic and analytic philosophy. His most influential contributions include his championing of logicism (the view that mathematics is in some important sense reducible to logic), his refining of  Gottlob Frege ’s predicate calculus (which still forms the basis of most contemporary systems of logic), his defense of  neutral monism  (the view that the world consists of just one type of substance which is neither exclusively mental nor exclusively physical), and his theories of  definite descriptions ,  logical atomism  and  logical types ."

David Skrbina

davidskrbina.com

" David Skrbina ( sker-BEE-na ), PhD, was a senior lecturer at the University of Michigan, Dearborn from 2003 to 2018.  His areas of interest include philosophy of mind, eco-philosophy, philosophy of technology, and environmental ethics."

Mind-Body Problem

The Mind/Brain Identity Theory

" Some philosophers hold that though experiences are brain processes they nevertheless have fundamentally non-physical, psychical, properties, sometimes called ‘qualia’. Here I shall take the identity theory as denying the existence of such irreducible non-physical properties. Some identity theorists give a behaviouristic analysis of mental  states , such as beliefs and desires, but others, sometimes called ‘central state materialists’, say that mental states are actual brain states. Identity theorists often describe themselves as ‘materialists’ but ‘physicalists’ may be a better word. That is, one might be a materialist about mind but nevertheless hold that there are entities referred to in physics that are not happily described as ‘material’."

Philosophy of Mind

" The philosophy of mind is specifically concerned with quite general questions about the nature of mental phenomena: what, for example, is the nature of thought , feeling , perception , consciousness , and sensory experience ?"

Martin Heidegger

Heidegger - IEP

" His critique of traditional metaphysics and his opposition to positivism and technological world domination have been embraced by leading theorists of postmodernity ( Derrida ,  Foucault , and  Lyotard ). On the other hand, his involvement in the Nazi movement has invoked a stormy debate.  Although he never claimed that his philosophy was concerned with politics, political considerations have come to overshadow his philosophical work."

Byung-Chul Han

The copy is the original   by Byung-Chul Han

More videos (Spanish)

Ludwig Wittgenstein

Wittgenstein

" The  Tractatus  is based on the idea that philosophical problems arise from misunderstandings of the logic of language, and it tries to show what this logic is."

A website about W.V. Quine

" Home page for Willard Van Orman Quine, mathematician and philosopher who held the Edgar Pierce Chair of Philosophy at Harvard University from 1956-2000. Over the last half century his literary output was prodigious in such areas as mathematical logic, set theory, the philosophy of language, and the philosophy of logic. His best known works include 'The Ways of Paradox', 'Mathematical Logic', 'Set Theory and Its Logic', ' Quiddities', and his most influential 'Word and Object'."

A podcast between James Ladyman and Sean Carroll

James Ladyman on Reality, Metaphysics, and Complexity

• << Previous: Modern philosophy
• Next: Eastern Philosophy >>
• Last Updated: Aug 2, 2020 6:15 PM
• URL: https://mcallen.libguides.com/philosophy

Study at Cambridge

About the university, research at cambridge.

• Undergraduate courses
• Events and open days
• Fees and finance
• Postgraduate courses
• How to apply
• Postgraduate events
• Fees and funding
• International students
• Continuing education
• Executive and professional education
• Courses in education
• How the University and Colleges work
• Term dates and calendars
• Visiting the University
• Annual reports
• Equality and diversity
• A global university
• Public engagement
• Give to Cambridge
• For Cambridge students
• For our researchers
• Business and enterprise
• Colleges & departments
• Email & phone search
• Museums & collections
• Current Students
• Undergraduate Tripos Students Information
• Faculty of Philosophy
• About Us overview
• Academic Visitors
• Accessible Documents Checklist
• Cambridge Women Philosophers
• Non employee expenses form Word
• Disability Access Guide
• Health and Safety
• How to find us

Important Dates

• Job Opportunities
• Newsletters
• Philosophy Green Team overview
• Waste & Recyling
• Green Team Events
• Welfare overview
• Welfare for Students
• Welfare for Staff
• People overview
• Teaching & Research Staff
• Director of Studies Area overview
• Postgraduate Advisors Area
• Support Staff
• Current Academic Visitors
• Academic Staff Administrative Roles
• Paper Co-Ordinators
• Research overview
• Research Projects and Networks
• Seminars and Discussion Groups
• Employment destinations of recent Faculty PhD students
• Research Funding Opportunities
• Recent Faculty books
• Open access at Cambridge
• Course Outlines and Reading Lists (for Philosophy Students and Staff)
• Prospective Students overview
• Prospective Postgraduates
• Prospective Undergraduates
• Suggested Preliminary Readings
• Prospective Undergraduate students - Frequently asked questions
• Prospective Postgraduate students – Frequently asked questions
• Events overview
• Past Events overview
• Past Events - Conferences, Workshops and Special Lectures
• The Roles of Knowledge
• The Roles of Knowledge Abstracts
• Limits of Duty programme
• The Limits of Duty
• Decision Theory Seminar
• No-platform and Hate Speech
• What is Domination?
• 6th Cambridge Graduate Conference on the Philosophy of Logic and Mathematics
• Universals_v2.pdf
• JohnSearle Lecture
• Immateriality, Thinking and the Self in the Long Middle Ages
• Papers Heal Metaphysical atomism and the attraction of materialism
• Oelze Summary of Talk
• WIP Conference Poster
• GoodmakersandgoodtakersTextsHO2.pdf
• Minorities and Philosophy (MAP) Cambridge Conference 2018
• Shyane Personal Identity handout 6th form conf 2019
• Richard Holton Handout 6th form conf 2019
• Library overview
• Accessibility
• Joining the library
• Borrowing from the library
• Philosophy eresources (via Philosophy LibGuide)
• IT, printing and copying facilities
• Resources for undergraduates
• Resources for researchers (Via Philosophy LibGuide)
• Contact the Philosophy Library Team
• Intranet overview
• Undergraduate Teaching and Support Arrangements (including exam updates)
• Director of Studies Area
• Samples for MPhil Examiners
• Student Feedback & Support overview
• Student Representation & Student-Staff Committee
• Philosophy Student-Staff Committee Meeting Minutes
• SSC minutes 1May18
• Final SSCMinutes 30Oct18
• SSC Unconfirmed minutes 05 Feb 19
• SSC unconfirmedminutes 7May19
• Student Complaints Procedure
• SSC unconfirmed minutes 5Nov19
• SSC minutes 04 Feb 2020 4
• SSC minutes 5May2020 1
• Current Students overview
• Postgraduates overview
• MPhil Course Information (Includes examination protocols)
• PhD Course Information
• Organisational Matters
• Supervision
• Lectures and Seminars
• Faculty Resources
• Advice and Support
• PG Training Guide
• Room Booking Guidance
• Working Away
• Working While Studying
• Financial Support
• Postgraduate Calendar
• Deposit of Electronic PhD Theses
• Postgraduate Forms overview
• Appointment of PhD Examiners Form
• Risk assessment form RA1
• Risk assessment examples
• Conference expenses funding application form
• Postgraduate hardship funding application form
• MPhil Essays and Dissertations (Raven Login)
• MPhil Data Retention
• Undergraduate Tripos Students Information overview
• Lecture List
• Course Outlines and Reading Lists (for auditors)
• Undergraduate Writing Skills overview
• Tackling the Philosophy Essay Guide
• Tackling the Philosophy Essay Guide (mobi version)
• Tackling the Philosophy Essay Guide (epub version)
• Tackling the Philosophy Essay Guide (Word version)
• 09 Plagiarism 2018revJuly18
• Faculty Course Outlines and Reading Lists (for Philosophy students and staff)
• Student Feedback and Support.

Tackling the Philosophy Essay: A Student Guide

This short book, written by recent Cambridge PhD students, is designed to introduce students to the process of writing an essay in philosophy. Containing many annotated examples , this guide demonstrates some of the Do's and Don'ts of essay writing, with particular attention paid to the early stages of the writing process (including the creation thesis statements and essay outlines).  This book may also be useful to instructors looking for teaching-related resources.

Tackling the Philosophy Essay  (select one of the following formats):

• Mobi (for Kindle) 
• Epub (for all other eReaders) 

Guide To Grammar

To view information relating to the presentation of extended essays, dissertations and general paper (all parts) see Undergraduate Exams .

Tackling the Philosophy Essay  is licensed under a  Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported License . You are free to download, copy, reuse, distribute and adapt this work as long as it is for non-commercial purposes, is also under the same licence, and attributes the original work to the authors. If in doubt, or if you wish to collaborate or address any issues found, please feel free to email the authors at  [email protected]

Quick links

All News Items

Moral Sciences Club

Philosophy Lecture List

Philosophy Podcasts

Moodle Undergraduate Site

Intranet Teaching and Examining Arrangements

Follow the Faculty on Twitter/X

Tweets by @CambridgePhilos

Information

• Privacy Policy
• Terms of Use
• Photos by Ben Colburn displayed with his permission
• Philosophy Contact Details
• [email protected]
• Map of Sidgwick Site
• University Map

Other Links

• Email & Phone Search

© 2024 University of Cambridge

• Contact the University
• Freedom of information
• Privacy policy and cookies
• Statement on Modern Slavery
• Terms and conditions
• University A-Z
• Undergraduate
• Postgraduate
• Research news
• About research at Cambridge
• Spotlight on...

• Search Menu

Sign in through your institution

• Browse content in Arts and Humanities
• Browse content in Archaeology
• Anglo-Saxon and Medieval Archaeology
• Archaeological Methodology and Techniques
• Archaeology by Region
• Archaeology of Religion
• Archaeology of Trade and Exchange
• Biblical Archaeology
• Contemporary and Public Archaeology
• Environmental Archaeology
• Historical Archaeology
• History and Theory of Archaeology
• Industrial Archaeology
• Landscape Archaeology
• Mortuary Archaeology
• Prehistoric Archaeology
• Underwater Archaeology
• Urban Archaeology
• Zooarchaeology
• Browse content in Architecture
• Architectural Structure and Design
• History of Architecture
• Residential and Domestic Buildings
• Theory of Architecture
• Browse content in Art
• Art Subjects and Themes
• History of Art
• Industrial and Commercial Art
• Theory of Art
• Biographical Studies
• Byzantine Studies
• Browse content in Classical Studies
• Classical History
• Classical Philosophy
• Classical Mythology
• Classical Numismatics
• Classical Literature
• Classical Reception
• Classical Art and Architecture
• Classical Oratory and Rhetoric
• Greek and Roman Epigraphy
• Greek and Roman Law
• Greek and Roman Papyrology
• Greek and Roman Archaeology
• Late Antiquity
• Religion in the Ancient World
• Social History
• Digital Humanities
• Browse content in History
• Colonialism and Imperialism
• Diplomatic History
• Environmental History
• Genealogy, Heraldry, Names, and Honours
• Genocide and Ethnic Cleansing
• Historical Geography
• History by Period
• History of Emotions
• History of Agriculture
• History of Education
• History of Gender and Sexuality
• Industrial History
• Intellectual History
• International History
• Labour History
• Legal and Constitutional History
• Local and Family History
• Maritime History
• Military History
• National Liberation and Post-Colonialism
• Oral History
• Political History
• Public History
• Regional and National History
• Revolutions and Rebellions
• Slavery and Abolition of Slavery
• Social and Cultural History
• Theory, Methods, and Historiography
• Urban History
• World History
• Browse content in Language Teaching and Learning
• Language Learning (Specific Skills)
• Language Teaching Theory and Methods
• Browse content in Linguistics
• Applied Linguistics
• Cognitive Linguistics
• Computational Linguistics
• Forensic Linguistics
• Grammar, Syntax and Morphology
• Historical and Diachronic Linguistics
• History of English
• Language Acquisition
• Language Evolution
• Language Reference
• Language Variation
• Language Families
• Lexicography
• Linguistic Anthropology
• Linguistic Theories
• Linguistic Typology
• Phonetics and Phonology
• Psycholinguistics
• Sociolinguistics
• Translation and Interpretation
• Writing Systems
• Browse content in Literature
• Bibliography
• Children's Literature Studies
• Literary Studies (Asian)
• Literary Studies (European)
• Literary Studies (Eco-criticism)
• Literary Studies (Romanticism)
• Literary Studies (American)
• Literary Studies (Modernism)
• Literary Studies - World
• Literary Studies (1500 to 1800)
• Literary Studies (19th Century)
• Literary Studies (20th Century onwards)
• Literary Studies (African American Literature)
• Literary Studies (British and Irish)
• Literary Studies (Early and Medieval)
• Literary Studies (Fiction, Novelists, and Prose Writers)
• Literary Studies (Gender Studies)
• Literary Studies (Graphic Novels)
• Literary Studies (History of the Book)
• Literary Studies (Plays and Playwrights)
• Literary Studies (Poetry and Poets)
• Literary Studies (Postcolonial Literature)
• Literary Studies (Queer Studies)
• Literary Studies (Science Fiction)
• Literary Studies (Travel Literature)
• Literary Studies (War Literature)
• Literary Studies (Women's Writing)
• Literary Theory and Cultural Studies
• Mythology and Folklore
• Shakespeare Studies and Criticism
• Browse content in Media Studies
• Browse content in Music
• Applied Music
• Dance and Music
• Ethics in Music
• Ethnomusicology
• Gender and Sexuality in Music
• Medicine and Music
• Music Cultures
• Music and Religion
• Music and Media
• Music and Culture
• Music Education and Pedagogy
• Music Theory and Analysis
• Musical Scores, Lyrics, and Libretti
• Musical Structures, Styles, and Techniques
• Musicology and Music History
• Performance Practice and Studies
• Race and Ethnicity in Music
• Sound Studies
• Browse content in Performing Arts
• Browse content in Philosophy
• Aesthetics and Philosophy of Art
• Epistemology
• Feminist Philosophy
• History of Western Philosophy
• Meta-Philosophy
• Metaphysics
• Moral Philosophy
• Non-Western Philosophy
• Philosophy of Science
• Philosophy of Language
• Philosophy of Mind
• Philosophy of Perception
• Philosophy of Action
• Philosophy of Law
• Philosophy of Religion
• Philosophy of Mathematics and Logic
• Practical Ethics
• Social and Political Philosophy
• Browse content in Religion
• Biblical Studies
• Christianity
• East Asian Religions
• History of Religion
• Judaism and Jewish Studies
• Qumran Studies
• Religion and Education
• Religion and Health
• Religion and Politics
• Religion and Science
• Religion and Law
• Religion and Gender
• Religion and Art, Literature, and Music
• Religious Studies
• Browse content in Society and Culture
• Cookery, Food, and Drink
• Cultural Studies
• Customs and Traditions
• Ethical Issues and Debates
• Hobbies, Games, Arts and Crafts
• Lifestyle, Home, and Garden
• Natural world, Country Life, and Pets
• Popular Beliefs and Controversial Knowledge
• Sports and Outdoor Recreation
• Technology and Society
• Travel and Holiday
• Visual Culture
• Browse content in Law
• Arbitration
• Browse content in Company and Commercial Law
• Commercial Law
• Company Law
• Browse content in Comparative Law
• Systems of Law
• Competition Law
• Browse content in Constitutional and Administrative Law
• Government Powers
• Judicial Review
• Local Government Law
• Military and Defence Law
• Parliamentary and Legislative Practice
• Construction Law
• Contract Law
• Browse content in Criminal Law
• Criminal Procedure
• Criminal Evidence Law
• Sentencing and Punishment
• Employment and Labour Law
• Environment and Energy Law
• Browse content in Financial Law
• Banking Law
• Insolvency Law
• History of Law
• Human Rights and Immigration
• Intellectual Property Law
• Browse content in International Law
• Private International Law and Conflict of Laws
• Public International Law
• IT and Communications Law
• Jurisprudence and Philosophy of Law
• Law and Politics
• Law and Society
• Browse content in Legal System and Practice
• Courts and Procedure
• Legal Skills and Practice
• Legal System - Costs and Funding
• Primary Sources of Law
• Regulation of Legal Profession
• Medical and Healthcare Law
• Browse content in Policing
• Criminal Investigation and Detection
• Police and Security Services
• Police Procedure and Law
• Police Regional Planning
• Browse content in Property Law
• Personal Property Law
• Restitution
• Study and Revision
• Terrorism and National Security Law
• Browse content in Trusts Law
• Wills and Probate or Succession
• Browse content in Medicine and Health
• Browse content in Allied Health Professions
• Arts Therapies
• Clinical Science
• Dietetics and Nutrition
• Occupational Therapy
• Operating Department Practice
• Physiotherapy
• Radiography
• Speech and Language Therapy
• Browse content in Anaesthetics
• General Anaesthesia
• Browse content in Clinical Medicine
• Acute Medicine
• Cardiovascular Medicine
• Clinical Genetics
• Clinical Pharmacology and Therapeutics
• Dermatology
• Endocrinology and Diabetes
• Gastroenterology
• Genito-urinary Medicine
• Geriatric Medicine
• Infectious Diseases
• Medical Toxicology
• Medical Oncology
• Pain Medicine
• Palliative Medicine
• Rehabilitation Medicine
• Respiratory Medicine and Pulmonology
• Rheumatology
• Sleep Medicine
• Sports and Exercise Medicine
• Clinical Neuroscience
• Community Medical Services
• Critical Care
• Emergency Medicine
• Forensic Medicine
• Haematology
• History of Medicine
• Browse content in Medical Dentistry
• Oral and Maxillofacial Surgery
• Paediatric Dentistry
• Restorative Dentistry and Orthodontics
• Surgical Dentistry
• Browse content in Medical Skills
• Clinical Skills
• Communication Skills
• Nursing Skills
• Surgical Skills
• Medical Ethics
• Medical Statistics and Methodology
• Browse content in Neurology
• Clinical Neurophysiology
• Neuropathology
• Nursing Studies
• Browse content in Obstetrics and Gynaecology
• Gynaecology
• Occupational Medicine
• Ophthalmology
• Otolaryngology (ENT)
• Browse content in Paediatrics
• Neonatology
• Browse content in Pathology
• Chemical Pathology
• Clinical Cytogenetics and Molecular Genetics
• Histopathology
• Medical Microbiology and Virology
• Patient Education and Information
• Browse content in Pharmacology
• Psychopharmacology
• Browse content in Popular Health
• Caring for Others
• Complementary and Alternative Medicine
• Self-help and Personal Development
• Browse content in Preclinical Medicine
• Cell Biology
• Molecular Biology and Genetics
• Reproduction, Growth and Development
• Primary Care
• Professional Development in Medicine
• Browse content in Psychiatry
• Addiction Medicine
• Child and Adolescent Psychiatry
• Forensic Psychiatry
• Learning Disabilities
• Old Age Psychiatry
• Psychotherapy
• Browse content in Public Health and Epidemiology
• Epidemiology
• Public Health
• Browse content in Radiology
• Clinical Radiology
• Interventional Radiology
• Nuclear Medicine
• Radiation Oncology
• Reproductive Medicine
• Browse content in Surgery
• Cardiothoracic Surgery
• Gastro-intestinal and Colorectal Surgery
• General Surgery
• Neurosurgery
• Paediatric Surgery
• Peri-operative Care
• Plastic and Reconstructive Surgery
• Surgical Oncology
• Transplant Surgery
• Trauma and Orthopaedic Surgery
• Vascular Surgery
• Browse content in Science and Mathematics
• Browse content in Biological Sciences
• Aquatic Biology
• Biochemistry
• Bioinformatics and Computational Biology
• Developmental Biology
• Ecology and Conservation
• Evolutionary Biology
• Genetics and Genomics
• Microbiology
• Molecular and Cell Biology
• Natural History
• Plant Sciences and Forestry
• Research Methods in Life Sciences
• Structural Biology
• Systems Biology
• Zoology and Animal Sciences
• Browse content in Chemistry
• Analytical Chemistry
• Computational Chemistry
• Crystallography
• Environmental Chemistry
• Industrial Chemistry
• Inorganic Chemistry
• Materials Chemistry
• Medicinal Chemistry
• Mineralogy and Gems
• Organic Chemistry
• Physical Chemistry
• Polymer Chemistry
• Study and Communication Skills in Chemistry
• Theoretical Chemistry
• Browse content in Computer Science
• Artificial Intelligence
• Computer Architecture and Logic Design
• Game Studies
• Human-Computer Interaction
• Mathematical Theory of Computation
• Programming Languages
• Software Engineering
• Systems Analysis and Design
• Virtual Reality
• Browse content in Computing
• Business Applications
• Computer Security
• Computer Games
• Computer Networking and Communications
• Digital Lifestyle
• Graphical and Digital Media Applications
• Operating Systems
• Browse content in Earth Sciences and Geography
• Atmospheric Sciences
• Environmental Geography
• Geology and the Lithosphere
• Maps and Map-making
• Meteorology and Climatology
• Oceanography and Hydrology
• Palaeontology
• Physical Geography and Topography
• Regional Geography
• Soil Science
• Urban Geography
• Browse content in Engineering and Technology
• Agriculture and Farming
• Biological Engineering
• Civil Engineering, Surveying, and Building
• Electronics and Communications Engineering
• Energy Technology
• Engineering (General)
• Environmental Science, Engineering, and Technology
• History of Engineering and Technology
• Mechanical Engineering and Materials
• Technology of Industrial Chemistry
• Transport Technology and Trades
• Browse content in Environmental Science
• Applied Ecology (Environmental Science)
• Conservation of the Environment (Environmental Science)
• Environmental Sustainability
• Environmentalist Thought and Ideology (Environmental Science)
• Management of Land and Natural Resources (Environmental Science)
• Natural Disasters (Environmental Science)
• Nuclear Issues (Environmental Science)
• Pollution and Threats to the Environment (Environmental Science)
• Social Impact of Environmental Issues (Environmental Science)
• History of Science and Technology
• Browse content in Materials Science
• Ceramics and Glasses
• Composite Materials
• Metals, Alloying, and Corrosion
• Nanotechnology
• Browse content in Mathematics
• Applied Mathematics
• Biomathematics and Statistics
• History of Mathematics
• Mathematical Education
• Mathematical Finance
• Mathematical Analysis
• Numerical and Computational Mathematics
• Probability and Statistics
• Pure Mathematics
• Browse content in Neuroscience
• Cognition and Behavioural Neuroscience
• Development of the Nervous System
• Disorders of the Nervous System
• History of Neuroscience
• Invertebrate Neurobiology
• Molecular and Cellular Systems
• Neuroendocrinology and Autonomic Nervous System
• Neuroscientific Techniques
• Sensory and Motor Systems
• Browse content in Physics
• Astronomy and Astrophysics
• Atomic, Molecular, and Optical Physics
• Biological and Medical Physics
• Classical Mechanics
• Computational Physics
• Condensed Matter Physics
• Electromagnetism, Optics, and Acoustics
• History of Physics
• Mathematical and Statistical Physics
• Measurement Science
• Nuclear Physics
• Particles and Fields
• Plasma Physics
• Quantum Physics
• Relativity and Gravitation
• Semiconductor and Mesoscopic Physics
• Browse content in Psychology
• Affective Sciences
• Clinical Psychology
• Cognitive Psychology
• Cognitive Neuroscience
• Criminal and Forensic Psychology
• Developmental Psychology
• Educational Psychology
• Evolutionary Psychology
• Health Psychology
• History and Systems in Psychology
• Music Psychology
• Neuropsychology
• Organizational Psychology
• Psychological Assessment and Testing
• Psychology of Human-Technology Interaction
• Psychology Professional Development and Training
• Research Methods in Psychology
• Social Psychology
• Browse content in Social Sciences
• Browse content in Anthropology
• Anthropology of Religion
• Human Evolution
• Medical Anthropology
• Physical Anthropology
• Regional Anthropology
• Social and Cultural Anthropology
• Theory and Practice of Anthropology
• Browse content in Business and Management
• Business Strategy
• Business Ethics
• Business History
• Business and Government
• Business and Technology
• Business and the Environment
• Comparative Management
• Corporate Governance
• Corporate Social Responsibility
• Entrepreneurship
• Health Management
• Human Resource Management
• Industrial and Employment Relations
• Industry Studies
• Information and Communication Technologies
• International Business
• Knowledge Management
• Management and Management Techniques
• Operations Management
• Organizational Theory and Behaviour
• Pensions and Pension Management
• Public and Nonprofit Management
• Social Issues in Business and Management
• Strategic Management
• Supply Chain Management
• Browse content in Criminology and Criminal Justice
• Criminal Justice
• Criminology
• Forms of Crime
• International and Comparative Criminology
• Youth Violence and Juvenile Justice
• Development Studies
• Browse content in Economics
• Agricultural, Environmental, and Natural Resource Economics
• Asian Economics
• Behavioural Finance
• Behavioural Economics and Neuroeconomics
• Econometrics and Mathematical Economics
• Economic Systems
• Economic History
• Economic Methodology
• Economic Development and Growth
• Financial Markets
• Financial Institutions and Services
• General Economics and Teaching
• Health, Education, and Welfare
• History of Economic Thought
• International Economics
• Labour and Demographic Economics
• Law and Economics
• Macroeconomics and Monetary Economics
• Microeconomics
• Public Economics
• Urban, Rural, and Regional Economics
• Welfare Economics
• Browse content in Education
• Adult Education and Continuous Learning
• Care and Counselling of Students
• Early Childhood and Elementary Education
• Educational Equipment and Technology
• Educational Research Methodology
• Educational Strategies and Policy
• Higher and Further Education
• Organization and Management of Education
• Philosophy and Theory of Education
• Schools Studies
• Secondary Education
• Teaching of a Specific Subject
• Teaching of Specific Groups and Special Educational Needs
• Teaching Skills and Techniques
• Browse content in Environment
• Applied Ecology (Social Science)
• Climate Change
• Conservation of the Environment (Social Science)
• Environmentalist Thought and Ideology (Social Science)
• Management of Land and Natural Resources (Social Science)
• Natural Disasters (Environment)
• Pollution and Threats to the Environment (Social Science)
• Social Impact of Environmental Issues (Social Science)
• Sustainability
• Browse content in Human Geography
• Cultural Geography
• Economic Geography
• Political Geography
• Browse content in Interdisciplinary Studies
• Communication Studies
• Museums, Libraries, and Information Sciences
• Browse content in Politics
• African Politics
• Asian Politics
• Chinese Politics
• Comparative Politics
• Conflict Politics
• Elections and Electoral Studies
• Environmental Politics
• Ethnic Politics
• European Union
• Foreign Policy
• Gender and Politics
• Human Rights and Politics
• Indian Politics
• International Relations
• International Organization (Politics)
• International Political Economy
• Irish Politics
• Latin American Politics
• Middle Eastern Politics
• Political Methodology
• Political Communication
• Political Philosophy
• Political Sociology
• Political Behaviour
• Political Economy
• Political Institutions
• Political Theory
• Politics and Law
• Politics and Religion
• Politics of Development
• Public Administration
• Public Policy
• Qualitative Political Methodology
• Quantitative Political Methodology
• Regional Political Studies
• Russian Politics
• Security Studies
• State and Local Government
• UK Politics
• US Politics
• Browse content in Regional and Area Studies
• African Studies
• Asian Studies
• East Asian Studies
• Japanese Studies
• Latin American Studies
• Middle Eastern Studies
• Native American Studies
• Scottish Studies
• Browse content in Research and Information
• Research Methods
• Browse content in Social Work
• Addictions and Substance Misuse
• Adoption and Fostering
• Care of the Elderly
• Child and Adolescent Social Work
• Couple and Family Social Work
• Direct Practice and Clinical Social Work
• Emergency Services
• Human Behaviour and the Social Environment
• International and Global Issues in Social Work
• Mental and Behavioural Health
• Social Justice and Human Rights
• Social Policy and Advocacy
• Social Work and Crime and Justice
• Social Work Macro Practice
• Social Work Practice Settings
• Social Work Research and Evidence-based Practice
• Welfare and Benefit Systems
• Browse content in Sociology
• Childhood Studies
• Community Development
• Comparative and Historical Sociology
• Disability Studies
• Economic Sociology
• Gender and Sexuality
• Gerontology and Ageing
• Health, Illness, and Medicine
• Marriage and the Family
• Migration Studies
• Occupations, Professions, and Work
• Organizations
• Population and Demography
• Race and Ethnicity
• Social Theory
• Social Movements and Social Change
• Social Research and Statistics
• Social Stratification, Inequality, and Mobility
• Sociology of Religion
• Sociology of Education
• Sport and Leisure
• Urban and Rural Studies
• Browse content in Warfare and Defence
• Defence Strategy, Planning, and Research
• Land Forces and Warfare
• Military Administration
• Military Life and Institutions
• Naval Forces and Warfare
• Other Warfare and Defence Issues
• Peace Studies and Conflict Resolution
• Weapons and Equipment

The Oxford Handbook of Contemporary Philosophy

Frank Jackson teaches at Princeton University each autumn and is at La Trobe University or the Australian National University the rest of the year. His publications include ‘Mental Causation: the State of the Art’ in Mind 105 (1996); ‘Causation in the Philosophy of Mind’ (with Philip Pettit) in Philosophy and Phenomenological Research 50 Supplementary (1990); and The Philosophy of Mind and Cognition ( with David Braddon‐Mitchell) (Basil Blackwell, 2nd edn., 2007).

Michael Smith is Professor of Philosophy at the Research School of Social Sciences, Australian National University. His main research interests lie in the intersection of moral philosophy and philosophical psychology.

• Cite Icon Cite
• Permissions Icon Permissions

The Oxford Handbook of Contemporary Philosophy is the definitive guide to what is happening in the lively and fascinating subject of contemporary philosophy. More than thirty distinguished scholars contribute incisive and up-to-date critical surveys of the principal areas of research into this subject. The coverage is broad, with sections devoted to moral philosophy, social and political philosophy, philosophy of mind and action, philosophy of language, metaphysics, epistemology, and philosophy of the sciences.

Signed in as

Institutional accounts.

• GoogleCrawler [DO NOT DELETE]
• Google Scholar Indexing

Personal account

• Sign in with email/username & password
• Get email alerts
• Save searches
• Purchase content
• Activate your purchase/trial code
• Add your ORCID iD

Institutional access

Sign in with a library card.

• Sign in with username/password
• Recommend to your librarian
• Institutional account management
• Get help with access

Access to content on Oxford Academic is often provided through institutional subscriptions and purchases. If you are a member of an institution with an active account, you may be able to access content in one of the following ways:

IP based access

Typically, access is provided across an institutional network to a range of IP addresses. This authentication occurs automatically, and it is not possible to sign out of an IP authenticated account.

Choose this option to get remote access when outside your institution. Shibboleth/Open Athens technology is used to provide single sign-on between your institution’s website and Oxford Academic.

• Click Sign in through your institution.
• Select your institution from the list provided, which will take you to your institution's website to sign in.
• When on the institution site, please use the credentials provided by your institution. Do not use an Oxford Academic personal account.
• Following successful sign in, you will be returned to Oxford Academic.

If your institution is not listed or you cannot sign in to your institution’s website, please contact your librarian or administrator.

Enter your library card number to sign in. If you cannot sign in, please contact your librarian.

Society Members

Society member access to a journal is achieved in one of the following ways:

Sign in through society site

Many societies offer single sign-on between the society website and Oxford Academic. If you see ‘Sign in through society site’ in the sign in pane within a journal:

• Click Sign in through society site.
• When on the society site, please use the credentials provided by that society. Do not use an Oxford Academic personal account.

If you do not have a society account or have forgotten your username or password, please contact your society.

Sign in using a personal account

Some societies use Oxford Academic personal accounts to provide access to their members. See below.

A personal account can be used to get email alerts, save searches, purchase content, and activate subscriptions.

Some societies use Oxford Academic personal accounts to provide access to their members.

Viewing your signed in accounts

Click the account icon in the top right to:

• View your signed in personal account and access account management features.
• View the institutional accounts that are providing access.

Signed in but can't access content

Oxford Academic is home to a wide variety of products. The institutional subscription may not cover the content that you are trying to access. If you believe you should have access to that content, please contact your librarian.

For librarians and administrators, your personal account also provides access to institutional account management. Here you will find options to view and activate subscriptions, manage institutional settings and access options, access usage statistics, and more.

Our books are available by subscription or purchase to libraries and institutions.

• About Oxford Academic
• Publish journals with us
• University press partners
• What we publish
• New features  
• Open access
• Rights and permissions
• Accessibility
• Advertising
• Media enquiries
• Oxford University Press
• Oxford Languages
• University of Oxford

Oxford University Press is a department of the University of Oxford. It furthers the University's objective of excellence in research, scholarship, and education by publishing worldwide

• Copyright © 2024 Oxford University Press
• Cookie settings
• Cookie policy
• Privacy policy
• Legal notice

This Feature Is Available To Subscribers Only

Sign In or Create an Account

This PDF is available to Subscribers Only

For full access to this pdf, sign in to an existing account, or purchase an annual subscription.

Paradoxes and Contemporary Logic

By “paradox” one usually means a statement claiming something which goes beyond (or even against) ‘common opinion’ (what is usually believed or held). Paradoxes form a natural object of philosophical investigation ever since the origins of rational thought; they have been invented as part of complex arguments and as tools for refuting philosophical theses (think of the celebrated paradoxes credited to Zeno of Elea, concerning motion, the continuum, the opposition between unity and plurality, or of the arguments entangling the notions of truth and vagueness, credited to the Megarian School, and Eubulides of Miletus). Paradoxes—termed as Insolubilia —form also a substantial part of logical and philosophical investigations during the Middle Ages.

This entry concentrates on the emergence of non-trivial logical themes and notions from the discussion on paradoxes from the beginning of the 20th century until 1945, and attempts to assess their importance for the development of contemporary logic. Paradoxes involving vagueness , knowledge , belief , and space and time are treated in separate entries.

A terminological warning is in order. The word “antinomy” is used below as alternative to, and synonymous with, “paradox”. Most paradoxes — but not all — involve contradictions; for such cases, we often use the word “contradiction“ as well.

1. Introduction

2.1. difficulties involving ordinal and cardinal numbers, 2.2 russell's contradiction, 2.3 russell's paradox involving propositions and truth: the emergence of type theory, 2.4 the mathematicians and the contradictions: hilbert and zermelo, 2.5 around 1905: difficulties arising from definability and the continuum, 3.1 poincaré and russell on contradictions, 3.2 mathematical logic as based on the theory of types, 3.3 completing the picture, 4.1 set theory and paradoxes: circular sets and other matters, 4.2 type-theoretic developments and the paradoxes, 5.1 paradoxes and diagonalization, 5.2 paradoxes and the foundations of semantics, 5.3 “the inconsistency of certain formal logics”, 5.4 criticizing standard implication and negation, 5.5 non-terminating processes, cycles and typical ambiguity, 6. conclusion: a glance at present-day investigations, primary sources: 1897–1945, recent sources, other internet resources, related entries.

Between the end of the 19th century and the beginning of the 20th century, the foundations of logic and mathematics were affected by the discovery of a number of difficulties—the so-called paradoxes—involving fundamental notions and basic methods of definition and inference , which were usually accepted as unproblematic. Since then paradoxes have acquired a new role in contemporary logic: indeed, they have led to theorems (usually negative results, such as unprovability and undecidability) and they are not simply confined to the realm of a sterile dialectic. Several basic notions of logic, as it is presently taught, have reached their present shape at the end of a process which has been often triggered by various attempts to solve paradoxes. This is especially true for the notions of set and collection in general, for the basic syntactical and semantical concepts of standard classical logic (logical languages of a given order, the notion of satisfiability, definability). After the first forty years, the by-products of the paradoxes included axiomatizations of set theory, a systematic development of type theory, the foundations of semantics, a theory of formal systems (at least in nuce ), besides the introduction of the dichotomy predicative/impredicative which was important for conceptual reasons, but also for the future of proof theoretical methods.

2. Paradoxes: early developments (1897–1917)

Early work on paradoxes of particular importance pertained to the following notions:

• ordinal and cardinal numbers (Burali-Forti, Cantor);
• property, set, class (Russell, Zermelo);
• proposition and truth (Russell);
• definability and the arithmetical (or atomistic) continuum (Richard, König, Bernstein, Berry, Grelling).

Some of these contradictions are already treated as separate entries in this encyclopedia ( -->liar paradox -->, Russell's paradox ); the emphasis here will be on the background problems, their mutual links and the interaction with foundational and philosophical issues.

The earliest modern paradoxes concerned the notions of ordinal and cardinal number. Burali-Forti, a mathematician of Peano's school, attempted to prove that the ordinal numbers are not linearly ordered. Assuming by contradiction that the class ON of all ordinals could be linearly ordered, he observed that then ON itself would be well-ordered and it would possess an ordinal Ω ∈ ON . Thus ON would be similar (order-isomorphic) to a proper initial segment of itself, the one determined by Ω, contradicting a well-known theorem about well-ordered sets. The result was published in 1897 and, though Burali-Forti's original aim is impossible to achieve, his argument showed that the collection ON is problematic at best (Moore-Garciadiego 1981).

The father of set theory, Cantor, had noticed similar difficulties already in 1895 (as witnessed by Bernstein and by letters to Hilbert and Dedekind). Indeed, in a second letter to Dedekind of August 31, 1899 Cantor pointed out another problem, involving the notion of the cardinal number and implying that one cannot consistently think of the “the set of all conceivable sets”, say M . Were M a genuine set, then it would possess a cardinal number m , which would be the maximum cardinal number. But one could also consider the set ℘( M ) of all subsets of M , and by Cantor's theorem the cardinality of ℘( M ) ought to be strictly bigger than the purported maximum m : contradiction.

As a consequence, Cantor suggested a crucial distinction—still regarded as “subjective”, i.e., mathematically not precise, by Hilbert (as late as 1904, see van Heijenoort 1967, p. 131)—between totalities that cannot be conceived as a whole (the inconsistent ones) and those which can be regarded as completed ( fertige Menge ). Roughly, the former is a collection that cannot be an element of other collections, whereas the latter is a small collection, which can be an element of other collections. This corresponds to the distinction between classes and sets , later made precise and axiomatized in the class-theoretic approach (von Neumann, Bernays, Gödel); it is reminiscent of the Russellian limitation-of-size doctrine (see 3.1 below; Garciadiego 1992).

In the case of the difficulty discovered by Burali-Forti, the consequence for Cantor was that the multiplicity ( Mannigfaltigkeit ) of ordinal numbers is itself well-ordered, but is not a set: hence, no ordinal can be assigned to it, and the antinomy is resolved.

The second famous published antinomy (Russell 1903, paragraphs 78, 101–106; Frege 1903, Appendix, dated October 1902; see the entry Russell's paradox ) takes us from Cantor's paradise into the realm of the foundations of logic and the philosophy of mathematics. It is strikingly simple, involves only predicate application, and it has an explicit self-referential ( reflexive ) character. In Russell's own words (June 16, 1902, letter to Frege, translation in van Heijenoort 1963, pp. 124–125),

let w be the predicate: to be a predicate that cannot be predicated of itself. Can w be predicated of itself? From each answer, the opposite follows. Likewise, there is no class (as a totality) of those classes which, each taken as a totality, do not belong to themselves. From this I conclude that under certain circumstances a definable collection does not form a totality.

Russell's Principles of Mathematics (1903) contains extended discussions of Russell's and Burali-Forti's paradoxes in various forms in the sections 78, 84–85, 101, 301. Russell's paradox is adapted to show that a propositional function φ cannot be a logical subject (i.e., as separated from its argument; it is not saturated in Frege's terms); otherwise, φ would apply to itself, ¬φ(φ) would be a propositional function and it would be possible to reproduce the inconsistency.

In ch. 10, section 102, Russell also gives a form of Cantor's theorem, which captures the logical essence of diagonalization (this version is by now folklore): no binary relation can parameterize all unary predicates over a given domain U (i.e., no binary relation R exists such that for all unary predicates P over U , there is an object a in U for which one has: for all x in U , R ( a , x ) ↔ P ( x )).

In sum, Russell's contradiction shows the critical status of apparently safe logical principles: either one has to give up the assumption that “any propositional function containing only one variable is equivalent to asserting membership for a class defined by the propositional function” (i.e., the comprehension principle); or one has to reject the idea that “every class can be taken as one term” (pp. 102–103).

In Russell's hands the paradox applies to predicates, classes, and propositional functions and leads to a new picture of the logico-mathematical universe, which is outlined in a first exposition of the doctrine of types: to each propositional function φ is associated a range of significance , i.e., a class of objects to which the given φ applies in order to produce a proposition; moreover, precisely the ranges of significance form types. However, there are objects that are not ranges of significance; these are just atoms (i.e., urelemente or individuals) and they form the lowest type. The next type consists of classes or ranges of individuals; then one has classes of classes of objects of the lowest type, and so on.

New difficulties still arise if one accepts that propositions form a type (as they are the only objects of which it can be meaningfully asserted that they are true or false). First of all, there are obviously at least as many propositions as objects (just consider the map associating with x the proposition expressed by ( x = x ); p. 527). On the other hand, if it is possible to form types of propositions, there are more types of propositions than propositions, by Cantor's argument. Then we can inject types of propositions into propositions by means of the notion of logical product . Let m be a class of propositions and let Π m be the proposition “every proposition of m is true” (regarded as a possibly infinitary conjunction); then, if m and n are different classes, the propositions Π m and Π n are different, i.e., the map associating to m its product Π m is injective. Therefore, if we consider the class

{ p | ∃ m (Π m = p & p ∉ m )} = R ,

we have, by injectivity, a contradiction.

Of course, if one were to adopt the extensional point of view, and hence identify equivalent propositions, the contradiction above could not be derived. Russell, however, sticks to an intensional point of view, stressing that equivalent propositions often can be quite different. So one is apparently forced to reject the assumption that propositions form one type , and hence to require that they ought to have various types , while logical products ought to have propositions of only one type as factors.

This was eventually the basis of the ramified theory of types, but in 1903 Russell still regarded the suggestion as harsh and artificial. As the footnote on p. 527 shows, he believed that the set of all propositions is a counterexample to Cantor's theorem.

Zermelo independently discovered Russell's paradox in Göttingen (as witnessed by Hilbert and Husserl) in the following form: a set M that comprises as elements all of its subsets is inconsistent. Indeed, consider the set M 0 of all elements of M which are not elements of themselves (e.g., the empty set is in M 0 ). This set is a subset of M and hence by assumption on M , M 0 ∈ M . If M 0 ∈ M 0 , then M 0 is not a member of itself. Hence M 0 ∉ M 0 and since M 0 ∈ M , M 0 ∈ M 0 : contradiction.

In addition, Hilbert had noticed in unpublished work (see Kahle and Peckhaus 2002) that additional contradictions of a mathematical nature can arise. The first one derives from assuming that there is a well-defined set C which satisfies the following closure conditions: (i) the set N of natural numbers is an element of C ; (ii) X X ∈ C , whenever X ∈ C (where X X is the set of all functions from X to X ); (iii) ∪ X ∈ C , whenever X ⊆ C . Then by (iii), ∪ C = U ∈ C and finally F = U U ∈ C . But by definition of union, F ⊆ U ; hence there would exist a map of U onto F and a contradiction could be derived by diagonalization.

Furthermore, as is witnessed by Hilbert's unpublished Sommer Vorlesung 1905 (see Kahle 2004), Hilbert discovered a remarkable functional version of Russell's paradox, later to become popular in the context of combinatory logic, lambda calculus and recursion theory. The argument is based on functional self-application and hence direct self-reference .

The contradiction is obtained by assuming that the universe includes everything, i.e., variables range over both objects and functions, and that there are at least two distinct objects. Then one introduces a new operation (universal application in our sense): xy is the result of applying x to y . Given two distinct objects 0 and 1, and on the assumption that the universe is closed under arbitrary definition by cases, there exists an object f such that fx = 0, if xx ≠ 0, and fx = 1, if xx = 0. Then one chooses x = f (as x ranges over everything) and easily derives a contradiction.

The results of the Hilbert school were not published because contradictions and paradoxes were regarded as symptoms of growth and as temporary difficulties. The diagnosis was that traditional logic is insufficient and the theory of concept-formation needs to be sharpened. Any concept C is given in a network of concepts (letter of Hilbert to Frege, Dec. 27, 1899; see Frege 1976, pp. 79–80), and this network is determined by the axioms. Only the consistency of the axioms that define the concept guarantees the legitimacy of C . In a nutshell: paradoxes tell us that we must develop a metamathematical analysis of the notions of proof and of the axiomatic method; their importance is methodological as well as epistemological.

As the reactions of the mathematical world made clear, the paradoxes were crucially involved around 1905 when basic problems of set theory were worked on. Indeed, the new contradictions not only affected the conception of set and logical concepts, they also came to include the notion of definability and its relation with a fundamental issue: the structure of the mathematical continuum and in particular whether the continuum can be well-ordered and whether Cantor's Continuum Hypothesis (CH) holds.

At the Heidelberg Congress in 1904, Julius König tried to refute Cantor's continuum hypothesis. Due to a mistake discovered by Zermelo, his paper was immediately withdrawn, but the subsequent year, König produced a new argument.

Consider the reals which are definable in finitely many words . They form a countable sequence: E 0 , …, E n , …. Since the continuum is uncountable, there exist reals not occurring in the given enumeration. Assuming that the continuum is well-ordered, there exists “the least real E which is not in the sequence { E n | n ∈ Ω}”; this real is not in the sequence, but the very expression “the least real E which is not in the sequence” defines E with finitely many words ; so E occurs somewhere in the sequence: contradiction!

König also observed that the argument extends to the second number class and a similar paradox could be obtained by considering the collection FOD of finitely definable countable ordinals. In this case, taking inspiration from Cantor, König's solution is that Cantor's second number class is not a set in a proper sense (a completed totality). To define a set, according to König, one should provide not only a rule for defining its elements, but also a means for distinguishing them.

A contradiction related to König's had been published slightly earlier by Jules Richard, a mathematician of a Lyceé in Dijon. Using an enumeration of all permutations with repetitions of the twenty-six letters of the French alphabet, Richard noticed that the set E of reals that can be defined by finitely many French words is denumerable and hence one can assume to have an enumeration u 1 , u 2 , … of all those numbers. But then one can define the following real N : the integer part of N is 0, while its n th decimal digit of N is p +1 if u n has the n th decimal digit p different from both 8 and 9; otherwise, the n th decimal digit of N is 1. By construction, N will not occur in u 1 , u 2 , …. On the other hand, if we consider that N is defined by means of a finite collection of letters, this must occur in u 1 , u 2 , ….

Contrary to König, Richard did not rely upon the well-ordering of the continuum, and the proposed solution is interesting for the foundational debate to come. He pointed out that the definition of the number N refers to the totality of definable reals, to which N itself belong; but no object should be definable in terms of a collection containing it. So it appears that the definition is viciously circular, and that makes the definition illusory. This idea soon became the basis of Poincaré's solution, and eventually also Russell's (see below 3.1 , the issue of impredicatively defined collections).

So, why definability? The motivation was made clear for instance by Bernstein's “Die Theorie der reellen Zahlen” (1905a), where Cantor's continuum hypothesis was claimed to be settled in the positive. He criticized the so called “Dirichlet notion” of arbitrary function and stated that it is possible to give a foundation to the continuum using only computable reals, i.e., reals possessing an explicit “formation law” (“ Bildungsgesetz ”).

According to him, this is not a restriction since—he claims—there are nondenumerably many computable reals in his sense. He also states that it is possible to display the new computable continuum in a hierarchy (i.e., a ⊂-increasing sequence) { B α | α<ℵ 1 } of subsets of N N , which is defined in such a way that each B α is at most of cardinality ℵ 1 and hence that the cardinality of the union of the sequence is at most ℵ 1 . The idea is to start with a basic domain B 0 ⊂ N N of simple functions (e.g., those having finitely many values), then to define a new domain B 1 which extends B 0 with operations that are defined from elements of B 0 , and so on.

Though his claims are not justified, in the light of Gödel's later work on constructibility, one might say that Bernstein's basic intuition was sound: the continuum problem can be settled, if one has an appropriately general notion of definability (or computability, constructibility) and by iterating it along the ordinals.

This question was ultimately connected with the problem of understanding the atomistic continuum. The arithmetized conception—in the sense of Dedekind or Cantor, where real numbers are identified with suitable sets of rationals—shifted the attention towards arbitrary infinite sequences of natural numbers . But this notion was not so easy to accept. According to Bernstein (Bernstein 1905a, p. 449), an infinite sequence (or an infinite set) must be given by a genuine rule. But what is a rule ? Since one must be liberal (in order not to have just special classes of reals, if one is too restrictive), one is naturally driven to think of arbitrary finitely described laws, shifting the attention towards the syntax of the rules . However, unless one considers ordinary language, no such syntax is available and this engenders indeterminacy (this is Peano's diagnosis, see below Peano 1902–1906).

The need for a specification of infinite sets is crucial in the discussion of the related well-ordering problem. It also affects the related issue of the classification of discontinuous functions and analytically representable functions of real variables, tackled by the French semi-intuitionists Borel, Baire and Lebesgue. At the same time, they held the view that a mathematical entity (like an infinite set or a function) exists only insofar as it is “nameable by a finite number of words”, against the platonistic views of Hadamard and Zermelo (see Borel et al. 1905).

3. Paradoxes, predicativism and the doctrine of types: 1905–1913

In the light of the foundational debate, the following years were rich in seminal work: new paradoxes were discovered (Berry, Grelling-Nelson), an old paradox—the Liar—showed up again, a comprehensive view of the contradictions of logic and mathematics was masterfully outlined in the opening section of Russell's 1908 paper and the preceding Russell 1906a, while a conceptual distinction between two kinds of paradoxes was set forth in Peano's paper of 1906. Also, the basic ideas of predicativity emerged in the discussion between Poincaré, the leading mathematician of the time, and Russell. Even more important for the history of mathematical logic, fundamental technical advances for solving the paradoxes and shaping the foundations of logic and mathematics were made: Russell's theory of (ramified) types and Zermelo's axiomatization of set theory.

Russell's and Poincaré's ideas for solving paradoxes are to be found in a number of papers published in the period 1905–1912:

• the long essay “Les mathématiques et la logique”, in the Revue de Métaphysique et de Morale (Poincaré 1905, 1906a), wherein Poincaré strongly criticizes axiomatic and logicist foundations;
• Russell's “On some difficulties in the theory of transfinite numbers and order types” (read in 1905, published in 1907);
• Poincaré's counter-attack (Poincaré 1906b), the subsequent papers by Russell in the Revue (Russell 1906) and the American Journal of Mathematics (Russell 1908), and Poincaré's last articles (1909a, 1910, 1912).

Poincaré (1906b) took the contradictions as grounds to defend an intuitionistic, Kantian point of view. According to him, number-theoretic induction and the axiom of choice constitute independent intuitions, truly synthetic a priori judgements. He then argues against Russell's logical definition of natural numbers as those numbers which belong to all recurrent classes (those classes which contain 0 and are closed under successor). His objection is that the definition is not admissible since it refers essentially to a totality to which the class to be defined belongs—the definition is impredicative —and hence it is to be regarded as circular. But, according to Poincaré, mathematical objects do not exist without a proper definition , and a proper definition must be predicative , i.e., it must avoid vicious circles ; Poincaré thus somewhat extended Richard's diagnosis.

Poincaré's views evolved over the years and in the debate with Russell. In the later period, he advanced a novel approach to predicativity, which, though informally sketched, is suggestive of later developments in definability and proof theory (see Feferman 1964, Heinzmann 1985). He no longer insisted on the vicious circularity of the definition involved in the contradictions; instead, he held the view that a predicative classification is characterized by invariance , i.e., that it cannot be affected by the introduction of new elements; by contrast, impredicative notions are subject to constant modification whenever new elements are introduced.

In the light of contemporary logic, Poincaré is hinting at some form of absoluteness or invariance under extension (that will be made precise by Kreisel 1960 via model theory and recursion theory): his ideas will inspire the non-ramified approach to the foundations of predicative analysis.

In his last contribution to Acta Mathematica (1909) and in his fifth Göttingen lecture (1910), he also gave a restatement of Richard's paradox, as a refinement of Cantor's theorem, in the form: “there is no definable enumeration of definable reals”.

While mathematicians and Poincaré himself focused on the problems raised by the contradictions insofar as they involved the foundations of specific mathematical notions (the continuum, the natural numbers, the theory of cardinal and ordinal numbers), Russell directly attacked the comprehension principle , that is, the assumption that certain propositional functions determine a class (see also 2.3 above). The paradoxes prove that a propositional function may be well-defined for every argument, and yet the collection of the values for which it is defined need not be a class. So the crucial problem becomes logical : to give a criterion for selecting those propositional functions which give rise to classes (understood as well-defined objects).

Under the influence of Poincaré, Russell (1906, p. 634) accepted the vicious circle principle , for which he used a formulation in the terminology and adopting the notions of formal logic as formulated by Peano:

Whatever comprises an apparent variable should not be one among the possible values of that variable.

In logical terms, we are not allowed to quantify over a given class X when defining an element of X itself.

Of course, the vicious circle principle is not itself a theory, but a condition any adequate theory has to satisfy. Russell (1906, 1907) tentatively proposed three alternative approaches: the zigzag theory, the theory of limitation of size, and the no-classes theory. The zigzag theory attempts to capture the idea that the right functions ought to be ‘simple’, while according to the second view, ‘predicative’ would be characterized by a certain limitation of the size of classes which can be predicatively defined (e.g., the collection of all ordinals ON is too large). In the no-classes theory, classes are not independent entities and anything said about them is to be regarded as an abbreviation of a statement about their members and the propositional functions defining them. This is not far from Poincaré's idea that mathematical objects should be specified in finitely many words. However, Russell developed his own technical devices—such as the ‘substitution method’ (Landini 1998), and the contextual elimination of definite descriptions (see the entry Russell )—in order to implement his ideas.

In contrast to Poincaré, Russell 1906 did not consider the actual infinite as an essential component of the foundational malaise, and he stressed that contradictions arise even if the infinite is not involved. This is clearly shown by the Liar paradox in the form ‘I am lying’. As far as we know, it is exactly at this point in time that the (probably) most cited semantical puzzle in the history of logic regains a conspicuous position in logical analysis.

In his analysis of the Liar paradox, Russell assumed that there exists a true entity—the proposition—that is presupposed by a genuine statement (e.g., when I say that Socrates is mortal, there is a fact corresponding to my assertion and it is this fact that is called ‘proposition’). The same holds if the statement is false, but not in the case where the statement itself contains quantified variables.

The paradox is then solved by construing the Liar as ‘there is a proposition that I state and that is false’; hence the statement contains a quantification (hence an apparent variable) over the collection of all propositions , and it is not a proposition in a proper sense (Russell 1906, 642–644). So the conclusion is that the Liar is false because it does not state a proposition.

Similar considerations apply to the paradox suggested by Berry , which is briefly stated in Russell 1906 for the first time in published form, and has the merit of not going beyond the domain of finite numbers.

Consider the natural numbers that are definable by means of less than 18 syllables: this set is non-empty and finite. So there exist numbers which are not definable using less than 18 syllables. Consider the least such number: clearly, by definition, it is not definable with less than 18 syllables.

On the other hand such a number is definable with less than 18 syllables, since it is uniquely determined by the expression “the least number not definable with less than 18 syllables”, which itself has less than 18 syllables.

For the sake of historical accuracy, we should remark that Beppo Levi, the author of the 1902 paper “Intorno alla teoria degli aggregati” where the axiom of choice is first formulated as an independent principle of proof, outlined an antinomy which is essentially a variant of Berry's paradox in the context of discussing Richard's paradox (see Levi 1908).

The Russellian theory of types is widely known and investigated in the literature (see the entries on type theory and Russell ): it is of current interest and has descendants in logic and its applications. It was first developed by Russell in the fundamental memoir Mathematical Logic as based on the theory of types of 1908.

The doctrine of types is based upon the observation that universal quantification—understood as full generality, i.e., when x ranges ‘over the whole universe’—does not make sense: when we state that ∀ x φ( x ) is true, we only claim the function φ( x ) has the value ‘true’ for all arguments x for which it is meaningful . The essential point is that each propositional function has a range of significance, i.e., a type , and quantification is legitimate only over types . Formally speaking, each variable must have a preassigned type. The paradoxes (or reflexive fallacies) prove that certain collections, such as the totality of all propositions, of all classes and so on, cannot be types. So we can quantify over the collection of men, but we cannot properly state ‘all propositions of the form p ∨¬ p are true’. Therefore, the logical entities divide into types, and, in particular, every propositional function must have a higher type than its arguments . Moreover, in the light of the vicious circle principle, the notion of order must also be introduced. No object can be defined by quantifying over a totality which contains the object itself as element; hence the order of every propositional function must be greater than the order of propositional functions over which it quantifies.

The main idea is clarified in Russell 1908 (pp. 163–164) by considering how propositions can be arranged into a suitable “ramified” hierarchy, according to their order and so as to satisfy the vicious circle principle. First of all, there are elementary propositions, i.e., those containing no bound variables at all, while the lowest type consists of individuals. Individuals are entities without logical structure and can be regarded as the subjects of elementary propositions. The second logical type embraces the first order propositions , i.e., those whose quantifiers (if any) range only over individuals. Quantification over first order propositions gives rise to a new type, consisting exactly of second order propositions . In general, the ( n + 1)th logical type comprises propositions of order n , which contain quantification only up to the ( n − 1)th order.

Since a propositional function can be obtained from a proposition ‘by treating one or more of its constituents as variables’, the hierarchy of types and orders is naturally lifted to propositional functions, and it makes sense to speak of order of a function, its order being roughly the order of the value (i.e., a proposition) which the function assumes when it is applied to an argument for which it makes sense. So, for instance, a function which applies to individuals and takes first-order propositions as values is first-order.

Following the doctrine of types, we must replace ‘all propositions’ by ‘all propositions of order n ’ for a given n . Hence the Liar sentence becomes “it is not true of all propositions p of order n , that if I affirm p , p is true”, which is a proposition of order n + 1. Then the Liar is simply false rather than contradictory; and this solves the paradox. Similar arguments solve the other paradoxes.

In this theory, predicative functions of one argument, i.e., those having as order the successor of the order of their argument, play a crucial role. For instance, a predicative function of an individual variable must have order 1 (in current terminology, it is elementarily definable and quantifies only over individuals). The axiom of reducibility (AR) states that every propositional function is equivalent, for all its values, to a predicative function of the same variables. So, for instance, we might have a definition of a property P ( n ) of natural numbers (regarded as individuals) which quantifies over, say, second-order propositions. But AR implies that there exists a function P * ( n ) which is satisfied by exactly the same numbers as P ( n ) and is predicative, i.e., it involves quantification only on numbers

Thus, according to the axiom of reducibility, statements about arbitrary functions can be replaced by statements about predicative functions; and predicative functions play the role of classes, i.e., canonical representatives of arbitrary complex concepts (e.g., among the possible properties of different order which have the same extension as P ( n ), P * ( n ) canonically represents the class of numbers satisfying P ( n )).

Besides the axiom of infinity, AR is an essential tool for reconstructing classical mathematics, but it is a strong existential principle, apparently in conflict with the philosophical idea that logical and mathematical entities are to be constructively generated according to the vicious circle principle. Nonetheless, it was adopted in the (first edition of the) monumental Principia Mathematica , written in collaboration with A.N. Whitehead and published in 1910 (vol. 1), 1912 (vol. 2) and 1913 (vol. 3).

Interestingly, the basic idea underlying Russell's ramified hierarchy of types is a crucial ingredient in Gödel's later consistency proof of the continuum hypothesis via its inner model L of constructible sets. Also, as already observed in Gödel (1944), a form of AR becomes true in L in the sense that, roughly, an arbitrary propositional function of natural numbers is extensionally equivalent to some function of order α, for some countable ordinal α (see the entry Gödel, Kurt ). Other important applications of ramified hierarchies have been given since the late fifties in different fields (from recursion theory to proof theory; see the entry on type theory ).

There is a sizeable literature on paradoxes already in the early years of the 20 th century, which is not at all exhausted by the previous discussion. Refinements and variations of foundational and logical interest are to be found in the works of several authors, including prominent mathematicians, among them Peano, Borel, Schönflies, Brouwer, and Weyl. Some of the more stimulating and original proposals are surveyed in the rest of this section.

3.3.1 Peano, Schönflies, Brouwer, and Borel

Peano's criticism (in Additione a Super Theorema de Cantor-Bernstein ) of Richard's paradox is mainly known because it points out that “Richard's example pertains to linguistics, not to mathematics” and this statement opens up the distinction between set-theoretic or mathematical antinomies and semantical antinomies: the weak point in Richard's definition is that to some extent it is symbolic and formal, but it also makes use of the natural language (“ lingua commune ”); this contains ideas that are quite familiar but nevertheless are not sharply defined and are ambiguous (Peano 1906, p. 357–358). For instance, there is no precise criterion for deciding whether a given expression of the natural language represents a rule uniquely defining a number.

In spite of that, Peano elaborated a formal solution. He tried to get rid of vagueness and reference to E , the set of finitely definable reals in the unit interval, by fixing an explicit “Gödel-numbering”: given a natural number n , write n in base B , for sufficiently large B (so as to include the number of alphabet letters plus punctuation marks). Then each number is assigned a finite string of symbols in the natural language, and in certain cases the string will define a number, Val( n ) = “the decimal number which is determined by the expression encoded by n and interpreted according to the rules of the natural language”. Now, in order to get the paradox, one has to prove that there exists a unique number N in (0, 1), satisfying the condition given by Richard (see 2.5 above), but this condition, and hence N itself, depends on Val, which is possibly obscure and cannot be defined exactly according to the rules of mathematics (p. 352, p. 358). The conclusion is that no such a real can exist and Richard's definition is defective in the same way that “the greatest prime number” is.

Schönflies and Brouwer, by contrast, reacted to the paradoxes while strongly opposing axiomatic and formal methods.

Schönflies (1906) stuck to a contentual, genetic conception of sets. According to him, sets are generated and, once formed, are conceptually invariant. When a new set is built up, it is added to those that have been used in forming it, without altering their pre-existent structure. So self-membership does not make sense, the universal set does not exist and Russell's paradox disappears. His view can be seen as hinting at a sort of iterative conception of sets. For Schönflies, the contradictions arise in logic, as opposed to mathematics, and are due to the scholastic nature of logic. He regarded logic as having an unhealthy influence (“ unheilvollen Einflüss ”) on mathematics (“ Für den Cantorismus, aber gegen den Russellismus ” is the final motto of Schönflies 1911).

Brouwer's approach to paradoxes was also based on a contentual conception of mathematics. It can be found in the dissertation of 1907, chapter III (cf. also van Dalen 1999, pp. 105). As to Russell's contradiction, Brouwer noticed that the usual logical principles only hold for words with mathematical content, not for linguistic systems, like those of Peano or Russell. For instance, in order to decide whether a class falls under a propositional function, the class has to be a completed totality. The contradictions show that there are propositional functions which define complementary (disjoint) classes and yet do not satisfy the tertium non datur. Similar ideas can be found in the philosophical paper of 1908, “On the unreliability of tertium non datur” (see van Dalen 1999).

A positive by-product of Richard's paradox in Brouwer's work (1907, p. 149) is the notion of denumerably unfinished set , i.e., a set in which we can determine only denumerable subsets of elements, but where these denumerable subsets do not exhaust the given set, so that one can immediately produce new elements of the set from any given denumerable such subset. Typical examples of denumerably unfinished sets are the totality of countable ordinals, the points of the continuum, and in particular, as could be shown using Richard's paradox, the set of all definable points of the continuum (1907, p. 150). Brouwer considers Burali-Forti's contradiction not as a mathematical paradox, since it concerns a logical structure (the collection of all ordinals), which is not a well-defined mathematical object and has no proper mathematical content. Mathematically speaking, the contradiction can be avoided by denying that the largest well-ordered type has a successor order type (p. 153; this is analogous to Bernstein 1905b).

Among the French mathematicians, the semi-intuitionist Borel (1908) introduced the distinction between effectively enumerable sets and denumerable ones. The Richard paradox is then solved by observing that Richard's set E is certainly denumerable, because one can only determine at most a denumerable set of reals by finite means. Yet E is not effectively enumerable, i.e., one cannot produce with finitely many words a procedure for assigning unambiguously a rank (i.e., a position) to each element of the set. In order to make the enumeration of E effective, one ought to have solved all the mathematical problems which one could possibly state, because there are expressions which become definitions of a real only modulo a proof or solution of a certain problem. Borel has in mind a particular example: consider the expression “the unique transcendental number whose decimal expansion is obtained from that of π by replacing everywhere 7 with 8, and 8 with 7”. Of course, this is a good definition only if we have shown that the number is not algebraic (see Borel 1908. p. 446).

Borel, like Poincaré, adheres to a point of view— definability in finitely many words—which is an extension of the algebraic, Kroneckerian point of view: only objects constructible in finitely many steps are proper mathematical objects. However, unlike Poincaré, he disregards the problem of predicative definitions: for him all paradoxes of set theory derive from viewing the proposition that every denumerable set is effectively enumerable (“ Tout ensemble dénombrable est effectivement énumérable ”) as evident, which is false.

3.3.2 Hessenberg, Grelling, Zermelo and Weyl

On the side of mathematical foundations, three chapters of Gerhard Hessenberg's Bericht (1906) on the fundamentals of set theory are devoted to foundational questions. They contain interesting ideas about the philosophy of mathematics, which unfortunately cannot be discussed in detail here. For instance, Hessenberg underlines the distinction between set theoretic definitions which give criteria for effectively deciding membership in a given set, and definitions which don't. Concerning Kronecker's constructive criticism of the arithmetized continuum, he holds that, although each irrational number determines an infinite fraction and each infinite fraction possesses a formation rule (“Bildungsgesetz”), it is not true that such a rule is given by explicit finite means. For otherwise, we could derive (a form of) the paradox of finite denotation, i.e., were formation laws to coincide with definable ones, they would be at most denumerable and hence the reals would be denumerable, against Cantor's theorem.

In dealing with set theoretic contradictions, Hessenberg distinguishes the ‘ultrafinite’ (paragraphs 96–99) from the ‘transfinite’: this latter notion is an exclusive attribute of sets. By contrast, the collections involved in the paradoxes (such as the Russell set, the set of all sets, of all things, and of all ordinal numbers) are ultrafinite.

As to the proposed solutions of the paradoxes, Hessenberg was inspired by a Kantian idea. Just as in the natural sciences antinomies arise if Nature is conceived as a closed whole, similarly the collection ON and the set of all sets cannot be conceived as completed totalities. Hence the distinction ‘ultrafinite’/‘transfinite’ is apparently in accord with a theoretical approach which is close to Russell's limitation of size doctrine.

Close to the same philosophical inspiration, the influential paper of Grelling and Nelson (1908) provides an attempt to unify paradoxes and to isolate their underlying structure. The philosopher Leonard Nelson was a prominent figure in the Göttingen of the early twentieth century, who had Hilbert's strong support (see Peckhaus 1990). The paper is part of a project to develop a philosophically minded “kritische Mathematik”. It contains a new paradox (credited to Grelling) with a semantical flavor:

To each word there corresponds a concept, that the very word designates, and which applies to it or does not apply; in the first case, we call the word autological , else heterological . Now the word ‘heterological’ itself is autological or heterological. Assuming that the word is autological, the concept that it designates applies, hence ‘heterological’ is heterological. But if the word is heterological, the designated concept does not apply, so ‘heterological’ is not heterological.

Zermelo's axiomatization of set theory (1908; for more details see entries on set theory , Alternative Axiomatic Set Theories ) supplied a sensible tool for blocking contradictions. The main ideas of the axiomatization can be summarized as follows: (i) naïve comprehension is restricted to a separation axiom, i.e., to a principle granting the existence of enough subsets of an already given set of objects (numbers, points, functions on a given space); ‘enough subsets’ here refers to all the subsets specifiable by means of definite conditions involving the primitive notions (set equality and membership) and satisfying the laws of classical logic; (ii) there are axioms ensuring that the basic operations of forming singleton, union, pairing, and power set are well defined and that there exist at least an infinite set and the empty set; (iii) extensionality is assumed: two sets are equal if and only if they have the same elements; (iv) an axiom of choice is postulated, which allows selecting a choice set out of any family of disjoint non-empty sets.

It is immediate to see that Burali-Forti's antinomy cannot be derived in Zermelo's system, since the collection of all order types does not exist as a set, and Russell's paradox simply becomes the theorem that there does not exist a universal set.

However, one could raise at least two objections against the theory on different grounds. First of all, Zermelo's approach is actually highly impredicative and impredicativity was regarded as indispensable by him (else one would be forced to reject standard mathematics, e.g., Zermelo believed this was the case even with the Cauchy-Weierstrass proof of the fundamental theorem of algebra). But impredicativity makes the construction of a model or of an interpretation more difficult and less evident. The second point is that Zermelo believed that the paradox of finite denotation (mentioned by Hessenberg) and Richard's are blocked in set theory, as the separation axiom ought to yield clear criteria for defining sets. But this is not the case, because Zermelo's notion of definite property ( definite Eigenschaft ) is given informally and is ultimately vague.

The latter issue was taken up in Weyl's “Habilitation” lecture (1910), where he addressed the general question: when is a relation explicitly definable from a set of given primitive concepts in mathematics? First of all, he considers, as a concrete case study, the problem of characterizing the explicitly definable concepts of elementary plane geometry: these can be inductively generated by means of five basic definition principles from two suitably chosen primitive concepts (e.g., the identity between points =, and the ternary relation E ( a , b , c ), ‘the distance of point a from point b is the same as the distance of point a from point c ’).

The five definition principles correspond to a finite axiomatization of the elementary comprehension principle , and they imply the existence of exactly those sets (relations), which are definable by formulas in the elementary language comprising two predicate symbols for =, E . More explicitly, one requires closure under the logical operations of negation, conjunction, existential quantification and suitable combinatorial operations of permutation and expansion.

In the light of the geometric example, Weyl attacks the concept “defined by means of finitely many words” as not precise, and long before Fraenkel and Skolem, he succeeds in making the separation principle precise: he simply replaces Zermelo's informal concept of definite property with the notion of ‘relation explicitly definable from extensional equality and membership by means of the basic elementary logical principles’ (we should simply say: first-order definable).

According to Weyl, Richard's paradox teaches us the following distinction: on the one hand, we are able to characterize only denumerably many subsets of a given set by means of explicit definitions; but, on the other hand, new objects and (possibly uncountable) sets can be introduced by applying the remaining set theoretic operations, like power set or union.

Weyl addressed the problem of generating the admissible properties over a given domain a few years later in Das Kontinuum (1918). As in 1910, the set of sets of natural numbers that are definable via admissible operations (to which now also a form of iteration is added) is denumerable. By Cantor's argument there is no relation which parametrizes all subsets of natural numbers (Weyl 1918, section 5). Weyl apparently followed a relativistic attitude, according to which the extension of the universe of sets and their properties depend on the operations which are accepted to construct sets.

It should be stressed that Weyl's attitude towards Grelling's antinomy is utterly negative: he considers it pure Scholasticism (Weyl 1918, section 1): there is no way, according to him, of assigning a meaning to ‘heterological’ and one should ultimately resolve these problems by appealing to philosophy.

4. Logical developments and paradoxes until 1930

In the period until 1930, the problem of paradoxes led naturally to and was subsumed under the investigation of logical calculi (its final by-product being the Hilbert-Ackermann textbook of 1928 ). This in turn opened the way to the simplification of type theory, to important generalizations of the notion of set, and to an almost final axiomatic elaboration of set theory (along the Zermelian route, but also following the new path opened up by Johann von Neumann). The basic logical tool is essentially axiomatic formal analysis.

Do circular objects exist in set theory? Zermelo's view of sets as axiomatized in 1908 did not in itself exclude the possibility of self-membership. The problem was raised anew by Mirimanoff (1917a, 1917b, 1920). Once circular sets are allowed, a strengthening of extensional equality by means of a suitable isomorphism relation (bisimulation, in current terminology) is needed which essentially corresponds to the isomorphism of the trees picturing the given sets. Russell's argument then suggests a distinction between sets of first kind , which are not isomorphic with any of their own elements, and sets of second kind which are indeed isomorphic with at least one of their elements. In the light of this distinction, Russell's contradiction shows that the collection R of sets of first kind does not exist as a set. Indeed, a set of second kind always contains a set of second kind; hence a set of sets of first kind must be of first kind. If R were a set, it should be of first kind; but then it could not contain all sets of first kind. Mirimanoff 1917a then introduced the fundamental distinction between ordinary (well-founded) and extraordinary (non-well-founded) sets: a set X is ordinary if every ∈-descending chain in X is finite; it is extraordinary, otherwise (there exist infinite ∈-descending chains). It follows that all sets of the second kind are extraordinary, but the converse is not true (for instance, consider the set E ={ e 1 , E 1 }, where E 1 = { e 1 , e 2 , E 2 }, E 3 ={ e 1 , e 2 , e 3 , E 4 }, etc.).

For the history of paradoxes, it is important to emphasize that Mirimanoff 1917a gave a generalization of the Burali-Forti antinomy, the paradox of grounded sets . This paradox actually proves that the collection W F of ordinary sets (on a given set of atoms) is not itself a set. Indeed, let W F be the set of grounded (=ordinary=wellfounded) sets; then W F itself is grounded, for were W F ∋ x 0 ∋ x 1 ∋ x 2 …, then x 0 would be an ungrounded member of W F , which is absurd. Hence W F ∈ W F , so W F is ungrounded, contradiction (the same paradox will also appear in Shen-Yuting 1953).

Mirimanoff's work is also important for the foundations of set theory. He introduced the notion of ordinal rank for ordinary sets and he noticed that ordinary sets can be arranged in a cumulative hierarchy, indexed by their ranks. However, the existence of a cumulative structure of ordinary sets is not considered as a ground for excluding extraordinary sets. Mirimanoff (pp. 212–213) explicitly points to the use of extraordinary sets for modelling mirror-like situations . He mentions the case of a book B whose covering is decorated with a picture J representing two children glancing at the same book, i.e. to the picture J 1 of B . In J 1 one could perceive again the two children and the picture J 11 of the book in perspective. Now J can be regarded as a set including as elements the two children e 1 and e 2, and the picture J 1 of J , which in turn decomposes into the pictures e 11, e 22 of e 1 and e 2, and the picture J 11 of J 1, and so on ad infinitum, Now J is isomorphic to one of its elements, i.e. J 1: J can be considered as a set of second kind and hence extraordinary. This non-mathematical example is suggestive of later developments, i.e., the theory of non-well founded sets and its recent applications to semantics. A set E of second kind is also assimilated to an impredicative collection in the sense of Poincaré (Mirimanoff 1920, p. 34) because of its circularity: indeed, E is given by a condition E =( y , z ,…, a , b , c , …), where y , z ,… depend on E .

On the other hand, in Mirimanoff's 1917a there is a remarkable use of Burali-Forti's paradox which suggests a necessary condition for set-hood in terms of size, viz., if a collection is in bijection with the set of all ordinals, then it does not exist as a set. In Mirimanoff 1917a,b, one can also find the idea of von Neumann ordinal (von Neumann 1923, 1925) and a form of the replacement axiom is present.

Von Neumann's system of 1925 deals with an alternative axiomatic foundation of set theory. There are two sorts of objects: objects of type II (functions, corresponding to classes) and objects of type I (arguments), linked by the application operation of a function to its arguments. The two domains partly overlap and there are objects of type I-II, corresponding to sets (as functions which can also be arguments). The fundamental axiom IV-2 then states that an object a is a proper class (i.e., it is not type I-II) if and only if the totality of its members can be mapped onto the totality of all arguments. The Burali-Forti antinomy shows that the class ON of all ordinals is not a set, which implies with axiom IV-2 that there is an application of ON onto the universe of all sets, and hence that the universe of sets is well-ordered . Conceptually, the system settles the problem of making Cantor's distinction between inconsistent and consistent precise and applicable (against Hilbert's early criticism); it also shows that global choice becomes a theorem on a suitable view of sets. Though circular objects cannot live in von Neumann's hierarchical model of set theory, they can be found in the investigations of other mathematicians and logicians, e.g., Finsler. According to Finsler, paradoxes hinge upon circular notions, but circularity does not necessarily lead to contradictions. In particular, Finsler regards Cantor's notion of set as intrinsically circular: sets depend on sets or on general things depending also on sets and the associated dependence graph can drive us back in a circle. For the contemporary reader, it is worth mentioning that an original intuition of Finsler 1926b is the use of graph theory for representing circular structures . So arrows are used for interpreting membership, and it is not difficult to imagine a set that has itself as unique element and more complicated circular situations. Finsler 1926 applies Richard's paradox in order to produce metamathematical results, in particular ‘formally undecidable propositions’. However, Finsler's arguments are not conclusive and cannot be considered a proper anticipation of the Gödel incompleteness theorems (on the limit of his ideas, see the discussion in van Heijenoort, 438–440); but they show that an attentive reading of the paradox might have unexpected applications.

Concerning the subsequent developments in connection with logic, the process of streamlining the tools of logic steadily continued in Göttingen through the work of Hilbert and his school. This is especially clear from his unpublished lecture notes (e.g., those of Winter-Semester course 1917–1918 Prinzipien der Mathematik ), which are in many respects close to the textbook of Hilbert-Ackermann of 1928 and which contain formulations of first and second order logic, together with ramified type theory and the axiom of reducibility. Paradoxes are derived by allowing a suitable form of unrestricted comprehension; the problematic assumption is located in the admissibility of predicates and propositions as objects , i.e., formally in the expressions X ( Y ), P ( P ). Variants of the traditional Liar and of the Berry antinomy are introduced. Interestingly, Hilbert sticks essentially to type theory (he does not lecture upon Zermelo's system); he defines the ramified theory of types with the axiom of reducibility, proving that certain parts of mathematics can be carried out in the system (on Russell's influence, see Mancosu, 2003).

That type theory and Russell's work had a central place not only in Hilbert's Göttingen is further attested to by the work of Chwistek and Ramsey, who attempted a revision of Principia Mathematica (PM) from opposite stand-points. Both authors rejected ramified type theory (RTT, in short) and the axiom of reducibility. Their work can be considered a typical outcome of the process that was to yield streamlined versions of logical formalisms. Insofar as paradoxes are concerned, the main problem is to show that RTT is not required for solving the paradoxes.

The solution proposed by Chwistek was prompted by a constructivistic/predicativistic conception. His position in 1921 was that Principia Mathematica were not enough to avoid Richard's classical antinomy. On the other hand, Chwistek proposed a version of the Liar that can be reconstructed in the simple theory of types without the axiom of reducibility, once we are allowed to quantify over all propositions. On his side, Chwistek adhered to a kind of nominalistic position, and tried to develop a theory of constructive types for the foundations of analysis (his attempt of founding mathematics without the axiom of reducibility was called “heroic” in the introduction to the second edition of the Principia Mathematica , 1925, see Linsky 2004).

Ramsey 1926 introduced the by-now standard distinction between logical and epistemological contradictions (but see already Peano 1906, and section 3.3.1 of this entry). While logical contradictions involve mathematical or logical terms, like class, number, and hence show that our logic or mathematics is problematic, semantical contradictions involve, besides purely logical terms, notions like “thought”, “language”, “symbolism”, which, according to Ramsey, are empirical (not formal) terms. Hence these contradictions are due to faulty ideas about thought or language and they properly belong to “epistemology”.

According to Ramsey, the antinomies of the first group (such as Russell's, or Burali-Forti's) can be avoided by referring to a universe of mathematical objects which is structured into types of individuals, functions of individuals, functions of functions of individuals, etc. Quantification over arbitrary types is legitimate and hence types are closed under impredicative comprehension, which is considered necessary for mathematics. Types are intrinsic to logical and mathematical objects and the logical paradoxes are exactly those which require type distinctions to be solved (e.g., self-membership is blocked for objects in the type-theoretic hierarchy). In order to solve the semantical antinomies (e.g., the Liar, Berry's), Ramsey proposes to distinguish several notions of meaning. In light of later developments, it is interesting to note that for him semantics is not a viable universal notion : in particular, it is impossible to obtain “an all-inclusive relation of meaning for propositional functions. Whatever one we take there is still a way of constructing a symbol to mean in a way not included in our relation. The meanings of meaning form an illegitimate totality” (Ramsey 1926, p. 372). This yields the clue to the solution of Grelling's paradox (see 3.3.2). Let R be the meaning relation linking an adjective f to the corresponding propositional function denoted by F (so that f R F holds). In the definition of “heterological” we do use the relation R : x is heterological iff there exists F such that F does not apply to x and x R F . Now, there exists a propositional function, say H , which is the meaning of the adjective “heterological”. Ramsey's point is that this sense of meaning cannot be the same as that given by R and this blocks the contradiction, when we apply H to “heterological” (ibid.,p. 370). So one needs a new meaning relation depending on the given fixed R . These ideas foreshadow those of Tarski. (For an analysis of semantical antinomies in a ramified context, compare also the later contribution of Church 1976).

5. Paradoxes: between metamathematics and type-free foundations (1930–1945)

With the work of Gödel and Tarski, paradoxical arguments were reshaped into fixed point results, while the semantic conception of truth, the formalization of semantics and the arithmetization of syntax yielded firm grounds for systematic metamathematical investigations. In addition, an effort was made to elaborate new grand logics as a reaction to the logic of Principia Mathematica. Conceptually, the notions of (self-applicable) function-in-intension/operation and property/ predicate were accepted as primitive, and the very mechanism of definition/combination of concepts was studied. This line of thought gave impulse to the elaboration of syntactical methods within combinatory logic and to the rise of recursion theory. The diagnosis of the paradoxes was further enriched by a subtler analysis of purely logical features of paradoxical reasoning: this is especially true for negation and the crucial role of contraction and duplication properties built into the laws of standard implication. Three valued logic was applied to naïve comprehension.

The heuristic role of paradoxes is witnessed by Gödel himself, when he intuitively and explicitly relates his construction of formally undecidable sentences to epistemological paradoxes (“the analogy with the Richard antinomy leaps to the eye”, Gödel 1931, van Heijenoort 1967, p. 599). However, self-referential constructions attained an adequate degree of mathematical rigor and became genuine mathematical tools only when non trivial number-theoretic techniques were put to work (see the entry recursive functions ), for instance in the analysis of syntactical substitution and in providing arithmetical models of formal provability (the crucial role of substitution for producing contradictions was already noticed by Russell, although he did not publish this; see Pelham and Urquhart 1994). Conceptually, it is clear from Gödelian constructions that self-reference by itself is innocuous if it is understood in the indirect sense : one can have formulas φ( x ), expressing properties of their own “name” ⌈ φ ⌉ , but no dangerous circularity arises.

Gödel's construction was soon given a general form, as a general diagonalization lemma, which refers to arbitrary definable properties. This is to be found in Carnap 1934b, p. 91, Carnap 1934a, p. 270, and in Rosser 1939, p. 57, Lemma 1:

For every formula ψ( v ) with only v free, there exists a sentence φ such that φ ↔ ψ( ⌈ φ ⌉ )

is provable.

As a matter of fact the lemma has become the standard tool for producing self-referential statements and for transforming the semantical paradoxes into indefinability and (formal) undecidability results. The algebra underlying the Gödelian constructions will be grasped only much later during the 1970's. It is also important to stress that a few years later (1938) an analog of the diagonalization lemma (the so-called second recursion theorem) was discovered by Kleene and was soon to become a basic tool in the foundations of recursion theory and computability theory.

It is evident from the work done in the twenties surveyed above that the problem of finding a formal solution to the semantical paradoxes, such as the Liar and the Richard paradox, remained essentially open. Type-theoretic solutions had not been pursued to the extent of providing a systematic formal analysis of semantical notions (like truth or definability). But why would this problem be worth studying from a logical and mathematical point of view? As a matter of fact, semantical notions—in particular the notion of definability—were more or less explicitly used in certain parts of set theory (descriptive set theory) and in more “set theoretically inclined” parts of function theory, which were cultivated by Polish mathematics in the twenties. At the same time, the project of a formal methodology and of a scientific semantics was developed by prominent Polish philosophers and logicians working in Łwow and Warsaw (Lesniewski, Łukasiewicz, Chwistek; see Wolenski 1995). For instance, Chwistek attempted an elementary semantics on the ground of a nominalistic foundational program, where sets are identified with propositional functions, extensionality is rejected and the fundamental notion of semantics is the substitution relation “ H is the result of the substitution of G for F in E ” (Chwistek 1933, p. 374). In this stimulating environment, Tarski developed his fundamental analysis of semantical paradoxes, first dating back to 1929 and 1930, reported by Łukasiewicz to the Polish Society of Sciences in Warsaw in 1931 and then detailed in the long memoir of 1935 (see the entries on Tarski and on Tarski's truth definition ).

First of all, the analysis of the Liar paradox starts out by specifying a formal requirement to be met in the semantical investigation of truth, i.e. “a materially adequate ( sachlich zutreffende ) definition” of the term “true sentence ” ( wahre Aussage ). This amounts to the celebrated schema (T), which can be roughly stated in simplified form as:

x is a true sentence if and only if p .

where p stands for a sentence and x is a name of p (the idea being in accord to the classical correspondence intuition). The result that Tarski draws from the Liar is that there cannot be any interpreted language which is free from contradictions, obeys the classical laws of logic, and meets the requirements (I)–(III), where

• the language has names available for all its sentences;
• any expression obtained from (T) by substituting p with an arbitrary sentence of the language and x with a corresponding name of p is accepted as true in the language;
• there exist self-referential sentences, i.e., it is legitimate that a sentence comprises its own name as constituent (so that we can legitimately stipulate that the name c denotes a sentence α(… c …)).

Given these essential obstacles, Tarski provides a structural definition of the basic semantical notions, i.e., one that relies only on the logical form of an expression and the fact that expressions are recursively defined. But this route is only viable for a language which is structurally described, e.g., a formalized language. For such languages, which are usually closed under quantification and contain formulas with free variables, Tarski elaborates an appropriate notion of satisfaction , which allows him to introduce the notions of definability, denotation, truth, logical consequence. It is then possible to give a precise version and a proof of the adequacy condition (T) in a meta-science, whose principles comprise: (i) general logical axioms, (ii) special axioms that depend upon the object theory we consider, and (iii) axioms for dealing with the fundamental properties of the structural notions, i.e., principles of proof and definition by induction . Given this semantical machinery, Tarski can solve in the negative the problem of the existence of (a formal counterpart of) a universal language, i.e., one where it is possible to define an adequate notion of truth for the same language. Although the theory of simple types, (where the type 0 is the type of individuals; the type n +1 is the collection of all classes of type n objects) with the axiom of infinity and extensionality is apparently a good candidate as a general metatheory, it is shown that whichever definition we choose in the theory of types for the term “true”, then it is possible to deduce in the same theory the negation of some instance of the adequacy schema (T). In the proof of this theorem, Tarski applies arithmetization and diagonalization, hence following the Gödelian pattern. On the positive side, the concept of truth can be adequately defined for any formalized language L in a language (the so-called metalanguage), provided it is of higher order than L. Also, Tarski's semantics makes precise Gödel's remark (1931, footnote 48) that “the true reason of the incompleteness is that the formation of ever higher types can be continued into the transfinite[…], while in any formal system at most denumerably many of them are available”. Tarskian semantical notions play the role of the higher types hinted at by Gödel. To sum up, the outcome of Tarski's work is that the semantical notions are eliminated in favor of the (extensional) notions of type or set, and a theoretical explanation of semantical paradoxes is finally achieved.

In the twenties and in the early thirties, the orthodox view of logic among mathematical logicians was more or less type- or set theoretic. However, there was an effort to develop new grand logics as substitutes for the logic of Principia Mathematica . These frameworks arose both as attempts to recover the simplicity of the type-free approach, as derived from the so-called naive comprehension principle, as well as in order to satisfy metamathematical needs, such as the clarification of fundamental concepts underlying the notions of “formal system,” “formalism,” “rule,” etc. In particular, Church and Curry proposed theories which (i) assume as primitive the notions of self-applicable function-in-intension (operation), and (ii) stress the very mechanism of definition/combination of concepts. If one looks closely at the development of these systems, one can see that paradoxical constructions have become essential tools for defining objects and proving non-trivial logical mathematical facts. Following ideas of Schönfinkel and aiming at a mathematical analysis of the substitution process, Curry's 1930 thesis introduced a formal language based on basic general operators, the so-called combinators B (composition), C (permutation), W (duplication), K (cancellation), Q (equality), and logical constants like the universal quantifier and implication. Expressions are then inductively generated by application from constants; intuitively, a term M stands for a function, and the applicative term M N (juxtaposition plays the role of application and parentheses are associated to the left) denotes the value of the term obtained by replacing the first variable of M with N . Self-application M M is admissible and this feature tells us that the objects of combinatory logic cannot be simply interpreted as set-theoretic functions . The formal system consists of standard equations on combinators (e.g, B x y z = x ( y z ), W x y = x y y , or C x y z = x z y ), rules for equality and the logical constants; its main goal is to derive equalities X = Y and to make assertions of the form ⊢ X (= X is provable). Combinatory logic is a theory which analyzes the modes of combinations of formal objects, substitution, and the notions of proposition and propositional function. For Curry, the root of the paradoxes is found in assuming that combinations of concepts are always propositions . The notion of proposition becomes a theoretical concept, which is decided by the theory. Types are not assigned to the expressions of the formal system at the outset, but are instead inferred by means of the system itself, which has a dual nature: it can derive identities, but also truths. In particular, if ⊢ M N is derived, this can be read as “ N is of type M ” or “ N is an element of M ”. These ideas foreshadow fundamental developments such as the so-called formulas-as types interpretation (see Howard 1968).

Church's formalism—originally introduced in Church 1932, 1933 as a set of postulates for the foundation of formal logic—includes conversion (i.e., computational) rules, which allow the replacement of terms with intensionally equivalent ones, and rules for asserting certain terms as “true”. The syntax yields a general notation system for functions, based on an applicative language, where there is one basic category of terms (well-formed formulas in his terminology). Some terms are formally provable (or assertable) and are classified as true. Terms are inductively defined from a set of basic constants and variables by means of application and the characteristic lambda abstraction operator : if M is a term containing the variable x , λ x . M is a term, naming the function defined by M . The basic constants designate logical operations: (a kind of restricted) formal implication; existential quantifier, conjunction, negation, description operation, and generalized abstraction (i.e., if F is formal logical equivalence, A ( F , M ) is “what M has in common with any N formally equivalent to M ”). It turns out that Church's logic can interpret naive class theory and hence the system is suspiciously strong and expressive. Church's hope was that contradictions could be avoided by ensuring the possibility that a propositional function be undefined for some argument.

However, the theories of Curry and Church were almost immediately shown inconsistent in 1934, by Kleene and Rosser, who (essentially) proved a version of the Richard paradox (both systems can provably enumerate their own provably total definable number theoretic functions). The result was triggered by Church himself in 1934, when he used the Richard paradox to prove a kind of incompleteness theorem (with respect to statements asserting the totality of number theoretic functions).

The reason for the inconsistencies was eventually clarified by Curry's 1941 essay. There he distinguishes two basic completeness notions: a system S is deductively complete , if, whenever it derives a proposition B from the hypothesis A , then it also derives the implication A → B (deduction theorem or introduction rule for implication); S is combinatorially complete (Curry 1941, p. 455.) if, whenever M is a term of the system possibly containing an indeterminate x , there exists a term (Church's λ x . M ) naming the function of x defined by M . Curry then remarks that the paradox of Kleene-Rosser arises because Church's and Curry's systems satisfy both kinds of completeness, thus showing that the two properties are incompatible . In the more technical part of the paper, Curry carefully axiomatizes the main ingredients exploited by Kleene and Rosser and carries out a lot of non-trivial work both on the logical side and the mathematical side (e.g, to develop a portion of recursive arithmetic, to define the existence of an enumerator, i.e., a term T such that, if a is the Gödel number of a closed term M and Z a is the term formally representing a , then T Z a = M is provable in S , etc.). Curry's proof of the inconsistencies of combinatory systems is unsatisfactory because it heavily uses a detour through number theory and Gödelization, which, as a matter of fact, is unnecessary as Curry himself soon discovered and presented in a paper with the same title as the one by Kleene and Rosser, “in deference to the original discoverers of the contradiction” (Curry 1942). The main result in it is the following theorem (Curry's paradox, see the entry Curry's Paradox ):

• assume that we have a combinatorially complete system, i.e., essentially a system of combinatory logic which contains the standard properties of equality and the basic axioms ensuring the definability of Church's lambda with the corresponding axioms defining B , C , I , W ;

⊢ M ⊃ M ⊢ M ⊃ ( M ⊃ N ) ⇒⊢ M ⊃ N ⊢ M and ⊢ M ⊃ N ⇒ ⊢ N . Then S⊢ M, for every term M.

For the proof, it is enough to find, for any given term B, a term A such that A = A ⊃ B . Curry notes that a twofold construction is possible. By direct self-reference, we can choose: A = HH , where H =λ Y ( N ( Y Y )) and N = λ X ( X ⊃ B ). On the other hand, one can apply indirect self-reference and exploit the machinery of Curry 1941 and Kleene-Rosser: using an enumerator T , one sets U = λ X ( T X X ⊃ B ) and A = U Z u , being u the Gödel number of U . Curry suggests that these two routes are akin, respectively, to Russell's paradox and to the Liar. It is interesting to note that the two ways correspond to by-now standard tools, the so-called first fixed point theorem and second fixed point theorem of combinatory logic and lambda calculus (Barendregt 1984, p. 131 and p. 143; see also the distinction between the first recursion theorem and the second recursion theorem of classical recursion theory, in this SEP, entry recursive functions ).

Curry's analysis of the solutions to the paradox would lead into the realm of the theory of functionality, the history of combinatory logic and proof theory. Here it is enough to recall that according to him, a remedy would be to formulate within the system the very notion of proposition, and a way to avoid the contradictions would lead to a hierarchy of canonical propositions (or to a theory of levels of implication, already adumbrated by Church). Related ideas have been developed since the seventies by Scott 1975, Aczel 1980, Flagg and Myhill 1987, and others.

In the 1930s, an alternative route to solve the antinomies emerged. This approach exploits the duplication (contraction) combinator W which satisfies W f x = f x x ; if N represents negation and B a b c = a ( b c ), then W ( B N )( W ( B N )) is a fixed point of negation, and it is a functional analogue of the Russell class. On the logical level, assigning a type to W leads to the essential inference applied in the derivation of Curry's paradox, i.e., the contraction rule A →( A → B ) ⇒ ( A → B ). The role of contraction was noticed by Fitch 1936, who observed that, in order to derive the Russell paradox one considers a function of two variables, then one diagonalizes and regards such an object as a new unary propositional function. But this step only works if W is accepted. Fitch then proposed a “non-contractive” logic, but his paper did not go beyond a brief sketch of a fragment of classical logic with predicates. One has to wait until the mid eighties to see contraction-free logics used systematically in proof theory and in theoretical computer science (see the entry linear logic ).

Fitch 1942 proposed a new approach to the problem of finding consistent combinatory logic systems, which were progressively expanded and refined over many years (until 1980). Fitch's method to avoid paradoxes consists of the construction of suitable syntactical models, endowed with self-referential notions of class, membership and truth. Truth and membership are inductively generated by iterating rules that correspond to natural logical closure conditions and can be formalized by means of positive (i.e. negation- and implication-free) clauses. This fact implies that the generation process is cumulative and becomes saturated at a certain point, thus yielding consistent non-trivial interpretations for truth and membership. Mathematically, a collection of positive clauses always gives rise to an operator, say G , mapping sets of expressions into sets of expressions and preserving the inclusion relation (i.e., monotone); the saturated sets then correspond to fixed points of the monotone operator G (i.e., to sets X satisfying G ( X )= X ), which exist according to a classical theorem about complete lattices (see Birkhoff 1967).

In the early 1940s, Fitch explored a purely positive (negationless) combinatory system K with the explicit aim of defining a sort of universal formal system , where every system of logic could be represented. Later he was able to strengthen his approach to include forms of negation and implication, insofar as he provided a simultaneous generation of truth and falsehood , and this actually amounts to conceive truth as a partial predicate . Fitch's approach is radically intensional: classes are always classes of expressions M in some language (say, of the basic logic) and they are identified with attributes, while membership is essentially reduced to truth in the sense of K . Thus, that M ∈ T holds, essentially means that M truly falls under the property specified (or expressed) by T . Logical systems, along similar lines, were also proposed and proved consistent via proof theoretic methods by Schütte in the early fifties (see Schütte 1960 for a comprehensive treatment).

To a certain extent, the ideas of Fitch can be regarded as introducing the view that the basic predicates of truth and membership have to be partial or, if you like, three-valued . Bochvar (1937) outlines a proposal based on the introduction of a three-valued logic, where, besides the standard truth values T (truth) and F (false), there exists a third value N, to be interpreted as “meaningless”. His logical analysis leads to the conclusion that the paradoxes involve meaningless statements. A characteristic feature of Bochvar's formalism is that it distinguishes two types of connectives, roughly corresponding to two different modes of assertion. A statement A in itself assumes exactly one among the prescribed values (true, false or meaningless); but the internal three-valued logical operations are also equipped with external logical operations, which correspond to statements on the metalevel and allow the use of classical logic in dealing with non-classical statements. Formally, he described three valued truth tables for the main propositional internal connectives & (and), ∼ (negation), ∨ (or), → (implication), ↔ (logical equivalence). The truth values of ∼ A , A & B , etc., coincide with their classical values if A , B assume classical values; they are meaningless (assume value N) if one among A , B has value N (strictness). No formula built up with the standard connectives can be valid (or a tautology, i.e., is true under all possible assignments), as A → A has value N, if A is meaningless. But there are connectives allowing the formation of metatheorical statements such as ⊢ A , ¬ A , ↓ A , to be read as “ A is true”, “ A is false”, “A is meaningless” (in the given order). The value of ⊢ A (¬ A ) is true if A is true (false), false (true) otherwise. Bochvar describes a version of the extended type-free logical calculus of Hilbert-Ackermann (1928), and, in order to dispose of the paradoxes, he restricts substitution and hence the comprehension schema of the form

∃ F ∀ x ( F ( x ) ↔ φ), where φ is any formula in which F is not free and which may or may not have x free.

to conditions φ with only internal logical operations. Apparently, Bochvar's solution is not simply a gap solution , where the logic is weakened; instead, he formalizes the distinction between object level and metalevel in the logic itself. This makes his theory quite expressive (e.g., it can handle the very notion of “non-sensical”, “meaningless”).

Behmann's paper 1931 (presented in 1929) locates the source of the paradoxes in the definitional machinery. The paper begins with an analysis of Russell's contradiction in the form of predicate application. There he observes that, once the Russell predicate F is defined by the stipulation

F (φ) = df ¬φ(φ),

it must be possible to eliminate F from any argument involving it. But, if we try to replace F by its definiens in F ( F ) ≡ ¬ F ( F ), we are trapped into an infinite regress, as there is no F -free expression that could replace F ( F ). So the contradiction is ascribed to an error in the theory of definitions, namely to the use of definitions that give rise to an infinite chain of substitutions, without converging to a result. Behmann's technical proposal consists in a reformed logic without types but with an added operator ! which, when given a predicate χ, singles out exactly those arguments x to which χ meaningfully applies. For instance, the syllogism Barbara, usually stated in the form (∀ x )( A ( x ) → B ( x )) &(∀ x )( B ( x ) → C ( x )) →(∀ x )( A ( x ) → C ( x )), is corrected to (∀ x )( A ( x ) → B ( x )) &(∀ x )( B ( x ) → C ( x )) → (∀ x )( C ( x ))! → ( A ( x ) → C ( x ))), where the range of the final quantifier is restricted to those x for which it does make sense. Behmann did not develop a systematic theory until much later and it is unclear how to interpret his special operator !. Nevertheless, his work has inspired work by Aczel and Feferman (1980).

Lewis and Langford (1932) are led to conclusions which are not dissimilar to those of Behmann. According to them, the paradoxes show that certain expressions do not express propositions . They adopt the notation p : α to mean that p is a name whose meaning is the proposition α (so p and “α” denote the same entity and can replace each other); typically the Liar amounts to “ p : p is false”, but we can also imagine more complex self-referential situations, for instance:

p 1 : p 2 is false; p 2 : p 1 is false.

In this case, there is no contradiction, but we become entangled in a vicious regress (p. 440), and hence no proposition arises. In general, one can create arbitrary complicated cycles and check that they can lead either to contradictions or to infinite regress; but in either case, the expression fails to converge to a definite proposition.

Even after the logics developed by Russell, Zermelo and Tarski had created the theoretical means to get rid of difficulties involved in the notions of class, set, truth, definability, the paradoxes have remained alive. This probably is due to a persistent interest in alternative formal paradigms, to the controversial features and axioms of Principia Mathematica, and to the problematic place that self-reference occupies in mathematical logic. In this context, it is worth mentioning Quine's paper of 1937 on the system NF (see the entry Quine's New Foundations) , which takes inspiration from the Russellian notion of typical ambiguity , that is, from the systematic device of suppressing the order indices of propositional functions and their arguments, leaving them to be restored at will, when needed, according to the discipline of type theory (see 3.2 above). The idea is to restrict naive comprehension to those instances that are stratified , where in general a formula φ is stratified iff it is possible to assign a natural number (type in short) to each term occurrence in such a way that the resulting formula is well-formed in the sense of type theory, e.g., if t ∈ s is a subformula of φ, the type of s is one greater than the type of t , etc.. Clearly, stratification blocks set formation when formulas of the form x ∈ x , ¬ x ∈ x are present. Moreover, in NF the universal set exists. The consistency problem for NF is still open (though partial results are known concerning fragments with bounds on stratification or restriction to extensionality). Remarkably, NF refutes the axiom of choice by a classical theorem of Specker. Again, a classical result of Specker establishes the existence of a model of NF in a suitable version of simple type theory with a formal counterpart of typical ambiguity. Paradoxes are not that far from NF. In 1942 Rosser (and independently Lyndon) published a form of Burali-Forti’s antinomy in a seemingly natural extension (named ML) of the system NF, obtained by adding “ultimate classes”. ML was defined to avoid certain weaknesses of NF (e.g., with respect to number theoretic induction). Once more, the Lyndon-Rosser result brought about the unexpected presence of a paradox in set theory and the foundations of mathematical logic.

One might think that the development of logic and set theory in the 20th century has exorcized paradoxes, and that contradictions in logical systems is a phenomenon of the years of foundational crisis only. This is not so: paradoxes have been discovered in several recent logical systems, especially systems related to computer science.

For instance, Girard showed that a constructive theory of types, due to Per Martin-Löf (1970) and based on the Curry-Howard correspondence, is inconsistent with the existence of a type of all types; the contradiction follows by means of a type theoretic reconstruction of an argument related to the Burali-Forti antinomy and the Mirimanoff paradox of grounded sets. Later Coquand (1986) proved that certain extensions of the calculus C of constructions are inconsistent. Very roughly, C is a higher order impredicative type theory, extending Girard's system F , a powerful second-order typed lambda calculus with abstraction on types which is suitable for representing proofs of impredicative intuitionistic second order logic. Coquand 1994 offered a new paradox affecting type theory, which refines Reynold's result that there is no set-theoretic model of polymorphism (read: Girard's system F , see the entry Type Theory ).

Grišin 1981 (but recall section 5.4 of this entry) proved that the system based upon the paradoxical principle par excellence —the naïve comprehension schema—and (some form of) non-contractive logic enjoys cut elimination and hence is consistent. Interestingly, it has been shown recently that closely related systems have unexpected applications to the characterization of complexity classes (Girard 1998, Terui 2004); on the other hand, the system is computationally complete (it can interpret combinatory logic, Cantini 2003)

On the borderline between foundational issues and applications in computer science, arguments with typical paradoxical flavor appear in the investigation of Feferman's explicit mathematics (EM), a theory of (self-applicable) operations and non-extensional classifications. For instance, the existence of a strong power type construction leads to inconsistency in the theories of types and names, a development of EM introduced by Jäger. Paradoxical arguments are also useful for assessing the role of universes and refuting non-extensionality in EM, in presence of forms of uniform naïve comprehension (see Cantini and Minari 1999).

In a similar direction, recent theoretical proposals combine anew ideas from combinatory logic and lambda calculus with “inductive” reinterpretations of naïve comprehension and unrestricted truth schema, along a path already opened by Fitch in the late forties (Scott 1975, Flagg and Myhill 1987, Aczel 1980, Feferman 1982 and others).

The role of uniformity is essential in previous investigations. Indeed, concerning naïve comprehension, it is known since the seventies (Malitz) and the eighties (Weydert, Forti and Hinnion 1989) that there exist nice topological models of extensionality and non-uniform naïve comprehension restricted to generalized positivity conditions. This has led to the study of so-called hyperuniverses .

In standard metamathematics, an important role for a thorough understanding of the second incompleteness theorem has been played by Löb's theorem (Löb 1955). The proof of the theorem is related to Curry's paradox (see this entry, 5.3 and Curry's Paradox ) and to an informal argument due to Geach 1955. Löb's theorem is essential for defining mathematical structures which are adequate for providing versions of self-reference and incompleteness (see the so called Magari algebras and the modal analysis of formal provability; see Boolos 1993). In the same area, there are applications of Berry's paradox. For instance, in 1966 Vopenka proved the second incompleteness theorem for the Bernays-Gödel theory of sets and classes using a form of the same paradox. Boolos (1989) exploits a Berry-type argument to prove incompleteness in the form “ there is no algorithm whose output contains all true statements of arithmetic and no false ones ” without appealing to diagonalization. The Berry paradox has been related to the incompleteness phenomena also because of work (going back to the sixties and the seventies) in the so-called Kolmogorov complexity and algorithmic information theory. In particular, Chaitin has shown in a number of papers how to exploit randomness to prove certain limitations of formal systems (see Chaitin 1992).

Since Mirimanoff, Finsler and others, logicians have studied universes of set theory where circular sets exist. However, it is only since the early eighties that a genuine mathematics of non-well-founded sets has been being developed. Using the axiom AFA of anti-foundation, direct self-reference is allowed in set theory and there exist plenty of sets solving general self-referential equations (AFA was introduced by Forti and Honsell in 1982; for systematic development and history, see Aczel 1988). In particular, non-well founded sets are applied to the analysis of the paradoxes, to the semantics of natural languages and to theoretical computer science (see Barwise and Etchemendy 1984, Barwise and Moss 1996).

Concerning the issue whether self-reference can be avoided in deriving paradoxes, and hence whether there are genuine contradictions arising from ungroundedness, a positive answer has been given by the semantical paradox of Yablo 1995 (there are infinitely many agents a 0 , a 1 , a 2 , etc., each one claiming the same sentence: “at least one agent following me is lying”; but this yields a contradiction). A mathematical approach to the general issue of “self-reference vs. unfoundedness” can be found in Bernardi 2001. Besides Yablo's paradox and a game theoretic version of Mirimanoff's paradox, several classical results (existence of a non r.e. set, Cantor's theorems on the non-denumerability of the reals) can be transformed into existence theorems for suitable unfounded chains (and formally, unfounded chains are regarded as generalized fixed points).

The analysis of self-reference and diagonalization has motivated the application of sophisticated algebraic and topological techniques: consider Scott's models for extensional lambda calculus (Scott 1972) and their subsequent categorical understanding. On the other hand, category theory has been used for new approaches to paradoxes since Lawvere 1969.

Philosophical motivations are strongly influential in contemporary logical investigation of paradoxes. This is especially clear from the Neo-Fregean approach based on Hume's principle and variations thereof: consistent subsystems of Frege's Grundgesetze have been isolated and are currently studied (see Burgess 2005, also for a comprehensive reference list to preceding work by Boolos, Wright and Hale, Heck, Wehmeier, Ferreira, Antonelli and May).

A host of logical papers arise from the discussion of the foundations of semantics, with a number of proposals which generalize or modify Tarski's semantical conception of truth. Tarski notwithstanding, since 1975 the hierarchical approach has been somewhat superseded by new ideas that have rendered the ideal of logical and semantical closure in many respect accessible (especially by means of the fixed point methods used by Kripke 1975 and Martin-Woodruff; see Martin 1984). We also mention the approach stemming from Herzberger, Gupta and Belnap (see the entry revision theory of truth ), that has connections with non-elementary parts of definability theory and set theory (Welch 2001). Field 2003 has considered solutions of the semantical paradoxes which combine Kripkean and revision theoretic techniques. Indexical solutions of the Liar have been developed in several contributions, e.g., by Burge, Gaifman, Simmons. The idea is that the Liar paradox does not involve sentences, but specific occurrences of sentences , i.e., sentence tokens (this idea is to be found already in scholastic solutions). For the sake of historical accuracy, let us mention that in 1913 Lesniewski, later Tarski's dissertation advisor, had already advanced an indexical nominalistically inspired solutions of the Liar in his paper A Critique of the Logical Principle of the Excluded Middle (see Betti 2004). Besides the model-theoretic side, there have been axiomatic investigations of truth and related paradoxes with various aims, from proof theoretic analysis to philosophical discussion of minimalism (for a survey and appropriate references, see the entry on axiomatic theories of truth ).

The related axiomatic study of epistemic notions has benefited from application of techniques used for proving incompleteness and indefinability results since the early sixties. This first yielded negative results (see Kaplan and Montague 1960, Montague 1963, Thomason 1980). Very recently, the situation is possibly changing after the study of possible world semantics for modal notions by Halbach, Leitgeb and Welch 2003.

Also, a number of solutions have been proposed which rely on the use of paraconsistent logics (Priest) or substructural logics (see the entries logic: paraconsistent , substructural logics ).

The investigation of semantical and set-theoretic paradoxes in infinite-valued logic—which was pioneered by Mow Shaw-Kwei 1955 and Skolem in 1957—has received a new impulse with contributions by Hajek, Shepherdson and Paris 2000 and Hajek 2005.

Bibliography

The items occurring in this list mainly concern the primary literature on paradoxes in the period 1897–1945.

• Behmann., H. 1931, “Zu den Widersprüchen der Logik und der Mengenlehre”, Jahresbericht der Deutschen Mathematiker-Vereinigung , 40:37–48, 1931.
• Bernstein, F. 1905a, “Die Theorie der reellen Zahlen”, Jahresbericht der Deutschen Mathematiker-Vereinigung, 14:447–449.
• –––, 1905b. “Über die Reihe der transfiniten Ordnungszahlen”, Mathematische Annalen , 60:187–193.
• –––, 1905c, “Zum Kontinuumproblem”, Mathematische Annalen , 60:463–464.
• Bochvar, D. A., 1937, “On a three-valued logical calculus and its applications to the analysis of the paradoxes of the classical extended functional calculus”, in: History and Philosophy of Logic , vol.2:87–112, 1981 (English translation by M. Bergmann of the Russian original, in: Mathematicheski Sbornik , 4 (46): 287–308);
• Borel, E., Baire, R., Hadamard, J., Lebesgue, H., 1905, “Cinq lettres sur la théorie des ensembles”, Bulletin de la Société Mathématique de France , 33:261–273.
• Borel, E., 1908, “Les paradoxes de la théorie des ensembles”, Annales scientifique de l'École Normale Supérieure , 25 : 443–448 (reprinted in: E. Borel, Leçons sur la théorie des functions , Paris: Gauthier Villars, 2 nd edition, 1914, 162–166).
• Brouwer, L.E.J. 1907, “Over die Grondslagen der Wiskunde”. Dissertation, Amsterdam (English translation in: L.E.J.Brouwer, Collected Works I , Amsterdam: North Holland 1975).
• Burali-Forti C., 1897, “Una questione sui numeri transfiniti”. Rendiconti del Circolo Matematico di Palermo, 11:260, 154–164 (English translation in van Heijenoort 1967, 104–111).
• Cantor, G. 1962, Gesammelte Abhandlungen mathematischen und philosophischen Inhalts . (ed. E. Zermelo), Berlin–Hildesheim, Olms.
• Cantor, G. 1991, Briefe , Berlin–Hildesheim, Olms (eds. H. Meschkowski and W. Nilson).
• Carnap, R., 1934a, “Die Antinomien und die Unvollständigkeit der Mathematik”, Monatshefte für Mathematik und Physik , 41:263–284.
• –––, 1934b, Die logische Syntax der Sprache , Berlin: Springer.
• Church, A., 1932, “A set of postulates for the foundation of logic” (1 st paper), Annals of Mathematics, 33: 346–366.
• –––, 1933, “A set of postulates for the foundation of logic” (2 nd paper), Annals of Mathematics, 34: 839–864.
• –––,1934, “The Richard paradox”, American Mathematical Monthly , 41:356–361
• Chwistek, L.1921, “Antinomje logiki formalnej. Przegląd Filozoficzny ”, 24:164–171, (English translation by Z. Jordan: “Antinomies of formal logic”, in: S. McCall, Polish Logic 1920–1939 , Clarendon Press, Oxford, 1967, 338–345).
• –––, 1922, “Über die Antinomien der Prinzipien der Mathematik”. Mathematische Zeitschrift, 14:236–243.
• –––, 1933, “Die nominalistische Grundlegung der Mathematik”. Erkenntnis , 3:367–388.
• Curry, H.B. 1930, “Grundlagen der kombinatorischen Logik”. American Journal of Mathematics , 52:509–536, 739–834.
• –––, 1941, “The paradox of Kleene and Rosser”. Transactions of the American Mathematical Society , 41:454–516.
• –––, 1942, “The inconsistency of certain formal logics”, Journal of Symbolic Logic, 7: 115–117.
• Finsler, P., 1925, “Gibt es Widersprüche in der Mathematik?”, Jahresbericht der Deutschen Mathematiker-Vereinigung , 34:143–155.
• –––, 1926a, “Formale Beweise und die Unentscheidbarkeit”. Mathematische Zeitschrift , 25:676–682.
• –––, 1926b, “Über die Grundlagen der Mengenlehre”. Mathematische Zeitschrift , 25:683–713.
• Fitch, F.B., 1936, “A system of formal logic without an analogue to Curry W-operator”, Journal of Symbolic Logic , 1:92–100..
• –––, 1942, “A basic logic”, Journal of Symbolic Logic , 7:105–114.
• Frege, G. 1903, Grundgesetze der Arithmetik. Begriffschriftlich Abgeleitet. Vol.II, Jena, (reprinted, Hildesheim: Olms, 1962).
• –––, 1976, Wissenschaftslicher Briefswechsel , Hamburg, F. Meiner.
• –––, 1984, Nachgelassene Schriften , Hamburg, F. Meiner.
• Gödel, K., 1931, “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I ”, Monatshefte für Mathematik und Physik, 38: 173–198.
• Grelling, K. and Nelson, L., 1908, “Bemerkungen zu den Paradoxien von Russell und Burali-Forti ”, Abhandlungen der Fries'chen Schule , 2:301–334.
• Hessenberg, G., 1906, Grundbegriffe der Mengenlehre, Göttingen:Vandenhoek und Ruprecht (also in: Abhandlungen der Fries'chen Schule , Neue Reihe, 1:479–706, 1906).
• Hilbert, D. and W. Ackermann, 1928, Grundzüge der theoretischen Logik , Berlin-Heidelberg: Springer.
• Hilbert, D.,1904, “Über die Grundlagen der Logik und der Arithmetik”, Verhandlungen des Dritten Internationalen-Mathematiker Kongresses , Leipzig:Teubner, 174–185 (English transl. in van Heijenoort 1967, 129–138).
• Hilbert, D., 1918, Prinzipien der Mathematik. Vorlesung von D. Hilbert, Mathematisches Institut der Georg-August Universität Göttingen..
• Kleene, S. C. and J. B. Rosser, 1935, “The inconsistency of certain formal logics”, Annals of Mathematics , 36: 630–637
• König, J., 1905, “Über die Grundlagen der Mengenlehre und das Kontinuumsproblem”, Mathematische Annalen , 61:156–160.
• Levi, B., 1902, “Intorno alla teoria degli aggregati”, Reale Istituto Lombardo di Scienze e Lettere, Rendiconti , 2nd Series, 35:863–868
• Levi, B., 1908, “Antinomie logiche?”, Annali di Matematica (terza serie), tomo 15:188–216.
• Lewis, C. I. and C.H. Langford, 1932, Symbolic Logic , The Century Co., New York, (Reprinted Dover, New York, 1952).
• Mirimanoff, D., 1917a, “Les antinomies de Russell et de Burali-Forti et le problème fondamentale de la théorie des ensembles”, L'Enseignement Mathématique , 19:37–52.
• –––, 1917b, “Remarques sur la théorie des ensembles et les antinomies cantoriennes I ”, L'Enseignement Mathématique, 19: 209–217.
• –––, 1920, “Remarques sur la théorie des ensembles et les antinomies cantoriennes II ”, L'Enseignement Mathématique, 21: 29–52.
• Peano, G., 1906, Additione, Revista de Matematica , 8:143–157, 1902–1906, in: G. Peano, Opere Scelte , vol.I , Roma:Cremonese, 1957, 344–358.
• Poincaré, H., 1905, “Les mathématiques et la logique”, Revue de Métaphysique et de Morale , 13:815–835.
• –––, 1906a, “Les mathématiques et la logique”, Revue de Métaphysique et de Morale , 14:17–34
• –––, 1906b, “Les mathématiques et la logique”, Revue de Métaphysique et de Morale , 14:294–317.
• –––, 1909a, “La logique de l'infini”, Revue de Métaphysique et de Morale , 7:461–482
• –––, 1909b, “Réflexions sur les deux notes precedents”, Acta Mathematica , 32:195–200.
• –––, 1910, “Über transfiniten Zahlen”, in Sechs Vorträge über ausgewählte Gegenstände der reinen Mathematik und Physik , Leipzig-Berlin, 43–48.
• –––, 1912, “La logique de l'infini”, Scientia , 12:1–11.
• Quine, W. O., 1937, “New foundations for mathematical logic ”, American Mathematical Monthly , 44:70–80
• Ramsey, F. P., 1926, “The foundations of mathematics”, Proceedings of the London Mathematical Society, Series 2, vol. 25: 338–384.
• –––,1931, The Foundations of Mathematics and Other Logical Essays , London: Routledge and Kegan Paul.
• Richard, J, 1905, “Les principes des mathématique et le problème des ensembles”, Revue Générale des Sciences Pures et Appliquées, 16:541 (also in: Acta Mathematica, 30:295–296, 1906; English transl. in van Heijenoort 1967, 142–144).
• Rosser, J. B., 1939, “An informal exposition of proofs of Gödel's and Church's theorem”, Journal of Symbolic Logic , 4:53–60.
• Russell, B., 1903, The Principles of Mathematics , vol. 1, Cambridge: Cambridge University Press.
• –––, 1907, “On some difficulties in the theory of transfinite numbers and order types”, Proceedings of the London Mathematical Society (2nd series), 4:29–53
• –––, 1906, “Les paradoxes de la logique”, Revue de Métaphysique et de Morale , 14: 627–650
• –––,1908, “Mathematical Logic as Based on the Theory of Types”, American Journal of Mathematics, 30, 222–262. Reprinted in Russell, B., Logic and Knowledge, London: Allen and Unwin, 1956, 59–102, and in van Heijenoort 1967, 152–182.
• Schönflies, A., 1906, “Über die logischen Paradoxien der Mengenlehre”, Jahresbericht der Deutschen Mathematiker-Vereinigung , 15:19–25.
• Tarski, A., 1931, “Sur les ensembles définissables de nombres réels I”, Fundamenta Mathematicae, vol 17: 210–239.
• –––, 1933, “The concept of truth in the languages of the deductive sciences” (Polish), Prace Towarzystwa Naukowego Warszawskiego, Wydzial III Nauk Matematyczno-Fizyczych 34 , Warsaw; reprinted in Zygmunt, J. ed. 1995, Alfred Tarski, Pisma Logiczno-Filozoficzne, 1 Prawda , Warsaw : Wydawnictwo Naukowe PWN, 13–172.
• –––, 1935, “Der Wahrheitsbegriff in der formalisierten Sprachen”, Studia Philosophica . 1: 261–405 (extended German translation of Tarski 1933; English translation in Tarski, A., Logic, Semantics, Metamathematics , 2d ed., Indianapolis: Hackett 1983, 152–278)
• van Heijenoort, 1967, From Frege to Gödel. A source book in mathematical logic 1879–1931 , Cambridge, Mass., Harvard University Press.
• von Neumann, J., 1925, “Eine Axiomatisierung der Mengenlehre”, Journal für die reine und angewandte Mathematik , 154:219–240 (Corrections in vol.155, 1926, p. 128).
• Weyl, H., 1910, “Über die Definitionen der mathematischen Grundbegriffe”, Mathematisch-naturwissenschaftliche Blätter , 7:93–95; 109–113.
• –––, 1918, Das Kontinuum , Leipzig: Veit ( English Translation, New York: Dover 1994).
• Whitehead, A. N. and B. Russell (1910, 1912, 1913) Principia Mathematica, 3 vols, Cambridge: Cambridge University Press. Second edition, 1925 (Vol. 1), 1927 (Vols 2, 3).
• –––,1911, “Über die Stellung der Definition in der Axiomatik”, Jahresbericht der Deutschen Mathematiker-Vereinigung , 20:222–255.
• Zermelo, E., 1908, “Untersuchungen über die Grundlagen der Mengenlehre I”, Mathematische Annalen 65: 261–281.
• Zygmunt, J. (Editor). 1995, Alfred Tarski, Pisma Logiczno-Filozoficzne, 1 Prawda , Warsaw : Wydawnictwo Naukowe PWN.

This list contains (i) items cited in the final section; (ii) items related to developments of paradoxes after the Second World War; (iii) critical historical papers.

• Aczel, P., 1980, “Frege structures and the notion of proposition, truth and set”, The Kleene Symposium , Jon Barwise et al. (editors), Amsterdam: North-Holland, 31–59.
• –––, 1988, “Non-Well-Founded Sets”, Stanford: CSLI, 1988.
• Barendregt, H., 1984, The Lambda Calculus. Its Syntax and Semantics , Studies in Logic and the Foundations of Mathematics, vol. 103, Amsterdam: Elsevier.
• Barwise, J. and Etchemendy, J., 1984. The Liar , New York: Oxford University Press.
• Barwise J. and L. Moss, 1996, Vicious Circles. On the Mathematics of Non-Wellfounded Phenomena , Stanford: CSLI, 1996.
• Bernardi, C. 2001, Fixed points and unfounded chains, Annals of Pure and Applied Logic , 109:163–178.
• Betti, A., 2004, “Lesniewski's early Liar, Tarski and natural language”, Annals of pure and applied logic , 127, 267–287
• Birkhoff, G., 1967, Lattice Theory , Providence, RI: American Mathematical Society, 3 rd edition.
• Boolos G. 1989, “A new proof of the Gödel incompleteness theorem”, Notices of the American Mathematical Society , 36:388–390
• –––,1993, The logic of provability , Cambridge: Cambridge University Press.
• Burgess, J. 2005, Fixing Frege, Princeton: Princeton University Press.
• Cantini A. and P. Minari, 1999, Uniform inseparability in explicit mathematics, The Journal of Symbolic Logic , 64:313–326.
• Cantini, A., 2003, “The undecidability of Grišin's set theory”, Studia Logica , 74:345–368.
• –––, 2004, “On a Russellian paradox about propositions and truth”, in: G. Link 2004, 259–284.
• Chaitin, G., 1995, “The Berry paradox”, Complexity , 1:26–30.
• Church, A., 1976,“A Comparison of Russell's Resolution of the Semantical Antinomies with that of Tarski ”, Journal of Symbolic Logic , 41, 747–760.
• Coquand, T., 1986, “An analysis of Girard's paradox,” Proceedings of the IEEE Symposium on Logic in Computer Science : 227–236.
• –––, 1994, “A new paradox in type theory,” in D.Prawitz, B.Skyrms, D.Westerstahl (Editors), Logic, Methodology and Philosophy of Science IX , Studies in Logic and the Foundations of Mathematics, vol. 134, Amsterdam: North-Holland, 555–570.
• Feferman, S., 1964, “Systems of predicative analysis I ”, Journal of Symbolic Logic 29: 1–30.
• –––, 1979, “Constructive theories of functions and classes”, in M.Boffa and D.van Dalen (Editors), Logic Colloquium ‘78, Amsterdam: North Holland, 159–224.
• –––, 1984,“Towards Useful Type-free Theories. I.” Journal of Symbolic Logic, 49: 75–111.
• –––, 1991,“Reflecting on Incompleteness”, Journal of Symbolic Logic , 56: 1–49.
• Field, H., 2003, “A revenge-immune solution to the semantic paradoxes.”, Journal of Philosophical Logic, 32:139–177.
• Flagg, R. and J. Myhill, 1987, “Implications and analysis in classical Frege structures”. Annals of Pure and Applied Logic , 34:33–85.
• Forti, M. and F. Honsell, 1983, “Set theory with free construction principles”, Annali della Scuola Normale Superiore di Pisa , Classe di Scienze, Serie IV, 10:493–522.
• Forti, M. and R. Hinnion, 1989, “The consistency problem for positive comprehension principles”, Journal of Symbolic Logic , 54:1401–1418.
• Friedman, H. and M. Sheard, 1987, “An Axiomatic Approach to Self-Referential Truth”, Annals of Pure and Applied Logic 33:1–21.
• Gaifman, H., 1988. “Operational pointer semantics: Solution to self-referential puzzles I ”, in Vardi, M. (Editors), Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge , San Francisco: Morgan Kaufmann, 43–59.
• Garciadiego, A., 1992, Bertrand Russell and the Origins of Set-theoretic “Paradoxes” , Basel: Birkhäuser.
• Geach, P., 1955, “On Insolubilia”, Analysis , 15:71–72.
• Girard, J. Y., 1998, “Light linear logic”, Information and Computation , 143:175–204.
• Grišin, V. N., 1981, “Predicate and set theoretic calculi based on logic without contraction rules” (Russian). Izvestiya Akademii Nauk SSSR Seriya Matematicheskaya , 45(1):47–68, (English translation in: Math. USSR Izv ., 1982, vol. 18(1):41–59).
• Gupta, A. and N. Belnap, 1993, The Revision Theory of Truth , Cambridge, MA: MIT Press.
• Hajek,P., 2005 ,“On the arithmetic in the Cantor-Łukasiewicz set theory”, Archive for Mathematical Logic , 44, 763–782
• Hajek, P., Paris, J. and Shepherdson, J., 2000 ,“The liar paradox and fuzzy logic”, Journal of Symbolic Logic , 65:339–346
• Halbach, V., Leitgeb, H. and and P.Welch 2003, “Possible world semantics for modal notions conceived as predicates”, Journal of Philosophical Logic , 32:179–223.
• Jäger, G., 1997, “Power types in explicit mathematics”, Journal of Symbolic Logic , 62:1142–1146.
• Kahle, R., 2004, “David Hilbert über Paradoxien”, unpublished, 1–42.
• Kahle, R. and V. Peckhaus, 2002, “Hilbert's paradox”, Historia Mathematica, 29:127–155.
• Kaplan, D. and R. Montague, 1960, “A paradox regained”, Notre Dame Journal of Formal Logic , 1:79–90.
• Kreisel, G. 1960, “La prédicativité”, Bulletin de la Société Mathématique de France , 88:371–391.
• Kripke, S., 1975, “Outline of a Theory of Truth”, Journal of Philosophy 72: 690–716.
• Lawvere, F. W., 1969, “Diagonal arguments and Cartesian closed categories”, in P. Hilton (editor), Category Theory, Homology Theory and their Applications , II, vol. 92, Lecture Notes in Mathematics, 134–145, Berlin-Heidelberg, Springer.
• Link, G (Editor), 2004, One Hundred Years of Russell's Paradox , Berlin: De Gruyter.
• Linsky, B., 2004, “Leon Chwistek on the no-classes theory”, History and Philosophy of Logic 25: 53–71.
• Löb, M. H., 1955, “Solution of a problem of Leon Henkin”, The Journal of Symbolic Logic , 20:115–118.
• Mancosu, P., 2003, “The Russellian Influence on Hilbert and his School”, Synthèse , 137:59–101.
• Mancosu, P., Zach, R., Badesa, C., 2004, “The Development of Mathematical Logic from Russell to Tarski: 1900–1935”, in, L. Haaparanta, ed., The History of Modern Logic , Oxford: Oxford University Press, to appear, pp. 1–187.
• Martin, R. L., 1984, Recent Essays on Truth and the Liar Paradox , Oxford: Oxford University Press, 1984.
• Martin-Löf, P., 1971, A Theory of Types , (preprint), Stockholm University.
• –––, 1998, “An intuitionistic theory of types,” in : Twenty-five years of constructive type theory , Oxford, Oxford University Press, 127–172.
• McGee, V., 1991, Truth, Vagueness, and Paradox: An Essay on the Logic of Truth , Indianapolis and Cambridge: Hackett Publishing.
• Moh Shaw-Kwei. “Logical Paradoxes for Many-Valued Systems”. Journal of Symbolic Logic , 19 (1954), pp. 37–39.
• Montague, R., 1963 , “Syntactical treatment of modality, with corollaries on reflection principles and finite axiomatizability”, Acta Philosophica Fennica , 16:153–167
• Moore, G. H., 1995, “The origin of Russell's paradox: Russell, Couturat and the antinomy of infinite number”, in Hintikka , J., From Dedekind to Gödel. Essays on the development of the foundation of mathematics , Dordrecht, Kluwer, 215–239.
• Moore, G. H. and Garciadiego, A., 1981, “Burali-Forti's paradox: a reappraisal of its origins”, Historia Mathematica , 8: 319–350.
• Myhill, J., 1950, “A system which can define its own truth”, Fundamenta Mathematicae 37: 190–92.
• Pelham, J. and A.Urquhart, 1994, “Russellian propositions”, in: D.Prawitz, B.Skyrms, and D.Westerstahl (editors), Logic, Methodology and Philosophy of Science IX , 307–326, Amsterdam, Elsevier.
• Reinhardt, W. N., 1986, “Some Remarks on Extending and Interpreting Theories with a Partial Predicate for Truth”, Journal of Philosophical Logic 15: 219–51.
• Schütte, K., 1960, Beweistheorie , Springer, Berlin-Heidelberg,
• Scott, D., 1975, “Combinators and classes”, λ-calculus and computer science , C. Böhm (editor), Lecture Notes in Computer Science, Berlin: Springer, 1–26.
• –––,1972, “Continuous lattices”, in: W.Lawvere, ed., Toposes, Algebraic Geometry and Logic , Berlin-Heidelberg, vol.274, Springer Lecture Notes in Mathematics, 97–136.
• Sheard, M., 1994, “A Guide to truth Predicates in the Modern Era”, Journal of Symbolic Logic 59: 1032–54.
• Shen-Yuting, 1953, “The paradox of the class of all grounded sets”, The Journal of Symbolic Logic , 18:114.
• Simmons, K., 1993. Universality and the Liar , New York: Cambridge University Press.
• Specker, E., 1962, “Typical ambiguity”, in E. Nagel, P.Suppes, and A.Tarski, eds., Logic, Methodology and Philosophy of Science , pages 116–123, Stanford, Stanford University Press.
• Terui, K., 2004, “Light Affine Set Theory: a naïve set theory of polynomial time”, Studia Logica , 77: 9–40.
• Thomason, R., 1980, “A note of syntactical treatments of modality”, Synthèse , 44:391–395.
• Visser, A., 1989, “Semantics and the liar paradox,” Handbook of Philosophical Logic , vol.IV, Dordrecht: Kluwer, 617–706.
• Welch, P., 2001, “On Gupta-Belnap revision theories of truth, Kripkean fixed points and the next stable”, The Bulletin of Symbolic Logic , 1–15.
• Wolenski, J., 1995, “On Tarski's background”, In Hintikka, J. (Editors.), From Dedekind to Gödel , Essays on the development of the foundation of mathematics , Dordrecht: Kluwer, 331–341.
• Yablo, Stephen, 1993, “Paradox without self-reference,” Analysis 53: 251–252.

[Please contact the author with suggestions]

Curry's paradox | epistemic paradoxes | Fitch's paradox of knowability | Frege, Gottlob | Frege, Gottlob: logic, theorem, and foundations for arithmetic | function: recursive | -->liar paradox --> | logic: linear | logic: paraconsistent | logic: substructural | Quine, Willard van Orman: New Foundations | Russell, Bertrand | Russell's paradox | set theory | set theory: alternative axiomatic theories | set theory: constructive and Intuitionistic ZF | -->set theory: development of axiomatic --> | set theory: early development | set theory: non-wellfounded | Sorites paradox | Tarski, Alfred: truth definitions | truth | truth: axiomatic theories of | type theory | vagueness | Zeno of Elea | Zeno of Elea: Zeno's paradoxes