At the beginning of the 20th century, Gestalt psychologists put forward the concept of psychoneural isomorphism, which was meant to replace Fechner’s obscure notion of psychophysical parallelism and provide a heuristics that may facilitate the search for the neural correlates of the mind. However, the concept has generated much confusion in the debate, and today its role is still unclear. In this contribution, I will attempt a little conceptual spadework in clarifying the concept of psychoneural isomorphism, focusing exclusively (...) on conscious visual perceptual experience and its neural correlates. Firstly, I will outline the history of our concept, and its alleged metaphysical and epistemic roles. Then, I will clarify the nature of isomorphism and rule out its metaphysical role. Finally, I will review some epistemic roles of our concept, zooming in on the work of Jean Petitot, and suggest that it does not play a relevant heuristic role. I conclude suggesting that psychoneural isomorphism might be an indicator of robustness for certain mathematical descriptions of perceptual content. (shrink)

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.

An isomorphism is built between the separable complex Hilbert space (quantum mechanics) and Minkowski space (special relativity) by meditation of quantum information (i.e. qubit by qubit). That isomorphism can be interpreted physically as the invariance between a reference frame within a system and its unambiguous counterpart out of the system. The same idea can be applied to Poincaré’s conjecture (proved by G. Perelman) hinting another way for proving it, more concise and meaningful physically. Mathematically, the isomorphism means (...) the invariance to choice, the axiom of choice, well-ordering, and well-ordering “theorem” (or “principle”) and can be defined generally as “information invariance”. (shrink)

We compare the medieval projects of commentaries and disputations with the modern projects of formal ontology and of mathematics.

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 (...) first proof that spatial isomorphism and spectral isomorphism are not equivalent because spectral isomorphism is weaker than spatial isomorphism: von Neumann shows that spectrally isomorphic ergodic dynamical systems with mixed spectra need not be spatially isomorphic. (shrink)

In RG forum, one senior professor of physics posted a project called: “Future science and technology.” As a response, one of us (VC) wrote in reply: “I think one of future science's tasks is to discover the link between entanglement and classical electromagnetic theory. This is to fulfill Einstein's position that present QM theory is incomplete, a new one must be found. We are on a way to that goal.” Therefore, in this paper we will discuss how entanglement can be (...) explained in terms of Maxwell-Dirac isomorphism. This short review may be considered as Einstein’s dream of completing QM in a classical picture. (shrink)

The problem of the formal connection between electrodynamics and wave mechanics has attracted the attention of a number of authors, especially there are some existing proofs on Maxwell-Dirac isomorphism. Here the author will review two derivations of Maxwell-Dirac isomorphism i.e. by Hans Sallhofer and Volodimir Simulik. A few plausible extensions will be discussed too.

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 (...) equivalence are unpromising. Despite this critique, I suggest that Werndl’s proposals are valuable because they clarify the distinction between provable and unprovable elements in arguments for observational equivalence. (shrink)

Many philosophers and psychologists have attempted to elucidate the nature of mental representation by appealing to notions like isomorphism or abstract structural resemblance. The ‘structural representations’ that these theorists champion are said to count as representations by virtue of functioning as internal models of distal systems. In his 2007 book, Representation Reconsidered, William Ramsey endorses the structural conception of mental representation, but uses it to develop a novel argument against representationalism, the widespread view that cognition essentially involves the manipulation (...) of mental representations. Ramsey argues that although theories within the ‘classical’ tradition of cognitive science once posited structural representations, these theories are being superseded by newer theories, within the tradition of connectionism and cognitive neuroscience, which rarely if ever appeal to structural representations. Instead, these theories seem to be explaining cognition by invoking so-called ‘receptor representations’, which, Ramsey claims, aren’t genuine representations at all—despite being called representations, these mechanisms function more as triggers or causal relays than as genuine stand-ins for distal systems. I argue that when the notions of structural and receptor representation are properly explicated, there turns out to be no distinction between them. There only appears to be a distinction between receptor and structural representations because the latter are tacitly conflated with the ‘mental models’ ostensibly involved in offline cognitive processes such as episodic memory and mental imagery. While structural representations might count as genuine representations, they aren’t distinctively mental representations, for they can be found in all sorts of non-intentional systems such as plants. Thus to explain the kinds of offline cognitive capacities that have motivated talk of mental models, we must develop richer conceptions of mental representation than those provided by the notions of structural and receptor representation. (shrink)

Despite its enormous practical success, many physicists and philosophers alike agree that the quantum theory is full of contradictions and paradoxes which are difficult to solve consistently. Even after 90 years, the experts themselves still do not all agree what to make of it. The area of disagreement centers primarily around the problem of describing observations. Formally, the so-called quantum measurement problem can be defined as follows: the result of a measurement is a superposition of vectors, each representing the quantity (...) being observed as having one of its possible values. The question that has to be answered is: how this superposition can be reconciled with the fact that in practice we only observe one value. How is the measuring instrument prodded into making up its mind which value it has observed? Among some alternatives to resolve the above QM measurement problem, a very counterintuitive one was suggested by Hugh Everett in his 1955 Princeton dissertation, which was subsequently called the Many-Worlds Interpretation of QM (MWI). In this paper we will not discuss all possible scenarios to solve the measurement problem, but we will only shortly discuss Everett’s MWI, because it has led to heated debates on possibility of multiverses, beyond the Universe we live in. We also discuss two alternatives against MWI proposal: (a) the so-called scale symmetry theory, (b) the Maxwell-Dirac isomorphism. In last section, we also discuss shortly MWI hypothesis from philosophical perspective. (shrink)

