Theories of Truth, Misc

This paper decomposes the Liar Paradox into its semantic atoms using Meaning Postulates (1952) provided by Rudolf Carnap. Formalizing truth values of propositions as Boolean properties of these propositions is a key new insight. This new insight divides the translation of a declarative sentence into its equivalent mathematical proposition into three separate steps. When each of these steps are separately examined the logical error of the Liar Paradox is unequivocally shown.

Assuming the absolute nothingness as the most basic object of thought, I present a way to refer to this object, by reducing it onto a primitive object that supersedes and comes right after the absolute nothingness. The new primitive object that is constructed can be regarded as a formal system that can generate some infinite variety of symbols. [The PDF here is outdated, for a recent draft please contact me.].

Strong non-maximalism holds that some truths require no ontological ground of any sort. Strong non-maximalism allows one to accept that some propositions are true without being forced to endorse any corresponding ontological commitments. We show that there is a version of truthmaker theory available—anti-aboutness truthmaking—that enjoys the dialectical benefits of the strong non-maximalist’s position. According to anti-aboutness truthmaking, all truths require grounds, but a proposition need not be grounded in the very thing(s) that the proposition is about. We argue that (...) if strong non-maximalism can be defended, then so can anti-aboutness truthmaking on the very same basis; one can enjoy the benefits of strong non-maximalism without giving up on the idea that truth is always grounded in being. (shrink)

The concept of truth and competing philosophical theories on what truth amounts to have an important place in contemporary philosophy. The aim of this chapter is to give a synopsis of different theories of truth and the particular philosophical issues related to the concept of truth. The literature on this topic is vast, and we must necessarily be rather selective and very brief about complex questions of interpretation of various philosophers. The focus of the chapter is mainly on selected systematic (...) issues and the most influential and well-established philosophical theories and key concepts. (shrink)

In this article, we will present a number of technical results concerning Classical Logic, ST and related systems. Our main contribution consists in offering a novel identity criterion for logics in general and, therefore, for Classical Logic. In particular, we will firstly generalize the ST phenomenon, thereby obtaining a recursively defined hierarchy of strict-tolerant systems. Secondly, we will prove that the logics in this hierarchy are progressively more classical, although not entirely classical. We will claim that a logic is to (...) be identified with an infinite sequence of consequence relations holding between increasingly complex relata: formulae, inferences, metainferences, and so on. As a result, the present proposal allows not only to differentiate Classical Logic from ST, but also from other systems sharing with it their valid metainferences. Finally, we show how these results have interesting consequences for some topics in the philosophical logic literature, among them for the debate around Logical Pluralism. The reason being that the discussion concerning this topic is usually carried out employing a rivalry criterion for logics that will need to be modified in light of the present investigation, according to which two logics can be non-identical even if they share the same valid inferences. (shrink)

In texts such as “Richard Rorty’s Pragmatic Turn” Jürgen Habermas defends a theory that associates, on the one hand, the truth-claim raised by a speaker for a proposition p with, on the other hand, the requirement that p be “defendable on the basis of good reasons […] at any time and against anybody”. This, as is known, has been the target of criticisms by Rorty, who−in spite of agreeing with Habermas on the central tenet that the way of evaluating our (...) beliefs must be argumentative practice−declares that the only “ideal presupposed by discourse” is “that of being able to justify your beliefs to a competent audience”. We will consider two texts from 1971 -surprisingly neglected in most approaches to the debate- in which Habermas did include such a “competence condition” to elucidate the notion of truth. We will discuss whether there are good reasons to relinquish such a condition and to refer, instead, only to the formal or procedural properties of argumentative exchanges, as Habermas does in presenting the notion of “ideal speech situation”. As we will try to argue, there are no such good reasons. (shrink)

