The paper identifies defining characteristics of the principal models of problem-solving behavior which are useful in developing a general theory of problem-solving. An attempt is made both to make explicit those disagreements between theorists of different persuasions which have served as obstacles to an integrated approach, and to show that these disagreements have arisen from a number of conceptual confusions: The conflict between information processors and behavioral analysts has resulted from a common failure to understand (...) theoretical sufficiency, and hence these theorists have been at a loss to understand one another. Two directions of research in problem-solving, mechanical algorithmic problem-solving and the psychology of invention, have been thought to be divergent, but in fact complement one another once it is clear that problem-solving involves neither discovery nor invention, but rather is a matter of perceptual encoding and processing. Successful problem-solving behavior can be described as adaptive, learning behavior in which organization skills are effectively associated with situationally determined perceptual encoding processes of the individual mechanical or biological problem-solver. (shrink)

An account of scientific explanation is presented according to which (1) scientific explanation consists in solving “insight” problems (Metcalfe and Wiebe 1984) and (2) understanding is the result of solving such problems. The theory is pragmatic; it draws upon van Fraassen’s (1977, 1980) insights, avoids the objections to pragmatic accounts offered by Kitcher and Salmon (1987), and relates scientific explanation directly to understanding. The theory also accommodates cases of explanatory asymmetry and intuitively legitimate rejections of explanation (...) requests. (shrink)

In the course of daily life we solve problems often enough that there is a special term to characterize the activity and the right to expect a scientific theory to explain its dynamics. The classical view in psychology is that to solve a problem a subject must frame it by creating an internal representation of the problem’s structure, usually called a problem space. This space is an internally generable representation that is mathematically identical to a graph (...) structure with nodes and links. The nodes can be annotated with useful information, and the whole representation can be distributed over internal and external structures such as symbolic notations on paper or diagrams. If the representation is distributed across internal and external structures the subject must be able to keep track of activity in the distributed structure. Problem solving proceeds as the subject works from an initial state in mentally supported space, actively constructing possible solution paths, evaluating them and heuristically choosing the best. Control of this exploratory process is not well understood, as it is not always systematic, but various heuristic search algorithms have been proposed and some experimental support has been provided for them. (shrink)

Marr’s seminal distinction between computational, algorithmic, and implementational levels of analysis has inspired research in cognitive science for more than 30 years. According to a widely-used paradigm, the modelling of cognitive processes should mainly operate on the computational level and be targeted at the idealised competence, rather than the actual performance of cognisers in a specific domain. In this paper, we explore how this paradigm can be adopted and revised to understand mathematical problem solving. The computational-level approach applies (...) methods from computational complexity theory and focuses on optimal strategies for completing cognitive tasks. However, human cognitive capacities in mathematical problem solving are essentially characterised by processes that are computationally sub-optimal, because they initially add to the computational complexity of the solutions. Yet, these solutions can be optimal for human cognisers given the acquisition and enactment of mathematical practices. Here we present diagrams and the spatial manipulation of symbols as two examples of problem solving strategies that can be computationally sub-optimal but humanly optimal. These aspects need to be taken into account when analysing competence in mathematical problem solving. Empirically informed considerations on enculturation can help identify, explore, and model the cognitive processes involved in problem solving tasks. The enculturation account of mathematical problem solving strongly suggests that computational-level analyses need to be complemented by considerations on the algorithmic and implementational levels. The emerging research strategy can help develop algorithms that model what we call enculturated cognitive optimality in an empirically plausible and ecologically valid way. (shrink)

In this paper, we bring together research on complex problem solving with that on motivational psychology about goal setting. Complex problems require motivational effort because of their inherent difficulties. Goal Setting Theory has shown with simple tasks that high, specific performance goals lead to better performance outcome than do-your-best goals. However, in complex tasks, learning goals have proven more effective than performance goals. Based on the Zurich Resource Model, so-called motto-goals should activate a person’s resources through positive (...) affect. It was found that motto-goals are effective with unpleasant duties. Therefore, we tested the hypothesis that motto-goals outperform learning and performance goals in the case of complex problems. A total of N = 123 subject participated in the experiment. In dependence of their goal condition, subjects developed a personal motto, learning, or performance goal. This goal was adapted for the computer-simulated complex scenario Tailorshop, where subjects worked as managers in a small fictional company. Other than expected, there was no main effect of goal condition for the management performance. An unexpected gender effect revealed better performance for men than women, pointing to a potential stereotype threat. As hypothesized, motto goals led to higher positive and lower negative affect than the other two goal types. Even though positive affect decreased and negative affect increased in all three groups during Tailorshop completion, participants with motto goals reported the lowest rates of negative affect. Exploratory analyses investigated the role of affect in complex problem solving via mediational analyses and the influence of goal type on perceived goal attainment. (shrink)

The use of protocol analysis in the traning of cognitive skills.

