World Library  
Flag as Inappropriate
Email this Article

Self-refuting idea

Article Id: WHEBN0009287936
Reproduction Date:

Title: Self-refuting idea  
Author: World Heritage Encyclopedia
Language: English
Subject: Self-defeating prophecy, Reference desk/Archives/Science/2013 February 6, Self-evidence, Cobra effect, Bertrand Russell
Collection:
Publisher: World Heritage Encyclopedia
Publication
Date:
 

Self-refuting idea

Self-refuting ideas or self-defeating ideas are ideas or statements whose falsehood is a logical consequence of the act or situation of holding them to be true. Many ideas are called self-refuting by their detractors, and such accusations are therefore almost always controversial, with defenders stating that the idea is being misunderstood or that the argument is invalid. For these reasons, none of the ideas below are unambiguously or incontrovertibly self-refuting. These ideas are often used as axioms, which are definitions taken to be true (tautological assumptions), and cannot be used to test themselves, for doing so would lead to only two consequences: consistency (circular reasoning) or exception (self contradiction). It is important to know that the conclusion of an argument that is self-refuting is not necessarily false, since it could be supported by another, more valid, argument.

Variations

Directly self-denying statements

The Epimenides paradox is a statement of the form "this statement is false". Such statements troubled philosophers, especially when there was a serious attempt to formalize the foundations of logic. Bertrand Russell developed his "Theory of Types" to formalize a set of rules that would prevent such statements (more formally Russell's paradox) being made in symbolic logic.[1] This work has led to the modern formulation of axiomatic set theory. While Russell's formalization did not contain such paradoxes, Kurt Gödel showed that it must contain independent statements. Any logical system that is rich enough to contain elementary arithmetic contains at least one proposition whose interpretation is this proposition is unprovable (from within the logical system concerned), and hence no such system can be both complete and consistent.

Indirectly self-denying statements or "fallacy of the stolen concept"

Objectivists define the fallacy of the stolen concept: the act of using a concept while ignoring, contradicting or denying the validity of the concepts on which it logically and genetically depends. An example of the stolen concept fallacy is anarchist Pierre-Joseph Proudhon's statement, "All property is theft".

While discussing the hierarchical nature of knowledge, Nathaniel Branden states, "Theft" is a concept that logically and genetically depends on the antecedent concept of "rightfully owned property"—and refers to the act of taking that property without the owner's consent. If no property is rightfully owned, that is, if nothing is property, there can be no such concept as "theft." Thus, the statement "All property is theft" has an internal contradiction: to use the concept "theft" while denying the validity of the concept of "property," is to use "theft" as a concept to which one has no logical right—that is, as a stolen concept.[2]

Others have said the statement is fallacious only on a superficial reading of Proudhon, devoid of context. Proudhon used the term "property" with reference to claimed ownership in land, factories, etc. He believed such claims were illegitimate, and thus a form of theft from the commons.[3] Proudhon explicitly states that the phrase "property is theft" is analogous to the phrase "slavery is murder". According to Proudhon, the slave, though biologically alive, is clearly in a sense "murdered". The "theft" in his terminology does not refer to ownership any more than the "murder" refers directly to physiological death, but rather both are meant as terms to represent a denial of specific rights.[4] Others point out that the difference between the two examples is that "slavery is murder," unlike "property is theft," does not make a statement that denies the validity of one of the concepts it utilizes. We should note as well that Proudhon does not actually say all property is theft—he is referring to a very specific kind of property rights. Proudhon favored another kind, which he called possession, based on occupancy and use, a sort of usufruct rights idea. In What is Property? he therefore says with the apparent contradiction "property is theft" to denote one sort he feels is this, "property is liberty", referring to the kind he favored, and "property is impossible" to make it clear any sort of property rights cannot be absolute. Separate concepts are therefore laid out in a way that can be confusing, especially if one is not familiar with them.

In logic

Self-refutation plays an important role in some inconsistency tolerant logics (e.g. paraconsistent logics and direct logic[5]) that lack proof by contradiction. For example, the negation of a proposition can be proved by showing that the proposition implies its own negation. Likewise, it can be inferred that a proposition cannot be proved by (1) showing that a proof would imply the negation of the proposition or by (2) showing a proof would imply that the negation of the proposition can be proved.

Examples

Brain in a vat

Brain in a vat is a thought experiment in philosophy which is premised upon the skeptical hypothesis that one could actually be a brain in a vat receiving electrical input identical to that which would be coming from the nervous system. Similar premises are found in Descartes's evil demon and dream argument. Philosopher Hilary Putnam argues that some versions of the thought experiment would be inconsistent due to semantic externalism. For a brain in a vat that had only ever experienced the simulated world, the statement "I'm not a brain in a vat" is true. The only possible brains and vats it could be referring to are simulated, and it is true that it is not a simulated brain in a simulated vat. By the same argument, saying "I'm a brain in a vat" would be false.[6]

Determinism

It has been argued, particularly by Christian apologists, that to call determinism a rational statement is doubly self-defeating.[7]

  1. To count as rational, a belief must be freely chosen, which according to the determinist is impossible
  2. Any kind of debate seems to be posited on the idea that the parties involved are trying to change each other's minds.

The argument does not succeed against the compatibilistic view, since in the latter there is no conflict between determinism and free will. Moreover, the argument fails if one denies either of the above or its implicit implications. That is, one could avoid the argument by maintaining that free will is not required for rationality or for trying to change one's mind. The latter is a sensible position insofar as one could be determined to try to persuade someone of something, and the listener could be determined to accept it. There is no internal contradiction in that view.

One can also consider a deterministic computer algorithm which is able to make a correct conclusion, such as a mathematical calculation or fingerprint identification. However, on some notions of "rationality", such programs are themselves not rational because they simply follow a certain deterministic pre-programmed path and nothing more. This does not apply if one takes on a position with regards to rationality analogous to compatibilism, namely, one could simply view rationality as the property of correctly executing the laws of logic, in which case there simply is no contradiction with determinism. The contradiction would arise if one defines "rationality" in a manner that is incompatiblist. Some argue that machines cannot "think", and if rationality is defined so that it requires human-like thought, this might pose a problem. But the view that machines cannot "think" in principle is rejected by most philosophers who accept a computational theory of mind.

Ethical egoism

It has been argued that extreme ethical egoism is self-defeating. Faced with a situation of limited resources, egoists would consume as much of the resource as they could, making the overall situation worse for everybody. Egoists may rejoin that if the situation becomes worse for everybody, that would include the egoist, so it is not in fact in his or her rational self-interest to take things to such extremes.[8] However, the (unregulated) tragedy of the commons and the (one off) prisoner's dilemma are cases in which on the one hand it is rational for an individual to seek to take as much as possible even though that makes things worse for everybody, and on the other hand those cases are not self-refuting since that behaviour remains rational even though it is ultimately self-defeating, i.e. self-defeating does not imply self-refuting. A tragedy of the commons, however, assumes some degree of public land. That is, a commons forbidding homesteading requires regulation. Thus, an argument against the tragedy of the commons is fundamentally an argument for private property rights and the system that recognizes both property rights and rational self-interest—capitalism.[9] A prisoner's dilemma assumes a zero-sum game imposed by a warden, which is not part of the everyday life of nearly all of humanity—especially people living in rights-respecting capitalism. More generally, an increasing respect for individual rights uniquely allows for increasing wealth creation and increasing usable resources despite a fixed amount of raw materials (e.g. the West pre-1776 versus post-1776, East versus West Germany, Hong Kong versus mainland China, North versus South Korea, etc.).[10]

Eliminative materialism

The philosopher Mary Midgley states that the idea that nothing exists except matter is also self-refuting because if it were true neither it, nor any other idea, would exist, and similarly that an argument to that effect would be self-refuting because it would deny its own existence.[11] Several other philosophers argue that eliminative materialism is self-refuting.[12][13][14]

However, other forms of materialism may escape this kind of argument because, rather than eliminating the mental, they seek to identify it with, or reduce it to, the material.[15] For instance, identity theorists such as J. J. C. Smart, Ullin Place and E. G. Boring state that ideas exist materially as patterns of neural structure and activity.[16][17] Christian apologist J.P. Moreland states that such arguments are based on semantics.[18]

Epimenides paradox

The first notable self-refuting idea is the Epimenides paradox, a statement attributed to Epimenides, a Cretan philosopher, that "All Cretans are liars". If interpreted as meaning "no Cretan ever speaks the truth," this cannot be true if uttered by a Cretan.

A more common example is the self-refuting statement "I am lying" (because the first statement allows the possibility "some Cretans do not speak the truth," the speaker being one of them). The second statement has no third alternative—the speaker's statement is either true or false.

Evolutionary naturalism

Alvin Plantinga argues in his evolutionary argument against naturalism that the combination of naturalism and evolution is "in a certain interesting way self-defeating" because if it were true there would be insufficient grounds to believe that human cognitive faculties are reliable.[19] Consequently, if human cognitive abilities are unreliable, then any human construct, which by implication utilizes cognitive faculties, such as evolutionary theory, would be undermined. In this particular case, it is the confluence of evolutionary theory and naturalism that, according to the argument, undermine the reason for believing themselves to be true. Since Plantinga originally formulated the argument, a few theistic philosophers and Christian apologists have agreed.[20]require('Module:No globals')

local p = {}

-- articles in which traditional Chinese preceeds simplified Chinese local t1st = { ["228 Incident"] = true, ["Chinese calendar"] = true, ["Lippo Centre, Hong Kong"] = true, ["Republic of China"] = true, ["Republic of China at the 1924 Summer Olympics"] = true, ["Taiwan"] = true, ["Taiwan (island)"] = true, ["Taiwan Province"] = true, ["Wei Boyang"] = true, }

-- the labels for each part local labels = { ["c"] = "Chinese", ["s"] = "simplified Chinese", ["t"] = "traditional Chinese", ["p"] = "pinyin", ["tp"] = "Tongyong Pinyin", ["w"] = "Wade–Giles", ["j"] = "Jyutping", ["cy"] = "Cantonese Yale", ["poj"] = "Pe̍h-ōe-jī", ["zhu"] = "Zhuyin Fuhao", ["l"] = "literally", }

-- article titles for wikilinks for each part local wlinks = { ["c"] = "Chinese language", ["s"] = "simplified Chinese characters", ["t"] = "traditional Chinese characters", ["p"] = "pinyin", ["tp"] = "Tongyong Pinyin", ["w"] = "Wade–Giles", ["j"] = "Jyutping", ["cy"] = "Yale romanization of Cantonese", ["poj"] = "Pe̍h-ōe-jī", ["zhu"] = "Bopomofo", }

-- for those parts which are to be treated as languages their ISO code local ISOlang = { ["c"] = "zh", ["t"] = "zh-Hant", ["s"] = "zh-Hans", ["p"] = "zh-Latn-pinyin", ["tp"] = "zh-Latn", ["w"] = "zh-Latn-wadegile", ["j"] = "yue-jyutping", ["cy"] = "yue", ["poj"] = "hak", ["zhu"] = "zh-Bopo", }

local italic = { ["p"] = true, ["tp"] = true, ["w"] = true, ["j"] = true, ["cy"] = true, ["poj"] = true, } -- Categories for different kinds of Chinese text local cats = { ["c"] = "", ["s"] = "", ["t"] = "", }

function p.Zh(frame) -- load arguments module to simplify handling of args local getArgs = require('Module:Arguments').getArgs local args = getArgs(frame) return p._Zh(args) end function p._Zh(args) local uselinks = not (args["links"] == "no") -- whether to add links local uselabels = not (args["labels"] == "no") -- whether to have labels local capfirst = args["scase"] ~= nil

        local t1 = false -- whether traditional Chinese characters go first
        local j1 = false -- whether Cantonese Romanisations go first
        local testChar
        if (args["first"]) then
                 for testChar in mw.ustring.gmatch(args["first"], "%a+") do
          if (testChar == "t") then
           t1 = true
           end
          if (testChar == "j") then
           j1 = true
           end
         end
        end
        if (t1 == false) then
         local title = mw.title.getCurrentTitle()
         t1 = t1st[title.text] == true
        end

-- based on setting/preference specify order local orderlist = {"c", "s", "t", "p", "tp", "w", "j", "cy", "poj", "zhu", "l"} if (t1) then orderlist[2] = "t" orderlist[3] = "s" end if (j1) then orderlist[4] = "j" orderlist[5] = "cy" orderlist[6] = "p" orderlist[7] = "tp" orderlist[8] = "w" end -- rename rules. Rules to change parameters and labels based on other parameters if args["hp"] then -- hp an alias for p ([hanyu] pinyin) args["p"] = args["hp"] end if args["tp"] then -- if also Tongyu pinyin use full name for Hanyu pinyin labels["p"] = "Hanyu Pinyin" end if (args["s"] and args["s"] == args["t"]) then -- Treat simplified + traditional as Chinese if they're the same args["c"] = args["s"] args["s"] = nil args["t"] = nil elseif (not (args["s"] and args["t"])) then -- use short label if only one of simplified and traditional labels["s"] = labels["c"] labels["t"] = labels["c"] end local body = "" -- the output string local params -- for creating HTML spans local label -- the label, i.e. the bit preceeding the supplied text local val -- the supplied text -- go through all possible fields in loop, adding them to the output for i, part in ipairs(orderlist) do if (args[part]) then -- build label label = "" if (uselabels) then label = labels[part] if (capfirst) then label = mw.language.getContentLanguage():ucfirst([21] There has also been a considerable backlash of papers arguing that the argument is flawed in a number of ways, one of the more recent ones published in 2011 by Feng Ye[22] (see also the references in the Evolutionary argument against naturalism article).

Foundationalism

The philosopher Anthony Kenny argues that the idea, "common to theists like Aquinas and Descartes and to an atheist like Russell" that "Rational belief [is] either self-evident or based directly or indirectly on what is evident" (which he termed "foundationalism" following Plantinga) is self-refuting on the basis that this idea is itself neither self-evident nor based directly or indirectly on what is evident and that the same applies to other formulations of such foundationalism.[23] However, the self-evident impossibility of infinite regress can be offered as a justification for foundationalism.[24] Following the identification of problems with "naive foundationalism", the term is now often used to focus on incorrigible beliefs (modern foundationalism), or basic beliefs (reformed foundationalism).

Philosophical skepticism

Philosophical skeptics state that "nothing can be known."[25] This has caused wonder as to whether that statement itself be known, or be self-refuting.[26] One very old response to this problem is academic skepticism:[27] an exception is made for the skeptic's own statement. This leads to further debate about consistency and special pleading. Another response is to accept that nothing can be known cannot itself be known, so that it is not known whether anything is knowable or not. This is Pyrrhonic skepticism. However, the issue can be pressed further. To state that nothing can be known is itself unknowable, is to state that it is a fact that nothing can be known is unknowable. This admits at least one form of knowledge, and the metaphysical proposition I can discern truth. It is therefore self-refuting; only justified through an infinite regress of not knowing knowledge claims and not knowing that one can know them ad infinitum.

Relativism

It is often stated that relativism about truth must be applied to itself.[28][29] The cruder form of the argument concludes that since the relativist is calling relativism an absolute truth, it leads to a contradiction. Relativists often rejoin that in fact relativism is only relatively true, leading to a subtler problem: the absolutist, the relativist's opponent, is perfectly entitled, by the relativist's own standards, to reject relativism. That is, the relativist's arguments can have no normative force over someone who has different basic beliefs.[30]

Solipsism

On the face of it, a statement of solipsism is — at least performatively — self-defeating, because a statement assumes another person to whom the statement is made. (That is to say, an unexpressed private belief in solipsism is not self-refuting). This, of course, assumes the solipsist would not communicate with a hallucination, even if just for self-amusement.

One response is that the solipsist's interlocutor is in fact a figment of their imagination, but since their interlocutor knows they are not, they are not going to be convinced.[31]

Verification- and falsification-principles

The statements "statements are meaningless unless they can be empirically verified" and "statements are meaningless unless they can be empirically falsified" have both been called self-refuting on the basis that they can neither be empirically verified nor falsified.[32] Similar arguments have been made for statements such as "no statements are true unless they can be shown empirically to be true," which was a problem for logical positivism.[33]

Wittgenstein's Tractatus

The Tractatus Logico-Philosophicus is an unusual example of a self-refuting argument, in that Ludwig Wittgenstein explicitly admits to the issue at the end of the work:

My propositions are elucidatory in this way: he who understands me finally recognizes them as senseless, when he has climbed out through them, on them, over them. (He must so to speak throw away the ladder, after he has climbed up on it.) (6.54)

However, this idea can be solved in the sense that, even if the argument itself is self-refuting, the effects of the argument elicit understandings that go beyond the argument itself. Søren Kierkegaard describes it as such:

[The reader] can understand that the understanding is a revocation--the understanding with him as the sole reader is indeed the revocation of the book. He can understand that to write a book and to revoke it is not the same as refraining from writing it, that to write a book that does not demand to be important for anyone is still not the same as letting it be unwritten.

See also

References


-- Module:Hatnote -- -- -- -- This module produces hatnote links and links to related articles. It -- -- implements the and meta-templates and includes -- -- helper functions for other Lua hatnote modules. --


local libraryUtil = require('libraryUtil') local checkType = libraryUtil.checkType local mArguments -- lazily initialise Module:Arguments local yesno -- lazily initialise Module:Yesno

local p = {}


-- Helper functions


local function getArgs(frame) -- Fetches the arguments from the parent frame. Whitespace is trimmed and -- blanks are removed. mArguments = require('Module:Arguments') return mArguments.getArgs(frame, {parentOnly = true}) end

local function removeInitialColon(s) -- Removes the initial colon from a string, if present. return s:match('^:?(.*)') end

function p.findNamespaceId(link, removeColon) -- Finds the namespace id (namespace number) of a link or a pagename. This -- function will not work if the link is enclosed in double brackets. Colons -- are trimmed from the start of the link by default. To skip colon -- trimming, set the removeColon parameter to true. checkType('findNamespaceId', 1, link, 'string') checkType('findNamespaceId', 2, removeColon, 'boolean', true) if removeColon ~= false then link = removeInitialColon(link) end local namespace = link:match('^(.-):') if namespace then local nsTable = mw.site.namespaces[namespace] if nsTable then return nsTable.id end end return 0 end

function p.formatPages(...) -- Formats a list of pages using formatLink and returns it as an array. Nil -- values are not allowed. local pages = {...} local ret = {} for i, page in ipairs(pages) do ret[i] = p._formatLink(page) end return ret end

function p.formatPageTables(...) -- Takes a list of page/display tables and returns it as a list of -- formatted links. Nil values are not allowed. local pages = {...} local links = {} for i, t in ipairs(pages) do checkType('formatPageTables', i, t, 'table') local link = t[1] local display = t[2] links[i] = p._formatLink(link, display) end return links end

function p.makeWikitextError(msg, helpLink, addTrackingCategory) -- Formats an error message to be returned to wikitext. If -- addTrackingCategory is not false after being returned from -- Module:Yesno, and if we are not on a talk page, a tracking category -- is added. checkType('makeWikitextError', 1, msg, 'string') checkType('makeWikitextError', 2, helpLink, 'string', true) yesno = require('Module:Yesno') local title = mw.title.getCurrentTitle() -- Make the help link text. local helpText if helpLink then helpText = ' (help)' else helpText = end -- Make the category text. local category if not title.isTalkPage and yesno(addTrackingCategory) ~= false then category = 'Hatnote templates with errors' category = string.format( '%s:%s', mw.site.namespaces[14].name, category ) else category = end return string.format( '%s', msg, helpText, category ) end


-- Format link -- -- Makes a wikilink from the given link and display values. Links are escaped -- with colons if necessary, and links to sections are detected and displayed -- with " § " as a separator rather than the standard MediaWiki "#". Used in -- the template.


function p.formatLink(frame) local args = getArgs(frame) local link = args[1] local display = args[2] if not link then return p.makeWikitextError( 'no link specified', 'Template:Format hatnote link#Errors', args.category ) end return p._formatLink(link, display) end

function p._formatLink(link, display) -- Find whether we need to use the colon trick or not. We need to use the -- colon trick for categories and files, as otherwise category links -- categorise the page and file links display the file. checkType('_formatLink', 1, link, 'string') checkType('_formatLink', 2, display, 'string', true) link = removeInitialColon(link) local namespace = p.findNamespaceId(link, false) local colon if namespace == 6 or namespace == 14 then colon = ':' else colon = end -- Find whether a faux display value has been added with the | magic -- word. if not display then local prePipe, postPipe = link:match('^(.-)|(.*)$') link = prePipe or link display = postPipe end -- Find the display value. if not display then local page, section = link:match('^(.-)#(.*)$') if page then display = page .. ' § ' .. section end end -- Assemble the link. if display then return string.format('%s', colon, link, display) else return string.format('%s%s', colon, link) end end


-- Hatnote -- -- Produces standard hatnote text. Implements the template.


function p.hatnote(frame) local args = getArgs(frame) local s = args[1] local options = {} if not s then return p.makeWikitextError( 'no text specified', 'Template:Hatnote#Errors', args.category ) end options.extraclasses = args.extraclasses options.selfref = args.selfref return p._hatnote(s, options) end

function p._hatnote(s, options) checkType('_hatnote', 1, s, 'string') checkType('_hatnote', 2, options, 'table', true) local classes = {'hatnote'} local extraclasses = options.extraclasses local selfref = options.selfref if type(extraclasses) == 'string' then classes[#classes + 1] = extraclasses end if selfref then classes[#classes + 1] = 'selfref' end return string.format( '
%s
', table.concat(classes, ' '), s )

end

return p-------------------------------------------------------------------------------- -- Module:Hatnote -- -- -- -- This module produces hatnote links and links to related articles. It -- -- implements the and meta-templates and includes -- -- helper functions for other Lua hatnote modules. --


local libraryUtil = require('libraryUtil') local checkType = libraryUtil.checkType local mArguments -- lazily initialise Module:Arguments local yesno -- lazily initialise Module:Yesno

local p = {}


-- Helper functions


local function getArgs(frame) -- Fetches the arguments from the parent frame. Whitespace is trimmed and -- blanks are removed. mArguments = require('Module:Arguments') return mArguments.getArgs(frame, {parentOnly = true}) end

local function removeInitialColon(s) -- Removes the initial colon from a string, if present. return s:match('^:?(.*)') end

function p.findNamespaceId(link, removeColon) -- Finds the namespace id (namespace number) of a link or a pagename. This -- function will not work if the link is enclosed in double brackets. Colons -- are trimmed from the start of the link by default. To skip colon -- trimming, set the removeColon parameter to true. checkType('findNamespaceId', 1, link, 'string') checkType('findNamespaceId', 2, removeColon, 'boolean', true) if removeColon ~= false then link = removeInitialColon(link) end local namespace = link:match('^(.-):') if namespace then local nsTable = mw.site.namespaces[namespace] if nsTable then return nsTable.id end end return 0 end

function p.formatPages(...) -- Formats a list of pages using formatLink and returns it as an array. Nil -- values are not allowed. local pages = {...} local ret = {} for i, page in ipairs(pages) do ret[i] = p._formatLink(page) end return ret end

function p.formatPageTables(...) -- Takes a list of page/display tables and returns it as a list of -- formatted links. Nil values are not allowed. local pages = {...} local links = {} for i, t in ipairs(pages) do checkType('formatPageTables', i, t, 'table') local link = t[1] local display = t[2] links[i] = p._formatLink(link, display) end return links end

function p.makeWikitextError(msg, helpLink, addTrackingCategory) -- Formats an error message to be returned to wikitext. If -- addTrackingCategory is not false after being returned from -- Module:Yesno, and if we are not on a talk page, a tracking category -- is added. checkType('makeWikitextError', 1, msg, 'string') checkType('makeWikitextError', 2, helpLink, 'string', true) yesno = require('Module:Yesno') local title = mw.title.getCurrentTitle() -- Make the help link text. local helpText if helpLink then helpText = ' (help)' else helpText = end -- Make the category text. local category if not title.isTalkPage and yesno(addTrackingCategory) ~= false then category = 'Hatnote templates with errors' category = string.format( '%s:%s', mw.site.namespaces[14].name, category ) else category = end return string.format( '%s', msg, helpText, category ) end


-- Format link -- -- Makes a wikilink from the given link and display values. Links are escaped -- with colons if necessary, and links to sections are detected and displayed -- with " § " as a separator rather than the standard MediaWiki "#". Used in -- the template.


function p.formatLink(frame) local args = getArgs(frame) local link = args[1] local display = args[2] if not link then return p.makeWikitextError( 'no link specified', 'Template:Format hatnote link#Errors', args.category ) end return p._formatLink(link, display) end

function p._formatLink(link, display) -- Find whether we need to use the colon trick or not. We need to use the -- colon trick for categories and files, as otherwise category links -- categorise the page and file links display the file. checkType('_formatLink', 1, link, 'string') checkType('_formatLink', 2, display, 'string', true) link = removeInitialColon(link) local namespace = p.findNamespaceId(link, false) local colon if namespace == 6 or namespace == 14 then colon = ':' else colon = end -- Find whether a faux display value has been added with the | magic -- word. if not display then local prePipe, postPipe = link:match('^(.-)|(.*)$') link = prePipe or link display = postPipe end -- Find the display value. if not display then local page, section = link:match('^(.-)#(.*)$') if page then display = page .. ' § ' .. section end end -- Assemble the link. if display then return string.format('%s', colon, link, display) else return string.format('%s%s', colon, link) end end


-- Hatnote -- -- Produces standard hatnote text. Implements the template.


function p.hatnote(frame) local args = getArgs(frame) local s = args[1] local options = {} if not s then return p.makeWikitextError( 'no text specified', 'Template:Hatnote#Errors', args.category ) end options.extraclasses = args.extraclasses options.selfref = args.selfref return p._hatnote(s, options) end

function p._hatnote(s, options) checkType('_hatnote', 1, s, 'string') checkType('_hatnote', 2, options, 'table', true) local classes = {'hatnote'} local extraclasses = options.extraclasses local selfref = options.selfref if type(extraclasses) == 'string' then classes[#classes + 1] = extraclasses end if selfref then classes[#classes + 1] = 'selfref' end return string.format( '
%s
', table.concat(classes, ' '), s )

end

return p
  1. ^ Russell B, Whitehead A.N., Principia Mathematica
  2. ^ The Stolen Concept by Nathaniel Branden - originally published in The Objectivist Newsletter in January 1963.
  3. ^ Performative Contradictions and Subtle MisunderstandingsRockwell, L.
  4. ^ http://www.marxists.org/reference/subject/economics/proudhon/property/ch01.htm
  5. ^ Hewitt, C. “Large-scale Organizational Computing requires Unstratified Reflection and Strong Paraconsistency” Coordination, Organizations, Institutions, and Norms in Agent Systems III Jaime Sichman, Pablo Noriega, Julian Padget and Sascha Ossowski (ed.). Springer-Verlag. 2008.
  6. ^ Brains in a vat, Reason, Truth, and History ch. 1, Hilary Putnam
  7. ^
  8. ^ "Ethics" Britannica
  9. ^
  10. ^
  11. ^ see Mary Midgley The Myths we Live by
  12. ^
  13. ^
  14. ^ And
  15. ^
  16. ^
  17. ^
  18. ^ Moreland, J.P., The Recalcitrant Imago Dei: Human Persons and the Failure of Naturalism
  19. ^ Alvin Plantinga in Naturalism Defeated?, Ed. James Beilby Cornell University Press, 2002
  20. ^ John Polkinghorne is an example of a scientist-theologian who is supportive of Plantinga's position
  21. ^ Richard Swimburne is a philosopher that supports and utilizes Plantinga's argument effectively in his book "The Existence of God"
  22. ^ http:/s.google.com/fengye63/naturalizedtruthandplantinga
  23. ^ This particular chapter is based on a 1982 lecture which may explain the shift in the meaning of the term "foundationalism" since then
  24. ^ Stanford Encyclopedia of Philosophy on foundationalism
  25. ^ The Gallilean Library
  26. ^ Classical SkepticismSuber, P.
  27. ^ Internet Encyclopedia of Philosophy
  28. ^ , Internet Encyclopedia of PhilosophyCognitive Relativism
  29. ^ The problem of self-refutation is quite general. It arises whether truth is relativized to a framework of concepts, of beliefs, of standards, of practices.Stanford Encyclopedia of Philosophy
  30. ^ "If truth is relative, then non-relativist points of view can legitimately claim to be true relative to some standpoints." On the Motivations for RelativismWestacott, E.
  31. ^
  32. ^ See e.g. the discussion by
  33. ^ see e.g. Keith Ward, Is Religion Dangerous?
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 



Copyright © World Library Foundation. All rights reserved. eBooks from National Public Library are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.