我的论点是，这里突出的故意表（理性、思想、思想、语言、个性等）或多或少地准确地描述了我们思考和行为的方式，因此它不包括仅仅是哲学和心理学，但一切（历史，文学，数学，政治等）。特别要注意，故意和理性，因 为我（连同西尔，维特根斯坦和其他人）认为它，包括有意识的审议语言系统2和无意识的自动前语言系统1的动作或反射。 我提供了一个关键的调查，两个最杰出的学生的行为在现代的一些主要发现， 路德维希·维特根斯坦和约翰·西尔，关于故意的逻辑结构（思想、语言、行为），以维特根斯坦的基本发现为出发点——所有真正的"哲学"问题都是一样的——关于在特定上下文中使用语言的困惑，因 此所有解决方案都是相同的——研究如何在问题语境中使用语言，使其真理条件（满意条件或 COS） 是明确的。基本问题是，一个人可以说什么，但一个人不能意味着（状态明确的COS）任何任意的话语和意义只有在非常具体的上下文中才可能。我从现代两种思想体系（被推广为"思维快，思维慢"） 的角度分析各种著作，采用新的意向表和新的双系统命名法。我表明，这是一个强大的启发式描述行为。 因此，如果一个人采取正确的观点，所有行为都是密切相关的。现象幻象（遗忘我们的自动化系统1）是通用的，不仅延伸到整个哲学，而且贯穿整个生命。我确信，如果乔姆斯基、奥巴马、扎克伯格和教皇被告知他们患有与黑 格尔、胡塞尔和海德格尔同样的问题，他们将会难以置信（或者，他们只与毒品和性瘾君子在程度上有所不同，他们的动机是通过心室和核积体来刺激他们的前皮质（和其他100种化学品），这显然是事实。虽然现象学家只浪 费了很多人的时间，但他们却在浪费地球和他们后代的未来。 .

We show that any coherent complete partial order is obtainable as the fixed-point poset of the strong Kleene jump of a suitably chosen first-order ground model. This is a strengthening of Visser’s result that any finite ccpo is obtainable in this way. The same is true for the van Fraassen supervaluation jump, but not for the weak Kleene jump.

The topic of truth has long been thought to be connected to scientific realism and its opposition. In this essay, I discuss the various ways that truth might be related to realism. First, I consider how truth might be of use when defining scientific realism and its opposition. Second, I consider whether various stances regarding realism require specific stances on the nature of truth. I survey "neutralist" views that argue that one's stance on realism is independent of one's view on (...) truth, and partisan positions that claim that one's attitude on realism is, in part, determined by one's theory of truth. Though partisan views have been popular, and defended by seminal figures such as Thomas Kuhn, Richard Rorty, Hilary Putnam, and Arthur Fine, I raise a number of objections for them. (shrink)

Ordinary and transfinite recursion and induction and ZF set theory are used to construct from a fully interpreted object language and from an extra formula a new language. It is fully interpreted under a suitably defined interpretation. This interpretation is equivalent to the interpretation by meanings of sentences if the object language is so interpreted. The added formula provides a truth predicate for the constructed language. The so obtained theory of truth satisfies the norms presented in Hannes Leitgeb's paper 'What (...) Theories of Truth Should be Like (but Cannot be)'. (shrink)

This is part one of a two-part paper, in which we develop an axiomatic theory of the relation of partial ground. The main novelty of the paper is the of use of a binary ground predicate rather than an operator to formalize ground. This allows us to connect theories of partial ground with axiomatic theories of truth. In this part of the paper, we develop an axiomatization of the relation of partial ground over the truths of arithmetic and show that (...) the theory is a proof-theoretically conservative extension of the theory PT of positive truth. We construct models for the theory and draw some conclusions for the semantics of conceptualist ground. (shrink)