It is known, despite special theory of relativity has been widely accepted, in our recent draft submitted to this journal it is shown that some experiments have been carried out suggesting superluminal wave propagation, which make Minkowski lightcone not valid anymore. Therefore, it seems worth to reconsider the connection between elastic wave and electromagnetic wave equations, as in their early development. In this paper we will start with Maxwell-Dirac isomorphism, then we will find its connection with elastic wave equations.

Expressions are synonymous if they have the same semantic content. Complex expressions are synonymously isomorphic in Alonzo Church’s sense if one is obtainable from the other by a sequence of alphabetic changes of bound variables or replacements of component expressions by syntactically simple synonyms. Synonymous isomorphism provides a very strict criterion for synonymy of sentences. Several eminent philosophers of language hold that synonymous isomorphism is not strict enough. These philosophers hold that ‘Greeks prefer Greeks’ and ‘Greeks prefer Hellenes’ (...) express different propositions even if they are synonymously isomorphic. They hold that the very recurrence (multiple occurrence) of ‘Greeks’ contributes to the proposition expressed something that indicates the very recurrence in question. Kit Fine argues that this thesis, which he labels semantic relationism calls for a radically new conception of semantics. I have argued that the relevant phenomenon is wholly pragmatic, entirely non-semantic. Here I supplement the case with a new argument. No cognition without recognition—or almost none. With this observation, standard Millianism has sufficient resources to confront Frege’s puzzle and related problems without injecting pragmatic phenomena where they do not belong. (shrink)

We approach the topic of solution equivalence of propositional problems from the perspective of non-constructive procedural theory of problems based on Transparent Intensional Logic (TIL). The answer we put forward is that two solutions are equivalent if and only if they have equivalent solution concepts. Solution concepts can be understood as a generalization of the notion of proof objects from the Curry-Howard isomorphism.

In this book, Yitzhak Y. Melamed offers a new and systematic interpretation of the core of Spinoza’s metaphysics. In the first part of the book, he proposes a new reading of the metaphysics of substance in Spinoza. Against Curley's influential reading, he argues that for Spinoza modes both inhere in and are predicated of God. Using extensive textual evidence, he shows that Spinoza considered modes to be God's propria. Against the claim that it is a category mistake to consider things (...) as properties, he argues that the distinction between things and properties has been thoroughly undermined both in the early modern period and in contemporary metaphysics (in bundle theories, and some versions of trope theory). He goes on to clarify Spinoza’s understanding of infinity, mereological relations, infinite modes, and the flow of finite things from God’s essence. In the second part of the book, Melamed relies on this interpretation of the substance-mode relation and the nature of infinite modes and puts forward two interrelated theses about the structure of the attribute of Thought and its overarching role in Spinoza's metaphysics. First, he shows that Spinoza had not one, but two independent doctrines of parallelism. The Ideas-Things Parallelism stipulates an isomorphism between the order of ideas in the attribute of Thought and the order of things in nature. The Inter-Attributes Parallelism establishes an isomorphism among the order of modes in each of the infinitely many attributes. He shows that these two doctrines are independent of each other and that each has different implications. Relying on this clarification of the doctrines of parallelism, Melamed develops his final main thesis. Here he argues that, for Spinoza, ideas have a multifaceted (in fact, infinitely faceted) structure that allows one and the same idea to represent the infinitely many modes which are parallel to it in the infinitely many attributes. Thought turns out to be coextensive with the whole of nature. Spinoza cannot embrace an idealist reduction of Extension to Thought because of his commitment to the conceptual separation of the attributes. Yet, within Spinoza's metaphysics, Thought clearly has primacy over the other attributes insofar as it is the only attribute which is as elaborate, as complex, and, in some senses, as powerful as God. (shrink)

The topics approached in the 52 papers included in this book are: neutrosophic sets; neutrosophic logic; generalized neutrosophic set; neutrosophic rough set; multigranulation neutrosophic rough set (MNRS); neutrosophic cubic sets; triangular fuzzy neutrosophic sets (TFNSs); probabilistic single-valued (interval) neutrosophic hesitant fuzzy set; neutro-homomorphism; neutrosophic computation; quantum computation; neutrosophic association rule; data mining; big data; oracle Turing machines; recursive enumerability; oracle computation; interval number; dependent degree; possibility degree; power aggregation operators; multi-criteria group decision-making (MCGDM); expert set; soft sets; LA-semihypergroups; single valued (...) trapezoidal neutrosophic number; inclusion relation; Q-linguistic neutrosophic variable set; vector similarity measure; fundamental neutro-homomorphism theorem; neutro-isomorphism theorem; quasi neutrosophic triplet loop; quasi neutrosophic triplet group; BE-algebra; cloud model; Maclaurin symmetric mean; pseudo-BCI algebra; hesitant fuzzy set; photovoltaic plan; decision-making trial and evaluation laboratory (DEMATEL); Choquet integral; fuzzy measure; clustering algorithm; and many more. (shrink)

