Results for 'Substitution failure salva veritate v. salva propria '

999 found
Order:
  1.  51
    Semantics and Pragmatics of Referentially Transparent and Referentially Opaque Belief Ascription Sentences.Dale Jacquette - 2017 - Philosophia 45 (1):49-71.
    This essay takes a critical look at Jonathan Berg’s theory of direct belief. Berg’s analysis of the concept of direct belief is considered insightful, but doubts are raised concerning his generalization of the purely extensional truth conditional semantics of direct belief ascription sentences to the truth conditional semantics of all belief ascription sentences. Difficulties are posed that Berg does not discuss, but that are implied by the proposal that the truth conditional semantics of belief ascription sentences generally are those of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  15
    Explaining Substitution Failures.Mark McCullagh - 2023 - Southwest Philosophy Review 39 (1):121-128.
    Many debates in philosophy of language are driven by examples in which two expressions have the same meaning, in some sense, yet fail of intersubstitutability in some of their occurrences. The usual move in response is to postulate a kind of meaning different from that which is shared by those two expressions. I argue that that the resulting semantic theories nevertheless typically cannot explain such failures: the explaining is not done entirely by the postulation and individuation of the new meanings. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  40
    Metaphysics, substitution salva veritate and the slingshot argument.Robert J. Stainton - 2005 - In Alex Barber (ed.), Encyclopedia of Language and Linguistics. Elsevier. pp. 73--82.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  98
    Propositions and the Substitution Anomaly.Steven E. Boër - 2009 - Journal of Philosophical Logic 38 (5):549-586.
    The Substitution Anomaly is the failure of intuitively coreferential expressions of the corresponding forms “that S” and “the proposition that S” to be intersubstitutable salva veritate under certain ‘selective’ attitudinal verbs that grammatically accept both sorts of terms as complements. The Substitution Anomaly poses a direct threat to the basic assumptions of Millianism, which predict the interchangeability of “that S” and “the proposition that S”. Jeffrey King has argued persuasively that the most plausible Millian solution (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5. Identity through change and substitutivity salva veritate.Ray Elugardo & Rob Stainton - 2010 - In Joseph Keim Campbell, Michael O'Rourke & Harry Silverstein (eds.), Time and Identity. MIT Press.
     
    Export citation  
     
    Bookmark  
  6. Identity through change and substitutivity salva veritate.Robert Stainton - unknown
    This paper has three modest aims: to present a puzzle, to show why some obvious solutions aren’t really “easy outs”, and to introduce our own solution. The puzzle is this. When it was small and had waterlogged streets, Toronto carried the moniker ‘Muddy York’. Later, the streets were drained, it grew, and Muddy York officially changed its name to ‘Toronto’. Given this, each premise in the following argument seems true. Yet the conclusion is a contraction.
     
    Export citation  
     
    Bookmark  
  7. From a Phono-Logical Point of View.Reese M. Heitner - 2004 - Dissertation, City University of New York
    This dissertation work is premised upon the observation that semantic information is required in order to group phonetically distinct word-tokens into phonemically equivalent word-types. For philosophers, like W. V. Quine, who have a dim view of meaning, this claim regarding the semantic basis of natural language phonology, if true, is problematic. This is why in a series of publications, Quine has attempted to avoid any appeal to semantics in his efforts to reconstruct phonemic word-type equivalence. Consistent with his rejection of (...)
     
    Export citation  
     
    Bookmark  
  8. Substitutivity.Genoveva Marti - 1989 - Dissertation, Stanford University
    This dissertation examines critically the assumptions of extensionalism and the traditional doctrine of substitutivity, according to which codesignativeness or coextensionality of terms should be a sufficient condition to guarantee intersubstitution of expression salva veritate. First, the discussion focuses on the traditional justifications of the extensionalist principles of substitutivity. The following alleged sources of support for extensionalism are examined: the claim that the extensionalist approach to substitutivity relies on fundamental principles outside the domain of semantics, like the Law of (...)
     
    Export citation  
     
    Bookmark  
  9.  99
    Higher‐Level Plurals versus Articulated Reference, and an Elaboration of Salva Veritate.Hanoch Ben-Yami - 2013 - Dialectica 67 (1):81-102.
    In recent literature on plurals the claim has often been made that the move from singular to plural expressions can be iterated, generating what are occasionally called higher-level plurals or superplurals, often correlated with superplural predicates. I argue that the idea that the singular-to-plural move can be iterated is questionable. I then show that the examples and arguments intended to establish that some expressions of natural language are in some sense higher-level plurals fail. Next, I argue that these and some (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  10. Substitutivity and Side Effects.Graeme Forbes - unknown
     (e.g., Quine ), the main symptom of the unintelligibility of de re modal language is said to be the failure of coreferential “singular terms” to interchange salva veritate within the scope of modal operators. From this it is supposed to follow..
     
    Export citation  
     
    Bookmark  
  11. The failure of pragmatic descriptivism.Samuel C. Rickless - manuscript
    There are two major semantic theories of proper names: Semantic Descriptivism and Direct Reference. According to Semantic Descriptivism, the semantic content of a proper name N for a speaker S is identical to the semantic content of a definite description “the F” that the speaker associates with the name. According to Direct Reference, the semantic content of a proper name is identical to its referent. As is well known, Semantic Descriptivism suffers from a number of drawbacks first pointed out by (...)
     
    Export citation  
     
    Bookmark  
  12. Counterpossibles in Scientific Practice - Three Case Studies in support of Worldly Hyperintensionality.Giorgio Lenta - 2021 - Dissertation, University of Turin
    Hyperintensionality – the failure of substitutivity salva veritate of intensionally equivalent expressions – is one of the most debated topics in recent philosophy of language. Being a phenomenon that affects a wide variety of different sentential contexts, a question concerning its source arises: is hyperintensionality something that can originate from actual features of the world, or it is simply some kind of representational phenomenon, which entirely depends on our conceptual faculties and preferred semantics? After a brief general (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  13. Believing in Words.Herman Cappelen & Josh Dever - 2001 - Synthese 127 (3):279 - 301.
    The semantic puzzles posed by propositional attitude contexts have, since Frege, been understood primarily in terms of certain substitution puzzles. We will take as paradigmatic of such substitution puzzles cases in which two coreferential proper names cannot be intersubstituted salva veritate in the context of an attitude verb. Thus, for example, the following sentences differ in truth value: (1) Lois Lane believes Superman can fly. (2) Lois Lane believes Clark Kent can fly. despite the fact that (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  14. Teleological semantics.Mark Rowlands - 1997 - Mind 106 (422):279-304.
    Teleological theories of content are thought to suffer from two related difficulties. According to the problem of indeterminacy, biological function is indeterminate in the sense that, in the case of two competing interpretations of the function of an evolved mechanism, there is often no fact of the matter capable of determining which function is the correct one. Therefore, any attempts to construct content out of biological function entail the indeterminacy of content. According to the problem of transparency, statements of biological (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  15. Puzzling pairs.Michael Nelson - 2002 - Philosophical Studies 108 (1-2):109 - 119.
    Propositional attitude ascribing sentences seem to give rise to failures of substitution. Is this phenomena best accounted for semantically, by constructing a semantics for propositional attitude ascribing sentences that invalidates the Substitution Principle, or pragmatically? In this paper I argue against semantic accounts of such phenomena. I argue that any semantic theory that respects all our apparent substitution failure intuitions will entail that the noun-phrase position outside the scope of the attitude verb is not open to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  16. Information Asymmetries and the Paradox of Sustainable Business Models: Toward an integrated theory of sustainable entrepreneurship.V. Blok - unknown
    In this conceptual paper, the traditional conceptualization of sustainable entrepreneurship is challenged because of a fundamental tension between processes involved in sustainable development and processes involved in entrepreneurship: the concept of sustainable business models contains a paradox, because sustainability involves the reduction of information asymmetries, whereas entrepreneurship involves enhanced and secured levels of information asymmetries. We therefore propose a new and integrated theory of sustainable entrepreneurship that overcomes this paradox. The basic argument is that environmental problems have to be conceptualized (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  17.  30
    Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus.V. V. Rybakov - 1990 - Annals of Pure and Applied Logic 50 (1):71-106.
    Questions connected with the admissibility of rules of inference and the solvability of the substitution problem for modal and intuitionistic logic are considered in an algebraic framework. The main result is the decidability of the universal theory of the free modal algebra imageω extended in signature by adding constants for free generators. As corollaries we obtain: there exists an algorithm for the recognition of admissibility of rules with parameters in the modal system Grz, the substitution problem for Grz (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  18.  16
    Salmon Trapping.Takashi Yagisawa - 1997 - Philosophy and Phenomenological Research 57 (2):351-370.
    Call a sentential context semantically transparent if and only if all synonymous expressions are substitutable for one another in it salva veritate. Nathan Salmon has boldly advanced a refreshingly crisp semantic theory according to which belief contexts are semantically transparent. If he is right, belief contexts are much better behaved than widely suspected. Impressive as it is, this author does not believe that Salmon’s theory is completely satisfactory. This article tries to show that Salmon’s theory, in conjunction with (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  57
    Inscriptionalism and intensionality.David Parsons - 2013 - Philosophia 41 (2):567-585.
    Intensional contexts are typically characterised by an apparent failure of either (A) the principle of the inter-substitution of co-referring terms salva veritate, or (B) existential generalisation. The difficulties which are seen to occur do so in contexts involving either modality or the propositional attitudes. In this paper attempts are made to determine whether or not Scheffler’s inscriptional analysis can provide a viable means of accounting for the problems which are thought to occur in intensional contexts. Somewhat (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  14
    The implicature theory: a case study DOI:10.5007/1808-1711.2010v14n3p405.Rodrigo Jungmann - 2010 - Principia: An International Journal of Epistemology 14 (3):405-419.
    Several attempts have been made by direct reference theorists to accommodate the intuitive datum of referential opacity—the failure of co-referential proper names to substitute salva veritate for one another within the embedded ‘that’-clauses of attitude ascription sentences. The theory advocated by Nathan Salmon in his 1986 book Frege’s Puzzle is probably the best worked out version of what is referred to below as ‘The Implicature Theory’. Salmon claims that referential opacity is an illusion brought about by our (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  21. Frankfurt, failure, and finding fault.V. Alan White - 1998 - Sorites 9 (9):47-52.
    Harry Frankfurt's famous examples of overdetermined moral agents who are nevertheless responsible for their actions and omissions have long been hailed as proofs that the ability and/or opportunity to do otherwise is not a necessary condition for moral responsibility. In this paper I use recent clarifications of some of these examples by Frankfurt himself to show that their force relies in part on tacit ceteris paribus assumptions concealing a reliance on PAP that concerns matters of fairness in assessing moral responsibility.
     
    Export citation  
     
    Bookmark  
  22. Necessities and Necessary Truths: A Prolegomenon to the Use of Modal Logic in the Analysis of Intensional Notions.V. Halbach & P. Welch - 2009 - Mind 118 (469):71-100.
    In philosophical logic necessity is usually conceived as a sentential operator rather than as a predicate. An intensional sentential operator does not allow one to express quantified statements such as 'There are necessary a posteriori propositions' or 'All laws of physics are necessary' in first-order logic in a straightforward way, while they are readily formalized if necessity is formalized by a predicate. Replacing the operator conception of necessity by the predicate conception, however, causes various problems and forces one to reject (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  23.  26
    Failure of spatial selectivity in vision.Suzanne V. Gatti & Howard E. Egeth - 1978 - Bulletin of the Psychonomic Society 11 (3):181-184.
  24.  10
    Individual vs. Team Sport Failure—Similarities, Differences, and Current Developments.V. Vanessa Wergin, Clifford J. Mallett & Jürgen Beckmann - 2022 - Frontiers in Psychology 13.
    The construct of “choking under pressure” is concerned with the phenomenon of unexpected, sudden, and significant declines in individual athletes’ performances in important situations and has received empirical attention in the field of sport psychology. Although a number of theories about the reasons for the occurrence of choking under pressure exist and several intervention approaches have been developed, underlying mechanisms of choking are still under debate and the effectiveness of existing interventions remains contested. These sudden performance declines also occur in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25. Interpretations of Leśniewski's Ontology.V. Frederick Rickey - 1985 - Dialectica 39 (3):181-192.
    SummaryThis article proposes to clarify the problem of interpreting Lesniewski's ontology. A distinction is made between two kinds of interpretation: substitutional and “natural”. Substitutional interpretation is shown to involve difficulties and limitations. A “natural” ontology, the major principles of which are presented here, is shown to be of considerable interest.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  26. avant de le publier dans son Histoire «véritable» de Lyon qui n'avait aucun besoin de ce hors-d'œuvre.V. —Thomas Fortin - forthcoming - Bibliothèque d'Humanisme Et Renaissance.
    No categories
     
    Export citation  
     
    Bookmark  
  27.  26
    Triage and the patient with renal failure.V. Parsons & P. Lock - 1980 - Journal of Medical Ethics 6 (4):173-176.
    The call for 'triage' as a specific policy for the selection of patients presenting with chronic renal failure, in the light of increasingly limited resources prompted us to question nephrologist on their bases for selection. We discovered no absolute criteria for rejection, but a consensus of opinion against those with additional and complicating factors to their renal disease such as age, hepatitis carriers and mental illness-a bias seen throughout the National Health Service. In this paper we discuss the validity (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28.  16
    Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic.Alexander V. Gheorghiu & David J. Pym - 2023 - Bulletin of the Section of Logic 52 (2):239-266.
    Proof-theoretic semantics (P-tS) is the paradigm of semantics in which meaning in logic is based on proof (as opposed to truth). A particular instance of P-tS for intuitionistic propositional logic (IPL) is its base-extension semantics (B-eS). This semantics is given by a relation called support, explaining the meaning of the logical constants, which is parameterized by systems of rules called bases that provide the semantics of atomic propositions. In this paper, we interpret bases as collections of definite formulae and use (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29. Can robots Be teammates?: Benchmarks and predictors of failure in human-robot teams.V. Groom & C. Nass - 2007 - Interaction Studies 8 (3):483-500.
  30. COVID-19 calls for virtue ethics.Francesca Bellazzi & Konrad V. Boyneburgk - 2020 - Journal of Law and the Biosciences 7 (1).
    The global spread of severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) or coronavirus disease 19 (COVID-19) has led to the imposition of severely restrictive measures by governments in the Western hemisphere. We feel a contrast between these measures and our freedom. This contrast, we argue, is a false perception. It only appears to us because we look at the issue through our contemporary moral philosophy of utilitarianism and an understanding of freedom as absence of constraints. Both these views can be (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  31.  15
    Transformation of the Human Image in the Paradigm of Knowledge Evolution.V. H. Kremen & V. V. Ilin - 2021 - Anthropological Measurements of Philosophical Research 19:5-14.
    Purpose. The knowledge influence analysis on the formation process of new anthropological images of man in the contexts of scientific achievements and innovative technologies is the basis of this study. It involves the solution of the following tasks: 1) explication of the ontological content of knowledge in the anthropo-cultural senses of the epoch; 2) analysis of the knowledge influence on the process of forming a new type of man; 3) characteristics of the modern anthropological situation in the context of digital (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  32.  11
    Recognition failure and dual mechanisms in recall.Gregory V. Jones - 1978 - Psychological Review 85 (5):464-469.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   41 citations  
  33.  4
    The ethics of tainted legacies: human flourishing after traumatic pasts.Karen V. Guth - 2022 - New York, NY, USA: Cambridge University Press.
    What do we do when a beloved comedian known as "America's Dad" is convicted of sexual assault? Or when we discover that the man who wrote "all men are created equal" also enslaved hundreds of people? Or when priests are exposed as pedophiles? From the popular to the political to the profound, each day brings new revelations that respected people, traditions, and institutions are not what we thought they were. Despite the shock that these disclosures produce, this state of affairs (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  16
    Do anthropologists become moral relativists by mistake?V. A. Howard - 1968 - Inquiry: An Interdisciplinary Journal of Philosophy 11 (1-4):175 – 189.
    It is argued that anthropologists become moral relativists by mistake typically in two ways: (1) by confusing moral with factual discourse (dubbed the Normativist Fallacy) which derives in turn from a failure to distinguish adequately between direct and indirect discourse in the description of moral systems and preferences; or (2) by confusing definitive with hypothetical statements in descriptive ethics (the Definitivist Fallacy). Two representative arguments illustrating these errors are analyzed and some morals drawn from the results regarding the status (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  35.  77
    Money and the Russian Classics.Andrei V. Anikin - 1993 - Diogenes 41 (162):99-109.
    There are various ways to describe the type of society that developed, at least in America and Europe, over the last two centuries. One of the better known ones is the civilization of money. Different people, depending on their world view, can judge this fact differently: to deny it, however, is impossible. This is especially obvious now, when the most grandiose and stubborn attempt at liberating society from the power of money – allegedly in order to subordinate money to higher (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  44
    Substitution, Identity, and the Subject-Predicate Structure.Genoveva Martı - 2007 - In Michael O'Rourke Corey Washington (ed.), Situating Semantics: Essays on the Philosophy of John Perry. pp. 93.
    One of the many important tasks of semantics is to provide an account of the substitution patterns of a language—that is, to furnish an explanation of the conditions under which semantic values of complexes are preserved when components are replaced. The importance of this issue is plain: we only have to recall the debates regarding substitutivity between proponents of direct reference theories and advocates of some version of Fregeanism, as well as the disagreements among different proponents of direct reference (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  77
    Neonatal extracorporeal membrane oxygenation (ECMO): clinical trials and the ethics of evidence.V. Mike, A. N. Krauss & G. S. Ross - 1993 - Journal of Medical Ethics 19 (4):212-218.
    Neonatal extracorporeal membrane oxygenation (ECMO), a technology for the treatment of respiratory failure in newborns, is used as a case study to examine statistical and ethical aspects of clinical trials and to illustrate a proposed 'ethics of evidence', an approach to medical uncertainty within the context of contemporary biomedical ethics. Discussion includes the twofold aim of the ethics of evidence: to clarify the role of uncertainty and scientific evidence in medical decision-making, and to call attention to the need to (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  8
    Humanism, Humanitarian Values and the Search for the Foundations of Modern Bioethics.V. I. Przhilenskiy - 2018 - Russian Journal of Philosophical Sciences 11:7-27.
    The article discusses the relationship of the axiological foundations of modern bioethics with casual and even incidental effects of the activity of scholars in the late Middle Ages and the Renaissance. The author examine the ability of humanists to influence the formation of values system as well as the possibility of instrumentalizing these values in social practices. The study determines the entire causal complex that led to the formation of a special tradition of non-religious substantiation of values associated with the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  34
    The environmental and ethical implications of lead shot contamination of rural lands in north America.V. G. Thomas - 1997 - Journal of Agricultural and Environmental Ethics 10 (1):41-54.
    Lead shot deposited in fields and woodlands near shooting rangesand intense, upland, hunting adds an enormous tonnage of lead toenvironments, worldwide. This contamination is not remedied bybanning lead shot use only for waterfowl hunting. Lead pelletsdisintegrate extremely slowly, during which time they may beingested from the soil by wild birds, livestock, or silage-makingmachinery, and cause sublethal or fatal lead poisoning. Leadpellet corrosion products contaminate soil, surface waters, andground waters, often exceeding permissible levels. Plants do notconcentrate much lead from the soil, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  40.  49
    Living wills and substituted judgments: A critical analysis.Jos V. M. Welie - 2001 - Medicine, Health Care and Philosophy 4 (2):169-183.
    In the literature three mechanisms are commonly distinguished to make decisions about the care of incompetent patients: A living will, a substituted judgment by a surrogate (who may or may not hold the power of attorney ), and a best interest judgment. Almost universally, the third mechanism is deemed the worst possible of the three, to be invoked only when the former two are unavailable. In this article, I argue in favor of best interest judgments. The evermore common aversion of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  41.  12
    Cinema and the Political: Deleuze and the Desire of Documentation in the Third World.K. V. Cybil - 2018 - Deleuze and Guattari Studies 12 (1):84-103.
    This paper attempts to analyse the images that animated a political movement called the Odessa Collective in Kerala since 1984. It produced six films – Amma Ariyan, Ithrayum Yathabhagam, Vettayadapetta Manasu, Mortuary of Love, Agnirekha and Holy Cow. This paper tries to argue that the twenty-two years of this movement's politics can be studied as an assemblage of the man and machine in a Deleuzian framework on cinema of the Third World. It tries to conceptualise the linkages between the Cinéma (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  11
    On African fault lines: meditations on alterity politics.V. Y. Mudimbe - 2013 - Scottsville, South Africa: University of KwaZulu-Natal Press.
    This collection of meditations reformulates the experience of African studies as a concern with three thematics: Africa's place within today's intellectual, economic, and cultural configurations; the main axes that structure disciplinary practices concerned with African difference; and the possibility of understanding being-in-the-world with reference to alienation, creativity, and friendship. *** This book is highly innovative in its re-evaluation of alterity. It marshalls a broad range of theories from Adorno to Marx to Walter Benjamin, all the while "grounding" it in African (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  3
    Bibliography on Plato's "Laws," 1920-1970: With Additional Citations through May, 1975 (review).V. Tejera - 1977 - Journal of the History of Philosophy 15 (4):463-463.
    In lieu of an abstract, here is a brief excerpt of the content:Book Reviews Bibliography on Plato's "'Laws, "" 1920-1970: With Additional Citations through May, 1975. By Trevor J. Saunders. (New York: Arno Press, 1976. Pp. i + 60. $15.00) The Penguin Classics translator of the non-Socratic Laws, as Leo Strauss called them, has here compiled in a most usable way a thorough bibliography of books and articles about the Laws or parts of them. The section "Texts, Translations, and Commentaries" (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  10
    Linear explicit substitutions.N. Ghani, V. de Paiva & E. Ritter - 2000 - Logic Journal of the IGPL 8 (1):7-31.
    The λσ-calculus adds explicit substitutions to the λ-calculus so as to provide a theoretical framework within which the implementation of functional programming languages can be studied. This paper generalises the λσ-calculus to provide a linear calculus of explicit substitutions, called xDILL, which analogously describes the implementation of linear functional programming languages.Our main observation is that there are non-trivial interactions between linearity and explicit substitutions and that xDILL is therefore best understood as a synthesis of its underlying logical structure and the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  9
    Rules, understanding and language games in mathematics.V. V. Tselishchev - forthcoming - Philosophical Problems of IT and Cyberspace.
    The article is devoted to the applicability of Wittgenstein’s following the rule in the context of his philosophy of mathematics to real mathematical practice. It is noted that in «Philosophical Investigations» and «Remarks on the Foundations of Mathematics» Wittgenstein resorted to the analysis of rather elementary mathematical concepts, accompanied also by the inherent ambiguity and ambiguity of his presentation. In particular, against this background, his radical conventionalism, the substitution of logical necessity with the «form of life» of the community, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  21
    Definition of Substitution.W. V. Quine - 1936 - Journal of Symbolic Logic 1 (3):116-117.
  47.  45
    The behavioural constellation of deprivation: Causes and consequences.Gillian V. Pepper & Daniel Nettle - 2017 - Behavioral and Brain Sciences 40:1-72.
    Socioeconomic differences in behaviour are pervasive and well documented, but their causes are not yet well understood. Here, we make the case that a cluster of behaviours is associated with lower socioeconomic status, which we call “the behavioural constellation of deprivation.” We propose that the relatively limited control associated with lower SES curtails the extent to which people can expect to realise deferred rewards, leading to more present-oriented behaviour in a range of domains. We illustrate this idea using the specific (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  48.  4
    Um ensaio cartográfico.Luís Manuel A. V. Bernardo - 2012 - Cultura:9-10.
    Com este conjunto de treze artigos introdutórios, pretende-se apontar e, parcialmente, preencher uma lacuna significativa nos estudos sobre a Filosofia em Portugal e no Brasil. Com efeito, uma investigação bibliográfica tornará facilmente manifesto que a Filosofia do Conhecimento, enquanto tal, com os seus problemas específicos e as suas categorias próprias, não tem figurado, com uma assiduidade à medida da sua representatividade, na agenda daqueles que se dedicam à interpretação das proposta...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  24
    Universality and Autonomy in Kant’s Moral Philosophy.O. V. Artemyeva - 2018 - Russian Journal of Philosophical Sciences 11:86-102.
    The paper is devoted to the analysis of Kant’s approach to the ideas of universality and autonomy as the constitutive features of morality. The paper shows that Kant’s findings concerning these ideas were anticipated by the previous history of moral philosophy, mainly by the modern moral philosophers, who focused specifically on the elaboration of the philosophical concept of morality. Kant’s peculiar role was that, firstly, he conceptualized the ideas of universality and autonomy and formulated corresponding principles; secondly, Kant integrated both (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  49
    Scarcity and the concepts of ethics.V. C. Walsh - 1958 - Philosophy of Science 25 (4):249-257.
    Moral philosophers have often felt the need of a concept which would cover all those cases where we are prevented from achieving our ends through no fault of our own: a criterion for saying when failure is not blameworthy. The deontologists thought we were not to blame for actions done in genuine ignorance of the facts. Kant declared in a famous passage that we were not morally responsible for failures due to the “niggardliness of stepmother nature.” In this article (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 999