Aristotle and the classical rhetoricians conceived of metaphor as a figure of speech in which one thing is given a name or an attribute of another thing on the basis of some resemblance that exists between the two things. Wallace Stevens conceived of metaphor not as the production of pre-existing resemblances observed in nature but the “creation of resemblance by the imagination” (NA: 72). Resemblance, and not identity, according to Stevens, is the fundamental relation between the two terms of metaphor. (...) This is akin to contemporary accounts of metaphor in terms of the phenomenological or experiential seeing of one thing as another thing (Yoos 1971; Davidson 1979; Camp 2006a,b; Semino 2008; Ritchie 2013). Seeing one thing as another thing on the basis of resemblance or similarity implies that the one thing is not the other. I do two main things in this paper: one, I appraise the theoretical value of Wallace Stevens’ conception of metaphor as the creation of resemblance by the imagination; and two, I pose a challenge to the view that takes resemblance as fundamental to metaphor, arguing that in the cases I present, thinking of the relation as identity and not resemblance, concurs with our ontological commitments to the things compared in the metaphor. In the final analysis, I suggest that Stevens conception of metaphor as metamorphosis can meet the challenge: rather than thinking of the ‘is’ (identity) of metaphor as an ‘as’ (resemblance), for Stevens, the ‘as’ (resemblance) of metaphor metamorphosize into an ‘is’ (identity). (shrink)

This paper argues that truth predicates in natural language and their variants, predicates of correctness, satisfaction and validity, do not apply to propositions (not even with 'that'-clauses), but rather to a range of attitudinal and modal objects. As such natural language reflects a notion of truth that is primarily a normative notion of correctness constitutive of representational objects. The paper moreover argues that 'true' is part of a larger class of satisfaction predicates whose semantic differences are best accounted for in (...) terms of a truthmaker theory along the lines of Fine's recent truthmaker semantics. (shrink)

In On What Matters, Derek Parfit defends a new metaethical theory, which he calls non-realist cognitivism. It claims that normative judgments are beliefs; that some normative beliefs are true; that the normative concepts that are a part of the propositions that are the contents of normative beliefs are irreducible, unanalysable and of their own unique kind; and that neither the natural features of the reality nor any additional normative features of the reality make the relevant normative beliefs true. The aim (...) of this article is to argue that Parfit’s theory is problematic because its defenders have no resources to make sense of the nature of normative truth, which is an essential element of their view. I do this by showing how the traditional theories of truth are not available for the non-realist cognitivists. (shrink)

The debate about truth in Chinese philosophy raises the methodological question How to recognize "truth" in some non-Western tradition of thought? In case of Chinese philosophy it is commonly assumed that the dispute concerns a single question, but a distinction needs to be made between the property of /truth/, the concept of TRUTH, and the word *truth*. The property of /truth/ is what makes something true; the concept of TRUTH is our understanding of /truth/; and *truth*· is the word we (...) use to express that understanding. Almost all human beings over the age of 2 have the concept of TRUTH, and therefore, the question whether some tradition has the concept of TRUTH is moot, but that doesn't imply that every language has a (single) word for *truth*. Furthermore, recognizing *truth* is complicated by the conceptual neighbors of TRUTH. What distinguishes *truth* from its neighbors is disquotationality. Theories of /truth/ similarly need to be distinguished from theories about adjacent notions. If a theory is more plausibly interpreted as a theory of /justification/, then it is not a theory of /truth/. (shrink)

A minimal truthmaker for a given proposition is the smallest portion of reality which makes this proposition true. Minimal truthmakers are frequently mentioned in the literature, but there has been no systematic account of what they are or of their importance. In this article we shall clarify the notion of a minimal truthmaker and argue that there is reason to think that at least some propositions have minimal truthmakers. We shall then argue that the notion can play a useful role (...) in truthmaker theory, by helping to explain the truth of certain propositions as precisely as possible. (shrink)

Gila Sher approaches knowledge from the perspective of the basic human epistemic situation—the situation of limited yet resourceful beings, living in a complex world and aspiring to know it in its full complexity. What principles should guide them? Two fundamental principles of knowledge are epistemic friction and freedom. Knowledge must be substantially constrained by the world (friction), but without active participation of the knower in accessing the world (freedom) theoretical knowledge is impossible. This requires a grounding of all knowledge, empirical (...) and abstract, in both mind and world, but the fall of traditional foundationalism has led many to doubt the viability of this ‘classical’ project. Sher challenges this skepticism, charting a new foundational methodology, foundational holism, that differs from others in being holistic, world-oriented, and universal (i.e., applicable to all fields of knowledge). Using this methodology, Epistemic Friction develops an integrated theory of knowledge, truth, and logic. This includes (i) a dynamic model of knowledge, incorporating some of Quine’s revolutionary ideas while rejecting his narrow empiricism, (ii) a substantivist, non-traditional correspondence theory of truth, and (iii) an outline of a joint grounding of logic in mind and world. The model of knowledge subjects all disciplines to demanding norms of both veridicality and conceptualization. The correspondence theory is robust and universal yet not simplistic or naive, admitting diverse forms of correspondence. Logic’s grounding in the world brings it in line with other disciplines while preserving, and explaining, its strong formality, necessity, generality, and normativity. (shrink)