Alonzo Church famously provided three principal competing criteria for “strict synonymy,” i.e., sameness of semantic content. These are his Alternatives (0), (1), and (2)—numbered in order of increasing course-grainedness of content. On Alternative (2), expressions are deemed strictly synonymous iff they are logically equivalent. This criterion seems hopeless as an account of the objects of propositional attitude. On Alternative (1), expressions are deemed synonymous iff they are λ-convertible. Alternative (1) also evidently conflicts with discourse about the attitudes. On Alternative (0), (...) expressions are deemed strictly synonymous iff they are “synonymously isomorphic” in Church’s sense. On Alternative (0), semantic content is so fine-grained that not even “Romeo loves Juliet” and “Juliet is loved by Romeo” qualify as strictly synonymous. A fourth alternative, here called “Alternative (3),” deems expressions strictly synonymous iff they are co-intensional, i.e., they have the same semantic extension with respect to the same possible worlds. This criterion’s notion of content is even more course grained than that of Alternative (2). Several objections to Alternative (3) are considered. (shrink)

What is a logical constant? The question is addressed in the tradition of Tarski's definition of logical operations as operations which are invariant under permutation. The paper introduces a general setting in which invariance criteria for logical operations can be compared and argues for invariance under potential isomorphism as the most natural characterization of logical operations.

This paper develops a criterion for sameness of Fregean senses. I consider three criteria: logical equivalence, intensional isomorphism, and epistemic equipollence. I reject the first two and argue for a version of the third.

This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whether categoricity arguments are sufficient to secure reference to mathematical structures up to isomorphism, we assess what exactly is achieved by recent ‘internal’ renditions of the famous categoricity arguments for arithmetic and set theory.

This paper accomplishes two goals. First, I elucidate Edmund Husserl’s theory of inauthentic judgments from his 1890 “On the Logic of Signs.” It will be shown how inauthentic judgments are distinct from other signitive experiences, in such a manner that when Husserl seeks to account for them, he is forced to revise the general structure of his philosophy of meaning and in doing so, is also able to realize novel insights concerning the nature of signification. Second, these conclusions are revealed (...) to be the foundation of Husserl’s pure logical grammar, found in the 1901 “Fourth Logical Investigation.” In his analysis of inauthentic judgments, Husserl already recognized, albeit in a problematic way and for entirely different reasons, many of the central tenets of the 1901 work concerning categoremata and syncategoremata, matter and form, and the isomorphism between them. (shrink)

In his 1935 book Principles of Gestalt Psychology, Kurt Koffka stated that empirical research in perceptual psychology should begin with “a phenomenological analysis,” which in turn would put constraints on the “true theory.” In this paper, I take this statement as a point of departure to investigate in what sense Gestalt psychologists practiced a phenomenological analysis and how they saw it related to theory construction. I will contextualize the perceptual research in Gestalt psychology vis-a-vis Husserlian phenomenology on the one hand (...) and mainstream psychophysics on the other, and I will argue that Gestalt psychologists practiced a form of “frontloading” phenomenology: Instead of requiring experimental subjects to engage in experiential reflections, such reflections were—in a sense—already engrained in the experimental designs used by researchers. This type of phenomenology was decidedly anti-“introspectionist” and as such was compatible with some of Husserl’s basic commitments, while at the same time bearing a surprising resemblance with the methods employed by psychophysicists like E. Boring and S.S. Stevens. This latter point will prompt me to explore what the difference between Gestalt-psychology and psychophysics amounted to. My analysis will reveal some disagreements and misunderstandings, especially with regard to the notions of isomorphism and introspection. (shrink)

Artificial intelligence has historically been conceptualized in anthropomorphic terms. Some algorithms deploy biomimetic designs in a deliberate attempt to effect a sort of digital isomorphism of the human brain. Others leverage more general learning strategies that happen to coincide with popular theories of cognitive science and social epistemology. In this paper, I challenge the anthropomorphic credentials of the neural network algorithm, whose similarities to human cognition I argue are vastly overstated and narrowly construed. I submit that three alternative supervised (...) learning methods—namely lasso penalties, bagging, and boosting—offer subtler, more interesting analogies to human reasoning as both an individual and a social phenomenon. Despite the temptation to fall back on anthropomorphic tropes when discussing AI, however, I conclude that such rhetoric is at best misleading and at worst downright dangerous. The impulse to humanize algorithms is an obstacle to properly conceptualizing the ethical challenges posed by emerging technologies. (shrink)

This chapter challenges the common claim that vicious forms of argumentative practice, like interpersonal arrogance and discursive polarisation, are caused by martial metaphors, such as ARGUMENT AS WAR. I argue that the problem isn’t the metaphor, but our wider practices of metaphorising and the ways they are deformed by invidious cultural biases and prejudices. Drawing on feminist argumentation theory, I argue that misogynistic cultures distort practices of metaphorising in two ways. First, they spotlight some associations between the martial and argumentative (...) domains while occluding others, resulting in a sort of myopia. Second, those cultures interfere with a phenomenon I label normative isomorphism – the capacity of some structural metaphors to enable (and often encourage) a transfer of normative chracater traits from the source domain to the target domain. Crucially, the normative status of character trait often changes across domains—traits that are virtuous in the martial domain are often vicious in the argumentative domain, and vice versa. Sexist myopia tends to deform practices of metaphorising by interfering with normative isomorphism by privileging the transfer across domains of traits that recapitulate invidious cultural constructions of masculinity in terms of aggression, domination, and violence. Basically, the problem isn’t the metaphors, but the cultures. (shrink)