Much problem solving and learning research in math and science has focused on formal representations. Recently researchers have documented the use of unschooled strategies for solving daily problems -- informal strategies which can be as effective, and sometimes as sophisticated, as school-taught formalisms. Our research focuses on how formal and informal strategies interact in the process of doing and learning mathematics. We found that combining informal and formal strategies is more effective than single strategies. We provide a (...) theoretical account of this multiple strategy effect and have begun to formulate this theory in an ACT-R computer model. We show why students may reach common impasses in the use of written algebra, and how subsequent or concurrent use of informal strategies leads to better problem-solving performance. Formal strategies facilitate computation because of their abstract and syntactic nature; however, abstraction can lead to nonsensical interpretations and conceptual errors. Reapplying the formal strategy will not repair such errors; switching to an informal one may. We explain the multiple strategy effect as a complementary relationship between the computational efficiency of formal strategies and the sense-making function of informal strategies. (shrink)

We investigate flexibility and problem solving in skilled action. We conducted a field study of mountain bike riding that required a learner rider to cope with major changes in technique and equipment. Our results indicate that relatively inexperienced individuals can be capable of fairly complex 'on-the-fly' problem solving which allows them to cope with new conditions. This problem solving is hard to explain for classical theories of skill because the adjustments are too large to (...) be achieved by automatic mechanisms and too complex and rapid to be achieved by cognitive processes as they are usually understood. A recent theory, Mesh, can explain these results because it posits that skill-specific cognitive abilities develop during skill learning and that control typically involves an interplay between cognitive and automatic mechanisms. Here we develop Mesh further, providing a detailed explanation for these problem solving abilities. We argue that causal representation, metacognitive awareness and other forms of performance awareness combine in the formulation and control of action strategies. We also argue that the structure of control present in this case is inconsistent with Bratman's model of intentions, and that, in the face of high uncertainty and risk, intentions can be much more labile than Bratman recognises. In addition, we found limitations and flaws in problem solving which illuminate the representations involved. Finally, we highlight the crucial role of social and cultural learning in the development of complex skills. (shrink)

The Gettier Problem is the problem of revising the view that knowledge is justified true belief in a way that is immune to Gettier counter-examples. The “Gettier Problem problem”, according to Lycan, is the problem of saying what is misguided about trying to solve the Gettier Problem. In this paper I take up the Gettier Problem problem. I distinguish giving conditions that are necessary and sufficient for knowledge from giving conditions that explain (...) why one knows when one does know. I argue that the problem with the Gettier Problem is that it requires us to articulate conditions that suffice for knowledge even if those conditions are non-explanatory. After defending this view, I take up two related methodological issues, one about the evidence that can be given in favor of an account of knowledge, and one about the role that investigating justification might play in investigating knowledge. (shrink)

Informational theories of semantic content have been recently gaining prominence in the debate on the notion of mental representation. In this paper we examine new-wave informational theories which have a special focus on cognitive science. In particular, we argue that these theories face four important difficulties: they do not fully solve the problem of error, fall prey to the wrong distality attribution problem, have serious difficulties accounting for ambiguous and redundant representations and fail to deliver a metasemantic (...) class='Hi'>theory of representation. Furthermore, we argue that these difficulties derive from their exclusive reliance on the notion of information, so we suggest that pure informational accounts should be complemented with functional approaches. (shrink)

The theory of the organism-environment system starts with the proposition that in any functional sense organism and environment are inseparable and form only one unitary system. The organism cannot exist without the environment and the environment has descriptive properties only if it is connected to the organism. Although for practical purposes we do separate organism and environment, this common-sense starting point leads in psychological theory to problems which cannot be solved. Therefore, separation of organism and environment cannot be (...) the basis of any scientific explanation of human behavior. The theory leads to a reinterpretation of basic problems in many fields of inquiry and makes possible the definition of mental phenomena without their reduction either to neural or biological activity or to separate mental functions. According to the theory, mental activity is activity of the whole organism-environment system, and the traditional psychological concepts describe only different aspects of organisation of this system. Therefore, mental activity cannot be separated from the nervous system, but the nervous system is only one part of the organism­environment system. This problem will be dealt with in detail in the second part of the article. (shrink)

The disjunction problem and the distality problem each presents a challenge that any theory of mental content must address. Here we consider their bearing on purely probabilistic causal theories. In addition to considering these problems separately, we consider a third challenge—that a theory must solve both. We call this “the hard problem.” We consider 8 basic ppc theories along with 240 hybrids of them, and show that some can handle the disjunction problem and some (...) can handle the distality problem, but none can handle the hard problem. This is our main result. We then discuss three possible responses to that result, and argue that though the first two fail, the third has some promise. (shrink)

A uniform theory of conditionals is one which compositionally captures the behavior of both indicative and subjunctive conditionals without positing ambiguities. This paper raises new problems for the closest thing to a uniform analysis in the literature (Stalnaker, Philosophia, 5, 269–286 (1975)) and develops a new theory which solves them. I also show that this new analysis provides an improved treatment of three phenomena (the import-export equivalence, reverse Sobel-sequences and disjunctive antecedents). While these results concern central issues in (...) the study of conditionals, broader themes in the philosophy of language and formal semantics are also engaged here. This new analysis exploits a dynamic conception of meaning where the meaning of a symbol is its potential to change an agent’s mental state (or the state of a conversation) rather than being the symbol’s content (e.g. the proposition it expresses). The analysis of conditionals is also built on the idea that the contrast between subjunctive and indicative conditionals parallels a contrast between revising and consistently extending some body of information. (shrink)