In order to make sense of Scotus’s claim that rationality is perfected only by the will, a Scotistic doctrine of truth is developed in a speculative way. It is claimed that synthetic a priori truths are truths of the will, which are existential truths. This insight holds profound theological implications and is used on the one hand to criticize Kant's conception of existence, and on the other hand, to offer another explanation of the sense according to which the existence of (...) things is grasped. (shrink)

The expression conditional fallacy identifies a family of arguments deemed to entail odd and false consequences for notions defined in terms of counterfactuals. The antirealist notion of truth is typically defined in terms of what a rational enquirer or a community of rational enquirers would believe if they were suitably informed. This notion is deemed to entail, via the conditional fallacy, odd and false propositions, for example that there necessarily exists a rational enquirer. If these consequences do indeed follow from (...) the antirealist notion of truth, alethic antirealism should probably be rejected. In this paper we analyse the conditional fallacy from a semantic (i.e. model-theoretic) point of view. This allows us to identify with precision the philosophical commitments that ground the validity of this type of argument. We show that the conditional fallacy arguments against alethic antirealism are valid only if controversial metaphysical assumptions are accepted. We suggest that the antirealist is not committed to the conditional fallacy because she is not committed to some of these assumptions. (shrink)

In this paper, we do two things. First, we provide some support for adopting a version of the meaningless strategy with respect to the liar paradox, and, second, we extend that strategy, by providing, albeit tentatively, a solution to that paradox—one that is semantic, rather than logical.

I here argue for a particular formulation of truth-deflationism, namely, the propositionally quantified formula, (Q) “For all p, <p> is true iff p”. The main argument consists of an enumeration of the other (five) possible formulations and criticisms thereof. Notably, Horwich’s Minimal Theory is found objectionable in that it cannot be accepted by finite beings. Other formulations err in not providing non-questionbegging, sufficiently direct derivations of the T-schema instances. I end by defending (Q) against various objections. In particular, I argue (...) that certain circularity charges rest on mistaken assumptions about logic that lead to Carroll’s regress. I show how the propositional quantifier can be seen as on a par with first-order quantifiers and so equally acceptable to use. While the proposed parallelism between these quantifiers is controversial in general, deflationists have special reasons to affirm it. I further argue that the main three types of approach the truth-paradoxes are open to an adherent of (Q), and that the derivation of general facts about truth can be explained on its basis. (shrink)

This paper was part of a special online issue on Truth. I critically discuss Peter Geach's paper "Truth and God".

In this paper, I discuss two concerns for pluralist truth theories: a concern about a key detail of these theories and a concern about their viability. The detail-related concern is that pluralists have relied heavily upon the notion of a domain, but it is not transparent what they take domains to be. Since the notion of a domain has been present in philosophy for some time, it is important for many theorists, not only truth pluralists, to be clear on what (...) domains are and what work they can do. The viability-related concern is that it’s not clear how a pluralist truth theory could explain the truth-conditions of mixed atomic propositions. To address this concern, truth pluralists should recognize something to which they have not been sufficiently attentive: that some atomic propositions belong to more than one domain. But, recognizing this requires rethinking the relationships between the nature of propositions, their membership in domains, and their truth. I address these issues and propose an understanding of them that is preferable to the best existing account of them, that offered by Michael Lynch. (shrink)