The notion of empathy has been explicated in different ways in the current debate on how to understand others. Whereas defenders of simulation-based approaches claim that empathy involves some kind of isomorphism between the empathizer’s and the target’s mental state, defenders of the phenomenological account vehemently deny this and claim that empathy allows us to directly perceive someone else’s mental states. Although these views are typically presented as being opposed, I argue that at least one version of a simulation-based (...) approach—the account given by de Vignemont and Jacob—is compatible with the direct-perception view. My argument has two parts: My first step is to show that the conflict between these accounts is not—as it seems at first glance—a disagreement on the mechanism by which empathy comes about. Rather, it is due to the fact that their proponents attribute two very different roles to empathy in understanding others. My second step is to introduce Stein’s account of empathy. By not restricting empathy to either one of these two roles, her process model of empathy helps to see how the divergent intuitions that have been brought forward in the current debate could be integrated. (shrink)

In this paper, I contest increasingly common "realist" interpretations of Hegel's theory of "the concept" (der Begriff), offering instead a "isomorphic" conception of the relation of concepts and the world. The isomorphism recommended, however, is metaphysically deflationary, for I show how Hegel's conception of conceptual form creates a conceptually internal standard for the adequacy of concepts. No "sideways-on" theory of the concept-world relationship is envisioned. This standard of conceptual adequacy is also "graduated" in that it allows for a lack (...) of fit between concept and world. The possibility for a "maximally isomorphic" fit between concept and world obtains through the teleological realization of concepts, which marks especially the "artificial" world of human culture (law, art, religion, etc.). Some of the most seemingly exaggerated claims Hegel makes about the concept, I contend, can be understood when we consider the significance Hegel ascribes to human making, which is provided for in his conceptual theory. But my framework provides an interpretive key for the way Hegel sees concepts imperfectly realized in the natural world as well. (shrink)

What is it for a picture to depict a scene? The most orthodox philosophical theory of pictorial representation holds that depiction is grounded in resemblance. A picture represents a scene in virtue of being similar to that scene in certain ways. This essay presents evidence against this claim: curvilinear perspective is one common style of depiction in which successful pictorial representation depends as much on a picture's systematic differences with the scene depicted as on the similarities; it cannot be analyzed (...) in terms of similarity alone. The same problem arises for many other kinds of depiction. The essay concludes that depiction in general is not grounded in resemblance but geometrical transformation. (shrink)

This work addresses a broad range of questions which belong to four fields: computation theory, general philosophy of science, philosophy of cognitive science, and philosophy of mind. Dynamical system theory provides the framework for a unified treatment of these questions. ;The main goal of this dissertation is to propose a new view of the aims and methods of cognitive science--the dynamical approach . According to this view, the object of cognitive science is a particular set of dynamical systems, which I (...) call "cognitive systems". The goal of a cognitive study is to specify a dynamical model of a cognitive system, and then use this model to produce a detailed account of the specific cognitive abilities of that system. The dynamical approach does not limit a-priori the form of the dynamical models which cognitive science may consider. In particular, this approach is compatible with both computational and connectionist modeling, for both computational systems and connectionist networks are special types of dynamical systems. ;To substantiate these methodological claims about cognitive science, I deal first with two questions in two different fields: What is a computational system? What is a dynamical explanation of a deterministic process? ;Intuitively, a computational system is a deterministic system which evolves in discrete time steps, and which can be described in an effective way. In chapter 1, I give a formal definition of this concept which employs the notions of isomorphism between dynamical systems, and of Turing computable function. In chapter 2, I propose a more comprehensive analysis which is based on a natural generalization of the concept of Turing machine. ;The goal of chapter 3 is to develop a theory of the dynamical explanation of a deterministic process. By a "dynamical explanation" I mean the specification of a dynamical model of the system or process which we want to explain. I start from the analysis of a specific type of explanandum--dynamical phenomena--and I then use this analysis to shed light on the general form of a dynamical explanation. Finally, I analyze the structure of those theories which generate explanations of this form, namely dynamical theories. (shrink)

An approach to implementing variational Bayesian inference in biological systems is considered, under which the thermodynamic free energy of a system directly encodes its variational free energy. In the case of the brain, this assumption places constraints on the neuronal encoding of generative and recognition densities, in particular requiring a stochastic population code. The resulting relationship between thermodynamic and variational free energies is prefigured in mind–brain identity theses in philosophy and in the Gestalt hypothesis of psychophysical isomorphism.

This paper accomplishes two goals. First, I elucidate Edmund Husserl’s theory of inauthentic judgments from his 1890 “On the Logic of Signs (Semiotic).” It will be shown how inauthentic judgments are distinct from other signitive experiences, in such a manner that when Husserl seeks to account for them, he is forced to revise the general structure of his philosophy of meaning and in doing so, is also able to realize novel insights concerning the nature of signification. Second, these conclusions are (...) revealed to be the foundation of Husserl’s pure logical grammar, found in the 1901 “Fourth Logical Investigation.” In his analysis of inauthentic judgments, Husserl already recognized, albeit in a problematic way and for entirely different reasons, many of the central tenets of the 1901 work concerning categoremata and syncategoremata, matter and form, and the isomorphism between them. (shrink)

‘Radical enactivism’ (Hutto and Myin 2013, 2017) eschews representational content for all ‘basic’ mental activities. Critics have argued that this view cannot make sense of the workings of the imagination. In their recent book (2017), Hutto and Myin respond to these critics, arguing that some imaginings can be understood without attributing them any representational content. Their response relies on the claim that a system can exploit a structural isomorphism between two things without either of those things being a semantically (...) evaluable representation of the other. I argue that even if this claim is granted, there remains a problem for radically enactive accounts of imagining, namely that the active establishing and maintenance of a structural isomorphism seems to require representational content even if the exploitation of such an isomorphism, when established, does not. (shrink)

