Results for 'Directed set'

1000+ found
Order:
  1.  8
    Andreas Blass and Saharon Shelah. Ultrafilters with Small Generating Sets. Israel Journal of Mathematics, Vol. 65 , Pp. 259–271. - Andreas Blass and Saharon Shelah. There May Be Simple - and -Points and the Rudin–Keisler Ordering May Be Downward Directed. Annals of Pure and Applied Logic, Vol. 33 , Pp. 213–243. - Andreas Blass. Near Coherence of Filters. II: Applications to Operator Ideals, the Stone–Čech Remainder of a Half-Line, Order Ideals of Sequences, and the Slenderness of Groups. Transactions of the American Mathematical Society, Vol. 300 , Pp. 557–581. - Andreas Blass and Saharon Shelah. Near Coherence of Filters III: A Simplified Consistency Proof. Notre Dame Journal of Formal Logic, Vol. 30 , Pp. 530–538. - Andreas Blass and Claude Laflamme. Consistency Results About Filters and the Number of Inequivalent Growth Types. The Journal of Symbolic Logic, Vol. 54 , Pp. 50–56. - Andreas Blass. Applications of Superperfect Forcing and its Relatives. Set Theory and its Applications. [REVIEW]Peter J. Nyikos - 1992 - Journal of Symbolic Logic 57 (2):763-766.
  2.  1
    Directed Sets and Malitz‐Cauchy‐Completions.Roland Hinnion - 1997 - Mathematical Logic Quarterly 43 (4):465-484.
    This is a study of the set of the Malitz-completions of a given infinite first-order structure, put in relation with properties of directed sets.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  7
    Large Cardinals and Ramifiability for Directed Sets.R. Hinnion & O. Esser - 2000 - Mathematical Logic Quarterly 46 (1):25-34.
    The notion of “ramifiability” , usually applied to cardinals, can be extended to directed sets and is put in relation here with familiar “large cardinal” properties.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  7
    Constructive Order Theory.Marcel Erné - 2001 - Mathematical Logic Quarterly 47 (2):211-222.
    We introduce the notion of constructive suprema and of constructively directed sets. The Axiom of Choice turns out to be equivalent to the postulate that every supremum is constructive, but also to the hypothesis that every directed set admits a function assigning to each finite subset an upper bound. The Axiom of Multiple Choice implies a simple set-theoretical induction principle , stating that any system of sets that is closed under unions of well-ordered subsystems and contains all finite (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  3
    Ramifiable Directed Sets.Roland Hinnion - 1998 - Mathematical Logic Quarterly 44 (2):216-228.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  91
    A Tukey Decomposition Of [Mathematical Script Capital P]Κλ And The Tree Property For Directed Sets.Masayuki Karato - 2005 - Mathematical Logic Quarterly 51 (3):305-312.
    Generalizing a result of Todorčević, we prove the existence of directed sets D, E such that D ≱ [MATHEMATICAL SCRIPT CAPITAL P]κλ and E ≱ [MATHEMATICAL SCRIPT CAPITAL P]κλ but D × E ≥ [MATHEMATICAL SCRIPT CAPITAL P]κλ in the Tukey ordering. As an application, we show that the tree property for directed sets introduced by Hinnion is not preserved under products.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7.  62
    “Frequent Frames” in German Child-Directed Speech: A Limited Cue to Grammatical Categories.Barbara Stumper, Colin Bannard, Elena Lieven & Michael Tomasello - 2011 - Cognitive Science 35 (6):1190-1205.
    Mintz (2003) found that in English child-directed speech, frequently occurring frames formed by linking the preceding (A) and succeeding (B) word (A_x_B) could accurately predict the syntactic category of the intervening word (x). This has been successfully extended to French (Chemla, Mintz, Bernal, & Christophe, 2009). In this paper, we show that, as for Dutch (Erkelens, 2009), frequent frames in German do not enable such accurate lexical categorization. This can be explained by the characteristics of German including a less (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  12
    Fixed-Points of Set-Continuous Operators.O. Esser, R. Hinnion & D. Dzierzgowski - 2000 - Mathematical Logic Quarterly 46 (2):183-194.
    In this paper, we study when a set-continuous operator has a fixed-point that is the intersection of a directed family. The framework of our study is the Kelley-Morse theory KMC– and the Gödel-Bernays theory GBC–, both theories including an Axiom of Choice and excluding the Axiom of Foundation. On the one hand, we prove a result concerning monotone operators in KMC– that cannot be proved in GBC–. On the other hand, we study conditions on directed superclasses in GBC– (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  4
    Combinatorial Criteria for Ramifiable Ordered Sets.R. Hinnion & O. Esser - 2001 - Mathematical Logic Quarterly 47 (4):539-556.
    The tree-property and its variants make sense also for directed sets and even for partially ordered sets. A combinatoria approach is developed here, with characterizations and criteria involving adequate families of special substructures of directed sets. These substructures form a natural hierarchy that is also investigated.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  15
    The Downward Directed Grounds Hypothesis and Very Large Cardinals.Toshimichi Usuba - 2017 - Journal of Mathematical Logic 17 (2):1750009.
    A transitive model M of ZFC is called a ground if the universe V is a set forcing extension of M. We show that the grounds ofV are downward set-directed. Consequently, we establish some fundamental theorems on the forcing method and the set-theoretic geology. For instance, the mantle, the intersection of all grounds, must be a model of ZFC. V has only set many grounds if and only if the mantle is a ground. We also show that if the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  11.  51
    Directed Altruistic Living Organ Donation: Partial but Not Unfair.Medard T. Hilhorst - 2005 - Ethical Theory and Moral Practice 8 (1-2):197-215.
    Arguments against directed altruistic living organ donation are too weak to justify a ban. Potential donors who want to specify the non-related person or group of persons to receive their donated kidney should be accepted. The arguments against, based on considerations of motivation, fairness and (non-)anonymity (e.g. those recently cited by an advisory report of the Dutch Health Council), are presented and discussed, as well as the Dutch Governments response. Whereas the Government argues that individuals have authority with regard (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  12.  9
    Relating First-Order Set Theories and Elementary Toposes.Steve Awodey & Thomas Streicher - 2007 - Bulletin of Symbolic Logic 13 (3):340-358.
    We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions . As our main result, we obtain a complete axiomatization of the intuitionistic set theory validated by all such interpretations. Since every elementary topos is equivalent to one carrying a dssi, we thus obtain a first-order set theory whose associated categories of sets are exactly the elementary toposes. In addition, we show that the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  13.  51
    Relating First-Order Set Theories and Elementary Toposes.Steve Awodey, Carsten Butz & Alex Simpson - 2007 - Bulletin of Symbolic Logic 13 (3):340-358.
    We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions (dssi). As our main result, we obtain a complete axiomatization of the intuitionistic set theory validated by all such interpretations. Since every elementary topos is equivalent to one carrying a dssi, we thus obtain a first-order set theory whose associated categories of sets are exactly the elementary toposes. In addition, we show that the (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  14. Don't Predict the Future–Direct It! Comments on the Intellectual History, the Logical and Applicative Visibility, and the Underlying Assumptions of Directed Evolution.Yonathan Mizrachi - 2010 - World Futures 66 (1):26 – 52.
    " The best way to predict the future is to invent it. —Alan Kay _1_ It is obvious that there are patterns of cultural change—evolution in the neutral sense—and any theory of cultural change worth more than a moment's consideration will have to be Darwinian in the minimal sense of being consistent with the theory of evolution by natural selection of Homo sapiens. —Daniel Dennett _2_ The future is here. It's just not widely distributed yet. —William Gibson _3_ It is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  14
    Ordinal Operations on Graph Representations of Sets.Laurence Kirby - 2013 - Mathematical Logic Quarterly 59 (1-2):19-26.
    Any set x is uniquely specified by the graph of the membership relation on the set obtained by adjoining x to the transitive closure of x. Thus any operation on sets can be looked at as an operation on these graphs. We look at the operations of ordinal arithmetic of sets in this light. This turns out to be simplest for a modified ordinal arithmetic based on the Zermelo ordinals, instead of the usual von Neumann ordinals. In this arithmetic, addition (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  63
    Storage Operators and Directed Lambda-Calculus.René David & Karim Nour - 1995 - Journal of Symbolic Logic 60 (4):1054-1086.
    Storage operators have been introduced by J. L. Krivine in [5] they are closed λ-terms which, for a data type, allow one to simulate a "call by value" while using the "call by name" strategy. In this paper, we introduce the directed λ-calculus and show that it has the usual properties of the ordinary λ-calculus. With this calculus we get an equivalent--and simple--definition of the storage operators that allows to show some of their properties: $\bullet$ the stability of the (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  17. A Transformational Characterization of Markov Equivalence for Directed Maximal Ancestral Graphs.Jiji Zhang & Peter Spirtes - unknown
    The conditional independence relations present in a data set usually admit multiple causal explanations — typically represented by directed graphs — which are Markov equivalent in that they entail the same conditional independence relations among the observed variables. Markov equivalence between directed acyclic graphs (DAGs) has been characterized in various ways, each of which has been found useful for certain purposes. In particular, Chickering’s transformational characterization is useful in deriving properties shared by Markov equivalent DAGs, and, with certain (...)
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  19
    Weak Cylindric Set Algebras and Weak Subdirect Indecomposability.H. Andréka, I. Németi & R. J. Thompson - 1990 - Journal of Symbolic Logic 55 (2):577-588.
    In this note we prove that the abstract property "weakly subdirectly indecomposable" does not characterize the class IWs α of weak cylindric set algebras. However, we give another (similar) abstract property characterizing IWs α . The original property does characterize the directed unions of members of $\mathrm{IWs}_alpha \operatorname{iff} \alpha$ is countable. Free algebras will be shown to satisfy the original property.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  19.  28
    Finitely Constrained Classes of Homogeneous Directed Graphs.Brenda J. Latka - 1994 - Journal of Symbolic Logic 59 (1):124-139.
    Given a finite relational language L is there an algorithm that, given two finite sets A and B of structures in the language, determines how many homogeneous L structures there are omitting every structure in B and embedding every structure in A? For directed graphs this question reduces to: Is there an algorithm that, given a finite set of tournaments Γ, determines whether QΓ, the class of finite tournaments omitting every tournament in Γ, is well-quasi-order? First, we give a (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  20.  3
    A Characterization of Markov Qquivalence Classes for Directed Acyclic Graphs with Latent Variables.Jiji Zhang - unknown
    Different directed acyclic graphs may be Markov equivalent in the sense that they entail the same conditional indepen- dence relations among the observed variables. Meek characterizes Markov equiva- lence classes for DAGs by presenting a set of orientation rules that can correctly identify all arrow orienta- tions shared by all DAGs in a Markov equiv- alence class, given a member of that class. For DAG models with latent variables, maxi- mal ancestral graphs provide a neat representation that facilitates model (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  33
    Topological Variability of Collectives and its Import for Social Epistemology.George Masterton - 2014 - Synthese 191 (11):2433-2443.
    Social epistemology studies knowledge and justified belief acquisition through organized group cooperation. To do this, the way such group cooperation is structured has to be modeled. The obvious way of modeling a group structure is with a directed graph; unfortunately, most types of social cooperation directed at epistemological aims are variably implementable, including in their structural expression. Furthermore, the frequency with which a practice is implemented in a certain way can vary with topology. This entails that the topology (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  26
    Toward a Directed Benevolent Market Polity: Rethinking Medical Morality in Transitional China.Ruiping Fan - 2008 - Cambridge Quarterly of Healthcare Ethics 17 (3):280-292.
    Healthcare systems in Singapore, Hong Kong, and mainland China are strikingly distinct from those in the West. Economically speaking, each of the aforementioned Eastern systems relies in great measure on private expenditures supplemented by savings accounts. Western nations, on the other hand, typically exhibit government funding and wariness about healthcare savings accounts. This essay argues that these and other differences between Pacific Rim healthcare systems and Western systems should be assessed in light of background Confucian commitments operating in the former. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  23.  25
    Film Review: Celebrating Old Age in Music - Quartet, Directed by Dustin Hoffman, 2012.Khalid Ali - 2014 - Journal of Medical Humanities 35 (3):353-354.
    This is an excerpt from the contentRecently older people have been the target of filmmakers and marketing campaigns; the concept of the “grey pound” has become a potentially significant attraction encouraging filmmakers to explore issues relating to age and ageing in mainstream films. The recent success of films such as Mamma Mia and The Best Exotic Marigold Hotel have made a significant impact on the box office, and Amour securing the 2013 Palm D’Or at the Cannes Film Festival, proved that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  16
    Rudimentary Recursion, Gentle Functions and Provident Sets.A. R. D. Mathias & N. J. Bowler - 2015 - Notre Dame Journal of Formal Logic 56 (1):3-60.
    This paper, a contribution to “micro set theory”, is the study promised by the first author in [M4], as improved and extended by work of the second. We use the rudimentarily recursive functions and the slightly larger collection of gentle functions to initiate the study of provident sets, which are transitive models of $\mathsf{PROVI}$, a subsystem of $\mathsf{KP}$ whose minimal model is Jensen’s $J_{\omega}$. $\mathsf{PROVI}$ supports familiar definitions, such as rank, transitive closure and ordinal addition—though not ordinal multiplication—and Shoenfield’s unramified (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  5
    Towards Characterizing Markov Equivalence Classes for Directed Acyclic Graphs with Latent Variables.Ayesha Ali, Thomas Richardson, Peter Spirtes & Jiji Zhang - unknown
    It is well known that there may be many causal explanations that are consistent with a given set of data. Recent work has been done to represent the common aspects of these explanations into one representation. In this paper, we address what is less well known: how do the relationships common to every causal explanation among the observed variables of some DAG process change in the presence of latent variables? Ancestral graphs provide a class of graphs that can encode conditional (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26. The Cognitive Significance of Kant's Third Critique.Michael Joseph Fletcher - 2011 - Dissertation, University of California, Santa Barbara
    This dissertation aims at forging an archetectonic link between Kant's first and third Critiques within a cognitive-semantic framework. My aim is to show how the major conceptual innovations of Kant’s third Critique can be plausibly understood in terms of the theoretical aims of the first, (Critique of Pure Reason). However, unlike other cognition-oriented approaches to Kant's third Critique, which take the point of contact between the first and third Critique's to be the first Critique's Transcendental Analytic, I link these two (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  27. Trust as an Unquestioning Attitude.C. Thi Nguyen - forthcoming - Oxford Studies in Epistemology.
    Most theories of trust presume that trust is a conscious attitude that can be directed only at other agents. I sketch a different form of trust: the unquestioning attitude. What it is to trust, in this sense, is not simply to rely on something, but to rely on it unquestioningly. It is to rely on a resource while suspending deliberation over its reliability. To trust, then, is to set up open pipelines between yourself and parts of the external world (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  38
    The Bounded Proper Forcing Axiom.Martin Goldstern & Saharon Shelah - 1995 - Journal of Symbolic Logic 60 (1):58-73.
    The bounded proper forcing axiom BPFA is the statement that for any family of ℵ 1 many maximal antichains of a proper forcing notion, each of size ℵ 1 , there is a directed set meeting all these antichains. A regular cardinal κ is called Σ 1 -reflecting, if for any regular cardinal χ, for all formulas $\varphi, "H(\chi) \models`\varphi'"$ implies " $\exists\delta . We investigate several algebraic consequences of BPFA, and we show that the consistency strength of the (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  29.  16
    Inverse Topological Systems and Compactness in Abstract Model Theory.Daniele Mundici - 1986 - Journal of Symbolic Logic 51 (3):785-794.
    Given an abstract logic L = L(Q i ) i ∈ I generated by a set of quantifiers Q i , one can construct for each type τ a topological space S τ exactly as one constructs the Stone space for τ in first-order logic. Letting T be an arbitrary directed set of types, the set $S_T = \{(S_\tau, \pi^\tau_\sigma)\mid\sigma, \tau \in T, \sigma \subset \tau\}$ is an inverse topological system whose bonding mappings π τ σ are naturally determined (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30. Powers.George Molnar - 2003 - Oxford University Press.
    George Molnar came to see that the solution to a number of the problems of contemporary philosophy lay in the development of an alternative to Hume's metaphysics. This alternative would have real causal powers at its centre. Molnar set about developing a thorough account of powers that might persuade those who remained, perhaps unknowingly, in the grip of Humean assumptions. He succeeded in producing something both highly focused and at the same time wide-ranging. He showed both that the notion of (...)
     
    Export citation  
     
    Bookmark   67 citations  
  31.  90
    Set Theory and its Philosophy: A Critical Introduction.Michael Potter - 2004 - Oxford University Press.
    Michael Potter presents a comprehensive new philosophical introduction to set theory. Anyone wishing to work on the logical foundations of mathematics must understand set theory, which lies at its heart. Potter offers a thorough account of cardinal and ordinal arithmetic, and the various axiom candidates. He discusses in detail the project of set-theoretic reduction, which aims to interpret the rest of mathematics in terms of set theory. The key question here is how to deal with the paradoxes that bedevil set (...)
  32.  44
    Twist-Valued Models for Three-Valued Paraconsistent Set Theory.Walter Carnielli & Marcelo E. Coniglio - manuscript
    Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33. The Iterative Conception of Set: A (Bi-)Modal Axiomatisation.J. P. Studd - 2013 - Journal of Philosophical Logic 42 (5):1-29.
    The use of tensed language and the metaphor of set ‘formation’ found in informal descriptions of the iterative conception of set are seldom taken at all seriously. Both are eliminated in the nonmodal stage theories that formalise this account. To avoid the paradoxes, such accounts deny the Maximality thesis, the compelling thesis that any sets can form a set. This paper seeks to save the Maximality thesis by taking the tense more seriously than has been customary (although not literally). A (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  34.  81
    Bayesian Sensorimotor Psychology.Michael Rescorla - 2016 - Mind and Language 31 (1):3-36.
    Sensorimotor psychology studies the mental processes that control goal-directed bodily motion. Recently, sensorimotor psychologists have provided empirically successful Bayesian models of motor control. These models describe how the motor system uses sensory input to select motor commands that promote goals set by high-level cognition. I highlight the impressive explanatory benefits offered by Bayesian models of motor control. I argue that our current best models assign explanatory centrality to a robust notion of mental representation. I deploy my analysis to defend (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  35. Set-Theoretic Pluralism and the Benacerraf Problem.Justin Clarke-Doane - forthcoming - Philosophical Studies:1-18.
    Set-theoretic pluralism is an increasingly influential position in the philosophy of set theory (Balaguer [1998], Linksy and Zalta [1995], Hamkins [2012]). There is considerable room for debate about how best to formulate set-theoretic pluralism, and even about whether the view is coherent. But there is widespread agreement as to what there is to recommend the view (given that it can be formulated coherently). Unlike set-theoretic universalism, set-theoretic pluralism affords an answer to Benacerraf’s epistemological challenge. The purpose of this paper is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  41
    Does Set Theory Really Ground Arithmetic Truth?Alfredo Roque Freire - manuscript
    We consider the foundational relation between arithmetic and set theory. Our goal is to criticize the construction of standard arithmetic models as providing grounds for arithmetic truth (even in a relative sense). Our method is to emphasize the incomplete picture of both theories and treat models as their syntactical counterparts. Insisting on the incomplete picture will allow us to argue in favor of the revisability of the standard model interpretation. We then show that it is hopeless to expect that the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  30
    Nothing to Come: A Defence of the Growing Block Theory of Time.Sven Rosenkranz & Fabrice Correia - 2018 - Springer Verlag.
    This monograph is a detailed study, and systematic defence, of the Growing Block Theory of time (GBT), first conceived by C.D. Broad. The book offers a coherent, logically perspicuous and ideologically lean formulation of GBT, defends it against the most notorious objections to be found in the extant philosophical literature, and shows how it can be derived from a more general theory, consistent with relativistic spacetime, on the pre-relativistic assumption of an absolute and total temporal order. -/- The authors devise (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38. Defending the Axioms: On the Philosophical Foundations of Set Theory.Penelope Maddy - 2011 - Oxford University Press.
    Mathematics depends on proofs, and proofs must begin somewhere, from some fundamental assumptions. For nearly a century, the axioms of set theory have played this role, so the question of how these axioms are properly judged takes on a central importance. Approaching the question from a broadly naturalistic or second-philosophical point of view, Defending the Axioms isolates the appropriate methods for such evaluations and investigates the ontological and epistemological backdrop that makes them appropriate. In the end, a new account of (...)
     
    Export citation  
     
    Bookmark   16 citations  
  39. Against the Iterative Conception of Set.Edward Ferrier - 2019 - Philosophical Studies 176 (10):2681-2703.
    According to the iterative conception of set, each set is a collection of sets formed prior to it. The notion of priority here plays an essential role in explanations of why contradiction-inducing sets, such as the Russell set, do not exist. Consequently, these explanations are successful only to the extent that a satisfactory priority relation is made out. I argue that attempts to do this have fallen short: understanding priority in a straightforwardly constructivist sense threatens the coherence of the empty (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40. Mistake of Law and Sexual Assault: Consent and Mens Rea.Lucinda Vandervort - 1987-1988 - Canadian Journal of Women and the Law 2 (2):233-309.
    In this ground-breaking article submitted for publication in mid-1986, Lucinda Vandervort creates a radically new and comprehensive theory of sexual consent as the unequivocal affirmative communication of voluntary agreement. She argues that consent is a social act of communication with normative effects. To consent is to waive a personal legal right to bodily integrity and relieve another person of a correlative legal duty. If the criminal law is to protect the individual’s right of sexual self-determination and physical autonomy, rather than (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  41. Arithmetic, Set Theory, Reduction and Explanation.William D’Alessandro - 2018 - Synthese 195 (11):5059-5089.
    Philosophers of science since Nagel have been interested in the links between intertheoretic reduction and explanation, understanding and other forms of epistemic progress. Although intertheoretic reduction is widely agreed to occur in pure mathematics as well as empirical science, the relationship between reduction and explanation in the mathematical setting has rarely been investigated in a similarly serious way. This paper examines an important particular case: the reduction of arithmetic to set theory. I claim that the reduction is unexplanatory. In defense (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  42. The TARES Test: Five Principles for Ethical Persuasion.Sherry Baker & David Martinson - 2001 - Journal of Mass Media Ethics 16 (2-3):148-175.
    Whereas professional persuasion is a means to an immediate and instrumental end, ethical persuasion must rest on or serve a deeper, morally based final end. Among the moral final ends of journalism, for example, are truth and freedom. There is a very real danger that advertisers and public relations practitioners will play an increasingly dysfunctional role in the communications process if means continue to be confused with ends in professional persuasive communications. Means and ends will continue to be confused unless (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  43.  35
    Emotion in the Appreciation of Fiction.Ingrid Vendrell Ferran - 2018 - Journal of Literary Theory 12.
    Why is it that we respond emotionally to plays, movies, and novels and feel moved by characters and situations that we know do not exist? This question, which constitutes the kernel of the debate on »the paradox of fiction«, speaks to the perennial themes of philosophy, and remains of interest to this day. But does this question entail a paradox? A significant group of analytic philosophers have indeed thought so. Since the publication of Colin Radford's celebrated paper »How Can We (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  44. Reconsidering 'Spatial Memory' and the Morris Water Maze.Jacqueline Anne Sullivan - 2010 - Synthese 177 (2):261-283.
    The Morris water maze has been put forward in the philosophy of neuroscience as an example of an experimental arrangement that may be used to delineate the cognitive faculty of spatial memory (e.g., Craver and Darden, Theory and method in the neurosciences, University of Pittsburgh Press, Pittsburgh, 2001; Craver, Explaining the brain: Mechanisms and the mosaic unity of neuroscience, Oxford University Press, Oxford, 2007). However, in the experimental and review literature on the water maze throughout the history of its use, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  45. Modal Set Theory.Christopher Menzel - forthcoming - In Otávio Bueno & Scott Shalkowski (eds.), The Routledge Handbook of Modality. London and New York: Routledge.
    This article presents an overview of the basic philosophical motivations for, and some recent work in, modal set theory.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. The Politics of Intellectual Self-Trust.Karen Jones - 2012 - Social Epistemology 26 (2):237-251.
    Just as testimony is affected by unjust social relations, so too is intellectual self-trust. I defend an account of intellectual self-trust that explains both why it is properly thought of as trust and why it is directed at the self, and explore its relationship to social power. Intellectual self-trust is neither a matter of having dispositions to rely on one?s epistemic methods and mechanisms, nor having a set of beliefs about which ones are reliable. Instead, it is a stance (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  47. The Neural-Cognitive Basis of the Jamesian Stream of Thought.Russell Epstein - 2000 - Consciousness and Cognition 9 (4):550-575.
    William James described the stream of thought as having two components: (1) a nucleus of highly conscious, often perceptual material; and (2) a fringe of dimly felt contextual information that controls the entry of information into the nucleus and guides the progression of internally directed thought. Here I examine the neural and cognitive correlates of this phenomenology. A survey of the cognitive neuroscience literature suggests that the nucleus corresponds to a dynamic global buffer formed by interactions between different regions (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   38 citations  
  48. Carnap and Quine on Truth by Convention.G. Ebbs - 2011 - Mind 120 (478):193-237.
    According to the standard story W. V. Quine ’s criticisms of the idea that logic is true by convention are directed against, and completely undermine, Rudolf Carnap’s idea that the logical truths of a language L are the sentences of L that are true-in- L solely in virtue of the linguistic conventions for L, and Quine himself had no interest in or use for any notion of truth by convention. This paper argues that and are both false. Carnap did (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  49. Is There Reason to Be Theoretically Rational?Andrew Reisner - 2011 - In Andrew Reisner & Asbjørn Steglich-Petersen (eds.), Reasons for Belief. Cambridge University Press.
    An important advance in normativity research over the last decade is an increased understanding of the distinction, and difference, between normativity and rationality. Normativity concerns or picks out a broad set of concepts that have in common that they are, put loosely, guiding. For example, consider two commonly used normative concepts: that of a normative reason and that of ought. To have a normative reason to perform some action is for there to be something that counts in favour of performing (...)
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  50.  41
    Set Theory and its Logic.Willard V. Quine - 1963 - Harvard University Press.
    This is an extensively revised edition of Mr. Quine's introduction to abstract set theory and to various axiomatic systematizations of the subject.
    Direct download  
     
    Export citation  
     
    Bookmark   67 citations  
1 — 50 / 1000