In this paper I discuss Künne’s Modest Theory of truth, and develop a variation on a worry that Field expresses with respect to Horwich’s related view. The worry is not that deflationary accounts are false, but rather that, because they take propositions as truth-bearers, they are not philosophically interesting. Compatibly with the intuitions of ordinary speakers, we can understand proposition so that the proposals do account for a property that such truth-bearers have. Nevertheless, we saliently apply the truth-concept also to (...) entities such as utterances or assertions , and the de flationary accounts do not provide a similarly deflationary account for those applications. In fact, there are good reasons to suspect that no such account would be forthcoming; we need something more substantive or in flationary there. (shrink)

A platitude questioned by many Buddhist thinkers in India and Tibet is the existence of the world. We might be tempted to insert some modifier here, such as “substantial,” “self-existent,” or “intrinsically existent,” for, one might argue, these thinkers did not want to question the existence of the world tout court but only that of a substantial, self-existent, or otherwise suitably qualified world. But perhaps these modifiers are not as important as is generally thought, for the understanding of the world (...) questioned is very much the understanding of the world everybody has. It is the understanding that there is a world out there —independent of our minds — and that when we speak and think about this world we mostly get it right. But the Madhyamaka thinkers under discussion here deny that there is a world out there and claim that our opinions about it are to the greatest part fundamentally and dangerously wrong. (shrink)

The paper discusses what kind of truth bearer, or truth-ascription, a deflationist should take as primary. I first present number of arguments against a sententialist view. I then present a deflationary theory which takes propositions as primary, and try to show that it deals neatly with a wide range of linguistic data. Next, I consider both the view that there is no primary truth bearer, and the most common account of sentence truth given by deflationists who take propositions as primary, (...) and argue that they both attribute an implausible type of ambiguity to “true”. This can be avoided, however, if truth-ascriptions to sentences are taken as a certain form of pragmatic ellipses. I end by showing how this hypothesis accommodates a number of intuitions involving truth-ascriptions to sentences. (shrink)

An introduction to Kripke’s semantics for propositional and quantified modal logic (with special reference to its historical development from the original 1959 version to the extended versions of 1963 and 1965) and to his theory of truth.

Functionalists about truth employ Ramsification to produce an implicit definition of the theoretical term _true_, but doing so requires determining that the theory introducing that term is itself true. A variety of putative dissolutions to this problem of epistemic circularity are shown to be unsatisfactory. One solution is offered on functionalists' behalf, though it has the upshot that they must tread on their anti-pluralist commitments.

When talking about truth, we ordinarily take ourselves to be talking about one-and-the-same thing. Alethic monists suggest that theorizing about truth ought to begin with this default or pre-reflective stance, and, subsequently, parlay it into a set of theoretical principles that are aptly summarized by the thesis that truth is one. Foremost among them is the invariance principle.

I begin with an exposition of the two main variants of the Prosentential Theory of Truth (PT), those of Dorothy Grover et al. and Robert Brandom. Three main types of criticisms are then put forward: (1) material criticisms to the effect that (PT) does not adequately explain the linguistic data, (2) an objection to the effect that no variant of (PT) gives a properly unified account of the various occurrences of "true" in English, and, most importantly, (3) a charge that (...) the comparison with proforms is explanatorily idle. The last objection is that, given a complete semantic account of pronouns, proadjectives, antecedents, etc., together with a complete (PT), the essential semantic character of "true" could be deduced, but then, the idleness of the comparison with pronouns would be apparent. It turns out that objections (2) and (3) are related in the following way: the prosentential terminology is held to conceal the lack of unity in (PT), by describing the different data in the same terms ("proform", "antecedent", etc.). But this, I argue, is only a way of truly describing, rather than explaining, the data, these being certain relations of equivalence and consequence between sentences. I consider a language for which (PT) would be not only true, but also explanatory, but note that this language is very different from English. I end by showing that Robert Brandom's case that "is true" is not a predicate fails, and that his motivation for saying so is based on fallacious reasoning (namely, Boghossian's argument against deflationism). (shrink)

In recent work on Frege, one of the most salient issues has been whether he was prepared to make serious use of semantical notions such as reference and truth. I argue here Frege did make very serious use of semantical concepts. I argue, first, that Frege had reason to be interested in the question how the axioms and rules of his formal theory might be justified and, second, that he explicitly commits himself to offering a justification that appeals to the (...) notion of reference. I then discuss the justifications Frege offered, focusing on his discussion of inferences involving free variables, in section 17 of Grundgesetze, and his argument, in sections 29-32, that every well-formed expression of his formal language has a unique reference. (shrink)