We explicate representational content by addressing how representations that ex- plain intelligent behavior might be acquired through processes of Darwinian evo- lution. We present the results of computer simulations of evolved neural network controllers and discuss the similarity of the simulations to real-world examples of neural network control of animal behavior. We argue that focusing on the simplest cases of evolved intelligent behavior, in both simulated and real organisms, reveals that evolved representations must carry information about the creature’s environ- ments (...) and further can do so only if their neural states are appropriately isomor- phic to environmental states. Further, these informational and isomorphism rela- tions are what are tracked by content attributions in folk-psychological and cognitive scientific explanations of these intelligent behaviors. (shrink)

One particular topic in the literature on Frege’s conception of sense relates to two apparently contradictory theses held by Frege: the isomorphism of thought and language on one hand and the expressibility of a thought by different sentences on the other. I will divide the paper into five sections. In (1) I introduce the problem of the tension in Frege’s thought. In (2) I discuss the main attempts to resolve the conflict between Frege’s two contradictory claims, showing what is (...) wrong with some of them. In (3), I analyze where, in Frege’s writings and discussions on sense identity, one can find grounds for two different conceptions of sense. In (4) I show how the two contradictory theses held by Frege are connected with different concerns, compelling Frege to a constant oscillation in terminology. In (5) I summarize two further reasons that prevented Frege from making the distinction between two conceptions of sense clear: (i) the antipsychologism problem and (ii) the overlap of traditions in German literature contemporary to Frege about the concept of value. I conclude with a hint for a reconstruction of the Fregean notion of ‘thought’ which resolves the contradiction between his two theses. (shrink)

This paper explores the defects in fuzzy (hyper) graphs (as complex (hyper) networks) and extends the fuzzy (hyper) graphs to fuzzy (quasi) superhypergraphs as a new concept.We have modeled the fuzzy superhypergraphs as complex superhypernetworks in order to make a relation between labeled objects in the form of details and generalities. Indeed, the structure of fuzzy (quasi) superhypergraphs collects groups of labeled objects and analyzes them in the form of the part to part of objects, the part of objects to (...) the whole group of objects, and the whole to the whole group of objects at the same time. We have investigated the properties of fuzzy (quasi) superhypergraphs based on any positive real number as valued fuzzy (quasi) superhypergraphs, considering the complement of valued fuzzy (quasi) superhypergraphs, the notation of isomorphism of valued fuzzy (quasi) superhypergraphs based on the permutations, and we have presented the isomorphic conditions of (self complemented) valued fuzzy (quasi) superhypergraphs. The concept of impact membership value of fuzzy (quasi) superhypergraphs is introduced in this study and it is applied in designing the real problem in the real world. Finally, the problem of business superhypernetworks is presented as an application of fuzzy valued quasi superhypergraphs in the real world. (shrink)

In his 1927 Analysis of Matter and elsewhere, Russell argued that we can successfully infer the structure of the external world from that of our explanatory schemes. While nothing guarantees that the intrinsic qualities of experiences are shared by their objects, he held that the relations tying together those relata perforce mirror relations that actually obtain (these being expressible in the formal idiom of the Principia Mathematica). This claim was subsequently criticized by the Cambridge mathematician Max Newman as true but (...) trivial, insofar as from a closed body of observations (or “Ramsey sentence”) one can always generate other equally-satisfactory networks of relations, provided they respect the original set’s cardinality. Since any model thus generated will be empirically adequate, “[t]he defence is therefore driven back from the fairly safe fictitious-real classification to the much less tenable ‘trivial’ and ‘important’” (Newman 1928). Given the definitional rigour afforded by the initial appeal to isomorphism (via one-to-one correspondences in extension), the received assessment, shared by Russell himself, is that retreating to a pragmatic adjudication would betoken a fatal blow. However, I suggest that reliance on “importance” can be avoided if we incorporate an impersonal criterion of diachronic precedence. When collecting observations, an ordinality emerges alongside the cardinality which gives that underived structure an irrevocable epistemological privilege. Hence, I argue that, all other things being equal, any construct parasitic on an antecedent theory ought to be regarded as inferior/dispensable, since it was generated by an algorithm lacking the world-involving pedigree of its host structure. (shrink)

According to the Thomistic tradition, the Principle of Totality (TPoT) articulates a secondary principle of natural law which guides the exercise of human ownership or dominium over creation. In its general signification, TPoT is a principle of distributive justice determining the right ordering of wholes to their parts. In the medical field it is traditionally understood as entailing an absolute prohibition of bodily mutilation as irrational and immoral, and an imperfect obligation to use the parts of one’s body for the (...) perfection of the bodily whole. TPoT is thus a key element of the system of principles within which an individual exercises her right to life: it helps specify the nature, scope and limits of those actions by which an agent permissibly acts in order to preserve her life. While the Thomistic tradition and the Catholic Church have drawn clear conclusions from the principle regarding, e.g., direct sterilization and non-therapeutic experimentation on human subjects, less attention has been given to the implications of TPoT for non-therapeutic procedures that may positively impact biological functioning or supra-biological goals–that is, for human “enhancement.” We will explore the degree to which TPoT non-univocally guides our use of both artifacts and bodies. We will argue that a careful analysis of these distinct kinds of totalities suggests that the application of TPoT to artifacts and bodies is strongly isomorphic, which is what tempts advocates of the Principle of Autonomy to invalidly infer the absolute dominium of the individual over her body. The inference is invalid because this isomorphism also includes a principle of intrinsic value whose function is to resist the instrumentalization of both artifacts and bodies in some contexts; we are not even related to artifacts as advocates of absolute autonomy believe we are, let alone to our bodies. Rather, the limits of human dominium are determined by the nature and finalities, inherent or acquired, of the objects in question, and it will be argued that articulating these limits raises important, understudied, and fascinating questions about the permissibility of various kinds of human enhancement. (shrink)

