Results for 'Composition operators'

986 found
Order:
  1. A Taxonomy of Composition Operations.Jan Westerhoff - 2004 - Logique and Analyse 2004 (47):375-393.
    A set of parameters for classifying composition operations is introduced. These parameters determine whether a composition operation is 1) universal, 2) determinate, 3) whether there is a difference between possible and actual compositions, 4) whether there can be singleton compositions, 5) whether they give rise to a hierarchy, and 6) whether components of compositions can be repeated. Philosophical implications of these parameters (in particular in relation to set theory) and mereology are discussed.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  74
    Weakly associative relation algebras with polyadic composition operations.Vera Stebletsova - 2000 - Studia Logica 66 (2):297-323.
    In this paper we introduced various classes of weakly associative relation algebras with polyadic composition operations. Among them is the class RWA of representable weakly associative relation algebras with polyadic composition operations. Algebras of this class are relativized representable relation algebras augmented with an infinite set of operations of increasing arity which are generalizations of the binary relative composition. We show that RWA is a canonical variety whose equational theory is decidable.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  25
    Dual tableau-based decision procedures for relational logics with restricted composition operator.Domenico Cantone, Marianna Nicolosi Asmundo & Ewa Orlowska - 2011 - Journal of Applied Non-Classical Logics 21 (2):177-200.
    We consider fragments of the relational logic RL(1) obtained by posing various constraints on the relational terms involving the operator of composition of relations. These fragments allow to express several non classical logics including modal and description logics. We show how relational dual tableaux can be employed to provide decision procedures for each of them.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  30
    Composition and operation of selected research ethics review committees in Latin America.Roberto Rivera & Enrique Ezcurra - 2000 - IRB: Ethics & Human Research 23 (5):9-12.
  5.  22
    Attentional processes along a composite stimulus continuum during free-operant summation.Stanley J. Weiss - 1969 - Journal of Experimental Psychology 82 (1p1):22.
  6. Temporalism and Composite Tense Operators.Dan Zeman - 2013 - Disputatio 5 (37):323-328.
    This is my contribution to a symposium on Berit Brogaard's book "Transient Truths" in which I criticize her treatment of various linguistic phenomena related to tense.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  48
    Chamorro evidence for compositional asymmetry.Sandra Chung & William A. Ladusaw - 2006 - Natural Language Semantics 14 (4):325-357.
    In earlier work, we developed an composition in which predicates can be composed with arguments by operations other than Function Application, and it makes a difference which composition operation is employed. Here we take our approach further by examining two nonsaturating operations that combine property contents: Restrict, which composes a predicate with the property content of an indefinite; and Modify, which is involved in predicate modification. Nonsaturating operations that combine property contents are often formalized in terms of predicate (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  91
    (1 other version)Ambiguous discourse in a compositional context. An operational perspective.Tim Fernando - 2001 - Journal of Logic, Language and Information 10 (1):63-86.
    The processing of sequences of (English) sentences is analyzedcompositionally through transitions that merge sentences, rather thandecomposing them. Transitions that are in a precise senseinertial are related to disjunctive and non-deterministic approaches toambiguity. Modal interpretations are investigated, inducing variousequivalences on sequences.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  9.  44
    The relativistic velocity composition paradox and the Thomas rotation.Abraham A. Ungar - 1989 - Foundations of Physics 19 (11):1385-1396.
    The relativistic velocity composition paradox of Mocanu and its resolution are presented. The paradox, which rests on the bizarre and counterintuitive non-communtativity of the relativistic velocity composition operation, when applied to noncollinear admissible velocities, led Mocanu to claim that there are “some difficulties within the framework of relativistic electrodynamics.” The paradox is resolved in this article by means of the Thomas rotation, shedding light on the role played by composite velocities in special relativity, as opposed to the role (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  10. Cartesian composites.Paul David Hoffman - 1999 - Journal of the History of Philosophy 37 (2):251-270.
    In lieu of an abstract, here is a brief excerpt of the content:Cartesian CompositesPaul HoffmanTowards the end of a paper in which I argued that Descartes thinks a human being is a genuine unity, I invited other commentators to come to Descartes’s defense by accounting for his apparently contradictory claims that a human being is an ens per se and that it is an ens per accidens.1 These claims seem to be contradictory, because in saying that a human being is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  11.  54
    Compositional verification of multi-agent systems in temporal multi-epistemic logic.Joeri Engelfriet, Catholijn M. Jonker & Jan Treur - 2002 - Journal of Logic, Language and Information 11 (2):195-225.
    Compositional verification aims at managing the complexity of theverification process by exploiting compositionality of the systemarchitecture. In this paper we explore the use of a temporal epistemiclogic to formalize the process of verification of compositionalmulti-agent systems. The specification of a system, its properties andtheir proofs are of a compositional nature, and are formalized within acompositional temporal logic: Temporal Multi-Epistemic Logic. It isshown that compositional proofs are valid under certain conditions.Moreover, the possibility of incorporating default persistence ofinformation in a system, is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  20
    Composition Under Distributive Natural Transformations: Or, When Predicate Abstraction is Impossible.Dylan Bumford - 2022 - Journal of Logic, Language and Information 31 (3):287-307.
    Natural language semanticists have often found it useful to assume that all expressions denote sets of values. The approach is most prominent in the study of questions and prosodic focus, but also common in work on indefinites, disjunction, negative polarity, and scalar implicature. However, the most popular compositional implementation of this idea is known to face technical obstacles in the presence of object-language binding constructs, including, chiefly, lambda abstraction. The problem has been well-described on several occasions in the literature, and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  24
    Comparing the role of selective and divided attention in the composite face effect: Insights from Attention Operating Characteristic (AOC) plots and cross-contingency correlations.Daniel Fitousi - 2016 - Cognition 148 (C):34-46.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  14.  27
    Positive set-operators of low complexity.Athanossios Tzouvaras - 2003 - Mathematical Logic Quarterly 49 (3):284.
    The powerset operator, [MATHEMATICAL SCRIPT CAPITAL P], is compared with other operators of similar type and logical complexity. Namely we examine positive operators whose defining formula has a canonical form containing at most a string of universal quantifiers. We call them ∀-operators. The question we address in this paper is: How is the class of ∀-operators generated ? It is shown that every positive ∀-operator Γ such that Γ ≠ ∅, is finitely generated from [MATHEMATICAL SCRIPT (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  79
    The evolution, appropriation, and composition of rules.Jeffrey A. Barrett - 2018 - Synthese 195 (2):623-636.
    This paper concerns how rule-following behavior might evolve in the context of a variety of Skyrms–Lewis signaling game, how such rules might subsequently evolve to be used in new contexts, and how such appropriation allows for the composition of evolved rules. We will also consider how the composition of simpler rules to form more complex rules may be significantly more efficient than evolving the complex rules directly. And we will review an example of rule following by pinyon and (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  16.  40
    Compositional belief update.James Delgrande & Francis Jeffry Pelletier - unknown
    In this paper we explore a class of belief update operators, in which the definition of the operator is compositional with respect to the sentence to be added. The goal is to provide an update operator that is intuitive, in that its definition is based on a recursive decomposition of the update sentence’s structure, and that may be reasonably implemented. In addressing update, we first provide a definition phrased in terms of the models of a knowledge base. While this (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  13
    Aspectual composition using weak type coercion.Alex Franz - unknown
    : "Work on aspect has long focussed on classifications of linguistic expressions into aspectual types, or Vendler-classes. Typical Vendler-classes include states, processes, and events. Such classifications miss the important generalization about aspectual interpretationthat it is a compositional process. It has been noted in the literature that terms can switch Vendler-classes; this has been called the category-switch problem. In our analysis, it is proposed that meanings and not expressions fall into aspectual classes, and that the aspectual type of a meaning is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18. Semantic composition and presupposition projection in subjunctive conditionals.Michela Ippolito - 2006 - Linguistics and Philosophy 29 (6):631 - 672.
    The goal of this paper is to offer a compositional semantics for subjunctive and indicative will conditionals, and to derive the projection properties of the types of conditionals we consider and in particular those of counterfactual conditionals. It is argued that subjunctive conditionals are "bare" conditional embedded under temporal and aspectural operators, which constrain the interpretation of the modal operators in the embedded conditional. Furthermore, it is argued that a theory of presupposition projection à la Heim together with (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  19.  89
    Inverse linking via function composition.Gregory M. Kobele - 2010 - Natural Language Semantics 18 (2):183-196.
    The phenomenon of inverse linking, where a noun phrase embedded within another behaves with respect to binding as though it were structurally independent, has proven challenging for theories of the syntax–semantics interface. In this paper I show that, using an LF-movement style approach to the syntax–semantics interface, we can derive all and only the appropriate meanings for such constructions using no semantic operations other than function application and composition. The solution relies neither on a proliferation of lexical ambiguity nor (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  20. Operator arguments revisited.Juhani Yli-Vakkuri, John Hawthorne & Peter Fritz - 2019 - Philosophical Studies 176 (11):2933-2959.
    Certain passages in Kaplan’s ‘Demonstratives’ are often taken to show that non-vacuous sentential operators associated with a certain parameter of sentential truth require a corresponding relativism concerning assertoric contents: namely, their truth values also must vary with that parameter. Thus, for example, the non-vacuity of a temporal sentential operator ‘always’ would require some of its operands to have contents that have different truth values at different times. While making no claims about Kaplan’s intentions, we provide several reconstructions of how (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  21. The operator argument and the case of timestamp semantics.Jakub Węgrecki - 2023 - Synthese 202 (6):1-28.
    The Operator Argument against eternalism holds that having non-vacuous tense operators in the language is incompatible with the claim that every proposition has its truth-value eternally. Assuming that (1) there are non-vacuous tense operators, (2) tense operators operate on propositions and (3) tense operators which operate on eternal entities are vacuous, it may be argued that eternalism is false. In this paper, I examine the Operator Argument. The goal is threefold. First, I want to present some (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  22.  85
    Composition, training needs and independence of ethics review committees across Africa: are the gate-keepers rising to the emerging challenges?A. Nyika, W. Kilama, R. Chilengi, G. Tangwa, P. Tindana, P. Ndebele & J. Ikingura - 2009 - Journal of Medical Ethics 35 (3):189-193.
    Background: The high disease burden of Africa, the emergence of new diseases and efforts to address the 10/90 gap have led to an unprecedented increase in health research activities in Africa. Consequently, there is an increase in the volume and complexity of protocols that ethics review committees in Africa have to review. Methods: With a grant from the Bill and Melinda Gates Foundation, the African Malaria Network Trust (AMANET) undertook a survey of 31 ethics review committees (ERCs) across sub-Saharan Africa (...)
    Direct download (13 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  23.  35
    Computability of compact operators on computable Banach spaces with bases.Vasco Brattka & Ruth Dillhage - 2007 - Mathematical Logic Quarterly 53 (4‐5):345-364.
    We develop some parts of the theory of compact operators from the point of view of computable analysis. While computable compact operators on Hilbert spaces are easy to understand, it turns out that these operators on Banach spaces are harder to handle. Classically, the theory of compact operators on Banach spaces is developed with the help of the non-constructive tool of sequential compactness. We demonstrate that a substantial amount of this theory can be developed computably on (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. The Special Composition Question and Natural Fusion.Renato Rocha - 2019 - Proceedings of the 3rd Filomena Workshop.
    Philosophical problems about the part-whole relation have been discussed throughout the history of philosophy, at least since Plato and Aristotle. In contemporary philosophy, the understanding of these issues has benefited from the formal tools of Classical Extensional Mereology. This paper aims is to defend mereological restrictivism against some constraints imposed by the vagueness argument. To achieve this, the paper is divided into three parts. In the first, I introduce the special composition question (hereafter SCQ) as formulated by [Van Inwagen, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  32
    Assertion, denial, and the evolution of Boolean operators.Fausto Carcassi & Giorgio Sbardolini - 2023 - Mind and Language 38 (5):1187-1207.
    Given current data, only a few binary Boolean operators are expressed in lexically simple fashion in the world's languages: and, or, nor. These do not occur in every combination, for example, nor is not observed by itself. To explain these cross‐linguistic patterns, we propose an encoding of Boolean operators as update procedures to accept or reject information in a context. We define a measure of conceptual simplicity for such updates, on which attested operators are conceptually simpler than (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  26. Tenses, time adverbs, and compositional semantic theory.David R. Dowty - 1982 - Linguistics and Philosophy 5 (1):23 - 55.
    I might summarize this section by saying that the English tenses, according to this analysis, form quite a motley group. PAST, PRES and FUT serve to relate reference time to speech time, while WOULD and USED-TO behave like Priorian operators, shifting the point of evaluation away from the reference time. HAVE also shifts the point of evaluation away from the reference time, but in a more complicated way. And FUT, in contrast to PRES and PAST, is a substitution operator, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  27.  17
    »Operative Ontologien«: Technikmaterialismus als prima philosophia?Petra Gehring - 2017 - Zeitschrift für Medien- Und Kulturforschung 8 (2):143-156.
    "Der Beitrag repliziert auf Bernhard Siegerts Programmtext zu »Operativen Ontologien«, hinterfragt einige grundbegriffliche Voreinstellungen des Siegertschen Technikmaterialismus und setzt sich kritisch mit dessen auf Ontologie(n) abzielenden Anspruch aus- einander – wie er sich nun am Thema des technischen Mediums als »Ding« explizit festmacht. Dabei wird nicht zuletzt das Fehlen eines Technikbegriffs vermerkt, der zwischen den Polen Medium, Praxis/Operation und »Ding« (sowie dann auch »Artikulation« und »Kultur« im Kompositum »Kulturtechnik«) in hinreichend klarer Weise vermittelt. Vor allem aber rät die Verfasserin zum (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  38
    Description of Composite Quantum Systems by Means of Classical Random Fields.Andrei Khrennikov - 2010 - Foundations of Physics 40 (8):1051-1064.
    Recently a new attempt to go beyond QM was performed in the form of so-called prequantum classical statistical field theory (PCSFT). In this approach quantum systems are described by classical random fields, e.g., the electron field or the neutron field. Averages of quantum observables arise as approximations of averages of classical variables (functionals of “prequantum fields”) with respect to fluctuations of fields. For classical variables given by quadratic functionals of fields, quantum and prequantum averages simply coincide. In this paper we (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29. Multiple coordination: Meaning composition vs. the syntax-semantics interface.Yoad Winter - manuscript
    This paper argues that multiple coordinations like tall, thin and happy are interpreted in a “flat” iterative process, but using “nested” recursive application of binary coordination operators in the compositional meaning derivation. Ample motivation for flat interpretation is shown by contrasting such coordinations with nested, syntactically ambiguous, coordinate structures like tall and thin and happy. However, new evidence coming from type shifting and predicate distribution with verb phrases show motivation for an independent hierarchical ingredient in the compositional semantics of (...)
     
    Export citation  
     
    Bookmark   1 citation  
  30.  20
    Holistic and Compositional Logics Based on the Bertini Gate.Roberto Leporini - 2020 - Foundations of Science 27 (1):57-75.
    The theory of logical gates in quantum computation has inspired the development of new forms of quantum logic where the meaning of a formula is identified with a density operator and the logical connectives are interpreted as operations defined in terms of quantum gates. We show some relations between the Bertini gate and many valued connectives by probability values. On this basis, one can deal with quantum circuits as expressions in an algebraic environment such as product many valued algebra for (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  71
    Modelling gene regulation: (De)compositional and template-based strategies.Tarja Knuuttila & Vivette García Deister - 2019 - Studies in History and Philosophy of Science Part A 77:101-111.
    Although the interdisciplinary nature of contemporary biological sciences has been addressed by philosophers, historians, and sociologists of science, the different ways in which engineering concepts and methods have been applied in biology have been somewhat neglected. We examine - using the mechanistic philosophy of science as an analytic springboard - the transfer of network methods from engineering to biology through the cases of two biology laboratories operating at the California Institute of Technology. The two laboratories study gene regulatory networks, but (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  32. Board Composition and Financial Performance: Uncovering the Effects of Diversity in an Emerging Economy. [REVIEW]Jyoti D. Mahadeo, Teerooven Soobaroyen & Vanisha Oogarah Hanuman - 2012 - Journal of Business Ethics 105 (3):375-388.
    We examine the key elements of board diversity (or heterogeneity) amongst listed companies operating in an emerging economy (Mauritius) and the extent to which these influence financial performance. Specifically, we ask whether there is evidence of tangible benefits in pursuing a strategy of board diversity in terms of gender-, age-, educational background and independence in a corporate context which has long been dominated by family-led and ‘closed’ boardrooms. In light of recent corporate governance developments which appear to foster greater diversity, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  33.  60
    An equational axiomatization of dynamic negation and relational composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.
    We consider algebras on binary relations with two main operators: relational composition and dynamic negation. Relational composition has its standard interpretation, while dynamic negation is an operator familiar to students of Dynamic Predicate Logic (DPL) (Groenendijk and Stokhof, 1991): given a relation R its dynamic negation R is a test that contains precisely those pairs (s,s) for which s is not in the domain of R. These two operators comprise precisely the propositional part of DPL.This paper (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  34.  55
    A new proof of completeness for a relative modal logic with composition and intersection.Philippe Balbiani - 2001 - Journal of Applied Non-Classical Logics 11 (3):269-280.
    This paper is devoted to the completeness issue of RMLCI — the relative modal logic with composition and intersection— a restriction of the propositional dynamic logic with intersection. The trouble with RMLCI is that the operation of intersection is not modally definable. Using the notion of mosaics, we give a new proof of a theorem considered in a previous paper “Complete axiomatization of a relative modal logic with composition and intersection”. The theorem asserts that the proof theory of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  35. Against the identification of assertoric content with compositional value.Brian Rabern - 2012 - Synthese 189 (1):75-96.
    This essay investigates whether or not we should think that the things we say are identical to the things our sentences mean. It is argued that these theoretical notions should be distinguished, since assertoric content does not respect the compositionality principle. As a paradigmatic example, Kaplan's formal language LD is shown to exemplify a failure of compositionality. It is demonstrated that by respecting the theoretical distinction between the objects of assertion and compositional values certain conflicts between compositionality and contextualism are (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   85 citations  
  36.  67
    Using Logic to Evolve More Logic: Composing Logical Operators via Self-Assembly.Travis LaCroix - 2022 - British Journal for the Philosophy of Science 73 (2):407-437.
    I consider how complex logical operations might self-assemble in a signalling-game context via composition of simpler underlying dispositions. On the one hand, agents may take advantage of pre-evolved dispositions; on the other hand, they may co-evolve dispositions as they simultaneously learn to combine them to display more complex behaviour. In either case, the evolution of complex logical operations can be more efficient than evolving such capacities from scratch. Showing how complex phenomena like these might evolve provides an additional path (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  37. Simulation informatique et pluriformalisation des objets composites.Franck Varenne - 2009 - Philosophia Scientiae 13 (1):135-154.
    A recent evolution of computer simulations has led to the emergence of complex computer simulations. In particular, the need to formalize composite objects (those objects that are composed of other objects) has led to what the author suggests calling pluriformalizations, i.e. formalizations that are based on distinct sub-models which are expressed in a variety of heterogeneous symbolic languages. With the help of four case-studies, he shows that such pluriformalizations enable to formalize distinctly but simultaneously either different aspects or different parts (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  38.  19
    Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms.Robin Hirsch, Szabolcs Mikulás & Tim Stokes - 2022 - Logic Journal of the IGPL 30 (5):886-906.
    Demonic composition, demonic refinement and demonic union are alternatives to the usual ‘angelic’ composition, angelic refinement (inclusion) and angelic (usual) union defined on binary relations. We first motivate both the angelic and the demonic via an analysis of the behaviour of non-deterministic programs, with the angelic associated with partial correctness and demonic with total correctness, both cases emerging from a richer algebraic model of non-deterministic programs incorporating both aspects. Zareckiĭ has shown that the isomorphism class of algebras of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  18
    Individual selection criteria for optimal team composition.Lu Hong & Scott E. Page - forthcoming - Theory and Decision:1-20.
    In this paper, we derive necessary and sufficient conditions on team based tasks in order for a selection criterion applied to individuals to produce optimal teams. We assume only that individuals have types and that a team’s performance depends on its size and the type composition of its members. We first derive the selection principle which states that if a selection criterion exists, it must rank types by homogeneous team performance, the performance of a team consisting only of that (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  23
    Organized Complexity: Conventions of Coordination and the Composition of Economic Arrangements.Laurent Thévenot - 2001 - European Journal of Social Theory 4 (4):405-425.
    This article introduces a framework which aims at capturing the complexity of economic organizations. The analysis of most legitimate conventions of coordination results in a new approach to the firm as a compromising device between several modes of coordination which engage different repertoires of evaluation. This contribution to the Économie des conventions offers an analytical tool to operate comparative research on firms, intermediate regulatory committees or public policies.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  41. Course description: The course will give a concise introduction to compositional modeltheoretic semantics in the Montague tradition, with ample discussion and motivation coming..Yoad Winter - manuscript
    The course will give a concise introduction to compositional modeltheoretic semantics in the Montague tradition, with ample discussion and motivation coming from recent research. Concentrating on the underlying methodological principles, I will aim to attract students' attention to the beauty and scientific value of the description of intricate semantic phenomena using elegant and rigorously-defined mathematical techniques. The course is intended for students who don't necessarily have any prior knowledge in logic or linguistics, but have some basic mathematical or general scientific (...)
     
    Export citation  
     
    Bookmark  
  42. Eternalism and Propositional Multitasking: in defence of the Operator Argument.Clas Weber - 2012 - Synthese 189 (1):199-219.
    It is a widely held view in philosophy that propositions perform a plethora of different theoretical roles. Amongst other things, they are believed to be the semantic values of sentences in contexts, the objects of attitudes, the contents of illocutionary acts, and the referents of that-clauses. This assumption is often combined with the claim that propositions have their truth-values eternally. In this paper I aim to show that these two assumptions are incompatible: propositions cannot both fulfill the mentioned roles and (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  43.  49
    Strength, limits, and resistance to change of operant theory.François Tonneau - 2000 - Behavioral and Brain Sciences 23 (1):113-114.
    The research Nevin & Grace report is impressive in its integrative power, but it also shows the current limits of operant theory: There is tremendous concentration on understanding how existing behavioral relations are modulated in rate or time allocation, but little on dealing with the origin of the behavioral relations themselves. Specifying what should count as a behavioral unit will require source principles sensitive to the composition of the units being related.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  57
    The modal interpretation of quantum mechanics and its generalization to density operators.Pieter E. Vermaas & Dennis Dieks - 1995 - Foundations of Physics 25 (1):145-158.
    We generalize the modal interpretation of quantum mechanics so that it may be applied to composite systems represented by arbitrary density operators. We discuss the interpretation these density operators receive and relate this to the discussion about the interpretation of proper and improper mixtures in the standard interpretation.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   44 citations  
  45.  25
    Leibniz vs. Stahl on the way machines of nature operate.François Duchesneau - unknown
    The theory of living beings as machines of nature and the conception of composite substances endowed with conjoined souls, entelechies, or monads, as well as that of organic bodies, were solidified over the course of the transformations of Leibniz's thought that issued in the New System of Nature. On this basis, the monadological versions of a system of nature centered upon the integrated organization ad infinitum of living beings were gradually articulated. Leibniz aimed to spell out a science, or physiology (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  53
    Phenomenology and temporality in the composition of experimental minimal music.Richard Glover & Bryn Harrison - 2013 - University of Huddersfield Repository.
    The paper’s authors are composers operating within the field of experimental music. Their music is created from the use of limited materials placed into repetitive structures involving cyclic pitch patterns and sustained tone textures. This reductive approach to composition provides a fertile area for discussions of temporality, as the music functions outside of standard teleological narrative structures thereby prompting more varied subjective temporal experiences for listeners. The paper will take as its starting point the experience of the listener, rather (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  47.  95
    Predicate logic with flexibly binding operators and natural language semantics.Peter Pagin & Dag Westerståhl - 1993 - Journal of Logic, Language and Information 2 (2):89-128.
    A new formalism for predicate logic is introduced, with a non-standard method of binding variables, which allows a compositional formalization of certain anaphoric constructions, including donkey sentences and cross-sentential anaphora. A proof system in natural deduction format is provided, and the formalism is compared with other accounts of this type of anaphora, in particular Dynamic Predicate Logic.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  48.  18
    Déjà vu: A botched memory operation, illegitimate to start with.Debora Stendardi, Anindita Basu, Alessandro Treves & Elisa Ciaramelli - 2023 - Behavioral and Brain Sciences 46:e378.
    Rather than a natural product, a computational analysis leads us to characterize déjà vu as a failure of memory retrieval, linked to the activation in neocortex of familiar items from a compositional memory in the absence of hippocampal input, and to a misappropriation by the self of what is of others.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  28
    On conservation of parity and time reversal and composite models of particles.A. O. Barut - 1983 - Foundations of Physics 13 (1):7-12.
    We show that it is possible to consider parity and time reversal, as basic geometric symmetry operations, as being absolutely conserved. The observations of symmetry-violating pseudoscalar quantities can be attributed to the fact that some particles, due to their internal structure, are not eigenstates of parity or CP, and there is no reason that they should be. In terms of a model it is shown how, in spite of this, pseudoscalar terms are small in strong interactions. The neutrino plays an (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  54
    Hyperformulas and Solid Algebraic Systems.Klaus Denecke & Dara Phusanga - 2008 - Studia Logica 90 (2):263-286.
    Defining a composition operation on sets of formulas one obtains a many-sorted algebra which satisfies the superassociative law and one more identity. This algebra is called the clone of formulas of the given type. The interpretations of formulas on an algebraic system of the same type form a many-sorted algebra with similar properties. The satisfaction of a formula by an algebraic system defines a Galois connection between classes of algebraic systems of the same type and collections of formulas. Hypersubstitutions (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 986