Search results for 'Isomorphism' (try it on Scholar)

552 found
Order:
  1. Mauricio Suarez (2003). Scientific Representation: Against Similarity and Isomorphism. International Studies in the Philosophy of Science 17 (3):225-244.
    I argue against theories that attempt to reduce scientific representation to similarity or isomorphism. These reductive theories aim to radically naturalize the notion of representation, since they treat scientist's purposes and intentions as non-essential to representation. I distinguish between the means and the constituents of representation, and I argue that similarity and isomorphism are common but not universal means of representation. I then present four other arguments to show that similarity and isomorphism are not the constituents of (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   58 citations  
  2.  22
    Morten Heine Sørensen (2007). Lectures on the Curry-Howard Isomorphism. Elsevier.
    The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc. The isomorphism has many aspects, even at the syntactic level: formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation, proof normalization (...)
    Direct download  
     
    Export citation  
     
    My bibliography   9 citations  
  3.  18
    T. J. M. Bench-Capon & F. P. Coenen (1992). Isomorphism and Legal Knowledge Based Systems. Artificial Intelligence and Law 1 (1):65-86.
    This paper discusses some engineering considerations that should be taken into account when building a knowledge based system, and recommends isomorphism, the well defined correspondence of the knowledge base to the source texts, as a basic principle of system construction in the legal domain. Isomorphism, as it has been used in the field of legal knowledge based systems, is characterised and the benefits which stem from its use are described. Some objections to and limitations of the approach are (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  4.  17
    Aleksander Ivanov (2012). Degrees of Isomorphism Types and Countably Categorical Groups. Archive for Mathematical Logic 51 (1-2):93-98.
    It is shown that for every Turing degree d there is an ω-categorical group G such that the isomorphism type of G is of degree d. We also find an ω-categorical group G such that the isomorphism type of G has no degree.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  5.  12
    John D. Clemens (2009). Isomorphism of Homogeneous Structures. Notre Dame Journal of Formal Logic 50 (1):1-22.
    We consider the complexity of the isomorphism relation on countable first-order structures with transitive automorphism groups. We use the theory of Borel reducibility of equivalence relations to show that the isomorphism problem for vertex-transitive graphs is as complicated as the isomorphism problem for arbitrary graphs and determine for which first-order languages the isomorphism problem for transitive countable structures is as complicated as it is for arbitrary countable structures. We then use these results to characterize the complexity (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  21
    Michael A. Stadler & Peter Kruse (1994). Gestalt Theory and Synergetics: From Psychophysical Isomorphism to Holistic Emergentism. Philosophical Psychology 7 (2):211-226.
    Gestalt theory is discussed as one main precursor of synergetics, one of the most elaborated theories of self-organization. It is a precursor for two reasons: the Gestalt theoretical view of cognitive order-formation comes dose to the central ideas of self-organization. Furthermore both approaches have stressed the significance of non-linear perceptual processes (such as multistability) for the solution of the mind-brain problem. The question of whether Gestalt theory preferred a dualistic or a monistic view of the mind-body relation is answered in (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  7.  17
    Bruce L. Brown, Dawson W. Hedges & Edwin E. Gantt (2008). Brain Processes and Holistic Isomorphism: Moving Toward a Humanistic Neuroscience. Journal of Theoretical and Philosophical Psychology 28 (2):356-374.
    A common quest among theoretical psychologists is the transformation of psychology to accommodate human agency and meaning. Several strong experimental methods are used in cognitive neuroscience but are based almost entirely upon a mechanistic ontology. A step toward rapprochement is proposed using precise and powerful experimental methods that are holistic, individualized, and compatible with an agentive ontology. Such methods must be applicable to all aspects of human experience, the subjective and agentive aspects, as well as the behavioural and the neurophysiological (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  8. Chia-Yi Liu (forthcoming). Institutional Isomorphism and Food Fraud: A Longitudinal Study of the Mislabeling of Rice in Taiwan. Journal of Agricultural and Environmental Ethics:1-24.
    A number of high-profile mislabeling incidents have led to many studies exploring the decision-making processes that firms make around performing illegal acts. However, it remains unclear why the proportion of firms conducting these acts constantly fluctuates and never disappears. Therefore, this study investigated this by carrying out a longitudinal analysis of food labeling in the Taiwanese rice industry. Drawing on the institutional isomorphism theory, it was found that the degree of mislabeling is negatively correlated with both the level of (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  42
    John Kulvicki (2004). Isomorphism in Information-Carrying Systems. Pacific Philosophical Quarterly 85 (4):380-395.
  10.  48
    Irene Appelbaum (1999). The Dogma of Isomorphism: A Case Study From Speech Perception. Philosophy of Science 66 (3):S250-S259.
    In this paper I provide a metatheoretical analysis of speech perception research. I argue that the central turning point in the history of speech perception research has not been well understood. While it is widely thought to mark a decisive break with what I call "the alphabetic conception of speech," I argue that it instead marks the entrenchment of this conception of speech. In addition, I argue that the alphabetic conception of speech continues to underwrite speech perception research today and (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  11.  19
    Edward H. Madden (1957). A Logical Analysis of 'Psychological Isomorphism'. British Journal for the Philosophy of Science 8 (November):177-191.
  12.  2
    Taneli Huuskonen, Tapani Hyttinen & Mika Rautila (2004). On Potential Isomorphism and Non-Structure. Archive for Mathematical Logic 43 (1):85-120.
    We show in the paper that for any non-classifiable countable theory T there are non-isomorphic models and that can be forced to be isomorphic without adding subsets of small cardinality. By making suitable cardinal arithmetic assumptions we can often preserve stationary sets as well. We also study non-structure theorems relative to the Ehrenfeucht-Fraïssé game.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  13. Philippe De Groote (ed.) (1995). The Curry-Howard Isomorphism. Academia.
     
    Export citation  
     
    My bibliography  
  14. Douglas M. Snyder (1988). On Complementarity and Causal Isomorphism. Journal of Mind and Behavior 9 (1):1-4.
     
    Export citation  
     
    My bibliography  
  15.  67
    Steven French (2003). A Model‐Theoretic Account of Representation (or, I Don't Know Much About Art…but I Know It Involves Isomorphism). Philosophy of Science 70 (5):1472-1483.
    Discussions of representation in science tend to draw on examples from art. However, such examples need to be handled with care given a) the differences between works of art and scientific theories and b) the accommodation of these examples within certain philosophies of art. I shall examine the claim that isomorphism is neither necessary nor sufficient for representation and I shall argue that there exist accounts of representation in both art and science involving isomorphism which accommodate the apparent (...)
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   23 citations  
  16.  68
    Steven French (2003). A Model-Theoretic Account of Representation (Or, I Don't Know Much About Art...But I Know It Involves Isomorphism). Philosophy of Science 70 (5):1472-1483.
    Recent discussions of the nature of representation in science have tended to import pre-established decompositions from analyses of representation in the arts, language, cognition and so forth. Which of these analyses one favours will depend on how one conceives of theories in the first place. If one thinks of them in terms of an axiomatised set of logico-linguistic statements, then one might be naturally drawn to accounts of linguistic representation in which notions of denotation, for example, feature prominently. If, on (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   20 citations  
  17.  84
    Nicholas Shea (2013). Millikan's Isomorphism Requirement. In Dan Ryder, Justine Kingsbury & Kenneth Williford (eds.), Millikan and Her Critics. Wiley-Blackwell
    Millikan’s theory of content purports to rely heavily on the existence of isomorphisms between a system of representations and the things in the world which they represent — “the mapping requirement for being intentional signs” (Millikan 2004, p. 106). This paper asks whether those isomorphisms are doing any substantive explanatory work. Millikan’s isomorphism requirement is deployed for two main purposes. First, she claims that the existence of an isomorphism is the basic representing relation, with teleology playing a subsidiary (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  18. Nicholas Shea (2014). Exploitable Isomorphism and Structural Representation. Proceedings of the Aristotelian Society 114 (2pt2):123-144.
    An interesting feature of some sets of representations is that their structure mirrors the structure of the items they represent. Founding an account of representational content on isomorphism, homomorphism or structural resemblance has proven elusive, however, largely because these relations are too liberal when the candidate structure over representational vehicles is unconstrained. Furthermore, in many cases where there is a clear isomorphism, it is not relied on in the way the representations are used. That points to a potential (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  19. Renling Jin & Saharon Shelah (1994). The Strength of the Isomorphism Property. Journal of Symbolic Logic 59 (1):292-301.
    In § 1 of this paper, we characterize the isomorphism property of nonstandard universes in terms of the realization of some second-order types in model theory. In § 2, several applications are given. One of the applications answers a question of D. Ross in [this Journal, vol. 55 (1990), pp. 1233-1242] about infinite Loeb measure spaces.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  20.  24
    Bertrand Venard & Mohamed Hanafi (2008). Organizational Isomorphism and Corruption in Financial Institutions: Empirical Research in Emerging Countries. [REVIEW] Journal of Business Ethics 81 (2):481 - 498.
    The globalizations of capital markets in the last 20 years has led to a historic degree of financial integration in the world. It is clear, however, that globalization is not conducive to a complete homogeneity of financial markets and institutions. Among others, one element of diversity is the importance of the impact of corruption in emerging countries. Corruption decreases the credibility of financial institutions and markets. Scandals and unethical behavior in financial institutions erode confidence in such firms. Relying on neoinstitutional (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  21. Steven Lehar (2003). Gestalt Isomorphism and the Primacy of Subjective Conscious Experience: A Gestalt Bubble Model. Behavioral and Brain Sciences 26 (4):357-408.
    A serious crisis is identified in theories of neurocomputation, marked by a persistent disparity between the phenomenological or experiential account of visual perception and the neurophysiological level of description of the visual system. In particular, conventional concepts of neural processing offer no explanation for the holistic global aspects of perception identified by Gestalt theory. The problem is paradigmatic and can be traced to contemporary concepts of the functional role of the neural cell, known as the Neuron Doctrine. In the absence (...)
    Direct download (14 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  22. Christopher Belanger (2013). On Two Mathematical Definitions of Observational Equivalence: Manifest Isomorphism and Epsilon-Congruence Reconsidered. Studies in History and Philosophy of Science Part B 44 (2):69-76.
    In this article I examine two mathematical definitions of observational equivalence, one proposed by Charlotte Werndl and based on manifest isomorphism, and the other based on Ornstein and Weiss’s ε-congruence. I argue, for two related reasons, that neither can function as a purely mathematical definition of observational equivalence. First, each definition permits of counterexamples; second, overcoming these counterexamples will introduce non-mathematical premises about the systems in question. Accordingly, the prospects for a broadly applicable and purely mathematical definition of observational (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  23.  46
    Renling Jin (1992). A Theorem on the Isomorphism Property. Journal of Symbolic Logic 57 (3):1011-1017.
    An L-structure is called internally presented in a nonstandard universe if its base set and interpretation of every symbol in L are internal. A nonstandard universe is said to satisfy the κ-isomorphism property if for any two internally presented L-structures U and B, where L has less than κ many symbols, U is elementarily equivalent to B implies that U is isomorphic to B. In this paper we prove that the ℵ1-isomorphism property is equivalent to the ℵ0-isomorphism (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  24.  22
    Carla Rita Palmerino (2011). The Isomorphism of Space, Time and Matter in Seventeenth-Century Natural Philosophy. Early Science and Medicine 16 (4):296-330.
    This article documents the general tendency of seventeenth-century natural philosophers, irrespective of whether they were atomists or anti-atomists, to regard space, time and matter as magnitudes having the same internal composition. It examines the way in which authors such as Fromondus, Basson, Sennert, Arriaga, Galileo, Magnen, Descartes, Gassendi, Charleton as well as the young Newton motivated their belief in the isomorphism of space, time and matter, and how this belief reflected on their views concerning the relation between geometry and (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  25.  16
    Renling Jin (1992). The Isomorphism Property Versus the Special Model Axiom. Journal of Symbolic Logic 57 (3):975-987.
    This paper answers some questions of D. Ross in [R]. In § 1, we show that some consequences of the ℵ0- or ℵ1-special model axiom in [R] cannot be proved by the κ-isomorphism property for any cardinal κ. In § 2, we show that with one exception, the ℵ0-isomorphism property does imply the remaining consequences of the special model axiom in [R]. In § 3, we improve a result in [R] by showing that the κ-special model axiom is (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  26.  13
    Ekaterina B. Fokina, Sy-David Friedman, Valentina Harizanov, Julia F. Knight, Charles McCoy & Antonio Montalbán (2012). Isomorphism Relations on Computable Structures. Journal of Symbolic Logic 77 (1):122-132.
    We study the complexity of the isomorphism relation on classes of computable structures. We use the notion of FF-reducibility introduced in [9] to show completeness of the isomorphism relation on many familiar classes in the context of all ${\mathrm{\Sigma }}_{1}^{1}$ equivalence relations on hyperarithmetical subsets of ω.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  27.  23
    Sam Buss, Yijia Chen, Jörg Flum, Sy-David Friedman & Moritz Müller (2011). Strong Isomorphism Reductions in Complexity Theory. Journal of Symbolic Logic 76 (4):1381-1402.
    We give the first systematic study of strong isomorphism reductions, a notion of reduction more appropriate than polynomial time reduction when, for example, comparing the computational complexity of the isomorphim problem for different classes of structures. We show that the partial ordering of its degrees is quite rich. We analyze its relationship to a further type of reduction between classes of structures based on purely comparing for every n the number of nonisomorphic structures of cardinality at most n in (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  28.  11
    Jens Beckert (2010). Institutional Isomorphism Revisited: Convergence and Divergence in Institutional Change. Sociological Theory 28 (2):150 - 166.
    Under the influence of groundbreaking work by John Meyer and Brian Rowen, as well as Paul DiMaggio and Walter Powell, over the last 30 years research in the new sociological institutionalism has focused on processes of isomorphism. I argue that this is a one-sided focus that leaves out many insights from other institutional and macrosociological approaches and does not do justice to actual social change because it overlooks the role played by divergent institutional development. While the suggestion of divergent (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  29.  70
    Charles Sayward (1981). The Tree Theory and Isomorphism. Analysis 41 (1):6-11.
    A main thesis of Fred Sommers' type theory, is that an isomorphism exists between any natural language and the categories discriminated by that language. Here the author gives an explanation of what this claim comes to. And then it is argued that, so understood, the claim is incompatible with Zermelo-Fraenkel set theory. Finally, it is argued against trying to salvage the isomorphism thesis by appealing to some other set theory.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  30. Steven Lehar (1998). Gestalt Isomorphism and the Primacy of the Subjective Perceptual Experience. Behavioral and Brain Sciences 21 (6):763-764.
    The Gestalt principle of isomorphism reveals the primacy of subjective experience as a valid source of evidence for the information encoded neurophysiologically. This theory invalidates the abstractionist view that the neurophysiological representation can be of lower dimensionality than the percept to which it gives rise.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  31.  16
    Bertrand Venard (2009). Organizational Isomorphism and Corruption: An Empirical Research in Russia. [REVIEW] Journal of Business Ethics 89 (1):59 - 76.
    Based on neo-institutional literature, this article aims to show the influence of organizational isomorphism on corruption. The focus is institutional explanations of corruption. Our model is based on empirical research in Russia at the end of the 1990s. A face-to-face questionnaire was conducted with 552 top executives in private firms across various economic sectors. We used the structural equation model Partial Least Squares, PLS, technique to test our hypotheses. The developed model provides an integrated approach to the study of (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  32.  51
    Robert E. Woodrow (1976). A Note on Countable Complete Theories Having Three Isomorphism Types of Countable Models. Journal of Symbolic Logic 41 (3):672-680.
    With quantifier elimination and restriction of language to a binary relation symbol and constant symbols it is shown that countable complete theories having three isomorphism types of countable models are "essentially" the Ehrenfeucht example [4, $\s6$ ].
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  33.  74
    Gloria Ayob (2009). The Aspect-Perception Passages: A Critical Investigation of Köhler's Isomorphism Principle. Philosophical Investigations 32 (3):264-280.
    In this paper I argue that Wittgenstein's aim in the aspect-perception passages is to critically evaluate a specific hypothesis. The target hypothesis in these passages is the Gestalt psychologist Köhler's "isomorphism principle." According to this principle, there are neural correlates of conscious perceptual experience, and these neural correlates determine the content of our perceptual experiences. Wittgenstein's argument against the isomorphism principle comprises two steps. First, he diffuses the substantiveness of the principle by undermining an important assumption that underpins (...)
    Direct download (12 more)  
     
    Export citation  
     
    My bibliography  
  34.  27
    Robert S. Colter (2012). Thought, Perception, and Isomorphism in Aristotle's De Anima. Polish Journal of Philosophy 6 (1):27-39.
    Aristotle contends that in perception the sense organ is “made like” its object, but only “in a certain way.” Much controversy has surrounded these remarks, primarily about how to understand being “made like.” One camp has understood this to require literal exemplification, such that the sense organs manifest the sensible qualities of their objects. Others have understood likeness to require no physical alteration at all in the sense organs.I accept as a starting point in this paper that understanding perceptual likeness (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  35.  7
    Miklos Redei & Charlotte Werndl, On the History of the Isomorphism Problem of Dynamical Systems with Special Regard to von Neumann's Contribution.
    This paper reviews some major episodes in the history of the spatial isomorphism problem of dynamical systems theory. In particular, by analysing, both systematically and in historical context, a hitherto unpublished letter written in 1941 by John von Neumann to Stanislaw Ulam, this paper clarifies von Neumann's contribution to discovering the relationship between spatial isomorphism and spectral isomorphism. The main message of the paper is that von Neumann's argument described in his letter to Ulam is the very (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36.  11
    E. Scheerer (1994). Psychoneural Isomorphism: Historical Background and Current Relevance. Philosophical Psychology 7 (2):183-210.
    The relevance of Wolfgang K hler's psychoneural isomorphism principle to contemporary cognitive neuroscience is explored. K hler's approach to the mind—body problem is interpreted as a response to the foundational crisis of psychology at the beginning of the twentieth century. Some aspects of his isomorphism doctrine are discussed, with a view to reaching an interpretation that is both historically accurate and pertinent to issues currently debated in the philosophy of psychology. The principle was meant to be empirically verifiable. (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  37.  15
    Maja Biernacka (2009). Power, Symbols and the Transformation of Public Discourse. The Case of Spanish Isomorphism. Dialogue and Universalism 19 (6-7):41-45.
    The article presents the processes of public discourse construction and dynamics. On the national level, symbolic processes are related to the position of the country in the international environment. Being a collective political actor on the discursive scene, the country is involved in legitimation mechanisms in the interaction stream with other political actors, i.e. its foreign counterparts. Upon intentions to enter the mainstream European culture after the transition period, Spain became discursively involved in the mutual legitimation procedures involving a number (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  38.  31
    Marek Polański (2009). Goodman's Extensional Isomorphism and Syntactical Interpretations. Theoria 24 (2):203-211.
    The aim of the present paper is to provide a model-theoretic explication of Nelson Goodman’s concept of extensional isomorphism. The term "extensional isomorphism" has been informally introduced by Nelson Goodman in the beginning paragraph of his The Structure of Appearance. After some conceptual clarications Goodman’s concept of isomorphy turns out to be closely related to some variant of set-theoretic denability and some variants of syntactical interpretability.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  39.  3
    Vladimir Kanovei & Michael Reeken (1997). Isomorphism Property in Nonstandard Extensions of theZFC Universe. Annals of Pure and Applied Logic 88 (1):1-25.
    We study models of HST . This theory admits an adequate formulation of the isomorphism propertyIP, which postulates that any two elementarily equivalent internally presented structures of a well-orderable language are isomorphic. We prove that IP is independent of HST and consistent with HST.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  40.  1
    Wesley Calvert (2005). The Isomorphism Problem for Computable Abelian P-Groups of Bounded Length. Journal of Symbolic Logic 70 (1):331 - 345.
    Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider only countable members. This paper explores such a notion for classes of computable structures by working out a sequence of examples. We follow recent work by Goncharov and Knight in using the degree of the isomorphism problem for a class to distinguish classifiable classes from non-classifiable. (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  41.  13
    Gaven Kerr (2014). Aquinas, Lonergan, and the Isomorphism Between Intellect and Reality. International Philosophical Quarterly 54 (1):43-57.
    In this article I explore Bernard Lonergan’s characteristic view that there is an isomorphism between intellect and reality such that the set of relations embedded in the cognitional process are replicated by the elements of metaphysics . My exploration is with a view to the Gilsonian objection to the critical realist project as a whole, to the effect that one cannot begin with idealism and end with realism. In this article I argue that, despite my broad sympathy for Lonergan’s (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  42.  1
    Wesley Calvert (2004). The Isomorphism Problem for Classes of Computable Fields. Archive for Mathematical Logic 43 (3):327-336.
    Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider only countable members. This paper explores such a notion for classes of computable structures by working out several examples. One motivation is to see whether some classes whose set of countable members is very complex become classifiable when we consider only computable members. We follow recent work (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  43.  41
    Robert Van Gulick (1999). Out of Sight but Not Out of Mind: Isomorphism and Absent Qualia. Behavioral and Brain Sciences 22 (6):974-974.
    The isomorphism constraint places plausible limits on the use of third-person evidence to explain color experience but poses no difficulty for functionalists; they themselves argue for just such limits. Palmer's absent qualia claim is supported by neither the Color Machine nor Color Room examples. The nature of color experience depends on relations external to the color space, as well as internal to it.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  44.  4
    Bart Kastermans (2009). Isomorphism Types of Maximal Cofinitary Groups. Bulletin of Symbolic Logic 15 (3):300-319.
    A cofinitary group is a subgroup of Sym(ℕ) where all nonidentity elements have finitely many fixed points. A maximal cofinitary group is a cofinitary group, maximal with respect to inclusion. We show that a maximal cofinitary group cannot have infinitely many orbits. We also show, using Martin's Axiom, that no further restrictions on the number of orbits can be obtained. We show that Martin's Axiom implies there exist locally finite maximal cofinitary groups. Finally we show that there exists a uniformly (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  45.  4
    Dietrich Kuske, Jiamou Liu & Markus Lohrey (2013). The Isomorphism Problem for Ω-Automatic Trees. Annals of Pure and Applied Logic 164 (1):30-48.
    The main result of this paper states that the isomorphism problem for ω-automatic trees of finite height is at least has hard as second-order arithmetic and therefore not analytical. This strengthens a recent result by Hjorth, Khoussainov, Montalbán, and Nies showing that the isomorphism problem for ω-automatic structures is not in . Moreover, assuming the continuum hypothesis CH, we can show that the isomorphism problem for ω-automatic trees of finite height is recursively equivalent with second-order arithmetic. On (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  46.  26
    Riccardo Manzotti & Giulio Sandini (2002). What Does “Isomorphism Between Conscious Representations and the Structure of the World” Mean? Behavioral and Brain Sciences 25 (3):346-347.
    Perruchet & Vinter's provocative article challenges a series of interesting issues, yet the concept of isomorphism is troublesome for a series of reasons: (1) isomorphism entails some sort of dualism; (2) isomorphism does not entail that a piece of the world is a representation; and (3) it is extremely difficult to provide an explanation about the nature of the relation of isomorphism.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  47.  19
    Stephen Pimentel (2006). Formal Identity as Isomorphism in Thomistic Philosophy of Mind. Proceedings of the American Catholic Philosophical Association 80:115-126.
    A central problem within an influential strand of recent philosophy of mind has been to explain the “conformity of mind to thing” that characterizes knowledge. John Haldane has argued that this problem can be best addressed by a development of Thomas Aquinas’s account of the “formal identity” of the knowing subject with the object known. However, such a development is difficult to present in a manner perspicuous to a contemporary audience. This paper seeks to present a persuasive account of formal (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  48.  4
    David Marker (2007). The Borel Complexity of Isomorphism for Theories with Many Types. Notre Dame Journal of Formal Logic 48 (1):93-97.
    During the Notre Dame workshop on Vaught's Conjecture, Hjorth and Kechris asked which Borel equivalence relations can arise as the isomorphism relation for countable models of a first-order theory. In particular, they asked if the isomorphism relation can be essentially countable but not tame. We show this is not possible if the theory has uncountably many types.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  49.  4
    Sy-David Friedman, Tapani Hyttinen & Agatha C. Walczak-Typke (2011). Potential Isomorphism of Elementary Substructures of a Strictly Stable Homogeneous Model. Journal of Symbolic Logic 76 (3):987 - 1004.
    The results herein form part of a larger project to characterize the classification properties of the class of submodels of a homogeneous stable diagram in terms of the solvability (in the sense of [1]) of the potential isomorphism problem for this class of submodels. We restrict ourselves to locally saturated submodels of the monster model m of some power π. We assume that in Gödel's constructible universe , π is a regular cardinal at least the successor of the first (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  50.  6
    Rainer Kerth (1998). Isomorphism and Equational Equivalence of Continuous Λ-Models. Studia Logica 61 (3):403-415.
    We will present several results on two types of continuous models of -calculus, namely graph models and extensional models. By introducing a variant of Engeler's model construction, we are able to generalize the results of [7] and to give invariants that determine a large family of graph models up to applicative isomorphism. This covers all graph models considered in the litterature so far. We indicate briefly how these invariants may be modified in order to determine extensional models as well.Furthermore, (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 552