{"id":13231,"date":"2025-09-07T13:16:36","date_gmt":"2025-09-07T20:16:36","guid":{"rendered":"https:\/\/maverickphilosopher.blog\/?p=13231"},"modified":"2025-09-07T13:16:36","modified_gmt":"2025-09-07T20:16:36","slug":"a-point-of-logic","status":"publish","type":"post","link":"https:\/\/maverickphilosopher.blog\/index.php\/2025\/09\/07\/a-point-of-logic\/","title":{"rendered":"A Point of Logic"},"content":{"rendered":"<p>Jouni Lappi, having read the <a href=\"https:\/\/open.substack.com\/pub\/williamfvallicella\/p\/heidegger-carnap-and-das-nichts?r=f3tzc&amp;utm_campaign=post&amp;utm_medium=web&amp;showWelcomeOnShare=true\">Substack article<\/a> on Heidegger and Carnap, writes:<\/p>\n<blockquote>\n<div>One thing I cannot get my head around is this part:<\/div>\n<div><\/div>\n<div>\u2019Nothing is F&#8217; =&gt; \u2019Everything is not F\u2019<\/div>\n<\/blockquote>\n<div>\n<blockquote>\n<div>Maybe there is some syntactic agreement behind the \u2019Everything is not F\u2019, that I do not understand. In my layman ears it sounds strange and wrong. I would understand \u2019it is true for every thing, that it is not F\u2019. Say in my universe there is A, B and F.<\/div>\n<div><\/div>\n<div>\u2019Nothing is F\u2019 is false, \u2019Everything is not F\u2019 is true.<\/div>\n<div><\/div>\n<div>This is probably some newbie error in thinking. And especially because of that, \u00a0I would appreciate if you could explain this to me and point out where I think wrong.<\/div>\n<\/blockquote>\n<div><span style=\"font-size: 14pt;\">First of all, what you express as a conditional is really a biconditional. Thus<\/span><\/div>\n<\/div>\n<div><\/div>\n<div><span style=\"font-size: 14pt;\">1) Nothing is F &lt;=&gt; Everything is not F.\u00a0<\/span><\/div>\n<div><\/div>\n<div><span style=\"font-size: 14pt;\">Bear in mind that &#8216;F&#8217; is a predicate. If it names anything, it names a property, not an individual. (Properties, by definition, are instantiable items; individuals are not.)\u00a0 So an instance of (1) is\u00a0<\/span><\/div>\n<div><\/div>\n<div><span style=\"font-size: 14pt;\">2)\u00a0 Nothing is fragile if and only if everything is not fragile.\u00a0\u00a0<\/span><\/div>\n<div><\/div>\n<div><span style=\"font-size: 14pt;\">Surely (2) is true; indeed it is necessarily true.\u00a0 In a universe U in which there are exactly two individuals, <em>a<\/em> and <em>b<\/em>, and one property F-ness, if neither <em>a<\/em> nor <em>b<\/em> instantiates F-ness, then every\/each\u00a0 individual in U does not instantiate F-ness, and vice versa.\u00a0<\/span><\/div>\n<div><\/div>\n<div><span style=\"font-size: 14pt;\">Are you perhaps\u00a0 confusing individuals and properties?\u00a0 Or perhaps you do not appreciate that &#8216;everything&#8217; is being used above as a distributive, not a collective term? &#8216;Everything&#8217; means each thing; it does not mean the collection of things.\u00a0\u00a0<\/span><\/div>\n","protected":false},"excerpt":{"rendered":"<p>Jouni Lappi, having read the Substack article on Heidegger and Carnap, writes: One thing I cannot get my head around is this part: \u2019Nothing is F&#8217; =&gt; \u2019Everything is not F\u2019 Maybe there is some syntactic agreement behind the \u2019Everything is not F\u2019, that I do not understand. In my layman ears it sounds strange &hellip; <a href=\"https:\/\/maverickphilosopher.blog\/index.php\/2025\/09\/07\/a-point-of-logic\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;A Point of Logic&#8221;<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[408,108],"tags":[],"class_list":["post-13231","post","type-post","status-publish","format-standard","hentry","category-language-philosophy-of","category-logica-docens"],"_links":{"self":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts\/13231","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/comments?post=13231"}],"version-history":[{"count":2,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts\/13231\/revisions"}],"predecessor-version":[{"id":13233,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts\/13231\/revisions\/13233"}],"wp:attachment":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/media?parent=13231"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/categories?post=13231"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/tags?post=13231"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}