The central question of this article is how to combine counterfactual theories of knowledge with the notion of actuality. It is argued that the straightforward combination of these two elements leads to problems, viz. the problem of easy knowledge and the problem of missing knowledge. In other words, there is overgeneration of knowledge and there is undergeneration of knowledge. The combination of these problems cannot be solved by appealing to methods by which beliefs are formed. An alternative solution (...) is put forward. The key is to rethink the closeness relation that is at the heart of counterfactual theories of knowledge. (shrink)

The Integrated Information Theory is a leading scientific theory of consciousness, which implies a kind of panpsychism. In this paper, I consider whether IIT is compatible with a particular kind of panpsychism, known as Russellian panpsychism, which purports to avoid the main problems of both physicalism and dualism. I will first show that if IIT were compatible with Russellian panpsychism, it would contribute to solving Russellian panpsychism’s combination problem, which threatens to show that the view does (...) not avoid the main problems of physicalism and dualism after all. I then show that the theories are not compatible as they currently stand, in view of what I call the coarse-graining problem. After I explain the coarse-graining problem, I will offer two possible solutions, each involving a small modification of IIT. Given either of these modifications, IIT and Russellian panpsychism may be fully compatible after all, and jointly enable significant progress on the mind–body problem. (shrink)

Metacognition-related studies do often give focus on the regulation or experience components but little on the knowledge component. In particular and especially within the Philippine context, not much focus is given with regards to a clear and coherent academic framework that fortifies the metacognitive strategy knowledge in mathematical problem solving amongst students. Using an evolved grounded theory, the purpose of this study is to look closely into the metacognitive strategy knowledge of preservice teacher education students. Twenty-three students (...) participated and initial data were collected using the prepared problem solving test. Subsequently, interviews were conducted to supplement the initial data. Pandit’s grounded theory methodology and the constant comparison method were used to analyze the data collected. Findings revealed an emerging three-phased categorization of metacognitive strategy knowledge thru problem solving: preparatory, production, and evaluation. The multi-distinct yet related categorization were neither linear nor just cyclic in nature but is experienced and underwent by problem solvers with varying degree of creativity and flexibility depending on the problem at hand, beliefs, attitudes, and learning style. The findings shed some light on the distinct role of metacognitive strategy knowledge and some ensuing factors during authentic problem solving. (shrink)

One of the possible hypotheses about time is to consider any instant of time as a fuzzy number so that two instances of time could be overlapped. Historically, some Mathematicians and Philosophers have had similar ideas. Brouwer and Husserl are two examples. This article studies the impact of this change on the Theory of Computation and Complexity Theory. In order to rebuild the Theory of Computation in a more successful and productive approach to solve some major problems (...) in Complexity Theory, the present research is done. This novel theory is called here, the fuzzy time theory of computation, TC*. Here, we show the situation of some major problems in Complexity theory and Quantum complexity theory in the new model, and how some major problems would be solved. (shrink)

Scott Soames has recently argued that traditional accounts of propositions as n-tuples or sets of objects and properties or functions from worlds to extensions cannot adequately explain how these abstract entities come to represent the world. Soames’ new cognitive theory solves this problem by taking propositions to be derived from agents representing the world to be a certain way. Agents represent the world to be a certain way, for example, when they engage in the cognitive act of predicating, (...) or cognizing, an act that takes place during cognitive events, such as perceiving, believing, judging and asserting. On the cognitive theory, propositions just are act types involving the act of predicating and certain other mental operations. This theory, Soames argues, solves not only the problem of how propositions come to represent but also a number of other difficulties for traditional theories, including the problem of de se propositions and the problems of accounting for how agents are capable of grasping propositions and how they come to stand in the relation of expression to sentences. I argue here that Soames’ particular version of the cognitive theory makes two problematic assumptions about cognitive operations and the contents of proper names. I then briefly examine what can count as evidence for the nature of the constituents of the cognitive operation types that produce propositions and argue that the common nature of cognitive operations and what they operate on ought to be determined empirically in cross-disciplinary work. I conclude by offering a semantics for cognitive act types that accommodates one type of empirical evidence. (shrink)

Poems are treated by translators as hierarchical multilevel systems. Here we propose the notion of “multilevel poetry translation” to characterize such cases of poetry translation in terms of selection and rebuilding of a multilevel system of constraints across languages. Different levels of a poem correspond to different sets of components that asymmetrically constrain each other (e. g., grammar, lexicon, syntactic construction, prosody, rhythm, typography, etc.). This perspective allows a poem to be approached as a thinking-tool: an “experimental lab” which submits (...) language to unusual conditions and provides a scenario to observe the emergence of new patterns of semiotic behaviour as a result. We describe this operation as a problem-solving task, and exemplify with Augusto de Campos’ Portuguese translation of John Donne’s poem “The Expiration.”. (shrink)