Central to Sellars’ account of human cognition was a clear distinction, expressed in varying terminology in his different works, “between conceptual and nonconceptual representations.” Those who have come to be known as ‘left-wing Sellarsians’, such as Richard Rorty, Robert Brandom, and John McDowell, have tended to reject Sellars’ appeals to nonconceptual sensory representations. So-called ‘right-wing Sellarsians’ such as Ruth Millikan and Jay Rosenberg, on the other hand, have embraced and developed aspects of Sellars’ account, in particular the central underlying idea (...) that human perceptual cognition involves a certain naturalistic ‘mapping’ correspondence or structural ‘picturing’ isomorphism between internal mental representations and the layout and behavior of objects in the surrounding environment. Sellars, despite his defenses of nonconceptual representational content throughout his career, has with no small irony come to be cited as one of the “founding fathers of conceptualism.” While recognizing the strong conceptualist elements in Sellars’ Kantian account of perceptual cognition, I argue that a central core of Sellars’ account of nonconceptual sensory contents does not by itself fall afoul of the philosophical worries raised by the left-leaning Sellarsians, and that in fact it has significant merits in its own right. (shrink)

This study explores the interface between conscious and nonconscious mental processes using phenomenological analysis, information processing cognitive psychology, connectionism and traditional aesthetic theories. It attempts to explain how global, evaluative information--especially the primitive feeling of 'rightness' or 'making sense'--is represented in consciousness. ;Many lines of evidence confirm and extend William James' nucleus/fringe model of consciousness: surrounding clear experience in focal attention is a fringe of vague experience. Context information in general, and the feeling of rightness in particular, occupy the fringe. (...) The fringe is vague because it works to finesse consciousness' limited capacity to articulate experience, and the fringe is elusive or 'ungraspable' because it helps to call new information into consciousness. The phenomenology of the fringe is thus a consequence of its cognitive functions. ;Meaningfulness is proposed to be a summary index of cognitive integration, signalling consciousness about the degree of global compatibility or 'fit' between a given content in the focus of attention and its nonconscious context. Though very similar to goodness-of-fit in a connectionist network, Meaningfulness is proposed to play an active feedback role in cognition, while goodness-of-fit, as currently used, is a passive measure of network integration. ;This analysis predicts that an intense feeling of Meaningfulness will have a characteristic 'profile,' and this profile is evident in many accounts of aesthetic experience: a feeling of unity and coherence that cannot be captured adequately in words, but which nevertheless seems to be a source of profound, and often "spiritual," knowledge. ;Many philosophical theories try to explain the unistic, ineffable, noetic, and transcendent aspects of the aesthetic. Platonic and Aristotelian traditions are considered, but the primary focus is on Kant. The Critique of Judgment created modern aesthetics, and in many ways it is remarkably compatible with current cognitive analysis. ;Beyond clarifying the cognitive foundation of aesthetic experience, this study offers new arguments against epiphenomenalism, provides further reason to doubt rule-based accounts of nonconscious processing, explains the isomorphism in aesthetic and mystical phenomenology, and develops a method to investigate consciousness called convergent phenomenology. (shrink)

We present Logical Description Grammar (LDG), a model ofgrammar and the syntax-semantics interface based on descriptions inelementary logic. A description may simultaneously describe the syntacticstructure and the semantics of a natural language expression, i.e., thedescribing logic talks about the trees and about the truth-conditionsof the language described. Logical Description Grammars offer a naturalway of dealing with underspecification in natural language syntax andsemantics. If a logical description (up to isomorphism) has exactly onetree plus truth-conditions as a model, it completely specifies (...) thatgrammatical object. More common is the situation, corresponding tounderspecification, in which there is more than one model. A situation inwhich there are no models corresponds to an ungrammatical input. (shrink)