This papers assesses the possibility of an empiricism without dogmas. It advances an argument against Quine's conceptions regarding philosophy of language and tries to expand the Davidsonian semantics and epistemic program.

Traditional inflationary approaches that specify the nature of truth are attractive in certain ways; yet, while many of these theories successfully explain why propositions in certain domains of discourse are true, they fail to adequately specify the nature of truth because they run up against counterexamples when attempting to generalize across all domains. One popular consequence is skepticism about the efficaciousness of inflationary approaches altogether. Yet, by recognizing that the failure to explain the truth of disparate propositions often stems from (...) inflationary approaches' allegiance to alethic monism, pluralist approaches are able to avoid this explanatory inadequacy and the resulting skepticism, though at the cost of inviting other conceptual difficulties. A novel approach, alethic functionalism, attempts to circumvent the problems faced by pluralist approaches while preserving their main insights. Unfortunately, it too generates additional problems---namely, with its suspect appropriation of the multiple realizability paradigm and its platitude-based strategy---that need to be dissolved before it can constitute an adequate inflationary approach to the nature of truth. (shrink)

A “self-effacing” property is one that is definable without referring to it. Colin McGinn (2000) has argued that there is exactly one such property: truth. I show that if truth is a self-effacing property, then there are very many others—too many even to constitute a set.

A discussion of 'Inquiries into Truth and Interpretation', a collection of 18 essays by Davidson already published since 1964. The first key idea of the book is the notion of 'radical interpretation', based on the semantic conception of truth, which contrasts with Frege's and the early Wittgenstein's conception of meaning, and is an extension of Quine's notion of radical translation. The second idea is the critique of the distinction between empirical content and the conceptual scheme that organizes it, a distinction (...) that lies at the basis of relativism for which different languages organize the world in different ways; the distinction itself is but a third dogma of empiricism, which has survived the eradication therapy implemented by Quine against the two dogmas of analytical/synthetic distinction and reductionism. The third idea is the "principle of charity". The fourth is the critique of Max Black's theory of metaphor as interaction. (shrink)

According to the accepted translation-failure interpretation, the problem of incommensurability involves the nature of the meaning-referential relation between scientific languages. The incommensurability thesis is that some competing scientific languages are mutually untranslatable due to the radical variance of meaning or/and reference of the terms they employ. I argue that this interpretation faces many difficulties and cannot give us a tenable, coherent, and integrated notion of incommensurability. It has to be rejected. ;On the basis of two case studies, I find that (...) the confrontations between many classical incommensurable languages are not confrontations between two untranslatable languages with different distribution of truth values, but rather the confrontations between incompatible fundamental presuppositions at the ontological level. We can always identify a truth-value gap between two incommensurable languages. Such a truth-value gap indicates a communication breakdown between the two language communities on the one hand, and is caused by the incompatible fundamental presuppositions underlying them on the other. ;I thereby identify the truth-value functional relationship between sentences, instead of the meaning-referential relationship between terms, as the dominant semantic relation between two incommensurable languages. According to my presuppositional interpretation of incommensurability, the real secret of incommensurability lies in the ontological setup of two competing presuppositional languages. When two presuppositional languages with incompatible factual commitments encounter with each other, the confrontation leads to a truth-value gap, and consequently a communication breakdown between them. Formally put, two scientific languages are incommensurable when core sentences of one language, which have truth values when considered within its own context, lack truth values when considered within the context of the other due to an ontological gap between them. ;The presuppositional interpretation makes many significant contributions to the discussion of the issue of incommensurability and the related metaphysical and epistemological issues: It confirms the existence of the phenomenon of incommensurability and makes it metaphysically and epistemologically significant. It establishes the tenability and integrity of the notion of incommensurability. It avoids many alleged unattractive epistemological and metaphysical consequences of the translation-failure interpretation. (shrink)