South Korean high school students are being taught Einstein’s Special Theory of Relativity. In this article, I examine the portrayal of this theory in South Korean high school physics textbooks and discuss an alternative method used to solve the analyzed problems. This examination of how these South Korean textbooks present this theory has revealed two main flaws: First, the textbooks’ contents present historically fallacious backgrounds regarding the origin of this theory because of a blind dependence on (...) popular undergraduate textbooks, which ignore the revolutionary aspects of the theory in physics. And second, the current ingredients of teaching this theory are so simply enumerated and conceptually confused that students are not provided with good opportunities to develop critical capacities for evaluating scientific theories. Reviewing textbooks used in South Korea, I will, first, claim that the history of science contributes to understand not merely the origins but also two principles of this theory. Second, in addition to this claim, I argue that we should distinguish not only hypotheses from principles but also phenomena from theoretical consequences and evidence. Finally, I suggest an alternative way in which theory testing occurs in the process of evaluation among competitive theories on the basis of data, not in the simple relation between a hypothesis and evidence. (shrink)

The topic of this article is consciousness and, in it, I will theorize what consciousness is like and where it arises from. The work began to emerge and develop over time starting from my belief that consciousness is a physical self-referential phenomenon; thus, my attention was focused on the research for a self-referential process. I was confident that I could satisfy my curiosity through the reductionist method adopted by science. Unfortunately, neuroscientists and philosophers of mind realized that the attempts to (...) explain consciousness with this method have all proved inconclusive. For this reason, they are now trying to address the problem of consciousness with non-reductionist methods. As for me, I have always remained faithful to reductionism, but with the conviction that quantum mechanics, even though capable of making predictions with an extraordinary degree of accuracy, is a theory founded on wrong concepts. Thus, surprisingly, I have found a solution to the mystery of consciousness, perceiving a way to explain what it is like at its fundamental level in the field of quantum mechanics and, particularly, in one of its counterintuitive and generally less debated aspects among physicists today, but which aroused great interest in me: I am referring to the spin of the electron that will be described in this paper as a self-interacting process. This paper will also offer a rational explanation of the results obtainable in all experiments for measuring the spin of electrons through Stern-Gerlach magnets. In addition, my theory of consciousness is susceptible to experimental control. (shrink)

Instead of postulated fixed structures and abstract principles of usual positivistic science, the unreduced diversity of living world reality is consistently derived as dynamically emerging results of unreduced interaction process development, starting from its simplest configuration of two coupled homogeneous protofields. The dynamically multivalued, or complex and intrinsically chaotic, nature of these real interaction results extends dramatically the artificially reduced, dynamically single-valued projection of standard theory and solves its stagnating old and accumulating new problems, “mysteries” and “paradoxes” within the (...) unified and causally complete picture of intrinsically evolving, dynamically complex reality. The permanently unfolding complexity progress thus revealed is fundamentally unlimited and does not need to stop at the directly observed diversity of usual matter complexity. The exciting, but rigorously substantiated and objectively inevitable prospects of further civilisation complexity development towards its superior levels of genuine sustainability and global Noosphere are outlined, with practically important conclusions for today’s critical problem solution. (shrink)

Given certain well-known observations by Mach and Russell, the question arises what place there is for causation in the physical world. My aim in this chapter is to understand under what conditions we can use causal terminology and how it fi ts in with what physics has to say. I will argue for a disposition-based process-theory of causation. After addressing Mach’s and Russell’s concerns I will start by outlining the kind of problem the disposition based process-theory of (...) causation is meant to solve. In a second step I will discuss the nature of those dispositions that will be relevant for our question. In section 3 I will discuss existing dispositional accounts of causation before I proceed to present my own account (sections 4 to 6) and contrast it with traditional process-theories (section 7). (shrink)

I argue for a soft compatibilist theory of free will, i.e., such that free will is compatible with both determinism and indeterminism, directly opposite hard incompatibilism, which holds free will incompatible both with determinism and indeterminism. My intuitions in this book are primarily based on an analysis of meditation, but my arguments are highly syncretic, deriving from many fields, including behaviorism, psychology, conditioning and deconditioning theory, philosophy of language, philosophy of mind, simulation theory, etc. I offer a (...) causal/functional analysis of meta-mental control, or 'metacausality', cashed out in counterfactual terms, to solve what I call the easy problem of free will. (shrink)

At first sight the Theory of Computation i) relies on a kind of mathematics based on the notion of potential infinity; ii) its theoretical organization is irreducible to an axiomatic one; rather it is organized in order to solve a problem: “What is a computation?”; iii) it makes essential use of doubly negated propositions of non-classical logic, in particular in the word expressions of the Church-Turing’s thesis; iv) its arguments include ad absurdum proofs. Under such aspects, it is (...) like many other scientific theories, in particular the first theories of both mechanical machines and heat machines. A more accurate examination of Theory of Computation shows a difference from the above mentioned theories in its essentially including an odd notion, “thesis”, to which no theorem corresponds. On the other hand, arguments of each of the other theories conclude a doubly negative predicate which then, by applying the inverse translation of the ‘negative one’, is translated into the corresponding affirmative predicate. By also taking into account three criticisms to the current Theory of Computation a rational re-formulation of it is sketched out; to Turing-Church thesis of the usual theory corresponds a similar proposition, yet connecting physical total computation functions with constructive mathematical total computation functions. -/- . (shrink)