El objetivo de este artículo es presentar una demostración de un teorema clásico sobre álgebras booleanas y ordenes parciales de relevancia actual en teoría de conjuntos, como por ejemplo, para aplicaciones del método de construcción de modelos llamado “forcing” (con álgebras booleanas completas o con órdenes parciales). El teorema que se prueba es el siguiente: “Todo orden parcial se puede extender a una única álgebra booleana completa (salvo isomorfismo)”. Donde extender significa “sumergir densamente”. Tal demostración se realiza utilizando cortaduras de (...) Dedekind siguiendo el texto “Set Theory” de Jech, y otras ideas propias del autor de este artículo. Adicionalmente, se formulan algunas versiones débiles del axioma de elección relacionadas con las álgebras booleanas, las cuales son también de gran importancia para la investigación en teoría de conjuntos y teoría de modelos, pues estas son poderosas técnicas de construcción de modelos, como por ejemplo, el teorema de compacidad (permite construir modelos no estándar, etc) y el teorema del ultrafiltro, que permite construir ultraproductos (pueden ser usados para investigar problemas de cardinales grandes, etc). Se presentan algunas referencias de problemas abiertos sobre el tema. -/- The objective of this paper is to present a demonstration of a classical theorem on boolean algebras and partial orders of current relevance in set theory, as for example, for applications of model construction method called forcing" (with boolean algebras complete or with partial orders). The theorem to be proved is as follows: Any partial order can be extended to a single complete boolean algebra (up to isomorphism)". Where to extend means embed densely". Such a demonstration is done using Dedekind's cuts following the text Set Theory" of Jech, and other ideas of the author of this article. In addition, some weak versions of the axiom of choice related to boolean algebras are formulated, which are also of great importance for the research in set theory and model theory, since this are powerful model construction techniques, such as the compactness theorem (allows the construction of non-standard models, etc.) and the ultralter theorem, which allows the construction of ultraproducts (can be used to investigate problems of large cardinals, etc). Some references of open problems on the subject are presented. (shrink)

Neutrosophic theory has many applications in graph theory, bipolar single valued neutrosophic graphs (BSVNGs) is the generalization of fuzzy graphs and intuitionistic fuzzy graphs, SVNGs. In this paper we introduce some types of BSVNGs, such as subdivision BSVNGs, middle BSVNGs, total BSVNGs and bipolar single valued neutrosophic line graphs (BSVNLGs), also investigate the isomorphism, co weak isomorphism and weak isomorphism properties of subdivision BSVNGs, middle BSVNGs, total BSVNGs and BSVNLGs.

According to the thesis of temporal isomorphism, the experienced order of events in the world and the order in which experiences are processed in the brain are the same. The thesis is encompassed in the brain-time view, a popular view on the literature of the temporal illusions. The view is commonly contrasted with the event-time view, which maintains that the experienced order of events reflects the order in which the events occur in the world. This chapter focuses on the (...) conflict between the two views in the contexts of perceptual asymmetry in visual perception and temporal order judgment tasks. It is argued that both views mean slightly different things in these contexts. Accordingly, it is possible for one to endorse both the brain-time view and the event-time view at the same time. On the broader perspective, the chapter illustrates how time order is employed differently by various perceptual processes, resulting in different characteristics from implicit and explicit time perception. (shrink)

The current state of philosophy of science is characterized by stasis in the struggle between realism and antirealism. In recent years, a number of authors have come out with a program of scientific perspectivism that claims to sublate this great collision and gain the status of a new epistemological paradigm: “perspectivism, or, better, perspectival realism, is one of the newest attempts to find a middle ground between scientific realism and antirealism” [1. P. 2]. Important milestones of the perspective movement were (...) the works of Ronald Giere, Francois Recanati, Bas van Fraassen, Michela Massimi, and others. The thesis of the article is that perspectivism has not yet realized its claims to autonomy, although it has become an important new arena for discussions between realists and antirealists who try to appropriate perspectivist concepts and arguments. The “middle ground,” when thought out consistently and thoroughly, turns out to lie not “between,” but either in the territory of realism or in the territory of antirealism, depending on the presumptions of the author of a particular perspectivist conception. This is demonstrated by the analysis of the conceptions of Giere, Massimi, and Recanati. Giere’s perspectivism is based on the metaphor of color vision, and for him only some (secondary) qualities of real objects turn out to be perspectival, i.e., subject-dependent. Massimi’s perspectivism attempts, on the basis of a visual arts metaphor, to combine the phenomenon of the plurality of scientific theories (“perspectival disagreement” about what an object is) with the general realist attitude of science (agreement about that there is an object). Recanati’s perspectivism syncretizes realism about ordinary objects and relativism about other things. The first two versions of perspectivism rely on a perceptual metaphor: perspective is conditioned by the perceptual constitution of the observer, that is, it arises at the mental or cognitive level. Recanati’s version attempts to derive perspective from contextuality, that is, it is semantic. However, it does not show exactly how perceptual categories are superimposed on theories or how scientific concepts reveal their perspectival character. The isomorphism of perception and theoretical thinking, sensibility and understanding, remains undemonstrated. On the one hand, perspectivist efforts are motivated by an important concern to account for antirealist critique (lack of access to the “view from nowhere,” factual and semantic underdetermination, difficulties with the idea of approaching the truth, the historicity of knowledge, the activeness of the constructing subject, etc.) while preserving the scientific commitment to universality, validity, and truthfulness. On the other hand, the ontological question remains fundamental and unavoidable, and perspectivism (yet?) fails to circumvent it. As we see, all three versions of perspectivism considered in this article turn out to be varieties of realism: Giere and Massimi recognize this explicitly, while Recanati de facto assumes a quite respectable and conservative position of selective realism with respect to ordinary objects. (shrink)

In this article, I re-examine Kant’s many senses of cognition, thought, and object in order to better understand his account of logic, and, in particular, transcendental logic. In laying out the multiple and conflicting ways Kant defines each of those terms, the relation between transcendental logic and pure general logic can be revealed as analogous to, and, indeed, linked to, the isomorphism that exists between the categories of the understanding and the logical forms of judgment, which are equivalent if (...) one ignores the manifold of intuition. This means transcendental logic is a general logic, even as a logic of (some) cognizing. (shrink)

