CINXE.COM

<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> <html> <head><script type="text/javascript" src="https://web-static.archive.org/_static/js/bundle-playback.js?v=7YQSqjSh" charset="utf-8"></script> <script type="text/javascript" src="https://web-static.archive.org/_static/js/wombat.js?v=txqj7nKC" charset="utf-8"></script> <script>window.RufflePlayer=window.RufflePlayer||{};window.RufflePlayer.config={"autoplay":"on","unmuteOverlay":"hidden"};</script> <script type="text/javascript" src="https://web-static.archive.org/_static/js/ruffle/ruffle.js"></script> <script type="text/javascript"> __wm.init("https://web.archive.org/web"); __wm.wombat("https://philpapers.org/browse/formal-sciences","20210825174252","https://web.archive.org/","web","https://web-static.archive.org/_static/", "1629913372"); </script> <link rel="stylesheet" type="text/css" href="https://web-static.archive.org/_static/css/banner-styles.css?v=p7PEIJWi" /> <link rel="stylesheet" type="text/css" href="https://web-static.archive.org/_static/css/iconochive.css?v=3PDvdIFv" />  <title>Formal Sciences - Bibliography - PhilPapers</title> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta http-equiv="content-language" content="en"> <meta name="description" content="A bibliography of online papers in Formal Sciences"> <link rel="canonical" href="https://web.archive.org/web/20210825174252/https://philpapers.org/browse/formal-sciences"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" type="text/css" href="/web/20210825174252cs_/https://philpapers.org/assets/raw/vendor/css/bootstrap.min.css"> <link rel="stylesheet" type="text/css" href="/web/20210825174252cs_/https://philpapers.org/assets/raw/vendor/css/bootstrap-tour.min.css"> <link rel="stylesheet" href="https://web.archive.org/web/20210825174252cs_/https://use.fontawesome.com/releases/v5.1.0/css/all.css" integrity="" crossorigin="anonymous"> <meta property="og:title" content="Formal Sciences - Bibliography - PhilPapers"/> <meta property="og:description" content="A bibliography of online papers in Formal Sciences"/> <meta property="fb:app_id" content="315507632137867"/> <meta property="og:type" content="website"/> <meta property="og:image" content="https://web.archive.org/web/20210825174252im_/https://philpapers.org/assets/raw/philpeople250.png"/> <meta property="og:url" content="https://web.archive.org/web/20210825174252/https://philpapers.org/browse/formal-sciences"/> <link rel="icon" type="image/gif" href="/web/20210825174252im_/https://philpapers.org/assets/raw/icons/favicon-ppl.gif"> <link rel="stylesheet" type="text/css" href="/web/20210825174252cs_/https://philpapers.org/dynamic-assets/philpapers/style.css"> <script type="text/javascript" src="/web/20210825174252js_/https://philpapers.org/dynamic-assets/philpapers/xpapers.397f18e19371cbbc212fc5e4b3b1d0d6.js"></script> <link rel="image_src" href="https://web.archive.org/web/20210825174252im_/https://philpapers.org/philpapers/raw/logo.jpg"> <script async src="/web/20210825174252js_/https://philpapers.org/cdn-cgi/bm/cv/669835187/api.js"></script></head> <script type="text/javascript"> var pageDesc="A bibliography of online papers in Formal Sciences"; var BASE_URL="/"; var SERVER=""; </script> <script type="text/javascript" src="https://web.archive.org/web/20210825174252js_/https://widgets.philpapers.org//init.js" async defer></script> <script type="text/javascript" src="/web/20210825174252js_/https://philpapers.org/dynamic-assets/philpapers/yui.min.js"></script> <script type="text/javascript" src="https://web.archive.org/web/20210825174252js_/https://code.jquery.com/jquery-1.12.4.min.js"></script> <script type="text/javascript"> var $j = jQuery.noConflict(); </script> <script type="text/javascript" src="https://web.archive.org/web/20210825174252js_/https://cdnjs.cloudflare.com/ajax/libs/bootstrap-3-typeahead/4.0.2/bootstrap3-typeahead.min.js"></script> <script src="https://web.archive.org/web/20210825174252js_/https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/js/bootstrap.min.js" integrity="" crossorigin="anonymous"></script> <script type="text/javascript">$j(document).ready(prototypeBootstrapCompatibility());</script>  <script type="text/javascript" src="https://web.archive.org/web/20210825174252js_/https://cdnjs.cloudflare.com/ajax/libs/bootstrap-tour/0.12.0/js/bootstrap-tour-standalone.min.js"></script> <script src="https://web.archive.org/web/20210825174252js_/https://cdn.jsdelivr.net/npm/typed.js@2.0.11"></script>  <script type="text/javascript">$j(document).ready(ppTour.initialize());</script>  <body class="yui-skin-sam" id="mainBody"> <div id="all" class="ppskin clearfix"> <div id="banner" class="navbar navbar-fixed-top"> <div class="no-padding-md container"> <div id="headlinks"> <span> <a href="https://web.archive.org/web/20210825174252/https://auth.philpapers.org/login?service=https://philpapers.org/cas.pl&gateway=1">Sign in</a> | <a href="/web/20210825174252/https://philpapers.org/login?action=registration">Create an account</a> </span> </span> </div> <div class="philx desktop"> <span class="philxbtn philxbtnsel"><b>PhilPapers</b></span> <a href="https://web.archive.org/web/20210825174252/https://philpeople.org/"><span class="philxbtn">PhilPeople</span></a> <a href="https://web.archive.org/web/20210825174252/https://philarchive.org/"><span class="philxbtn">PhilArchive</span></a> <a href="https://web.archive.org/web/20210825174252/https://philevents.org/"><span class="philxbtn">PhilEvents</span></a> <a href="https://web.archive.org/web/20210825174252/https://philjobs.org/"><span class="philxbtn">PhilJobs</span></a> </div> </div> </div> <div id="head" class="navbar navbar-default navbar-fixed-top panel panel-default"> <div class="no-padding-md container"> <div class="navbar-header"> <div id="logo" class="nav-left"> <a class="navbar-brand" title="PhilPapers home" rel="home" style="border:none;padding:0" href="https://web.archive.org/web/20210825174252/https://philpapers.org/"> <img id="logo" width="50px" height="50px" alt="PhilPapers home" style="padding-bottom:6px" src="/web/20210825174252im_/https://philpapers.org/assets/raw/philpeople.png"> </a> </div> <button id="menu-dropdown-button" type="button" class="navbar-toggle collapsed nav-right hidden-xs" data-toggle="collapse" data-target="#main-nav" aria-expanded="false" aria-controls="main-nav"> <i style="font-size:24px" class="fa fa-bars"></i> </button> <button id="profile-dropdown-button" type="button" class="navbar-toggle collapsed nav-right hidden-xs" data-toggle="collapse" data-target="#profile-dropdown" aria-expanded="false" aria-controls="main-nav"> <i class="glyphicon glyphicon-user"></i> </button> <button id="search-dropdown-button" type="button" class="navbar-toggle collapsed nav-right hidden-xs" data-toggle="collapse" data-target="#search-dropdown" aria-expanded="false" aria-controls="main-nav"> <i class="glyphicon glyphicon-search"></i> </button> </div> <div class="hidden-xxs visible-xs visible-sm"> <div class="navbar-form navbar-right btn-group"> <button type="button" class="navbar-toggle collapsed nav-right" data-toggle="collapse" data-target="#main-nav" aria-expanded="false" aria-controls="main-nav"> <i class="fa fa-bars"></i> </button> <button id="profile-dropdown-button" type="button" class="navbar-toggle collapsed nav-right" data-toggle="collapse" data-target="#profile-dropdown" aria-expanded="false" aria-controls="main-nav"> <i style="font-size:16px" class="glyphicon glyphicon-user"></i> </button> </div> <form class="navbar-form-alt" onsubmit="if ($j(this).find('input').val().length < 3) { alert('You must specify a search query of three or more characters')} else {window.location='/s/'+escape(UTF8.encode($j(this).find('input').val()));} return false;" method="GET" action="/web/20210825174252/https://philpapers.org/autosense.pl" onsubmit=""> <div class="input-group topSearch-container"> <input id="topSearch" autocomplete="off" class="topSearch form-control input-lg" type="text" name="searchStr" style="color:black" onfocus="if (this.value == 'search for..') {this.value = '';this.style.color='black'}" value="" placeholder="Search PhilPapers"> <span class="input-group-btn search-help"> <div class="dropdown topSearch-dropdown"> <a href="#" class="topSearch-dropdown-btn dropdown-toggle" role="button" aria-haspopup="true" aria-expanded="true" data-toggle="dropdown"><i class="fa fa-sort-desc dropdown-toggle" aria-hidden="true"></i> </a> <ul class="dropdown-menu dropdown-menu-right"> <li><a href="/web/20210825174252/https://philpapers.org/help/search.html">Syntax</a></li> <li><a href="/web/20210825174252/https://philpapers.org/advanced.html">Advanced Search</a></li> </ul> </div> </span> </div> </form> </div> <div id="main-nav" class="navbar-collapse collapse"> <div class="navbar-form navbar-right btn-group"> <script type="text/javascript"> $j(document).ready(function() { initializeToggles(); }); </script> <ul class="navbar-nav nav"> <li class="dropdown with-submenu" id="nav-new"> <a class="dropdown-toggle" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">New</a> <ul class="dropdown-menu" role="menu"> <li class="first-item"><a href="/web/20210825174252/https://philpapers.org/recent">All new items</a></li> <li><a href="/web/20210825174252/https://philpapers.org/recent?preset=books">Books</a></li> <li><a href="/web/20210825174252/https://philpapers.org/recent?preset=journals">Journal articles</a></li> <li><a href="/web/20210825174252/https://philpapers.org/recent?preset=web">Manuscripts</a></li> </ul> </li> <li class="dropdown with-submenu" id="nav-browse"> <a class="dropdown-toggle" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">Topics</a> <ul class="dropdown-menu" role="menu"> <li><a href="/web/20210825174252/https://philpapers.org/browse/all">All Categories</a></li> <li class=" dropdown-submenu" id="nav-10"><a href="#nav-10" class="dropdown-toggle submenu-toggle" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">Metaphysics and Epistemology</a> <ul class="dropdown-menu" role="menu"> <li><a class="dir" href="/web/20210825174252/https://philpapers.org/browse/metaphysics-and-epistemology">Metaphysics and Epistemology</a></li><li><a href="/web/20210825174252/https://philpapers.org/browse/epistemology">Epistemology</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/metaphilosophy">Metaphilosophy</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/metaphysics">Metaphysics</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/philosophy-of-action">Philosophy of Action</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/philosophy-of-language">Philosophy of Language</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/philosophy-of-mind">Philosophy of Mind</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/philosophy-of-religion">Philosophy of Religion</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/me-misc">M&E;, Misc</a></li> </ul> <li class=" dropdown-submenu" id="nav-24"><a href="#nav-24" class="dropdown-toggle submenu-toggle" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">Value Theory</a> <ul class="dropdown-menu" role="menu"> <li><a class="dir" href="/web/20210825174252/https://philpapers.org/browse/value-theory">Value Theory</a></li><li><a href="/web/20210825174252/https://philpapers.org/browse/aesthetics">Aesthetics</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/applied-ethics">Applied Ethics</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/meta-ethics">Meta-Ethics</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/normative-ethics">Normative Ethics</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/philosophy-of-gender-race-and-sexuality">Philosophy of Gender, Race, and Sexuality</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/philosophy-of-law">Philosophy of Law</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/social-and-political-philosophy">Social and Political Philosophy</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/value-theory-miscellaneous">Value Theory, Miscellaneous</a></li> </ul> <li class=" dropdown-submenu" id="nav-36"><a href="#nav-36" class="dropdown-toggle submenu-toggle" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">Science, Logic, and Mathematics</a> <ul class="dropdown-menu" role="menu"> <li><a class="dir" href="/web/20210825174252/https://philpapers.org/browse/science-logic-and-mathematics">Science, Logic, and Mathematics</a></li><li><a href="/web/20210825174252/https://philpapers.org/browse/logic-and-philosophy-of-logic">Logic and Philosophy of Logic</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/philosophy-of-biology">Philosophy of Biology</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/philosophy-of-cognitive-science">Philosophy of Cognitive Science</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/philosophy-of-computing-and-information">Philosophy of Computing and Information</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/philosophy-of-mathematics">Philosophy of Mathematics</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/philosophy-of-physical-science">Philosophy of Physical Science</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/philosophy-of-social-science">Philosophy of Social Science</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/philosophy-of-probability">Philosophy of Probability</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/general-philosophy-of-science">General Philosophy of Science</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/philosophy-of-science-misc">Philosophy of Science, Misc</a></li> </ul> <li class=" dropdown-submenu" id="nav-51"><a href="#nav-51" class="dropdown-toggle submenu-toggle" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">History of Western Philosophy</a> <ul class="dropdown-menu" role="menu"> <li><a class="dir" href="/web/20210825174252/https://philpapers.org/browse/history-of-western-philosophy">History of Western Philosophy</a></li><li><a href="/web/20210825174252/https://philpapers.org/browse/ancient-greek-and-roman-philosophy">Ancient Greek and Roman Philosophy</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/medieval-and-renaissance-philosophy">Medieval and Renaissance Philosophy</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/17th18th-century-philosophy">17th/18th Century Philosophy</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/19th-century-philosophy">19th Century Philosophy</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/20th-century-philosophy">20th Century Philosophy</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/history-of-western-philosophy-misc">History of Western Philosophy, Misc</a></li> </ul> <li class=" dropdown-submenu" id="nav-58"><a href="#nav-58" class="dropdown-toggle submenu-toggle" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">Philosophical Traditions</a> <ul class="dropdown-menu" role="menu"> <li><a class="dir" href="/web/20210825174252/https://philpapers.org/browse/philosophical-traditions">Philosophical Traditions</a></li><li><a href="/web/20210825174252/https://philpapers.org/browse/africanafricana-philosophy">African/Africana Philosophy</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/asian-philosophy">Asian Philosophy</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/continental-philosophy">Continental Philosophy</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/european-philosophy">European Philosophy</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/philosophy-of-the-americas">Philosophy of the Americas</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/philosophical-traditions-miscellaneous">Philosophical Traditions, Miscellaneous</a></li> </ul> <li class=" dropdown-submenu" id="nav-4"><a href="#nav-4" class="dropdown-toggle submenu-toggle" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">Philosophy, Misc</a> <ul class="dropdown-menu" role="menu"> <li><a class="dir" href="/web/20210825174252/https://philpapers.org/browse/philosophy-misc">Philosophy, Misc</a></li><li><a href="/web/20210825174252/https://philpapers.org/browse/philosophy-introductions-and-anthologies">Philosophy, Introductions and Anthologies</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/philosophy-general-works">Philosophy, General Works</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/teaching-philosophy">Teaching Philosophy</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/philosophy-miscellaneous">Philosophy, Miscellaneous</a></li> </ul> <li class=" dropdown-submenu" id="nav-70"><a href="#nav-70" class="dropdown-toggle submenu-toggle" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">Other Academic Areas</a> <ul class="dropdown-menu" role="menu"> <li><a class="dir" href="/web/20210825174252/https://philpapers.org/browse/other-academic-areas">Other Academic Areas</a></li><li><a href="/web/20210825174252/https://philpapers.org/browse/natural-sciences">Natural Sciences</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/social-sciences">Social Sciences</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/cognitive-sciences">Cognitive Sciences</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/formal-sciences">Formal Sciences</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/arts-and-humanities">Arts and Humanities</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/professional-areas">Professional Areas</a></li> <li><a href="/web/20210825174252/https://philpapers.org/browse/other-academic-areas-misc">Other Academic Areas, Misc</a></li> </ul> <li> </li> </ul> </li> <li><a href="/web/20210825174252/https://philpapers.org/journals">Journals</a></li> <li class="dropdown with-submenu hidden-xs" id="nav-profile"> </li> <li class="dropdown with-submenu" id="nav-submit"> <a class="dropdown-toggle" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">Submit material</a> <ul class="dropdown-menu"> <li><a href="/web/20210825174252/https://philpapers.org/edit">Submit a book or article</a></li> <li><a href="/web/20210825174252/https://philpapers.org/utils/batch_import.pl">Upload a bibliography</a></li> <li><a href="/web/20210825174252/https://philpapers.org/pages/list.html">Personal pages we track</a></li> <li><a href="/web/20210825174252/https://philpapers.org/archives/list.html">Archives we track</a></li> <li><a href="/web/20210825174252/https://philpapers.org/help/feeds.html">Information for publishers</a></li> </ul> </li> <li class="dropdown with-submenu" id="nav-help"> <a class="dropdown-toggle" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">More</a> <ul class="dropdown-menu pull-right"> <li><a href="/web/20210825174252/https://philpapers.org/help/whatyoucando.html">Introduction</a></li> <li><a href="/web/20210825174252/https://philpapers.org/help/submit.html">Submitting to PhilPapers</a></li> <li><a href="/web/20210825174252/https://philpapers.org/help/faq.html">Frequently Asked Questions</a></li> <li><a href="/web/20210825174252/https://philpapers.org/subscriptions/">Subscriptions</a></li> <li><a href="/web/20210825174252/https://philpapers.org/help/editors.html">Editor's Guide</a></li> <li><a href="/web/20210825174252/https://philpapers.org/help/categorization.html">The Categorization Project</a></li> <li><a href="/web/20210825174252/https://philpapers.org/help/feeds.html">For Publishers</a></li> <li><a href="/web/20210825174252/https://philpapers.org/help/archive_admins.html">For Archive Admins</a></li> <li><a href="/web/20210825174252/https://philpapers.org/help/contact.html">Contact us</a></li> <li><a href="/web/20210825174252/https://philpapers.org/surveys/">PhilPapers Surveys</a></li> <li><a href="/web/20210825174252/https://philpapers.org/help/api/">API</a></li> <li><a href="/web/20210825174252/https://philpapers.org/utils/bargains.pl">Bargain Finder</a></li> <li><a href="/web/20210825174252/https://philpapers.org/help/about.html">About PhilPapers</a></li> </ul> </li> </ul> </div> <div class="hidden-xxs hidden-xs hidden-sm"> <form class="navbar-form-alt" onsubmit="if ($j(this).find('input').val().length < 3) { alert('You must specify a search query of three or more characters')} else {window.location='/s/'+escape(UTF8.encode($j(this).find('input').val()));} return false;" method="GET" action="/web/20210825174252/https://philpapers.org/autosense.pl" onsubmit=""> <div class="input-group topSearch-container"> <input id="topSearch" autocomplete="off" class="topSearch form-control input-lg" type="text" name="searchStr" style="color:black" onfocus="if (this.value == 'search for..') {this.value = '';this.style.color='black'}" value="" placeholder="Search PhilPapers"> <span class="input-group-btn search-help"> <div class="dropdown topSearch-dropdown"> <a href="#" class="topSearch-dropdown-btn dropdown-toggle" role="button" aria-haspopup="true" aria-expanded="true" data-toggle="dropdown"><i class="fa fa-sort-desc dropdown-toggle" aria-hidden="true"></i> </a> <ul class="dropdown-menu dropdown-menu-right"> <li><a href="/web/20210825174252/https://philpapers.org/help/search.html">Syntax</a></li> <li><a href="/web/20210825174252/https://philpapers.org/advanced.html">Advanced Search</a></li> </ul> </div> </span> </div> </form> </div> </div> <div class="hidden-md hidden-lg"> <div id="profile-dropdown" class="navbar-collapse collapse"> <div class="navbar-form navbar-right btn-group"> <ul class="navbar-nav nav"> <li><a href="/web/20210825174252/https://philpapers.org/inoff.html">Sign in</a></li> <li><a href="/web/20210825174252/https://philpapers.org/users/new.html">Create an account</a></li></li> </ul> </div> </div> </div> <div class="hidden-md hidden-lg"> <div id="search-dropdown" class="navbar-collapse collapse"> <ul class="navbar-nav nav"> <li> <form class="navbar-form-alt" onsubmit="if ($j(this).find('input').val().length < 3) { alert('You must specify a search query of three or more characters')} else {window.location='/s/'+escape(UTF8.encode($j(this).find('input').val()));} return false;" method="GET" action="/web/20210825174252/https://philpapers.org/autosense.pl" onsubmit=""> <div class="topSearch-container"> <input id="topSearch" autocomplete="off" class="topSearch form-control input-lg" type="text" name="searchStr" style="color:black" onfocus="if (this.value == 'search for..') {this.value = '';this.style.color='black'}" value="" placeholder="Search PhilPapers"> </div> </form> </li> <li><a href="/web/20210825174252/https://philpapers.org/help/search.html">Syntax</a></li> <li><a href="/web/20210825174252/https://philpapers.org/advanced.html">Advanced Search</a></li> </ul> </div> </div> </div> </div> <script type="text/javascript"> $j(document).ready(ppTypeahead.initialize(".topSearch")); </script> <div id="contentContainer" class=" container panel panel-default"> <div id="content"> <div class="cattop"> <div style="float:right;width:250px;" class="hidden-xs"> <a class="addthis_button" href="https://web.archive.org/web/20210825174252/https://www.addthis.com/bookmark.php?v=250&username=dbourget"><img src="https://web.archive.org/web/20210825174252im_/https://s7.addthis.com/static/btn/v2/lg-share-en.gif" width="125" height="16" alt="Bookmark and Share" style="border:0"/></a><script type="text/javascript" src="https://web.archive.org/web/20210825174252js_/https://s7.addthis.com/js/250/addthis_widget.js#username=dbourget"></script> </div> <div class="ch" style="margin-left:0;font-size:11px;margin-bottom:10px"></div> <h1 class="gh"><a href="/web/20210825174252/https://philpapers.org/browse/formal-sciences">Formal Sciences</a> </h1> </div> <div class="miniheader" style="font-weight:bold;border-top:1px solid #aaa"> In this area </div> <table width="100%"> <tr> <td valign="top"> <div style="padding-bottom:5px"> <form id="inside"> <input placeholder="Search inside" class="searchInside" type="text" name="catq" value=""> <input type="hidden" name="sort" value="relevance"> <input type="hidden" name="uncat" value=""> <input type="hidden" name="setAside" value=""> <input type="submit" value="go" class="button"> </form> </div> <div class="ah" style="font-size:14px;margin-bottom:10px;color:#109D49">Subcategories</div> <div class="toc1"> <div class="toc"> <div class="cat cat2" style="margin-bottom:15px"> <a rel="section" class="tocCatName catName4" href="/web/20210825174252/https://philpapers.org/browse/computer-science">Computer Science</a><span class="hint"> (<b class="hint">514</b>)</span> </div> <div class="cat cat2" style="margin-bottom:15px"> <a rel="section" class="tocCatName catName4" href="/web/20210825174252/https://philpapers.org/browse/information-science">Information Science</a><span class="hint"> (<b class="hint">346</b>)</span> </div> <div class="cat cat2" style="margin-bottom:15px"> <a rel="section" class="tocCatName catName4" href="/web/20210825174252/https://philpapers.org/browse/mathematics">Mathematics</a><span class="hint"> (<b class="hint">168</b>)</span> </div> <div class="cat cat2" style="margin-bottom:15px"> <a rel="section" class="tocCatName catName4" href="/web/20210825174252/https://philpapers.org/browse/statistics">Statistics</a><span class="hint"> (<b class="hint">47</b>)</span> </div> <div class="cat cat2" style="margin-bottom:15px"> <a rel="section" class="tocCatName catName4" href="/web/20210825174252/https://philpapers.org/browse/mathematical-logic">Mathematical Logic</a><span class="hint"> (<b class="hint">83</b>)</span> </div> <div class="cat cat2" style="margin-bottom:15px"> <a rel="section" class="tocCatName catName4" href="/web/20210825174252/https://philpapers.org/browse/systems-science">Systems Science</a><span class="hint"> (<b class="hint">28</b>)</span> </div> <div class="cat cat2" style="margin-bottom:15px"> <a rel="section" class="tocCatName catName4" href="/web/20210825174252/https://philpapers.org/browse/formal-sciences-misc">Formal Sciences, Misc</a><span class="hint"> (<b class="hint">42</b>)</span> </div> </div> </td> <td valign="top" style="padding-left:5px" class="visible-lg"> <div class="sideBox" style="float:right;max-width:500px"> <div class="sideBoxH">Also in this area</div> <div class="sideBoxC"> <div class="ah"><a href="?uncat=1">Entries to categorize (33)</a></div> <p> <div class="ah"><a href="?recent=1&sort=added">Most recently added items</a></div> <p> <p> <div class="ah"> <a href="/web/20210825174252/https://philpapers.org/utils/bargains.pl?bmode=97">Discounted books in this area</a></div> <p> </div> <p> <div class="sideBox"> <div class="sideBoxH"> Trending in Formal Sciences </div> <div class="sideBoxC"> <div id="entries" class="compact trending"><ol class="entryList"> <li id="eEAGEOD" onclick="ee('click','EAGEOD')" onmouseover="ee('over','EAGEOD')" onmouseout="ee('out','EAGEOD')" class="entry"><span class="citation"><a href="/web/20210825174252/https://philpapers.org/rec/EAGEOD"><span class="articleTitle recTitle">Elements of Deductive Logic.</span></a><a class="discreet" title="View other works by Antony Eagle" href="/web/20210825174252/https://philpapers.org/s/Antony%20Eagle"><span class="name">Antony Eagle</span></a> - <span class="pubYear">manuscript</span></span><span class="toggle" style="display:none" data-target="extras">details</span><div class="extras"></div></li> <li id="eMAXLIT-2" onclick="ee('click','MAXLIT-2')" onmouseover="ee('over','MAXLIT-2')" onmouseout="ee('out','MAXLIT-2')" class="entry"><span class="citation"><a href="/web/20210825174252/https://philpapers.org/rec/MAXLIT-2"><span class="articleTitle recTitle">Logic in the Tractatus.</span></a><a class="discreet" title="View other works by Max Weiss" href="/web/20210825174252/https://philpapers.org/s/Max%20Weiss"><span class="name">Max Weiss</span></a> - <span class="pubYear">2017</span> - <span class="pubInfo"> <em class="pubName">Review of Symbolic Logic</em> 10 (1):1-50.</span></span><span class="toggle" style="display:none" data-target="extras">details</span><div class="extras"></div></li> <li id="eMILAEO-9" onclick="ee('click','MILAEO-9')" onmouseover="ee('over','MILAEO-9')" onmouseout="ee('out','MILAEO-9')" class="entry"><span class="citation"><a href="/web/20210825174252/https://philpapers.org/rec/MILAEO-9"><span class="articleTitle recTitle">An Examination of the Psychopathic Personality Inventory’s Nomological Network: A Meta-Analytic Review.</span></a><a class="discreet" title="View other works by Joshua D. Miller" href="/web/20210825174252/https://philpapers.org/s/Joshua D.%20Miller"><span class="name">Joshua D. Miller</span></a> & <a class="discreet" title="View other works by Donald R. Lynam" href="/web/20210825174252/https://philpapers.org/s/Donald R.%20Lynam"><span class="name">Donald R. Lynam</span></a> - <span class="pubYear">2012</span> - <span class="pubInfo"> <em class="pubName">Personality Disorders: Theory, Research, and Treatment</em> 3 (3):305–326.</span></span><span class="toggle" style="display:none" data-target="extras">details</span><div class="extras"></div></li> <li id="eABUTOP" onclick="ee('click','ABUTOP')" onmouseover="ee('over','ABUTOP')" onmouseout="ee('out','ABUTOP')" class="entry"><span class="citation"><a href="/web/20210825174252/https://philpapers.org/rec/ABUTOP"><span class="articleTitle recTitle">Trends of Palestinian Higher Educational Institutions in Gaza Strip as Learning Organizations.</span></a><a class="discreet" title="View other works by Samy S. Abu Naser" href="/web/20210825174252/https://philpapers.org/s/Samy S.%20Abu Naser"><span class="name">Samy S. Abu Naser</span></a>, <a class="discreet" title="View other works by Mazen J. Al Shobaki" href="/web/20210825174252/https://philpapers.org/s/Mazen J.%20Al Shobaki"><span class="name">Mazen J. Al Shobaki</span></a>, <a class="discreet" title="View other works by Youssef M. Abu Amuna" href="/web/20210825174252/https://philpapers.org/s/Youssef M.%20Abu Amuna"><span class="name">Youssef M. Abu Amuna</span></a> & <a class="discreet" title="View other works by Amal A. Al Hila" href="/web/20210825174252/https://philpapers.org/s/Amal A.%20Al Hila"><span class="name">Amal A. Al Hila</span></a> - <span class="pubYear">2017</span> - <span class="pubInfo"> <em class="pubName">International Journal of Digital Publication Technology</em> 1 (1):1-42.</span></span><span class="toggle" style="display:none" data-target="extras">details</span><div class="extras"></div></li> <li id="eDEUP-2" onclick="ee('click','DEUP-2')" onmouseover="ee('over','DEUP-2')" onmouseout="ee('out','DEUP-2')" class="entry"><span class="citation"><a href="/web/20210825174252/https://philpapers.org/rec/DEUP-2"><span class="articleTitle recTitle">Proof-of-Loss.</span></a><a class="discreet" title="View other works by Mirelo Deugh Ausgam Valis" href="/web/20210825174252/https://philpapers.org/s/Mirelo%20Deugh Ausgam Valis"><span class="name">Mirelo Deugh Ausgam Valis</span></a> - <span class="pubYear">unknown</span></span><span class="toggle" style="display:none" data-target="extras">details</span><div class="extras"></div></li> <li id="eALBDAD-4" onclick="ee('click','ALBDAD-4')" onmouseover="ee('over','ALBDAD-4')" onmouseout="ee('out','ALBDAD-4')" class="entry"><span class="citation"><a href="/web/20210825174252/https://philpapers.org/rec/ALBDAD-4"><span class="articleTitle recTitle">Design and Development of an Intelligent Tutoring System for C# Language.</span></a><a class="discreet" title="View other works by Bashar G. Al-Bastami" href="/web/20210825174252/https://philpapers.org/s/Bashar G.%20Al-Bastami"><span class="name">Bashar G. Al-Bastami</span></a> & <a class="discreet" title="View other works by Samy S. Abu Naser" href="/web/20210825174252/https://philpapers.org/s/Samy S.%20Abu Naser"><span class="name">Samy S. Abu Naser</span></a> - <span class="pubYear">2017</span> - <span class="pubInfo"> <em class="pubName">European Academic Research</em> 4 (10).</span></span><span class="toggle" style="display:none" data-target="extras">details</span><div class="extras"></div></li> <li id="eTANBDO" onclick="ee('click','TANBDO')" onmouseover="ee('over','TANBDO')" onmouseout="ee('out','TANBDO')" class="entry"><span class="citation"><a href="/web/20210825174252/https://philpapers.org/rec/TANBDO"><span class="articleTitle recTitle">Big Data Optimization in Machine Learning.</span></a><a class="discreet" title="View other works by Xiaocheng Tang" href="/web/20210825174252/https://philpapers.org/s/Xiaocheng%20Tang"><span class="name">Xiaocheng Tang</span></a> - <span class="pubYear">2015</span> - <span class="pubInfo"> <em class="pubName">Disertation</em> 1.</span></span><span class="toggle" style="display:none" data-target="extras">details</span><div class="extras"></div></li> <li id="eOBRTEO-6" onclick="ee('click','OBRTEO-6')" onmouseover="ee('over','OBRTEO-6')" onmouseout="ee('out','OBRTEO-6')" class="entry"><span class="citation"><a href="/web/20210825174252/https://philpapers.org/rec/OBRTEO-6"><span class="articleTitle recTitle">The Evaluation of Ontologies: Toward Improved Semantic Interoperability.</span></a><a class="discreet" title="View other works by Leo Obrst" href="/web/20210825174252/https://philpapers.org/s/Leo%20Obrst"><span class="name">Leo Obrst</span></a>, <a class="discreet" title="View other works by Werner Ceusters" href="/web/20210825174252/https://philpapers.org/s/Werner%20Ceusters"><span class="name">Werner Ceusters</span></a>, <a class="discreet" title="View other works by Inderjeet Mani" href="/web/20210825174252/https://philpapers.org/s/Inderjeet%20Mani"><span class="name">Inderjeet Mani</span></a>, <a class="discreet" title="View other works by Steve Ray" href="/web/20210825174252/https://philpapers.org/s/Steve%20Ray"><span class="name">Steve Ray</span></a> & <a class="discreet" title="View other works by Barry Smith" href="/web/20210825174252/https://philpapers.org/s/Barry%20Smith"><span class="name">Barry Smith</span></a> - <span class="pubYear">2006</span> - <span class="pubInfo"> In Chris Baker & Kei H. Cheung (eds.), <em><a href="https://web.archive.org/web/20210825174252/https://philpapers.org/rec/BAKSWR">Semantic Web: Revolutionizing Knowledge Discovery in the Life Sciences</a></em>. Springer. pp. 139-158.</span></span><span class="toggle" style="display:none" data-target="extras">details</span><div class="extras"></div></li> <li id="eABUMIT" onclick="ee('click','ABUMIT')" onmouseover="ee('over','ABUMIT')" onmouseout="ee('out','ABUMIT')" class="entry"><span class="citation"><a href="/web/20210825174252/https://philpapers.org/rec/ABUMIT"><span class="articleTitle recTitle">Mathematics Intelligent Tutoring System.</span></a><a class="discreet" title="View other works by Nour N. AbuEloun" href="/web/20210825174252/https://philpapers.org/s/Nour N.%20AbuEloun"><span class="name">Nour N. AbuEloun</span></a> & <a class="discreet" title="View other works by Samy S. Abu Naser" href="/web/20210825174252/https://philpapers.org/s/Samy S.%20Abu Naser"><span class="name">Samy S. Abu Naser</span></a> - <span class="pubYear">2017</span> - <span class="pubInfo"> <em class="pubName">International Journal of Advanced Scientific Research</em> 2 (1):11-16.</span></span><span class="toggle" style="display:none" data-target="extras">details</span><div class="extras"></div></li> <li id="eABUDHP" onclick="ee('click','ABUDHP')" onmouseover="ee('over','ABUDHP')" onmouseout="ee('out','ABUDHP')" class="entry"><span class="citation"><a href="/web/20210825174252/https://philpapers.org/rec/ABUDHP"><span class="articleTitle recTitle">Detecting Health Problems Related to Addiction of Video Game Playing Using an Expert System.</span></a><a class="discreet" title="View other works by Samy S. Abu Naser" href="/web/20210825174252/https://philpapers.org/s/Samy S.%20Abu Naser"><span class="name">Samy S. Abu Naser</span></a> & <a class="discreet" title="View other works by Mohran H. Al-Bayed" href="/web/20210825174252/https://philpapers.org/s/Mohran H.%20Al-Bayed"><span class="name">Mohran H. Al-Bayed</span></a> - <span class="pubYear">2016</span> - <span class="pubInfo"> <em class="pubName">World Wide Journal of Multidisciplinary Research and Development</em> 2 (9):7-12.</span></span><span class="toggle" style="display:none" data-target="extras">details</span><div class="extras"></div></li> </div> </div> </div> </p> <p> <div class="sideBox"> <div class="sideBoxH"> Jobs in Formal Sciences </div> <div class="sideBoxC"> <div> <a href="https://web.archive.org/web/20210825174252/http://philjobs.org/job/show/17521"><b>Siena College</b></a> </div> <div> Visiting Assistant Professor of Philosophy </div> <div> <a href="https://web.archive.org/web/20210825174252/http://philjobs.org/job/show/17541"><b>Seattle University</b></a> </div> <div> Lecturer </div> <div> <a href="https://web.archive.org/web/20210825174252/http://philjobs.org/job/show/17386"><b>Purdue University</b></a> </div> <div> Visiting Instructor </div> <div> <a href="https://web.archive.org/web/20210825174252/http://philjobs.org/job/show/17617"><b>Carleton College</b></a> </div> <div> Assistant Professor of Philosophy </div> <div> <a href="https://web.archive.org/web/20210825174252/http://philjobs.org/job/show/17315"><b>Association for Practical and Professional Ethics</b></a> </div> <div> Executive Director </div> <div class="hint" style="text-align:right"> Jobs from <a href="https://web.archive.org/web/20210825174252/https://philjobs.org/">PhilJobs</a> </div> </div> </div> </p> </div> </td> </tr> </table> </div> <div class="yui-skin-sam" style="z-index:3000"> <div class="ppskin" id="container"></div> <div id="load_c" style="display:none"> <div id="load_c2"> <div id="loadmsg">loading ..</div> <img id="loadimg" width="16" height="16" src="/web/20210825174252im_/https://philpapers.org/philpapers/raw/generic-load.gif"> </div> </div> <div id="outer-con" class="ppskin" style="z-index:1000"> <div id="editor-con" style="display:none"> <div class="hd"></div> <div class="bd" id="editor-bd" style=""></div> </div> <div id="categorizer-con" style="display:none"> </div> </div> </div> </div> <div class="container footer-container panel panel-default panelb-body"> <div id="footerWrap"> <div class="footer centered" style=""> <div id="fb-root"></div> <script> var authResponse; window.fbAsyncInit = function() { /* FB.init({ appId : '315507632137867', // App ID channelUrl : '//web.archive.org/web/20210825174252/https://bits/channel.html', // Channel File status : true, // check login status cookie : true, // enable cookies to allow the server to access the session xfbml : true // parse XFBML }); */ FB.init({appId: '315507632137867', status: true, cookie: true, xfbml: true, oauth:true, channelUrl:"https://web.archive.org/web/20210825174252/https://philpapers.org/assets/raw/channel.html"}); FB.getLoginStatus(function(response) { if (response.authResponse) { // logged in and connected user, someone you know //fb_step2(response.authResponse); authResponse = response.authResponse; } else { // no user session available, someone you dont know } }); FB.Event.subscribe('auth.login', function(response) { if (response.session) { fb_step2(response.authResponse); } else { } }); // Additional initialization code here }; // Load the SDK Asynchronously (function(d){ var js, id = 'facebook-jssdk', ref = d.getElementsByTagName('script')[0]; if (d.getElementById(id)) {return;} js = d.createElement('script'); js.id = id; js.async = true; js.src = "//web.archive.org/web/20210825174252/https://connect.facebook.net/en_US/all.js"; ref.parentNode.insertBefore(js, ref); }(document)); </script> <div style="margin-bottom:10px" class="fb-like" data-href="http://www.facebook.com/PhilPapersPlus" data-send="true" height="63" max_rows="1" data-show-faces="false"></div> <div class="hidden-xs"> <div class="centered" style="padding-bottom:5px"><table class="centered"><tr><td valign="top" width="16%"><a style="font-size:smaller" href="/web/20210825174252/https://philpapers.org/browse/applied-ethics" rel="subsection">Applied ethics</a></td><td valign="top" width="16%"><a style="font-size:smaller" href="/web/20210825174252/https://philpapers.org/browse/epistemology" rel="subsection">Epistemology</a></td><td valign="top" width="16%"><a style="font-size:smaller" href="/web/20210825174252/https://philpapers.org/browse/history-of-western-philosophy" rel="subsection">History of Western Philosophy</a></td><td valign="top" width="16%"><a style="font-size:smaller" href="/web/20210825174252/https://philpapers.org/browse/meta-ethics" rel="subsection">Meta-ethics</a></td><td valign="top" width="16%"><a style="font-size:smaller" href="/web/20210825174252/https://philpapers.org/browse/metaphysics" rel="subsection">Metaphysics</a></td><td valign="top" width="16%"><a style="font-size:smaller" href="/web/20210825174252/https://philpapers.org/browse/normative-ethics" rel="subsection">Normative ethics</a></td></tr><tr><td valign="top" width="16%"><a style="font-size:smaller" href="/web/20210825174252/https://philpapers.org/browse/philosophy-of-biology" rel="subsection">Philosophy of biology</a></td><td valign="top" width="16%"><a style="font-size:smaller" href="/web/20210825174252/https://philpapers.org/browse/philosophy-of-language" rel="subsection">Philosophy of language</a></td><td valign="top" width="16%"><a style="font-size:smaller" href="/web/20210825174252/https://philpapers.org/browse/philosophy-of-mind" rel="subsection">Philosophy of mind</a></td><td valign="top" width="16%"><a style="font-size:smaller" href="/web/20210825174252/https://philpapers.org/browse/philosophy-of-religion" rel="subsection">Philosophy of religion</a></td><td valign="top" width="16%"><a style="font-size:smaller" href="/web/20210825174252/https://philpapers.org/browse/science-logic-and-mathematics" rel="subsection">Science Logic and Mathematics</a></td><td valign="top" width="16%"><a style="font-size:smaller" href="/web/20210825174252/https://philpapers.org/categories.pl">More ...</a></td></tr></table></div> </div> <div class="btnmenu"> <a rel="subsection" href="https://web.archive.org/web/20210825174252/https://philpapers.org/">Home</a> | <a rel="subsection" href="/web/20210825174252/https://philpapers.org/recent">New books and articles</a> | <a rel="subsection" href="/web/20210825174252/https://philpapers.org/categories.pl">Bibliographies</a> | <a rel="subsection" href="/web/20210825174252/https://philpapers.org/journals">Philosophy journals</a> | <a rel="subsection" href="/web/20210825174252/https://philpapers.org/bbs">Discussions</a> | <a rel="subsection" href="/web/20210825174252/https://philpapers.org/index/">Article Index</a> | <a rel="subsection" href="/web/20210825174252/https://philpapers.org/help/about.html">About PhilPapers</a> | <a rel="subsection" href="/web/20210825174252/https://philpapers.org/help/api">API</a> | <a rel="subsection" href="/web/20210825174252/https://philpapers.org/help/contact.html">Contact us</a> | <a rel="subsection" href="/web/20210825174252/https://philpapers.org/help/codeofconduct.html">Code of conduct</a> </div> <br> <a class="sponsorbtm" href="https://web.archive.org/web/20210825174252/http://cdp.uwo.ca/"><img style="height:75px" alt="CDP" border="0" src="/web/20210825174252im_/https://philpapers.org/philpapers/raw/CDP-logo.gif"></a> <a class="sponsorbtm" href="https://web.archive.org/web/20210825174252/http://pdcnet.org/"><img alt="Phiosophy Documentation Center" src="/web/20210825174252im_/https://philpapers.org/philpapers/raw/pdc.jpg" border="0" style="height:75px"></a> <br> <div> PhilPapers logo by <a href="https://web.archive.org/web/20210825174252/https://www.behance.net/AndreaAndrews">Andrea Andrews</a> and <a href="https://web.archive.org/web/20210825174252/https://www.behance.net/MeghanDriscoll">Meghan Driscoll</a>. </div> This site uses cookies and Google Analytics (see our <a rel="nofollow" href="https://web.archive.org/web/20210825174252/https://philpapers.org/help/terms.html#analytics">terms & conditions</a> for details regarding the privacy implications). <br> <br>Use of this site is subject to <a rel="nofollow" href="https://web.archive.org/web/20210825174252/https://philpapers.org/help/terms.html">terms & conditions</a>. <br>All rights reserved by <a href="https://web.archive.org/web/20210825174252/https://philpapers.org/foundation">The PhilPapers Foundation</a><br> <br> Page generated Wed Aug 25 13:42:53 2021 on philpapers-web-dbbf57f98-zk9jr <hr>Debug information<br><br>cache stats: hit=2077, miss=7010, save=<br>autohandler : 440 ms<br>called component : 419 ms<br>cat toc : 131 ms<br>menu : 63 ms<br>also in cat : 46 ms<br>save cache object : 17 ms<br>addfields : 7 ms<br>quotes : 6 ms<br>prepCit : 3 ms<br>search_quotes : 2 ms<br>retrieve cache object : 0 ms<br>init renderer : 0 ms<br>applytpl : 0 ms<br>auth : 0 ms<br>setup : 0 ms<br><br><br>pid: 2834<br> </div> </div> </div> </div> <script type="text/javascript" src="/web/20210825174252js_/https://philpapers.org/dynamic-assets/webpack/webpack.deeb0cc05a38b58749a6.js"></script> <script type="text/javascript"> var onload_functions = new Array(); onload_functions[0] = function() { basicOnLoad() }; </script> <script type="text/javascript"> window.onload = function() { // store pre-loaded menus for my biblio etc. for (x=0;x<onload_functions.length;x++) { onload_functions[x](); } } </script> <script type="text/javascript"> // Google analytics var gaJsHost = (("https:" == document.location.protocol) ? "https://web.archive.org/web/20210825174252/https://ssl." : "https://web.archive.org/web/20210825174252/http://www."); document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E")); </script> <script type="text/javascript"> var pageTracker = _gat._getTracker("UA-6029851-1"); pageTracker._trackPageview(); </script> <script type="text/javascript">(function(){window['__CF$cv$params']={r:'68469e94ead70905',m:'b77659e109b9d2a3b9b4752ba18b8638e560d864-1629913373-1800-ATDXBgEoGeTp12B89+eMGXIwpzOmwRDXeug0ZPyGkKX1IE6AILzKW+g2BmEpmjDHzH7SUNhAIjRSMK4i8sMF96jdHZ7aDwSZpFlebyLENi3OgEcn2veB3PQnpYVLrazJJUHClkKgYBzv2hqRSx2/lEE=',s:[0x05b0ae2bf5,0xdb0dd06308],}})();</script></body> </html>