We use quotation marks when we wish to refer to an expression. We can and do so refer even when this expression is composed of characters that do not occur in our alphabet. That's why Tarski, Quine, and Geach's theories of quotation don't work. The proposals of Davidson, Frege, and C. Washington, however, do not provide a plausible account of quotation either. (Section I). The problem is to construct a Tarskian theory of truth for an object language that contains quotation (...) marks, without appealing to quotation marks in the metalanguage. I propose to supply Tarski's truth definition with one axiom that determines the denotation of all expressions containing quotation marks. According to this axiom, quotation marks create a non-extensional context. Since admitting such contexts does not lead to any difficulties in the recursive truth characterization, we may indeed dispense with extensionalism. (Section II). Finally, I argue that we classify and denote expressions in the very same way that we classify and denote extralinguistic entities. Both tokens and types of written signs can be easily incorporated into the naturalist's worldview. (Section III). (shrink)

Suppose there is a domain of discourse of English, then everything of which any predicate is true is a member of that domain. If English has a domain of discourse, then, since ‘is a domain of discourse of English’ is itself a predicate of English and true of that domain, that domain is a member of itself. But nothing is a member of itself. Thus English has no domain of discourse. We defend this argument and go on to argue to (...) the same conclusion without relying on the supposition that English is a language which contains the predicate ‘is a domain of discourse of English’. (shrink)

Critique of prevailing textbook conception of sufficient conditions and necessary conditions as a truth functional relation of material implication (p->q)/(~q->~p). Explanation of common sense conception of condition as correlative of consequence, involving dependence. Utility of this conception exhibited in resolving puzzles regarding ontology, truth, and fatalism.

The Value of Truth looks at the conditions that truths would have to meet to ascertain a value, as well as the different kinds of values a truth can possess.

A theory of truth is introduced for a first--order language L of set theory. Fully interpreted metalanguages which contain their truth predicates are constructed for L. The presented theory is free from infinite regress, whence it provides a proper framework to study the regress problem. Only ZF set theory, concepts definable in L and classical two-valued logic are used.

La incertidumbre no significa por necesidad relativismo. En el aquí y en el ahora se puede hacer una reflexión de implicaciones prácticas en torno a la verdad. Cuando se es objeto del engaño no hace falta conocer la «anatomía de la verdad». Entre mentir y no mentir no hay subjetivismos. “Resulta imposible pensar que mentimos por accidente”, dice Gerardo Martínez Cristerna en su obra “El que miente al mentir”.

Possession, Belonging, Self-denial and Detachment of the Soul The state of “I” and “ME” are the attachment to the world and its objects. Self denial and denial of the self from everything is the detachment of the soul from the earthly life. When we don’t relate ourselves to the life-cycle of birth and death; realizing everything belongs to the universe and not to consider oneself the owner of any earthly objects or relations makes one detached from the self. When we (...) relate ourselves to some form and/or entity, then we have the attributes of the character in ourselves. When we deny the entity as ourselves and deny the “I”, then we are not related to any relation or belongings of that particular subject. When we deny the self, along we deny any belongings and possessions of the particular self, making ourselves out of the daily worldly life. Hence we realize true nature of the self, the Soul. State of Being Conscious, Sub-Conscious and Un-Conscious When we are aware of the self and in the present, it is in the conscious state. When we are in some state of mind and not in the present, it is sub-consciousness. While in this state, Mind will take you (self-the worldly persona) to the arena you want to be and sometimes to some unknown strange states (may be place, people or situation) that pertaining to the self. When the body is at rest, still mind takes the self to the other realms that the self is related to some or other way. This is not sub-conscious state of Mind, but Sub-conscious state of Self. And when we are not with the body, it is a state of unconsciousness. Since Mind and body is not real, part of the Illusionist world we need to leave it for sometime on a daily basis. So we give it a rest that called sleeping, when we are not present in the body! Truth is relative when Self is Absolute. But Self is not Absolute, so Truth is Absolute and Real. Perceptions are Relative and Unreal. Truth-Real or Relative: World is a state of Mind: a Perception not Real! (shrink)