"Realitas formalis/realitas obiectiva. The Paradox of Descartes’ Representationism" The paper discusses some aspects of the highly original theory of representation, developed by Descartes in his ‘Meditations’, and based on the ontological isomorphism of ideas and their material correlates. In the course of the analysis it is shown that the Cartesian theory involves unavoidable problems with discrimination or correlation of the objects in question, which is connected with the problem of constitutiveness of their modes of existence. Consequently, the conclusion of (...) the paper is that representationism based on the isomorphistic theory of representation turns out to be self-contradictory. (shrink)

I defend a theory of mental representation that satisfies naturalistic constraints. Briefly, we begin by distinguishing (i) what makes something a representation from (ii) given that a thing is a representation, what determines what it represents. Representations are states of biological organisms, so we should expect a unified theoretical framework for explaining both what it is to be a representation as well as what it is to be a heart or a kidney. I follow Millikan in explaining (i) in terms (...) of teleofunction, explicated in terms of natural selection. -/- To explain (ii), we begin by recognizing that representational states do not have content, that is, they are neither true nor false except insofar as they both “point to” or “refer” to something, as well as “say” something regarding whatever it is they are about. To distinguish veridical from false representations, there must be a way for these separate aspects to come apart; hence, we explain (ii) by providing independent theories of what I call f-reference and f-predication (the ‘f’ simply connotes ‘fundamental’, to distinguish these things from their natural language counterparts). -/- Causal theories of representation typically founder on error, or on what Fodor has called the disjunction problem. Resemblance or isomorphism theories typically founder on what I’ve called the non-uniqueness problem, which is that isomorphisms and resemblance are practically unconstrained and so representational content cannot be uniquely determined. These traditional problems provide the motivation for my theory, the structural preservation theory, as follows. F-reference, like reference, is a specific, asymmetric relation, as is causation. F-predication, like predication, is a non-specific relation, as predicates typically apply to many things, just as many relational systems can be isomorphic to any given relational system. Putting these observations together, a promising strategy is to explain f-reference via causal history and f-predication via something like isomorphism between relational systems. -/- This dissertation should be conceptualized as having three parts. After motivating and characterizing the problem in chapter 1, the first part is the negative project, where I review and critique Dretske’s, Fodor’s, and Millikan’s theories in chapters 2-4. Second, I construct my theory about the nature of representation in chapter 5 and defend it from objections in chapter 6. In chapters 7-8, which constitute the third and final part, I address the question of how representation is implemented in biological systems. In chapter 7 I argue that single-cell intracortical recordings taken from awake Macaque monkeys performing a cognitive task provide empirical evidence for structural preservation theory, and in chapter 8 I use the empirical results to illustrate, clarify, and refine the theory. (shrink)

The central idea is that the cerebral cortex is a model building machine, where regularities in the world serve as templates for the models it builds. First it is shown how this idea can be naturalized, and how the representational contents of our internal models depend upon the evolutionarily endowed design principles of our model building machine. Current neuroscience suggests a powerful form that these design principles may take, allowing our brains to uncover deep structures of the world hidden behind (...) surface sensory stimulation, the individuals, kinds, and properties that form the objects of human perception and thought. It is then shown how this account solves various problems that arose for previous attempts at naturalizing intentionality, and also how it supports rather than undermines folk psychology. As in the parable of the blind men and the elephant, the seemingly unrelated pieces of earlier theories (information, causation, isomorphism, success, and teleology) emerge as different aspects of the evolved model-building mechanism that explains the intentional features of our kind of mind. (shrink)

The general methodology of "algebraizing" logics is used here for combining different logics. The combination of logics is represented as taking the colimit of the constituent logics in the category of algebraizable logics. The cocompleteness of this category as well as its isomorphism to the corresponding category of certain first-order theories are proved.

After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those (...) involving the distinction between characterizing a system and axiomatizing the truths of a system. (shrink)

It has often been said that metaphors are based on analogies, but the nature of this relation has never been made precise. This article rigorously and formally specifies two semantic relations that do obtain between some metaphors and analogies. We argue that analogies often provide conditions of meaningfulness and truth for metaphors. An analogy is treated as an isomorphism from a source to topic domain. Metaphors are thought of as surface structures. Formal analogical conditions of meaningfulness and truth are (...) fully and rigorously worked out for several grammatical classes of metaphors. By providing analogical meaningfulness and truth conditions for metaphors, this article shows that truth-conditional semantics can be extended to metaphors. (shrink)

The claim that we want to put forward is that Thomas Kuhn ’s growth of knowledge concept is drawn upon Heidegger’s epistemology. To bolster the tenet the corresponding works of both thinkers are considered. As a result, the one-to-one correspondence between the key propositions of Heideggerian epistemology and the basic tenets of Kuhn ’s growth of knowledge model is dawned. The tenets under consideration include the holistic nature of a paradigm, the incommensurability thesis, conventional status of a paradigm caused by (...) pragmatist way of its vocabulary justification and even the basic instance – connection between Aristotelean and Newtonian mechanics. It is conjectured that an indirect influence of Heidegger upon Kuhn should be taken into account to explain the isomorphism. For instance, through the works of Alexandre Koyré admired by Kuhn. As is well-known, Koyré had close professional links with another Russian émigré – Alexandre Kojev – who presented in his 1933-1939 Paris lectures Hegel’s “Phenomenology of Spirit” seen through the cognitive lens of Heideggerian phenomenology. Key words: Martin Heidegger, Thomas Kuhn, growth of knowledge, paradigm, incommensurability thesis, holism, pragmatism. (shrink)