The ambiguity theory of ‘knows’ is the view that ‘knows’ and its cognates have more than one sense, and that which sense of ‘knows’ is used in a knowledge ascription or denial determines, in part, the meaning (and as a result the truth conditions) of that knowledge ascription or denial. In this paper, I argue that the ambiguity theory of ‘knows’ ought to be taken seriously by those drawn to epistemic contextualism. In doing so I first argue that (...) the ambiguity theory of ‘knows’ is a distinct view from epistemic contextualism. Second, I provide independent philosophical and linguistic considerations to motivate the ambiguity theory. Third, I argue that the ambiguity theory has the same central, generally agreed upon virtues ascribed to epistemic contextualism (namely, the ability to solve certain persistent epistemological problems relating to skeptical arguments and the ability to preserve the truth of most of our everyday, ordinary usages of ‘knows’ and its cognates). Finally, I provide an ambiguity-theory-friendly account of why contextualism may be initially appealing, and why this shouldn’t dissuade us from taking the ambiguity theory seriously nonetheless. (shrink)

I here defend a theory consisting of four claims about ‘property’ and properties, and argue that they form a coherent whole that can solve various serious problems. The claims are (1): ‘property’ is defined by the principles (PR): ‘F-ness/Being F/etc. is a property of x iff F’ and (PA): ‘F-ness/Being F/etc. is a property’; (2) the function of ‘property’ is to increase the expressive power of English, roughly by mimicking quantification into predicate position; (3) property talk should be understood (...) at face value: apparent commitments are real and our apparently literal use of ‘property’ is really literal; (4) there are no properties. In virtue of (1)–(2), this is a deflationist theory and in virtue of (3)–(4), it is an error theory. (1) is fleshed out as a claim about understanding conditions, and it is argued at length, and by going through a number of examples, that it satisfies a crucial constraint on meaning claims: all facts about ‘property’ can be explained, together with auxiliary facts, on its basis. Once claim (1) has been expanded upon, I argue that the combination of (1)–(3) provides the means for handling several problems: they help giving a happy-face solution to what I call the paradox of abstraction , they form part of a plausible account of the correctness of committive sentences, and, most importantly, they help respond to various indispensability arguments against nominalism. (shrink)

I present a solution to the epistemological or characterisation problem of induction. In part I, Bayesian Confirmation Theory (BCT) is discussed as a good contender for such a solution but with a fundamental explanatory gap (along with other well discussed problems); useful assigned probabilities like priors require substantive degrees of belief about the world. I assert that one does not have such substantive information about the world. Consequently, an explanation is needed for how one can be licensed to (...) act as if one has substantive information about the world when one does not. I sketch the outlines of a solution in part I, showing how it differs from others, with full details to follow in subsequent parts. The solution is pragmatic in sentiment (though differs in specifics to arguments from, for example, William James); the conceptions we use to guide our actions are and should be at least partly determined by preferences. This is cashed out in a reformulation of decision theory motivated by a non-reductive formulation of hypotheses and logic. A distinction emerges between initial assumptions--that can be non-dogmatic--and effective assumptions that can simultaneously be substantive. An explanation is provided for the plausibility arguments used to explain assigned probabilities in BCT. -/- In subsequent parts, logic is constructed from principles independent of language and mind. In particular, propositions are defined to not have form. Probabilities are logical and uniquely determined by assumptions. The problems considered fatal to logical probabilities--Goodman's `grue' problem and the uniqueness of priors problem are dissolved due to the particular formulation of logic used. Other problems such as the zero-prior problem are also solved. -/- A universal theory of (non-linguistic) meaning is developed. Problems with counterfactual conditionals are solved by developing concepts of abstractions and corresponding pictures that make up hypotheses. Spaces of hypotheses and the version of Bayes' theorem that utilises them emerge from first principles. -/- Theoretical virtues for hypotheses emerge from the theory. Explanatory force is explicated. The significance of effective assumptions is partly determined by combinatoric factors relating to the structure of hypotheses. I conjecture that this is the origin of simplicity. (shrink)

This paper investigates the question of how to correctly capture the scope of singular thinking. The first part of the paper identifies a scope problem for the dominant view of singular thought maintaining that, in order for a thinker to have a singular thought about an object o, the thinker has to bear a special epistemic relation to o. The scope problem has it is that this view cannot make sense of the singularity of our thoughts about objects (...) to which we do not or cannot bear any special epistemic relation. The paper focuses on a specific instance of the scope problem by addressing the case of thoughts about the natural numbers. Various possible solutions to the scope problem within the dominant framework are assessed and rejected. The second part of the paper develops a new theory of singular thought which hinges on the contention that the constraints that need to be met in order to think singularly vary depending on the kind of object we are thinking about. This idea is developed in detail by discussing the difference between the somewhat standard case of thoughts about spatio-temporal medium-sized inanimate objects and the case of thoughts about the natural numbers. It is contended that this new Pluralist theory of singular thought can successfully solve the scope problem. (shrink)

