CINXE.COM

<!DOCTYPE html>    <html lang="en-US">  <head> <meta charset="UTF-8"> <meta name="viewport" content="width=device-width"> <title>Validity and Soundness | Internet Encyclopedia of Philosophy</title> <link rel="profile" href="https://gmpg.org/xfn/11"> <link rel="pingback" href="https://iep.utm.edu/xmlrpc.php">  <meta name='robots' content='max-image-preview:large' /> <style>img:is([sizes="auto" i], [sizes^="auto," i]) { contain-intrinsic-size: 3000px 1500px }</style> <script> MathJax = { tex: { inlineMath: [['$','$'],['\$','\$']], processEscapes: true }, options: { ignoreHtmlClass: 'tex2jax_ignore|editor-rich-text' } }; </script> <link rel='dns-prefetch' href='//cdnjs.cloudflare.com' /> <link rel="alternate" type="application/rss+xml" title="Internet Encyclopedia of Philosophy » Feed" href="https://iep.utm.edu/feed/" /> <link rel="alternate" type="application/rss+xml" title="Internet Encyclopedia of Philosophy » Comments Feed" href="https://iep.utm.edu/comments/feed/" /> <script> window._wpemojiSettings = {"baseUrl":"https:\/\/s.w.org\/images\/core\/emoji\/15.0.3\/72x72\/","ext":".png","svgUrl":"https:\/\/s.w.org\/images\/core\/emoji\/15.0.3\/svg\/","svgExt":".svg","source":{"concatemoji":"https:\/\/iep.utm.edu\/wp-includes\/js\/wp-emoji-release.min.js?ver=6.7.2"}}; /*! This file is auto-generated */ !function(i,n){var o,s,e;function c(e){try{var t={supportTests:e,timestamp:(new Date).valueOf()};sessionStorage.setItem(o,JSON.stringify(t))}catch(e){}}function p(e,t,n){e.clearRect(0,0,e.canvas.width,e.canvas.height),e.fillText(t,0,0);var t=new Uint32Array(e.getImageData(0,0,e.canvas.width,e.canvas.height).data),r=(e.clearRect(0,0,e.canvas.width,e.canvas.height),e.fillText(n,0,0),new Uint32Array(e.getImageData(0,0,e.canvas.width,e.canvas.height).data));return t.every(function(e,t){return e===r[t]})}function u(e,t,n){switch(t){case"flag":return n(e,"\ud83c\udff3\ufe0f\u200d\u26a7\ufe0f","\ud83c\udff3\ufe0f\u200b\u26a7\ufe0f")?!1:!n(e,"\ud83c\uddfa\ud83c\uddf3","\ud83c\uddfa\u200b\ud83c\uddf3")&&!n(e,"\ud83c\udff4\udb40\udc67\udb40\udc62\udb40\udc65\udb40\udc6e\udb40\udc67\udb40\udc7f","\ud83c\udff4\u200b\udb40\udc67\u200b\udb40\udc62\u200b\udb40\udc65\u200b\udb40\udc6e\u200b\udb40\udc67\u200b\udb40\udc7f");case"emoji":return!n(e,"\ud83d\udc26\u200d\u2b1b","\ud83d\udc26\u200b\u2b1b")}return!1}function f(e,t,n){var r="undefined"!=typeof WorkerGlobalScope&&self instanceof WorkerGlobalScope?new OffscreenCanvas(300,150):i.createElement("canvas"),a=r.getContext("2d",{willReadFrequently:!0}),o=(a.textBaseline="top",a.font="600 32px Arial",{});return e.forEach(function(e){o[e]=t(a,e,n)}),o}function t(e){var t=i.createElement("script");t.src=e,t.defer=!0,i.head.appendChild(t)}"undefined"!=typeof Promise&&(o="wpEmojiSettingsSupports",s=["flag","emoji"],n.supports={everything:!0,everythingExceptFlag:!0},e=new Promise(function(e){i.addEventListener("DOMContentLoaded",e,{once:!0})}),new Promise(function(t){var n=function(){try{var e=JSON.parse(sessionStorage.getItem(o));if("object"==typeof e&&"number"==typeof e.timestamp&&(new Date).valueOf()<e.timestamp+604800&&"object"==typeof e.supportTests)return e.supportTests}catch(e){}return null}();if(!n){if("undefined"!=typeof Worker&&"undefined"!=typeof OffscreenCanvas&&"undefined"!=typeof URL&&URL.createObjectURL&&"undefined"!=typeof Blob)try{var e="postMessage("+f.toString()+"("+[JSON.stringify(s),u.toString(),p.toString()].join(",")+"));",r=new Blob([e],{type:"text/javascript"}),a=new Worker(URL.createObjectURL(r),{name:"wpTestEmojiSupports"});return void(a.onmessage=function(e){c(n=e.data),a.terminate(),t(n)})}catch(e){}c(n=f(s,u,p))}t(n)}).then(function(e){for(var t in e)n.supports[t]=e[t],n.supports.everything=n.supports.everything&&n.supports[t],"flag"!==t&&(n.supports.everythingExceptFlag=n.supports.everythingExceptFlag&&n.supports[t]);n.supports.everythingExceptFlag=n.supports.everythingExceptFlag&&!n.supports.flag,n.DOMReady=!1,n.readyCallback=function(){n.DOMReady=!0}}).then(function(){return e}).then(function(){var e;n.supports.everything||(n.readyCallback(),(e=n.source||{}).concatemoji?t(e.concatemoji):e.wpemoji&&e.twemoji&&(t(e.twemoji),t(e.wpemoji)))}))}((window,document),window._wpemojiSettings); </script> <style id='wp-emoji-styles-inline-css' type='text/css'> img.wp-smiley, img.emoji { display: inline !important; border: none !important; box-shadow: none !important; height: 1em !important; width: 1em !important; margin: 0 0.07em !important; vertical-align: -0.1em !important; background: none !important; padding: 0 !important; } </style> <style id='pdfemb-pdf-embedder-viewer-style-inline-css' type='text/css'> .wp-block-pdfemb-pdf-embedder-viewer{max-width:none} </style> <link rel='stylesheet' id='awsm-ead-public-css' href='https://iep.utm.edu/wp-content/plugins/embed-any-document/css/embed-public.min.css?ver=2.7.6' type='text/css' media='all' /> <link rel='stylesheet' id='parent-style-css' href='https://iep.utm.edu/wp-content/themes/twentyfourteen/style.css?ver=6.7.2' type='text/css' media='all' /> <link rel='stylesheet' id='child-style-css' href='https://iep.utm.edu/wp-content/themes/twentyfourteen-child/style.css?ver=6.7.2' type='text/css' media='all' /> <link rel='stylesheet' id='twentyfourteen-lato-css' href='https://iep.utm.edu/wp-content/themes/twentyfourteen/fonts/font-lato.css?ver=20230328' type='text/css' media='all' /> <link rel='stylesheet' id='genericons-css' href='https://iep.utm.edu/wp-content/themes/twentyfourteen/genericons/genericons.css?ver=3.0.3' type='text/css' media='all' /> <link rel='stylesheet' id='twentyfourteen-style-css' href='https://iep.utm.edu/wp-content/themes/twentyfourteen-child/style.css?ver=20241112' type='text/css' media='all' /> <link rel='stylesheet' id='twentyfourteen-block-style-css' href='https://iep.utm.edu/wp-content/themes/twentyfourteen/css/blocks.css?ver=20240708' type='text/css' media='all' />  <script src="https://iep.utm.edu/wp-includes/js/jquery/jquery.min.js?ver=3.7.1" id="jquery-core-js"></script> <script src="https://iep.utm.edu/wp-includes/js/jquery/jquery-migrate.min.js?ver=3.4.1" id="jquery-migrate-js"></script> <script src="https://iep.utm.edu/wp-content/plugins/stop-user-enumeration/frontend/js/frontend.js?ver=1.6.3" id="stop-user-enumeration-js" defer data-wp-strategy="defer"></script> <script src="https://iep.utm.edu/wp-content/themes/twentyfourteen/js/functions.js?ver=20230526" id="twentyfourteen-script-js" defer data-wp-strategy="defer"></script> <link rel="https://api.w.org/" href="https://iep.utm.edu/wp-json/" /><link rel="alternate" title="JSON" type="application/json" href="https://iep.utm.edu/wp-json/wp/v2/posts/2257" /><link rel="EditURI" type="application/rsd+xml" title="RSD" href="https://iep.utm.edu/xmlrpc.php?rsd" /> <meta name="generator" content="WordPress 6.7.2" /> <link rel="canonical" href="https://iep.utm.edu/val-snd/" /> <link rel='shortlink' href='https://iep.utm.edu/?p=2257' /> <link rel="alternate" title="oEmbed (JSON)" type="application/json+oembed" href="https://iep.utm.edu/wp-json/oembed/1.0/embed?url=https%3A%2F%2Fiep.utm.edu%2Fval-snd%2F" /> <link rel="apple-touch-icon" sizes="180x180" href="/wp-content/media/fbrfg/apple-touch-icon.png?v=XBrrnd5baw"> <link rel="icon" type="image/png" href="/wp-content/media/fbrfg/favicon-32x32.png?v=XBrrnd5baw" sizes="32x32"> <link rel="icon" type="image/png" href="/wp-content/media/fbrfg/favicon-16x16.png?v=XBrrnd5baw" sizes="16x16"> <link rel="manifest" href="/wp-content/media/fbrfg/manifest.json?v=XBrrnd5baw"> <link rel="mask-icon" href="/wp-content/media/fbrfg/safari-pinned-tab.svg?v=XBrrnd5baw" color="#5bbad5"> <link rel="shortcut icon" href="/wp-content/media/fbrfg/favicon.ico?v=XBrrnd5baw"> <meta name="msapplication-config" content="/wp-content/media/fbrfg/browserconfig.xml?v=XBrrnd5baw"> <meta name="theme-color" content="#ffffff"> <style type="text/css" id="twentyfourteen-header-css"> .site-title, .site-description { clip: rect(1px 1px 1px 1px); /* IE7 */ clip: rect(1px, 1px, 1px, 1px); position: absolute; } </style> <style id="wp-custom-css"> body { background-color: white !important; background-image: none !important; } .headimage { width:34%; 聽height:auto; } h1{text-align:left} h2{text-align:left} h3{text-align:left} h4{text-align:left} h5{text-align:left} h6{text-align:left} ol{text-align:left} li{text-align:left} /* hyphenation */ p { font-family: Georgia, "Times New Roman", Times, serif, sans-serif; -moz-hyphens: auto; -ms-hyphens: auto; -webkit-hyphens: auto; hyphens: auto; word-wrap: break-word; } </style> <script> (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){ (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o), m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m) })(window,document,'script','//www.google-analytics.com/analytics.js','ga'); ga('create', 'UA-8636035-1', 'auto'); ga('send', 'pageview'); </script> </head> <body data-rsssl=1 class="post-template-default single single-post postid-2257 single-format-standard wp-embed-responsive group-blog header-image full-width singular"> <div id="page" class="hfeed site"> <div id="site-header"> <a href="https://iep.utm.edu/" rel="home" style='display:block;'> <img src="/wp-content/media/IEP-logo-remastered.png" alt=""> </a> </div> <header id="masthead" class="site-header" role="banner"> <div class="header-main"> <h1 class="site-title"><a href="https://iep.utm.edu/" rel="home">Internet Encyclopedia of Philosophy</a></h1> <div class="search-toggle"> <a href="#search-container" class="screen-reader-text">Search</a> </div> <nav id="primary-navigation" class="site-navigation primary-navigation" role="navigation"> <button class="menu-toggle">Primary Menu</button> <a class="screen-reader-text skip-link" href="#content">Skip to content</a> <div class="menu-toc-container"><ul id="menu-toc" class="nav-menu"><li id="menu-item-16644" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-16644"><a href="https://iep.utm.edu/a/">A</a></li> <li id="menu-item-16645" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-16645"><a href="https://iep.utm.edu/b/">B</a></li> <li id="menu-item-16646" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-16646"><a href="https://iep.utm.edu/c/">C</a></li> <li id="menu-item-16647" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-16647"><a href="https://iep.utm.edu/d/">D</a></li> <li id="menu-item-16648" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-16648"><a href="https://iep.utm.edu/e/">E</a></li> <li id="menu-item-16649" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-16649"><a href="https://iep.utm.edu/f/">F</a></li> <li id="menu-item-16650" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-16650"><a href="https://iep.utm.edu/g/">G</a></li> <li id="menu-item-16651" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-16651"><a href="https://iep.utm.edu/h/">H</a></li> <li id="menu-item-16652" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-16652"><a href="https://iep.utm.edu/i/">I</a></li> <li id="menu-item-16653" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-16653"><a href="https://iep.utm.edu/j/">J</a></li> <li id="menu-item-16654" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-16654"><a href="https://iep.utm.edu/k/">K</a></li> <li id="menu-item-16655" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-16655"><a href="https://iep.utm.edu/l/">L</a></li> <li id="menu-item-16656" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-16656"><a href="https://iep.utm.edu/m/">M</a></li> <li id="menu-item-16657" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-16657"><a href="https://iep.utm.edu/n/">N</a></li> <li id="menu-item-16658" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-16658"><a href="https://iep.utm.edu/o/">O</a></li> <li id="menu-item-16659" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-16659"><a href="https://iep.utm.edu/p/">P</a></li> <li id="menu-item-16660" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-16660"><a href="https://iep.utm.edu/q/">Q</a></li> <li id="menu-item-16661" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-16661"><a href="https://iep.utm.edu/r/">R</a></li> <li id="menu-item-16662" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-16662"><a href="https://iep.utm.edu/s/">S</a></li> <li id="menu-item-16663" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-16663"><a href="https://iep.utm.edu/t/">T</a></li> <li id="menu-item-16664" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-16664"><a href="https://iep.utm.edu/u/">U</a></li> <li id="menu-item-16665" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-16665"><a href="https://iep.utm.edu/v/">V</a></li> <li id="menu-item-16666" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-16666"><a href="https://iep.utm.edu/w/">W</a></li> <li id="menu-item-16667" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-16667"><a href="https://iep.utm.edu/x/">X</a></li> <li id="menu-item-16668" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-16668"><a href="https://iep.utm.edu/y/">Y</a></li> <li id="menu-item-16669" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-16669"><a href="https://iep.utm.edu/z/">Z</a></li> </ul></div> </nav> </div> <div id="search-container" class="search-box-wrapper hide"> <div class="search-box"> <script> (function() { var cx = '001101905209118093242:rsrjvdp2op4'; var gcse = document.createElement('script'); gcse.type = 'text/javascript'; gcse.async = true; gcse.src = (document.location.protocol == 'https:' ? 'https:' : 'http:') + '//www.google.com/cse/cse.js?cx=' + cx; var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(gcse, s); })(); </script> <gcse:searchbox-only></gcse:searchbox-only> </div> </div> </header> <div id="main" class="site-main"> <div id="primary" class="content-area"> <div id="content" class="site-content" role="main"> <article id="post-2257" class="post-2257 post type-post status-publish format-standard hentry category-logic">  <div class="entry-content"> <h1>Validity and Soundness</h1> <p>A deductive argument is said to be <em>valid</em> if and only if it takes a form that makes it impossible for the premises to be true and the conclusion nevertheless to be false. Otherwise, a deductive argument is said to be <em>invalid</em>.</p> <p>A deductive argument is <em>sound</em> if and only if it is both valid, and all of its premises are <em>actually true</em>. Otherwise, a deductive argument is <em>unsound.</em></p> <p>According to the definition of a deductive argument (see the <a href="../deductive-inductive-arguments">Deduction and Induction</a>), the author of a deductive argument always <em>intends</em> that the premises provide the sort of justification for the conclusion whereby if the premises are true, the conclusion is guaranteed to be true as well. Loosely speaking, if the author’s process of reasoning is a good one, if the premises actually do provide this sort of justification for the conclusion, then the argument is <em>valid</em>.</p> <p>In effect, an argument is <em>valid</em> if the truth of the premises logically guarantees the truth of the conclusion. The following argument is valid, because it is impossible for the premises to be true and the conclusion nevertheless to be false:</p> <blockquote><p>Elizabeth owns either a Honda or a Saturn.<br /> Elizabeth does not own a Honda.<br /> Therefore, Elizabeth owns a Saturn.</p></blockquote> <p>It is important to stress that the premises of an argument do not have <em>actually to be true</em> in order for the argument to be valid. An argument is valid if the premises and conclusion are related to each other in the right way so that if the premises <em>were</em> true, then the conclusion would have to be true as well. We can recognize in the above case that even if one of the premises is actually <em>false</em>, that if they <em>had been</em> true the conclusion <em>would have been</em> true as well. Consider, then an argument such as the following:</p> <blockquote><p>All toasters are items made of gold.<br /> All items made of gold are time-travel devices.<br /> Therefore, all toasters are time-travel devices.</p></blockquote> <p>Obviously, the premises in this argument are not true. It may be hard to imagine these premises being true, but it is not hard to see that if they were true, their truth would logically guarantee the conclusion’s truth.</p> <p>It is easy to see that the previous example is not an example of a completely good argument. A valid argument may still have a false conclusion. When we construct our arguments, we must aim to construct one that is not only valid, but <em>sound</em>. A sound argument is one that is not only valid, but begins with premises that are <em>actually true</em>. The example given about toasters is valid, but not sound. However, the following argument is both valid and sound:</p> <blockquote><p>In some states, no felons are eligible voters, that is, eligible to vote.<br /> In those states, some professional athletes are felons.<br /> Therefore, in some states, some professional athletes are not eligible voters.</p></blockquote> <p>Here, not only do the premises provide the right sort of support for the conclusion, but the premises are actually true. Therefore, so is the conclusion. Although it is not part of the <em>definition</em> of a sound argument, because sound arguments both start out with true premises and have a form that guarantees that the conclusion must be true if the premises are, sound arguments always end with true conclusions.</p> <p>It should be noted that both invalid, as well as valid but unsound, arguments can nevertheless have true conclusions. One cannot reject the conclusion of an argument simply by discovering a given argument for that conclusion to be flawed.</p> <p>Whether or not the premises of an argument are true depends on their specific <em>content</em>. However, according to the dominant understanding among logicians, the validity or invalidity of an argument is determined entirely by its <em>logical form</em>. The logical form of an argument is that which remains of it when one abstracts away from the specific content of the premises and the conclusion, that is, words naming things, their properties and relations, leaving only those elements that are common to discourse and reasoning about any subject matter, that is, words such as “all,” “and,” “not,” “some,” and so forth. One can represent the logical form of an argument by replacing the specific content words with letters used as place-holders or variables.</p> <p>For example, consider these two arguments:</p> <blockquote><p>All tigers are mammals.<br /> No mammals are creatures with scales.<br /> Therefore, no tigers are creatures with scales.</p></blockquote> <blockquote><p>All spider monkeys are elephants.<br /> No elephants are animals.<br /> Therefore, no spider monkeys are animals.</p></blockquote> <p>These arguments share the same form:</p> <blockquote><p><em>All A are B;<br /> No B are C;<br /> Therefore, No A are C.</em></p></blockquote> <p>All arguments with this form are valid. Because they have this form, the examples above are valid. However, the first example is sound while the second is unsound, because its premises are false. Now consider:</p> <blockquote><p>All basketballs are round.<br /> The Earth is round.<br /> Therefore, the Earth is a basketball.</p></blockquote> <blockquote><p>All popes reside at the Vatican.<br /> John Paul II resides at the Vatican.<br /> Therefore, John Paul II is a pope.</p></blockquote> <p>These arguments also have the same form:</p> <blockquote><p><em>All A’s are F;<br /> X is F;<br /> Therefore, X is an A.</em></p></blockquote> <p>Arguments with this form are invalid. This is easy to see with the first example. The second example may <em>seem</em> like a good argument because the premises and the conclusion are all true, but note that the conclusion’s truth isn’t guaranteed by the premises’ truth. It could have been possible for the premises to be true and the conclusion false. This argument is invalid, and all invalid arguments are unsound.</p> <p>While it is accepted by most contemporary logicians that logical validity and invalidity is determined entirely by form, there is some dissent. Consider, for example, the following arguments:</p> <blockquote><p>My table is circular. Therefore, it is not square shaped.</p></blockquote> <blockquote><p>Juan is a bachelor. Therefore, he is not married.</p></blockquote> <p>These arguments, at least on the surface, have the form:</p> <blockquote><p><em>x is F;<br /> Therefore, x is not G.<br /> </em></p></blockquote> <p>Arguments of this form are not valid as a rule. However, it seems clear in these particular cases that it is, in some strong sense, <em>impossible</em> for the premises to be true while the conclusion is false. However, many logicians would respond to these complications in various ways. Some might insist–although this is controverisal–that these arguments actually contain implicit premises such as “Nothing is both circular and square shaped” or “All bachelors are unmarried,” which, while themselves necessary truths, nevertheless play a role in the form of these arguments. It might also be suggested, especially with the first argument, that while (even without the additional premise) there is a necessary connection between the premise and the conclusion, the sort of necessity involved is something other than “logical” necessity, and hence that this argument (in the simple form) should not be regarded as <em>logically</em> valid. Lastly, especially with regard to the second example, it might be suggested that because “bachelor” is defined as “adult unmarried male”, that the true logical form of the argument is the following <em>universally valid</em> form:</p> <blockquote><p><em>x is F and not G and H;<br /> Therefore, x is not G.</em></p></blockquote> <p>The logical form of a statement is not always as easy to discern as one might expect. For example, statements that seem to have the same surface grammar can nevertheless differ in logical form. Take for example the two statements:</p> <blockquote><p>(1) Tony is a ferocious tiger.<br /> (2) Clinton is a lame duck.</p></blockquote> <p>Despite their apparent similarity, only (1) has the form “x is a A that is F.” From it one can validly infer that Tony is a tiger. One cannot validly infer from (2) that Clinton is a duck. Indeed, one and the same sentence can be used in different ways in different contexts. Consider the statement:</p> <blockquote><p>(3) The King and Queen are visiting dignitaries.</p></blockquote> <p>It is not clear what the logical form of this statement is. Either there are dignitaries that the King and Queen are visiting, in which case the sentence (3) has the same logical form as “The King and Queen are playing violins,” or the King and Queen are themselves the dignitaries who are visiting from somewhere else, in which case the sentence has the same logical form as “The King and Queen are sniveling cowards.” Depending on which logical form the statement has, inferences may be valid or invalid. Consider:</p> <blockquote><p>The King and Queen are visiting dignitaries. Visiting dignitaries is always boring. Therefore, the King and Queen are doing something boring.</p></blockquote> <p>Only if the statement is given the first reading can this argument be considered to be valid.</p> <p>Because of the difficulty in identifying the logical form of an argument, and the potential deviation of logical form from grammatical form in ordinary language, contemporary logicians typically make use of artificial logical languages in which logical form and grammatical form coincide. In these artificial languages, certain symbols, similar to those used in mathematics, are used to represent those elements of form analogous to ordinary English words such as “all”, “not”, “or”, “and”, and so forth. The use of an artificially constructed language makes it easier to specify a set of rules that determine whether or not a given argument is valid or invalid. Hence, the study of which deductive argument forms are valid and which are invalid is often called “formal logic” or “symbolic logic.”</p> <p>In short, a deductive argument must be evaluated in two ways. First, one must ask if the premises provide support for the conclusion by examing the form of the argument. If they do, then the argument is valid. Then, one must ask whether the premises are true or false in actuality. Only if an argument passes both these tests is it <em>sound</em>. However, if an argument does not pass these tests, its conclusion may still be true, despite that no support for its truth is given by the argument.</p> <p><em>Note: there are other, related, uses of these words that are found within more advanced mathematical logic. In that context, a formula (on its own) written in a logical language is said to be valid if it comes out as true (or “satisfied”) under all admissible or standard assignments of meaning to that formula within the intended semantics for the logical language. Moreover, an axiomatic logical calculus (in its entirety) is said to be sound if and only if all theorems derivable from the axioms of the logical calculus are semantically valid in the sense just described.</em></p> <p>For a more sophisticated look at the nature of logical validity, see the articles on “<a href="../logcon">Logical Consequence</a>” in this encyclopedia. The articles on “<a href="../argument">Argument</a>” and “<a href="../deductive-inductive-arguments">Deductive and Inductive Arguments</a>” in this encyclopedia may also be helpful.</p> <h3>Author Information</h3> <p>The author of this article is anonymous. The IEP is actively seeking an author who will write a replacement article.</p> </div> </article> </div> </div> <div id="secondary"> <h2 class="site-description">An encyclopedia of philosophy articles written by professional philosophers.</h2> <nav role="navigation" class="navigation site-navigation secondary-navigation"> <div class="menu-pages-container"><ul id="menu-pages" class="menu"><li id="menu-item-16670" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-16670"><a href="https://iep.utm.edu/home/about/">About</a></li> <li id="menu-item-16677" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-16677"><a href="https://iep.utm.edu/submit/">Submissions</a></li> <li id="menu-item-40301" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-40301"><a href="https://iep.utm.edu/editor-list/">Editors</a></li> <li id="menu-item-16676" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-16676"><a href="https://iep.utm.edu/volunteer/">Volunteer</a></li> </ul></div> </nav> <div id="primary-sidebar" class="primary-sidebar widget-area" role="complementary"> <aside id="text-3" class="widget widget_text"><h1 class="widget-title">Stay Connected</h1> <div class="textwidget"><p> &nbsp&nbsp<a href="https://www.facebook.com/iephilosophy"><img src="https://iep.utm.edu/wp-content/media/Facebook.png"></a> &nbsp&nbsp<a href="https://x.com/iephilosophy"><img src="https://iep.utm.edu/wp-content/media/X-1.png"></a> &nbsp&nbsp<a href="https://iep.utm.edu/feed/"><img src="https://iep.utm.edu/wp-content/media/Feed.png"></a> </p></div> </aside><aside id="categories-2" class="widget widget_categories"><h1 class="widget-title">Browse by Topic</h1><form action="https://iep.utm.edu" method="get"><label class="screen-reader-text" for="cat">Browse by Topic</label><select name='cat' id='cat' class='postform'> <option value='-1'>Select Category</option> <option class="level-0" value="45">History of Philosophy</option> <option class="level-1" value="49">   17th Century European</option> <option class="level-1" value="50">   18th Century European</option> <option class="level-1" value="51">   19th Century European</option> <option class="level-1" value="53">   Ancient Philosophy</option> <option class="level-1" value="99">   History Misc.</option> <option class="level-1" value="60">   History of Analytic</option> <option class="level-1" value="64">   Medieval Philosophy</option> <option class="level-1" value="102">   Philosophers</option> <option class="level-1" value="48">   Renaissance Philosophy</option> <option class="level-0" value="46">Metaphysics & Epistemology</option> <option class="level-1" value="57">   Epistemology</option> <option class="level-1" value="65">   Metaphysics</option> <option class="level-1" value="66">   Mind & Cognitive Science</option> <option class="level-1" value="67">   Philosophy of Language</option> <option class="level-1" value="70">   Philosophy of Religion</option> <option class="level-1" value="1">   Uncategorized</option> <option class="level-0" value="47">Philosophical Traditions</option> <option class="level-1" value="52">   American Philosophy</option> <option class="level-1" value="55">   Chinese Philosophy</option> <option class="level-1" value="56">   Continental Philosophy</option> <option class="level-1" value="59">   Feminist Philosophy</option> <option class="level-1" value="61">   Indian Philosophy</option> <option class="level-1" value="62">   Islamic Philosophy</option> <option class="level-1" value="100">   Tradition Misc.</option> <option class="level-0" value="74">Science, Logic, & Mathematics</option> <option class="level-1" value="63">   Logic</option> <option class="level-1" value="69">   Philosophy of Mathematics</option> <option class="level-1" value="71">   Philosophy of Science</option> <option class="level-0" value="41">Value Theory</option> <option class="level-1" value="98">   Aesthetics</option> <option class="level-1" value="54">   Bioethics</option> <option class="level-1" value="58">   Ethics</option> <option class="level-1" value="68">   Philosophy of Law</option> <option class="level-1" value="72">   Political Philosophy</option> <option class="level-1" value="101">   Value Misc.</option> </select> </form><script> (function() { var dropdown = document.getElementById( "cat" ); function onCatChange() { if ( dropdown.options[ dropdown.selectedIndex ].value > 0 ) { dropdown.parentNode.submit(); } } dropdown.onchange = onCatChange; })(); </script> </aside> </div> </div> </div> <footer id="colophon" class="site-footer" role="contentinfo"> <div class="site-info"> <a href="https://iep.utm.edu/?p=601">漏 Copyright <i>Internet Encyclopedia of Philosophy</i> and its Authors </a> | ISSN 2161-0002 </div> </footer> </div>  <script src="https://iep.utm.edu/wp-content/plugins/embed-any-document/js/pdfobject.min.js?ver=2.7.6" id="awsm-ead-pdf-object-js"></script> <script id="awsm-ead-public-js-extra"> var eadPublic = []; </script> <script src="https://iep.utm.edu/wp-content/plugins/embed-any-document/js/embed-public.min.js?ver=2.7.6" id="awsm-ead-public-js"></script> <script src="https://iep.utm.edu/wp-includes/js/dist/hooks.min.js?ver=4d63a3d491d11ffd8ac6" id="wp-hooks-js"></script> <script src="https://iep.utm.edu/wp-includes/js/dist/i18n.min.js?ver=5e580eb46a90c2b997e6" id="wp-i18n-js"></script> <script id="wp-i18n-js-after"> wp.i18n.setLocaleData( { 'text direction\u0004ltr': [ 'ltr' ] } ); wp.i18n.setLocaleData( { 'text direction\u0004ltr': [ 'ltr' ] } ); </script> <script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.7/MathJax.js?config=TeX-MML-AM_CHTML" id="mathjax-js"></script> </body> </html>