Results for ' two expressions, synonymous, sentences remaining true'

1000+ found
Order:
  1.  7
    Quine's Two Dogmas of Empiricism.Robert Sinclair - 2011-09-16 - In Michael Bruce & Steven Barbone (eds.), Just the Arguments. Wiley‐Blackwell. pp. 169–173.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2. Commensurability, incommensurability, and cumulativity in scientific knowledge.Evandro Agazzi - 1985 - Erkenntnis 22 (1-3):51-77.
    Until the middle of the present century it was a commonly accepted opinion that theory change in science was the expression of cumulative progress consisting in the acquisition of new truths and the elimination of old errors. Logical empiricists developed this idea through a deductive model, saying that a theory T superseding a theory T must be able logically to explain whatever T explained and something more as well. Popper too shared this model, but stressed that T explains the old (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  56
    Analyticity and Possible-World Semantics.Wlodek Rabinowicz - 2010 - Erkenntnis 72 (3):295-314.
    Standard approaches to possible-world semantics allow us to define necessity and logical truth, but analyticity is considerably more difficult to account for. The source of this difficulty lies in the received model-theoretical conception of a language interpretation. In intuitive terms, analyticity amounts to truth in virtue of meaning alone, i.e. solely in virtue of the interpretation of linguistic expressions. In other words, an analytic sentence should remain true under all variations of ‘extralinguistic reality’ as long as the interpretation is (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  57
    ''What Does '... Is True' ('It Is True that...') Express?Lorenz B. Puntel - 2000 - The Proceedings of the Twentieth World Congress of Philosophy 6:131-141.
    The first section states two general theses: the claim that semeantic features are not expressible in language is indefensible; and, the role semantic expressions play in language consists in making language fully determinate. The second section elaborates on the main thesis of the paper; that is, ‘... is true’ expresses neither a predicate nor a PROsentence-forming operator (R. Brandom), but a PERsentence- (and PERproposition-) forming operator (‘PER’ from ‘PERfect’ or ‘PERform’). Contrary to the ‘anaphoric’ conception, it is argued that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. Problem Fregego-Geacha – semantyczne kłopoty ekspresywizmu.Katarzyna Kuś - 2009 - Filozofia Nauki 17 (4).
    Expressivists distinguish between two languages: the descriptive and the normative. The moral sentences belonging to the latter do not state facts, therefore have no truth conditions and only express moral approval or disapproval towards the evaluated object. This proposition faced the charge that it is possible to find unasserted semantic contexts in which moral sentences appear to be true (Frege-Geach objection). The paper shows how Blackburn (1988) dealt with this problem. We go on to argue that in (...)
    No categories
     
    Export citation  
     
    Bookmark  
  6. The Official Catalog of Potential Literature Selections.Ben Segal - 2011 - Continent 1 (2):136-140.
    continent. 1.2 (2011): 136-140. In early 2011, Cow Heavy Books published The Official Catalog of the Library of Potential Literature , a compendium of catalog 'blurbs' for non-existent desired or ideal texts. Along with Erinrose Mager, I edited the project, in a process that was more like curation as it mainly entailed asking a range of contemporary writers, theorists, and text-makers to send us an entry. What resulted was a creative/critical hybrid anthology, a small book in which each page opens (...)
    No categories
     
    Export citation  
     
    Bookmark  
  7.  21
    Interpretation in Legal Theory.Andrei Marmor (ed.) - 1990 - Hart Publishing.
    Chapter 1: An Introduction: The ‘Semantic Sting’ Argument Describes Dworkin’s theory as concerning the conditions of legal validity. “A legal system is a system of norms. Validity is a logical property of norms in a way akin to that in which truth is a logical property of propositions. A statement about the law is true if and only if the norm it purports to describe is a valid legal norm…It follows that there must be certain conditions which render certain (...)
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  8.  25
    Ebû Hayy'n el-Endelüsî’nin Kit'bu’l-İdr'k li-lis'ni’l-Etr'k Adlı Eserinin Dilbilim Açısından İncelenmesi.Yusuf Doğan - 2016 - Cumhuriyet İlahiyat Dergisi 20 (2):329-329.
    Mamluks reigned in Egypt a long time is an era of Kipchak Turks that have influence management, and Kipchak Turks has been influential in a period in the administration there. During this period, that Turkish rulers do not know Arabic language well, Turkish language is spoken in the palace and also idea of being closer to Turkish manager screated an interest in learning. One of the famous scholars realizing that interest is Abū Ḥayyān al-Andalusī. Abū Ḥayyān by learning Turkish language (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  5
    Propositions.D. Goldstick - 1993 - Grazer Philosophische Studien 45 (1):105-116.
    Propositions - truths and falsehoods - are "eternal" objects of possible ("de dicto") belief and disbelief, potential points of agreement and disagreement. Accordingly the criterion of two sentence-tokens "expressing tiie same proposition" will be tiie logical impossibility of beheving (disbelieving) what one expresses without believing (disbelieving) what the other expresses. This involves an ultra-thight synonymity relation ("semantic equivalence") and a sharing of denotations as between corresponding Unguistic expressions in each. Only locutions containing names, indexicals, etc. which commit speakers to the (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  66
    Explicit Intensionalization, Anti‐Actualism, and How Smith's Murderer Might Not Have Murdered Smith.Bjørn Jespersen - 2005 - Dialectica 59 (3):285–314.
    The purpose of this article is to provide a non‐contradictory interpretation of sentences such as “Smith's murderer might not have murdered Smith”. An anti‐actualist, two‐dimensional framework including partial functions provides the basis for my solution. I argue for two claims. The modal profile of the proposition expressed by “The F might not have been an F” is complex: at any world where there is a unique F the proposition is true; at any world without a unique F the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  11.  19
    Tafannun (stylistic variation) in Similar Meanings and Utterances in the Qurʾān.Ahmet Sait Sicak - 2019 - Cumhuriyet İlahiyat Dergisi 23 (2):739-763.
    Similar words and utterances in the Qurʾān are the subject of the technical term lafẓī mutashābih. The rephrasing of meanings (maʿnā) and use of different words (lafẓ) in the Qurʾān are dealt with under the rubric of the theme “Qurʾānic style.” The stylistic variations in the Qurʾān are expressed as takrār al-Qurʾān, tasrīf (Affix and Paraphrase), ʿudūl (inversion), and tafannun (stylistic variation). However, when compared with other terms of exegesis, “tafannun” remained in the background and its conceptualization was thwarted. This (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12. Conversely: extrapropositional and prosentential.John Corcoran & Sriram Nambiar - 2014 - Bulletin of Symbolic Logic 20 (3):404-5.
    This self-contained lecture examines uses and misuses of the adverb conversely with special attention to logic and logic-related fields. Sometimes adding conversely after a conjunction such as and signals redundantly that a converse of what preceded will follow. -/- (1) Tarski read Church and, conversely, Church read Tarski. -/- In such cases, conversely serves as an extrapropositional constituent of the sentence in which it occurs: deleting conversely doesn’t change the proposition expressed. Nevertheless it does introduce new implicatures: a speaker would (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  95
    Propositions.D. Goldstick - 1993 - Grazer Philosophische Studien 45 (1):105-116.
    Propositions - truths and falsehoods - are "eternal" objects of possible ("de dicto") belief and disbelief, potential points of agreement and disagreement. Accordingly the criterion of two sentence-tokens "expressing tiie same proposition" will be tiie logical impossibility of beheving (disbelieving) what one expresses without believing (disbelieving) what the other expresses. This involves an ultra-thight synonymity relation ("semantic equivalence") and a sharing of denotations as between corresponding Unguistic expressions in each. Only locutions containing names, indexicals, etc. which commit speakers to the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  8
    Analysis of Aḥmed Cevdet Pasha’s Preface to the Translation of The Qurʾān, and His Work Named Lüghāt-i Ḳurʾāniye Ḥaqqında Lāḥiqa-i Sharīfa, the Examination of Its Sources and Comparison with his Terjeme-i Sharīfa.Murat Kaya - 2021 - Cumhuriyet İlahiyat Dergisi 25 (3):1021-1043.
    Aḥmed Cevdet Pasha (d. 1312/1895) is one of the influential and prominent Ottoman scholars in history and law. Besides history and law, he also produced works on literature, sīra (the life of the Prophet) and tafsīr (the Qur’anic exegesis). In the last years of his life, Cevdet Pasha aimed to translate the Qurʾān including short comments on the verses, but this work was remained limited to the sūrah al-Baqara. Correspondingly to this translation named Terjeme-i Sharīfa, he prepared a glossary to (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15. equality and identity.John Corcoran & Anthony Ramnauth - 2013 - Bulletin of Symbolic Logic 19 (3):255-256.
    Equality and identity. Bulletin of Symbolic Logic. 19 (2013) 255-6. (Coauthor: Anthony Ramnauth) Also see https://www.academia.edu/s/a6bf02aaab This article uses ‘equals’ [‘is equal to’] and ‘is’ [‘is identical to’, ‘is one and the same as’] as they are used in ordinary exact English. In a logically perfect language the oxymoron ‘the numbers 3 and 2+1 are the same number’ could not be said. Likewise, ‘the number 3 and the number 2+1 are one number’ is just as bad from a logical point (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  16. An Apology for Apologetics: A Study in the Logic of Interreligious Dialogue by Paul J. Griffiths, and: Jesus Christ at the Encounter of World Religions by J. Dupuis.Gavin D'Costa - 1992 - The Thomist 56 (4):719-723.
    In lieu of an abstract, here is a brief excerpt of the content:BOOK REVIEWS 719 An Apology for Apologetics: A Study in the Logic of lnterreligious Dialogue. By PAUL J. GRIFFITHS. New York: Orbis, 1991. ISBN: 0 88344 761 4. pp. 113. Jesus Christ at the Encounter of World Religions. By J. DUPUIS. New York: Orbis, 1991 (ET: Robert R. Barr, from French, 1989). ISBN: 0 88344 723 1. pp. 301. Griffiths presents a rigorous argument for the possibility of con· (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. The Poetry of Jeroen Mettes.Samuel Vriezen & Steve Pearce - 2012 - Continent 2 (1):22-28.
    continent. 2.1 (2012): 22–28. Jeroen Mettes burst onto the Dutch poetry scene twice. First, in 2005, when he became a strong presence on the nascent Dutch poetry blogosphere overnight as he embarked on his critical project Dichtersalfabet (Poet’s Alphabet). And again in 2011, when to great critical acclaim (and some bafflement) his complete writings were published – almost five years after his far too early death. 2005 was the year in which Dutch poetry blogging exploded. That year saw the foundation (...)
     
    Export citation  
     
    Bookmark  
  18. What is a Compendium? Parataxis, Hypotaxis, and the Question of the Book.Maxwell Stephen Kennel - 2013 - Continent 3 (1):44-49.
    Writing, the exigency of writing: no longer the writing that has always (through a necessity in no way avoidable) been in the service of the speech or thought that is called idealist (that is to say, moralizing), but rather the writing that through its own slowly liberated force (the aleatory force of absence) seems to devote itself solely to itself as something that remains without identity, and little by little brings forth possibilities that are entirely other: an anonymous, distracted, deferred, (...)
     
    Export citation  
     
    Bookmark  
  19. Semantic Naturalism and the New Naturalistic Fallacy.Susana Nuccetelli & Gary Seay - unknown
    More than a century ago, G. E. Moore famously offered an extended inference to reject what are in effect two substantially different types of ethical naturalism. Although some naturalistic doctrines targeted by that inference make semantic claims that, if true, would entail certain metaphysical claims, it is also possible that those semantic doctrines could be false and the metaphysical ones true at the same time. For if semantic naturalism is true, then moral terms and sentences are (...)
     
    Export citation  
     
    Bookmark  
  20. Expression, thought, and language.Henry Jackman - 2003 - Philosophia 31 (1-2):33-54.
    This paper discusses an "expressive constraint" on accounts of thought and language which requires that when a speaker expresses a belief by sincerely uttering a sentence, the utterance and the belief have the same content. It will be argued that this constraint should be viewed as expressing a conceptual connection between thought and language rather than a mere empirical generalization about the two. However, the most obvious accounts of the relation between thought and language compatible with the constraint (giving an (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21. A study on proposition and sentence in english grammar.Mudasir A. Tantray - 2016 - International Journal Of Humanities and Social Studies 4 (02):20-25.
    Proposition and sentence are two separate entities indicating their specific purposes, definitions and problems. A proposition is a logical entity. A proposition asserts that something is or not the case, any proposition may be affirmed or denied, all proportions are either true (1’s) or false (0’s). All proportions are sentences but all sentences are not propositions. Propositions are factual contains three terms: subject, predicate and copula and are always in indicative or declarative mood. While sentence is a (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  22. Two-Dimensionalism and Fictional Names.Brendan Murday - 2010 - In Franck Lihoreau (ed.), Truth in Fiction. Ontos Verlag. pp. 43-76.
    For those who endorse Millianism and take ‘Sherlock Holmes’ to be an empty name, the sentence ‘Sherlock Holmes is clever’ may not count as expressing a complete proposition. The sentence ‘According to the fiction, Sherlock Holmes is clever’, however, should count as expressing a true proposition. I attempt to reconcile these two intuitions by arguing that ‘According to the fiction’ is a two-dimensional operator: to evaluate a statement of the form ‘According to the fiction, S’ at world @ (where (...)
     
    Export citation  
     
    Bookmark   2 citations  
  23. The judgement-stroke as a truth-operator: A new interpretation of the logical form of sentences in Frege's scientific language.D. Greimann - 2000 - Erkenntnis 52 (2):213-238.
    The syntax of Frege's scientific language is commonly taken to be characterized by two oddities: the representation of the intended illocutionary role of sentences by a special sign, the judgement-stroke, and the treatment of sentences as a species of singular terms. In this paper, an alternative view is defended. The main theses are: the syntax of Frege's scientific language aims at an explication of the logical form of judgements; the judgement-stroke is, therefore, a truth-operator, not a pragmatic operator; (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  24.  38
    A completeness theorem for unrestricted first- order languages.Agustin Rayo & Timothy Williamson - 2003 - In J. C. Beall (ed.), Liars and Heaps: New Essays on Paradox. Oxford, England: Oxford University Press UK. pp. 331-356.
    Here is an account of logical consequence inspired by Bolzano and Tarski. Logical validity is a property of arguments. An argument is a pair of a set of interpreted sentences (the premises) and an interpreted sentence (the conclusion). Whether an argument is logically valid depends only on its logical form. The logical form of an argument is fixed by the syntax of its constituent sentences, the meanings of their logical constituents and the syntactic differences between their non-logical constituents, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   21 citations  
  25.  96
    A completeness theorem for unrestricted first- order languages.Agustin Rayo & Timothy Williamson - 2003 - In J. C. Beall (ed.), Liars and heaps: new essays on paradox. New York: Oxford University Press.
    Here is an account of logical consequence inspired by Bolzano and Tarski. Logical validity is a property of arguments. An argument is a pair of a set of interpreted sentences (the premises) and an interpreted sentence (the conclusion). Whether an argument is logically valid depends only on its logical form. The logical form of an argument is fixed by the syntax of its constituent sentences, the meanings of their logical constituents and the syntactic differences between their non-logical constituents, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   30 citations  
  26. Instrumentalism Revisited.Elliott Sober - 1999 - Critica 31 (91):3-39.
    The logical empiricists said some good things about epistemology and scientific method. However, they associated those epistemological ideas with some rather less good ideas about philosophy of language. There is something epistemologically suspect about statements that cannot be tested. But to say that those statements are meaningless is to go too far. And there is something impossible about trying to figure out which of two empirically equivalent theories is true. But to say that those theories are synonymous is also (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  27.  18
    Truth and Expression. [REVIEW]T. D. P. - 1973 - Review of Metaphysics 26 (3):541-542.
    What MacKinnon offers here is a provocative and original analysis of the meaning of the word "true." His applications are in the areas of statements in general, scientific theories, and theological propositions. One reason for the interest of the book can be found in MacKinnon’s intellectual odyssey. Setting out from a starting-point of standard neo-scholastic textbook philosophy and theology, MacKinnon has come to a highly personal synthesis to which he is willing at least tentatively to apply the label, "ontological (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28. That solution to Prior’s puzzle.Hüseyin Güngör - 2022 - Philosophical Studies 179 (9):2765-2785.
    Prior's puzzle is a puzzle about the substitution of certain putatively synonymous or coreferential expressions in sentences. Prior's puzzle is important, because a satisfactory solution to it should constitute a crucial part of an adequate semantic theory for both proposition-embedding expressions and attitudinal verbs. I argue that two recent solutions to this puzzle are unsatisfactory. They either focus on the meaning of attitudinal verbs or content nouns. I propose a solution relying on a recent analysis of that-clauses in linguistics. (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  12
    The Logic and Mathematics of Occasion Sentences.Pieter A. M. Seuren, Venanzio Capretta & Herman Geuvers - 2001 - Linguistics and Philosophy 24 (5):531 - 595.
    The prime purpose of this paper is, first, to restore to discourse-bound occasion sentences their rightful central place in semantics and secondly, taking these as the basic propositional elements in the logical analysis of language, to contribute to the development of an adequate logic of occasion sentences and a mathematical (Boolean) foundation for such a logic, thus preparing the ground for more adequate semantic, logical and mathematical foundations of the study of natural language. Some of the insights elaborated (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  18
    Remaining True to Ourselves.Andrew Franklin-Hall - 2024 - Journal of Ethics and Social Philosophy 27 (1).
    It is common to think that, in making choices for others, we should consider their values. But do the current interests of people with dementia ever depend on what they used to value? Or do their interests depend solely on what matters to them from now on? Two approaches are especially prominent in the philosophical literature. Some believe that the capacity to value or significantly care about things bestows a certain standing on the person’s present perspective, making it inappropriate to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  34
    Covert treatment in psychiatry: Do no harm, true, but also dare to care.Ajai R. Singh - 2008 - Mens Sana Monographs 6 (1):81.
    _Covert treatment raises a number of ethical and practical issues in psychiatry. Viewpoints differ from the standpoint of psychiatrists, caregivers, ethicists, lawyers, neighbours, human rights activists and patients. There is little systematic research data on its use but it is quite certain that there is relatively widespread use. The veil of secrecy around the procedure is due to fear of professional censure. Whenever there is a veil of secrecy around anything, which is aided and abetted by vociferous opposition from some (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  32.  40
    Two concepts of deductive justification.M. Kokoszynska - 1962 - Studia Logica 13 (1):195-196.
    The term “deductive justification” is used either in the relative or absolute sense. In the first case, a sentence is deductively justified with respect to a class of premisses and may be more or less probable, depending on the degree of justification (eventually non-deductive) of the premisses. In the second sense, a sentence justified deductively in a language to which it belongs, is necessarily true, provided only the meaning postulated by the semantical rules of its expressions can be realized (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  16
    Dynamic Conceptual Semantics: A Logico-Philosophical Investigation into Concept Formation and Understanding.Renate Bartsch - 1998 - Center for the Study of Language and Information Publications.
    Presented in this book is a theory of concept formation and understanding that does not make use of a notion of an innate mental language as a means of concept representation. Instead, experimental concepts are treated semantically as stabilising structuring of growing sets of data, which are sets of experienced satisfaction situations for expressions, and theoretical concepts are based on coherent sets of general sentences held true. There are two kinds of structures to be established: general concepts by (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  34.  71
    The syntactic expression of tense.Tim Stowell - unknown
    In this article I defend the view that many central aspects of the semantics of tense are determined by independently-motivated principles of syntactic theory. I begin by decomposing tenses syntactically into a temporal ordering predicate (the true tense, on this approach) and two time-denoting arguments corresponding to covert a reference time (RT) argument and an eventuality time (ET) argument containing the verb phrase. Control theory accounts for the denotation of the RT argument, deriving the distinction between main clause and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  35.  18
    The complexity of plane hyperbolic incidence geometry is∀∃∀∃.Victor Pambuccian - 2005 - Mathematical Logic Quarterly 51 (3):277-281.
    We show that plane hyperbolic geometry, expressed in terms of points and the ternary relation of collinearity alone, cannot be expressed by means of axioms of complexity at most ∀∃∀, but that there is an axiom system, all of whose axioms are ∀∃∀∃ sentences. This remains true for Klingenberg's generalized hyperbolic planes, with arbitrary ordered fields as coordinate fields.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  36.  67
    Modality, Quantification, and Many Vlach-Operators.Fabrice Correia - 2007 - Journal of Philosophical Logic 36 (4):473-488.
    Consider two standard quantified modal languages A and P whose vocabularies comprise the identity predicate and the existence predicate, each endowed with a standard S5 Kripke semantics where the models have a distinguished actual world, which differ only in that the quantifiers of A are actualist while those of P are possibilist. Is it possible to enrich these languages in the same manner, in a non-trivial way, so that the two resulting languages are equally expressive-i.e., so that for each sentence (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  37.  21
    Kur’an’da Erẕeli'l-ʽumur ve Yaşlılık Üzerine Bir Değerlendirme.Sevgi Tütün - 2016 - Cumhuriyet İlahiyat Dergisi 20 (2):299-299.
    Human beings pass through a series of life stages since birth. These stages beginning at the infancy even in the mother’s womb are accompanied with a period extending to the senescence and the last stages of the life. Creation of human beings and various stages of the life are mentioned in the Qurʾān. Besides, it is referred to the senescence. In addition to the expressions sheikh, shayb, ʽajūz and kibar indicating to the senescence, ardhal al-ʿumur is also pointed out in (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  56
    Ockham's Supposed Elimination of Connotative Terms and His Ontological Parsimony.Martin Tweedale - 1992 - Dialogue 31 (3):431-.
    Two of the best currently practising scholars of Ockham, Marilyn Adams and Paul Spade, seem to have accepted a reading of Ockham's ontological program which, although it contains much that is uncontroversially correct, attributes to Ockham a reductionist view that is on my interpretation of his works far too radical to be genuinely Ockham's. Their reading runs as follows. So far as entities go, Ockham accepts only particular substances and some particular qualities. Aristotle's categories, according to Ockham, are not 10 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  62
    Some aspects of model theory and finite structures.Eric Rosen - 2002 - Bulletin of Symbolic Logic 8 (3):380-403.
    Model theory is concerned mainly, although not exclusively, with infinite structures. In recent years, finite structures have risen to greater prominence, both within the context of mainstream model theory, e.g., in work of Lachlan, Cherlin, Hrushovski, and others, and with the advent of finite model theory, which incorporates elements of classical model theory, combinatorics, and complexity theory. The purpose of this survey is to provide an overview of what might be called the model theory of finite structures. Some topics in (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  40.  22
    Why the Distinction between Analytic and Synthetic Statements?Henri Lauener - 1993 - Vienna Circle Institute Yearbook 1:131-141.
    The distinction has occasioned a long controversy between Carnap and W.V. Quine. The latter distinguishes two sorts of analytic statements: the logical truths, characterized by their remaining true under all reinterpretations of the descriptive terms; and the statements, which reduce to logical truths with the help of definitions or by substitution of synonyms for synonyms. In “Two Dogmas of Empiricism”, he directs his criticism mainly against the latter arguing that the explications so far provided move in a circle, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  59
    Semantic Vector Models and Functional Models for Pregroup Grammars.Anne Preller & Mehrnoosh Sadrzadeh - 2011 - Journal of Logic, Language and Information 20 (4):419-443.
    We show that vector space semantics and functional semantics in two-sorted first order logic are equivalent for pregroup grammars. We present an algorithm that translates functional expressions to vector expressions and vice-versa. The semantics is compositional, variable free and invariant under change of order or multiplicity. It includes the semantic vector models of Information Retrieval Systems and has an interior logic admitting a comprehension schema. A sentence is true in the interior logic if and only if the ‘usual’ first (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  42. Apostasy as objective and depersonalized fact: Two recent Egyptian court judgments.Baber Johansen - 2003 - Social Research: An International Quarterly 70 (3):687-710.
    The jurists of classical Islamic Law defined the interior forum as a limit to the religious validity of the sentences of Muslim judges , because these have neither access to God's knowledge nor to the individual believer’s conscience and motivations. They can base their decisions solely on exterior appearances and can, therefore, neither be sure that their judgments correspond to the facts nor to the intentions and memories of the individuals concerned. This holds especially true for questions of (...)
     
    Export citation  
     
    Bookmark   1 citation  
  43. Translating Evaluative Discourse: the Semantics of Thick and Thin Concepts.Ranganathan Shyam - 2007 - Dissertation, York University
    According to the philosophical tradition, translation is successful when one has substituted words and sentences from one language with those from another by cross-linguistic synonymy. Moreover, according to the orthodox view, the meaning of expressions and sentences of languages are determined by their basic or systematic role in a language. This makes translating normative and evaluative discourse puzzling for two reasons. First, as languages are syntactically and semantically different because of their peculiar cultural and historical influences, and as (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  43
    Love Delights in Praises: A Reading of The Two Gentlemen of Verona.René Girard - 1989 - Philosophy and Literature 13 (2):231-247.
    In lieu of an abstract, here is a brief excerpt of the content:René Girard LOVE DELIGHTS IN PRAISES: A READING OF THE TWO GENTLEMEN OF VERONA Valentine and Proteus have been friends since their earliest childhood in Verona, and their two fathers want to send them to Milan for their education. Because of his love for a girl named Julia, Proteus refuses to leave Verona; Valentine goes to Milan alone. In spite ofJulia, however, Proteus misses Valentine greatly and, after a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45.  30
    Disagreement and inconsistency: a problem for orthodox expressivism.John Eriksson - 2022 - Synthese 200 (5):1-17.
    What makes two sentences inconsistent? Expressivists understand the meaning of a sentence in terms of the mental state it expresses. In order to explain the inconsistency between two sentences, the expressivist must appeal to some inconsistency feature of the mental states expressed. A simple explanation is that two sentences, e.g., “murder is wrong” and “murder is not wrong” are inconsistent by virtue of expressing mental states that disagree. Schroeder argues that the expressivist lacks a plausible explanation of (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46. Modeling the concept of truth using the largest intrinsic fixed point of the strong Kleene three valued semantics (in Croatian language).Boris Culina - 2004 - Dissertation, University of Zagreb
    The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual semantic connection of (...), above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (shrink)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  47. The Historical Conditioning of Church Doctrine.John R. T. Lamont - 1996 - The Thomist 60 (4):511-535.
    In lieu of an abstract, here is a brief excerpt of the content:THE HISTORICAL CONDITIONING OF CHURCH DOCTRINE* JOHN R. T. LAMONT Winnipeg, Canada I WISH to set out and defend a certain conception of what is involved in accepting the teachings of the Catholic Church. This conception is at odds with some contemporary understandings of the way in which such teachings are historically conditioned. I will argue that these conceptions are mistaken, and state what I think to be the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  8
    Le « conflit » chez Michel de Montaigne.Dragoș Cătălin Butuzea - 2023 - Studia Universitatis Babeş-Bolyai Philosophia 68 (Special Issue):119-128.
    "The “philosophical” style specific to Montaigne’s Essays, totally devoid of demonstration and system, gives the reader the possibility of “essaying” an experience of his own reading, based on the idea that “Words belong half to the speaker, half to the hearer” (III, 13). Following Montaigne’s idea that selfishness is the basis of solidarity between men (the basis of society), we can detect two levels in this political conception: 1) on the one hand, the relationship between the individual subject and his (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49. Contingent A Priori and Two Kinds of Necessity.Erhan Demircioğlu - 2004 - Felsefe Tartismalari 32:47-64.
    Kripke argues that the existence of a priori contingent truths shows the falsity of the traditional idea that the notions of necessity and a priority are coextensional. In this paper, I maintain that the traditional coexistensionality thesis is defendable. I contend that the propositions that are alleged to be a priori contingent truths by Kripke are propositions that express contingent facts and, at the same time, are necessarily true. That they are necessarily true is not because of their (...)
     
    Export citation  
     
    Bookmark  
  50.  61
    Suárez' doctrine of eternal truths.Amy Karofsky - 2001 - Journal of the History of Philosophy 39 (1):23-47.
    In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 39.1 (2001) 23-47 [Access article in PDF] Suárez' Doctrine of Eternal Truths Amy D. Karofsky 1. Introduction The primary aim of this paper is to offer an interpretation of Suárez' doctrine of eternal truths as found in Metaphysical Disputation XXXI, chapter XII, sections 38-47. There, following the typical scholastic style, Suárez considers and rejects several theories before developing his own. Because it is (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 1000