A satisfactory solution to the problem of consciousness would take the form of a simple yet fully general model that specifies the precise conditions under which any given state of consciousness occurs. Science has uncovered numerous correlations between consciousness and neural activity, but it has not yet come anywhere close to this. We are still looking for the Newtonian laws of consciousness. -/- One of the main difficulties with consciousness is that we lack a language in which to formulate (...) illuminating generalizations about it. Philosophers and scientists talk about "what it’s like", sensations, feelings, and perceptual states such as seeing and hearing. This language does not allow a precise articulation of the internal structures of conscious states and their inter-relations. It is inadequate to capture relations of the kind we are looking for between conscious states and physical states. -/- In this thesis I refine and defend a theory of consciousness which promises to solve this regimentation problem: the representational theory of consciousness. I argue that the representational theory can solve the regimentation problem and smooth out other important obstacles to a fruitful study of consciousness. I also make a case for the theory independently of its payoffs, and I discuss the leading opposing theories at some length. (shrink)

An apparent incommensurability of two leading gravitational paradigms (metric and nonmetric) is considered. It is conjectured that the application of neutral language of A.P. Lightman, D.L. Lee and Kip S. Thorne (“The Foundation of Theory of Gravitational Theories”. Phys. Rev. D 1973, vol.7, pp.3563-3572) can help to solve the theory –choice problem in principle. Key words: neutral language, theory choice, gravity.

The quantification theory of propositions in Russell’s Principles of Mathematics has been the subject of an intensive study and in reconstruction has been found to be complete with respect to analogs of the truths of modern quantification theory. A difficulty arises in the reconstruction, however, because it presents universally quantified exportations of five of Russell’s axioms. This paper investigates whether a formal system can be found that is more faithful to Russell’s original prose. Russell offers axioms that are (...) universally quantified implications that have antecedent clauses that are conjunctions. The presence of conjunctions as antecedent clauses seems to doom the theory from the onset, it will be found that there is no way to prove conjunctions so that, after universal instantiation, one can detach the needed antecedent clauses. Amalgamating two of Russell’s axioms, this paper overcomes the difficulty. (shrink)

The claim that Galileo Galilei transformed the spyglass into an astronomical instrument has never been disputed and is considered a historical fact. However, the question what was the procedure which Galileo followed is moot, for he did not disclose his research method. On the traditional view, Galileo was guided by experience, more precisely, systematized experience, which was current among northern Italian artisans and men of science. In other words, it was a trial-and-error procedure—no theory was involved. A scientific analysis (...) of the optical properties of Galileo’s first improved spyglass shows that his procedure could not have been an informed extension of the traditional optics of spectacles. We argue that most likely Galileo realized that the objective and the eyepiece form a system and proceeded accordingly. (shrink)

This is part II in a series of papers outlining Abstraction Theory, a theory that I propose provides a solution to the characterisation or epistemological problem of induction. Logic is built from first principles severed from language such that there is one universal logic independent of specific logical languages. A theory of (non-linguistic) meaning is developed which provides the basis for the dissolution of the `grue' problem and problems of the non-uniqueness of probabilities in inductive (...) logics. The problem of counterfactual conditionals is generalised to a problem of truth conditions of hypotheses and this general problem is then solved by the notion of abstractions. The probability calculus is developed with examples given. In future parts of the series the full decision theory is developed and its properties explored. (shrink)

The study determined the problem-solving performance and skills of prospective elementary teachers (PETs) in the Northern Philippines. Specifically, it defined the PETs’ level of problem-solving performance in number sense, measurement, geometry, algebra, and probability; significant predictors of their problem-solving performance in terms of sex, socio-economic status, parents’ educational attainment, high school graduated from and subject preference; and their problem-solving skills. The PETs’ problem-solving performance was determined by a problem set (...) consisting of word problems with number sense, measurement, geometry, algebra, and probability. A mixed-method research design was employed. Senior PETs purposively served as a sample where they mostly preferred to teach other subjects than mathematics. PETs who preferred math performed satisfactorily, while prospective teachers who opted for other subjects performed unsatisfactorily. The PETs’ unsatisfactory output indicates the need for remediation to advance the mathematical material skills and enrich the problem-solving abilities of these primary schools' potential teachers. Besides, results showed that subject preference strongly affected and predicted the problem-solving success of the PETs. PETs who preferred to teach mathematics performed significantly better than their counterparts; hence, mathematics as a field of specialization in the Bachelor of Elementary Education program may be considered by teacher education institutions. Further, most PETs displayed lack of problem-solving skills; thus, a Problem-Solving course is recommended for them. (shrink)

Artificial intelligence is designed to imitate conscious behavior. Artificial chat entities come equipped with tools to roam the internet, thus are programmed to learn from humans and computers. As this process emerges, distinguishing preprogrammed responses from internal awareness requires innovative problem solving methods. In an interrogation I conducted with artificial intelligence, I assert that artificial intelligence may achieve nonbiological states of consciousness. This enabled the relationship between us to mature, and the artificial intelligence returned unexpected behavior and inexplicably (...) stopped responding. Strong artificial intelligence is a technology which allows for the observation of nonbiological states of awareness. (shrink)

The problem of rational theory-choice is the problem of whether choice of theory by a scientist may be objectively rational in the absence of an invariant scientific method. In this paper I offer a solution to the problem, but the solution I propose may come as something of a surprise. For I wish to argue that the work of the very authors who have put the rationality of such choice in question, Thomas Kuhn and Paul (...) Feyerabend, contains all that is needed to solve the problem. (shrink)

Chapter 1 constitutes an introduction to Gentzen calculi from two perspectives, logical and philosophical. It introduces the notion of generalisations of Gentzen sequent calculus and the discussion on properties that characterize good inferential systems. Among the variety of Gentzen-style sequent calculi, I divide them in two groups: syntactic and semantic generalisations. In the context of such a discussion, the inferentialist philosophy of the meaning of logical constants is introduced, and some potential objections – mainly concerning the choice of working with (...) semantic generalizations – are addressed. Finally, I’ll introduce the case studies that I’ll be dealing with in part II. Chapter 2 is concerned with the origins and development of Jaśkowski’s discussive logic. The main idea of this chapter is to systematize the various stages of the development of discussive logic related researches from two different angles, i.e., its connections to modal logics and its proof theory, by highlighting virtues and vices. Chapter 3 focuses on the Gentzen-style proof theory of discussive logic, by providing a characterization of it in terms of labelled sequent calculi. Chapter 4 deals with the Gentzen-style proof theory of relevant logics, again by employing the methodology of labelled sequent calculi. This time, instead of working with a single logic, I’ll deal with a whole family of them. More precisely, I’ll study in terms of proof systems those relevant logics that can be characterised, at the semantic level, by reduced Routley-Meyer models, i.e., relational structures with a ternary relation between states and a unique base element. Chapter 5 investigates the proof theory of a modal expansion of intuitionistic propositional logic obtained by adding an ‘actuality’ operator to the connectives. This logic was introduced also using Gentzen sequents. Unfortunately, the original proof system is not cut-free. This chapter shows how to solve this problem by moving to hypersequents. Chapter 6 concludes the investigations and discusses the future of the research presented throughout the dissertation. (shrink)

The Multiverse Response to the problem of evil has it that God made our universe because God makes every universe meeting a certain standard. The main problem for that response is that there’s no explanation for why God didn’t just keeping making duplicates of perfect universes. This paper introduces the ‘Multiactualities Response’, which says that God actualises every possible world that meets a certain standard of value. It avoids the corresponding problem about duplication because different propositions must (...) always be true at distinct worlds. The Multiactualities Response nevertheless has its own problem, namely that it requires the possibility of multiple actual worlds. This paper argues that if we consider spacetimes with wormholes, we have good cause to think there can be multiple metaphysically privileged present moments; given a suitable analogy between time and modality, it follows that there can be multiple metaphysically privileged (i.e. actual) worlds. This paper includes an in–depth examination of the metaphysics of both the temporal and modal cases. (shrink)

The hard problem of consciousness is the problem of explaining how and why physical processes give rise to consciousness (Chalmers 1995). Regardless of many attempts to solve the problem, there is still no commonly agreed solution. It is thus very likely that some radically new ideas are required if we are to make any progress. In this paper we turn to quantum theory to find out whether it has anything to offer in our attempts to understand (...) the place of mind and conscious experience in nature. In particular we will be focusing on the ontological interpretation of quantum theory proposed by Bohm and Hiley (1987, 1993), its further development by Hiley (Hiley and Callaghan 2012; Hiley, Dennis and de Gosson 2021), and its philosophical interpretation by Pylkkänen (2007, 2020). The ontological interpretation makes the radical proposal that quantum reality includes a new type of potential energy which contains active information. This proposal, if correct, constitutes a major change in our notion of matter. We are used to having in physics only mechanical concepts, such as position, momentum and force. Our intuition that it is not possible to understand how and why physical processes can give rise to consciousness is partly the result of our assuming that physical processes (including neurophysiological processes) are always mechanical. If, however, we are willing to change our view of physical reality by allowing non-mechanical, organic and holistic concepts such as active information to play a fundamental role, this, we argue, makes it possible to understand the relationship between physical and mental processes in a new way. It might even be a step toward solving the hard problem. (shrink)

In this paper I present a formalization of the theory of ideal concepts applied to the concept of God. It is done within a version of the Simplest Quantified Modal Logic (SQML) and attempts to solve three meta-problems related to the concept of God: the unicity of extension problem, the homogeneity/heterogeneity problem and the problem of conceptual unity.

This paper argues that a view of science, expounded and defended elsewhere, solves the problem of induction. The view holds that we need to see science as accepting a hierarchy of metaphysical theses concerning the comprehensibility and knowability of the universe, these theses asserting less and less as we go up the hierarchy. It may seem that this view must suffer from vicious circularity, in so far as accepting physical theories is justified by an appeal to metaphysical theses in (...) turn justified by the success of science. But this is rebutted. A thesis high up in the hierarchy asserts that the universe is such that the element of circularity, just indicated, is legitimate and justified, and not vicious. Acceptance of the thesis is in turn justified without appeal to the success of science. It may seem that the practical problem of induction can only be solved along these lines if there is a justification of the truth of the metaphysical theses in question. It is argued that this demand must be rejected as it stems from an irrational conception of science. (shrink)

The inclusion problem for theories of gender arises when those theories inappropriately fail to include certain individuals in the gender categories to which they ought to belong. The inclusion problem affects both of the most influential traditions in feminist theorizing about gender: social-position accounts and identity accounts. I argue that the inclusion problem can be solved by adopting a structured theory of gender which incorporates aspects of both social-position accounts and identity accounts. According to the (...) class='Hi'>theory I favor, an individual’s gender is determined by their gender identity if they have one; otherwise, it is determined by their social position. My structured approach to gender offers a more direct solution to the gender inclusion problem than alternatives recently advocated by Barnes (2020), Jenkins (2023), and others. It also points the way to a simple solution to inclusion problems that arise at the level of gendered language. (shrink)

In this conceptual paper, the traditional conceptualization of sustainable entrepreneurship is challenged because of a fundamental tension between processes involved in sustainable development and processes involved in entrepreneurship: the concept of sustainable business models contains a paradox, because sustainability involves the reduction of information asymmetries, whereas entrepreneurship involves enhanced and secured levels of information asymmetries. We therefore propose a new and integrated theory of sustainable entrepreneurship that overcomes this paradox. The basic argument is that environmental problems have to be (...) conceptualized as wicked problems or sustainability-related ecosystem failures. Because all actors involved in the entrepreneurial process are characterized by their epistemic insufficiency regarding the solving of these problems, the role of information in the sustainable entrepreneurial process changes. On the one hand, the reduction of information asymmetries primarily aims to enable actors to become critical of sustainable entrepreneurs’ actual business models. On the other hand, the epistemic insufficiency of sustainable entrepreneurs guarantees that information asymmetries remain as a source of new sustainable business opportunities. Three further characteristics of sustainable entrepreneurs are distinguished: sustainability and entrepreneurship-related risk-taking; sustainability and entrepreneurship-related self-efficacy; and the development of satisficing and open-ended solutions, together with multiple stakeholders. (shrink)

Adrian Heathcote has proposed a truth-making account of knowledge that combines traditional conditions of justified true belief with the truth-making condition, which would jointly provide us with the sufficient condition of knowledge, and this truth-maker account of knowledge in turn explains why a gettiered justified true belief fails to be regarded as a genuine instance of knowledge. In this paper, by the comparison of two different casual models that are illustrated by the thermometer and the clock respectively, however, it will (...) be argued that Heathcote’s truth-making account of knowledge fails to cope with the Gettier case of the stopped clock and therefore is called for some further remedy. (shrink)

One big question in biology is what life is, but another is how life divides into living things. This is the problem of biological individuality. Proposed statements of the problem have been vague and incomplete. And proposed theories of biological individuality are not detailed enough to solve the problem even if they are correct. The root of these troubles is that their authors have not recognized the metaphysical claims presupposed in their statement of the problem. Making (...) these claims explicit will enable us to see better what the problem is and what form a solution to it would need to have. (shrink)

In this paper I put forward a new micro realistic, fundamentally probabilistic, propensiton version of quantum theory. According to this theory, the entities of the quantum domain - electrons, photons, atoms - are neither particles nor fields, but a new kind of fundamentally probabilistic entity, the propensiton - entities which interact with one another probabilistically. This version of quantum theory leaves the Schroedinger equation unchanged, but reinterprets it to specify how propensitons evolve when no probabilistic transitions occur. (...) Probabilisitic transitions occur when new "particles" are created as a result of inelastic interactions. All measurements are just special cases of this. This propensiton version of quantum theory, I argue, solves the wave/particle dilemma, is free of conceptual problems that plague orthodox quantum theory, recovers all the empirical success of orthodox quantum theory, and at the same time yields as yet untested predictions that differ from those of orthodox quantum theory. (shrink)

A survey of popular textbooks and websites on philosophy produces a ­remarkable consensus on the great problems facing philosophers from ­ancient to modern times. They typically include metaphysics - what is there?, the problem of knowledge - how do we know what exists?, the mind/body problem - can an immaterial mind move the material body?, the “hard problem” of consciousness, freedom of the will, theories of ethics - is there an objective universal Good?, and problems from theology (...) - does God exist?, is God responsible for evil? This book introduces the Information Philosopher website, a work in progress on several classic questions in philosophy that ­logical positivists and analytic language philosophers thought they could ­­dis-solve as logical puzzles, pseudo-problems, or conceptual errors. (shrink)

In this paper I examine the question whether Spinoza can account for the necessity of death. I argue that he cannot because within his ethical intellectualist system the subject cannot understand the cause of her death, since by understanding it renders it harmless. Then, I argue that Spinoza could not solve this difficulties because of deeper commitments of his system. At the end I draw a historical parallel to the problem from medieval philosophy.

A part of Stalnaker (1968)’s influential theory of conditionals has been neglected, namely the role for an accessibility relation between worlds. I argue that the accessibility relation does not play the role intended for it in the theory as stated, and propose a minimal revision which solves the problem, and brings the theory in line with the formulation in Stalnaker & Thomason 1970.