In spite of incomplete knowledge we are permanently forced to act in complex real-life situations. First, a modern concept of information, the non-trivial transition from information to knowledge, patterns of missing knowledge, and the concept of perspective notions are studied. The main sections review some guidelines for action under incomplete information. A modern view of the concepts of holism and wholeness reveals that (in contrast to some critics) general system theory does not require any metaphysical (...) assumption or previously accepted worldview. The concepts of holism and wholeness, as well as general system theory, are well-founded, even under strict criteria. (shrink)

I raise an example that suggests that Andrea Kern’s Knowledge View of Perception should concede that a mere perceptual experience can be a potentiality for one to know something on its basis. I argue that the Knowledge View can accommodate this suggestion by distinguishing between two kinds of defective exercises of a capacity for perceptual knowledge, namely failed and incomplete exercises. I explain that, rather than collapsing the Knowledge View into the contrary Two-Capacity View, my (...) suggestion further articulates the definitive insight of the Knowledge View, namely that perceptual experience, on the basis of which one knows, issues from the same capacity as the knowledge enabled by it. (shrink)

This article examines strands of an intellectual history in Media and Cultural Studies and Science and Technology Studies in both of which researchers were prompted to take up ethnography. Three historical phases of this process are identified. The move between phases was the result of particular displacements and contestations of perspective in the research procedures within each discipline. Thus concerns about appropriate contextualization led to the eventual embrace of anthropological ethnographic methods. The article traces the subsequent emergence of a ‘crisis (...) of context’ in the deployment of ethnography within these disciplines. The analysis of these historical changes is informed by a particular depiction of Euro-American knowledge conventions. The article suggests that the limits currently perceived for ethnography are a specific instance of the more general limits now recognized for these knowledge conventions. (shrink)

A central problem in the interpretation of non-relativistic quantum mechanics is to relate the conceptual structure of the theory to the classical idea of the state of a physical system. This paper approaches the problem by presenting an analysis of the notion of an elementary physical proposition. The notion is shown to be realized in standard formulations of the theory and to illuminate the significance of proofs of the impossibility of hidden variable extensions. In the interpretation of quantum mechanics that (...) emerges from this analysis, the philosophically distinctive features of the theory derive from the fact that it seeks to represent a reality of which complete knowledge is essentially unattainable. (shrink)

This book is about an important issue which has arisen within two of the branches of physical science - namely thermodynamics and statistical mechanics - where the notion of entropy plays an essential role. A number of scientists and information theorists have maintained that entropy is a subjective concept and is a measure of human ignorance. Such a view, if it is valid, would create some profound philosophical problems and would tend to undermine the objectivity of the scientific enterprise. Whilst (...) the present volume is not a treatise on thermodynamics or statistical mechanics, all relevant steps in the building up of these disciplines are carefully scrutinised and it is concluded that the charge of subjectivity cannot be upheld. The widely adopted view that entropy is a measure of disorder, or of lack of information, is shown to be ambiguous, although it may be of use in certain contexts. (shrink)

argumentation, as originally defined by Dung, is a model that allows the description of certain information about arguments and relationships between them: in an abstract argumentation framework, the agent knows for sure whether a given argument or attack exists. It means that the absence of an attack between two arguments can be interpreted as “we know that the first argument does not attack the second one”. But the question of uncertainty in abstract argumentation has received much attention in the last (...) years. In this paper, we survey approaches that allow to express information like “There may be an attack between these arguments”. We describe the main models that incorporate qualitative uncertainty in abstract argumentation, as well as some applications of these models. We also highlight some open questions that deserve some attention in the future. (shrink)

When a risk is exchanged, the exact value for the minimum price (positive or negative) that the purchaser (investor, or insurer) is willing to pay is given by the certainty equivalent wealth level, which in turn depends on his specific utility function. When this utility function is unknown, then only a sufficient condition on the price can ever be found. This paper provides methods for calculating such a sufficient condition, when only limited information on the utility function is known.

Nakamura proposed two three-valued temporal logics. We present two extended Gentzen-type formulations of these logics. Then we prove the soundness as well as the completeness theorem.

This is an exploration of a cluster of related logical results. Taken together these seem to have something philosophically important to teach us: something about knowledge and truth and something about the logical impossibility of totalities of knowledge and truth. The book includes explorations of new forms of the ancient and venerable paradox of the :Liar, applications and extensions of Kaplan and Montague's paradox of the Knower, generalizations of Godel's work on incompleteness, and new uses of Cantorian diagonalization. (...) Throughout, the concern is with metaphysical and epistemological implications of these results: what such results may have to teach us about knowledge, truth, and possibility. (shrink)

Incomplete Archaeologies takes a familiar archaeological concept--assemblages--and reconsiders such groupings, collections and sets of things from the perspective of the work required to assemble them. The discussions presented here engage with the practices of collection, construction, performance and creation in the past (and present) which constitute the things and groups of things studied by archaeologists--and examine as well how these things and thing-groups are dismantled, rearranged, and even destroyed, only to be rebuilt and recreated. The ultimate aim is to (...) reassert an awareness of the incompleteness of assemblage, and thus the importance of practices of assembling (whether they seem at first creative or destructive) for understanding social life in the past as well as the present. The individual chapters represent critical engagements with this aim by archaeologists presenting a broad scope of case studies from Eurasia and the Mediterranean. Case studies include discussions of mortuary practice from numerous angles, the sociopolitics of metallurgy, human-animal relationships, landscape and memory, the assembly of political subjectivity and the curation of sovereignty. These studies emphasise the incomplete and ongoing nature of social action in the past, and stress the critical significance of a deeper understanding of formation processes as well as contextual archaeologies to practices of archaeology, museology, art history, and other related disciplines. Contributors challenge archaeologists and others to think past the objects in the assemblage to the practices of assembling, enabling us to consider not only plural modes of interacting with and perceiving things, spaces, human bodies and temporalities in the past, but also to perhaps discover alternate modes of framing these interactions and relationships in our analyses. Ultimately then, Incomplete Archaeologies takes aim at the perceived totality not only of assemblages of artefacts on shelves and desks, but also that of some of archaeology's seeming-seamless epistemological objects"--From publisher's website. (shrink)

Incomplete Archaeologies takes a familiar archaeological concept--assemblages--and reconsiders such groupings, collections and sets of things from the perspective of the work required to assemble them. The discussions presented here engage with the practices of collection, construction, performance and creation in the past (and present) which constitute the things and groups of things studied by archaeologists--and examine as well how these things and thing-groups are dismantled, rearranged, and even destroyed, only to be rebuilt and recreated. The ultimate aim is to (...) reassert an awareness of the incompleteness of assemblage, and thus the importance of practices of assembling (whether they seem at first creative or destructive) for understanding social life in the past as well as the present. The individual chapters represent critical engagements with this aim by archaeologists presenting a broad scope of case studies from Eurasia and the Mediterranean. Case studies include discussions of mortuary practice from numerous angles, the sociopolitics of metallurgy, human-animal relationships, landscape and memory, the assembly of political subjectivity and the curation of sovereignty. These studies emphasise the incomplete and ongoing nature of social action in the past, and stress the critical significance of a deeper understanding of formation processes as well as contextual archaeologies to practices of archaeology, museology, art history, and other related disciplines. Contributors challenge archaeologists and others to think past the objects in the assemblage to the practices of assembling, enabling us to consider not only plural modes of interacting with and perceiving things, spaces, human bodies and temporalities in the past, but also to perhaps discover alternate modes of framing these interactions and relationships in our analyses. Ultimately then, Incomplete Archaeologies takes aim at the perceived totality not only of assemblages of artefacts on shelves and desks, but also that of some of archaeology's seeming-seamless epistemological objects"--From publisher's website. (shrink)

We relax the assumption that priors are common knowledge, in the standard model of games of incomplete information. We make the realistic assumption that the players are boundedly rational: they base their actions on finite-order belief hierarchies. When the different layers of beliefs are independent of each other, we can retain Harsányi's type-space, and we can define straightforward generalizations of Bayesian Nash Equilibrium and Rationalizability in our context. Since neither of these concepts is quite satisfactory, we propose a (...) hybrid concept, Mirage Equilibrium, providing us with a practical tool to work with inconsistent belief hierarchies. When the different layers of beliefs are correlated, we must enlarge the type-space to include the parametric beliefs. This presents us with the difficulty of the inherent openness of finite belief subspaces. Appealing to bounded rationality once more, we posit that the players believe that their opponent holds a belief hierarchy one layer shorter than they do and we provide alternative generalizations of BNE and Rationalizability. Finally, we show that, when beliefs are degenerate point beliefs, the definition of Mirage Equilibrium coincides with that of the generalized BNE. (shrink)

Does the quantum state represent reality or our knowledge of reality? In making this distinction precise, we are led to a novel classification of hidden variable models of quantum theory. We show that representatives of each class can be found among existing constructions for two-dimensional Hilbert spaces. Our approach also provides a fruitful new perspective on arguments for the nonlocality and incompleteness of quantum theory. Specifically, we show that for models wherein the quantum state has the status of something (...) real, the failure of locality can be established through an argument considerably more straightforward than Bell’s theorem. The historical significance of this result becomes evident when one recognizes that the same reasoning is present in Einstein’s preferred argument for incompleteness, which dates back to 1935. This fact suggests that Einstein was seeking not just any completion of quantum theory, but one wherein quantum states are solely representative of our knowledge. Our hypothesis is supported by an analysis of Einstein’s attempts to clarify his views on quantum theory and the circumstance of his otherwise puzzling abandonment of an even simpler argument for incompleteness from 1927. (shrink)

The aim of this paper is to suggest a new interpretation to the Gettier problem by showing that the standard JTB definition of knowledge is not epistemologically incomplete, being at the same time formally incomplete. The Gettier problem is shown to emerge through the implicit self-application of the JTB definition of knowledge to prove its own incompleteness. A conclusion is drawn, which runs counter to the traditional view that the problem necessarily requires a conceptual amendment of (...) the standard defi nition, in spite of the formal incompleteness of the latter. The Gettier problem is construed to be related to the ancient Meno problem within a contemporary justifi cational discourse. (shrink)

Burge famously argued that one can have thoughts involving a concept C even if one’s understanding of C is incomplete. Even though this view has been extremely influential, it has also been taken by critics as less than clear. The aim of this paper is to show that the cases imagined by Burge as being ones in which incomplete understanding of concepts is involved can be made clearer given an account of direct concept ascriptions—such as “Peter has the (...) concept of arthritis”—according to which these ascriptions are to be analysed in terms of ascriptions of the knowledge of what something is. The upshot is that the cases imagined by Burge can be explained is terms of the idea of subjects knowing in part what something is. (shrink)

We study abductive, causal, and non-causal conditionals in indicative and counterfactual formulations using probabilistic truth table tasks under incomplete probabilistic knowledge (N = 80). We frame the task as a probability-logical inference problem. The most frequently observed response type across all conditions was a class of conditional event interpretations of conditionals; it was followed by conjunction interpretations. An interesting minority of participants neglected some of the relevant imprecision involved in the premises when inferring lower or upper probability bounds (...) on the target conditional/counterfactual ("halfway responses"). We discuss the results in the light of coherence-based probability logic and the new paradigm psychology of reasoning. (shrink)

In this paper I offer a defence of a Russellian analysis of the referential uses of incomplete (mis)descriptions, in a contextual setting. With regard to the debate between a unificationist and an ambiguity approach to the formal treatment of definite descriptions (introduction), I will support the former against the latter. In 1. I explain what I mean by "essentially" incomplete descriptions: incomplete descriptions are context dependent descriptions. In 2. I examine one of the best versions of the (...) unificationist “explicit” approach given by Buchanan and Ostertag. I then show that this proposal seems unable to treat the normal uses of misdescriptions. I then accept the challenge of treating misdescriptions as a key to solving the problem of context dependent descriptions. In 3. I briefly discuss Michael Devitt’s and Joseph Almog’s treatments of referential descriptions, showing that they find it difficult to explain misdescriptions. In 4. I suggest an alternative approach to DD as contextuals, under a normative epistemic stance. Definite descriptions express (i) what a speaker should have in mind in using certain words in a certain context and (ii) what a normal speaker is justified in saying in a context, given a common basic knowledge of the lexicon. In 5. I define a procedure running on contextual parameters (partiality, perspective and approximation) as a means of representing the role of pragmatics as a filter for semantic interpretation. In 6. I defend my procedural approach against possible objections concerning the problem of the boundaries between semantics and pragmatics, relying on the distinction between semantics and theory of meaning. (shrink)

Like Heisenberg’s uncertainty principle, Gödel’s incompleteness theorem has captured the public imagination, supposedly demonstrating that there are absolute limits to what can be known. More specifically, it is thought to tell us that there are mathematical truths which can never be proved. These are among the many misconceptions and misuses of Gödel’s theorem and its consequences. Incompleteness has been held to show, for example, that there cannot be a Theory of Everything, the so-called holy grail of modern physics. Some philosophers (...) and mathematicians say it proves that minds can’t be modelled by machines, while others argue that they can be modelled but that Gödel’s theorem shows we can’t know it. Postmodernists have claimed to find support in it for the view that objective truth is chimerical. And in the Bibliography of Christianity and Mathematics (yes, there is such a publication) it is asserted that ‘theologians can be comforted in their failure to systematize revealed truth because mathematicians cannot grasp all mathematical truths in their systems either.’ Not only that, the incompleteness theorem is held to imply the existence of God, since only He can decide all truths. Even Rebecca Goldstein’s book, whose laudable aim is to provide non-technical expositions of the incompleteness theorems (there are two) for a general audience and place them in their historical and biographical context, makes extravagant claims and distorts their significance. As Goldstein sees it, Gödel’s theorems are ‘the most prolix theorems in the history of mathematics’ and address themselves ‘to the central question of the humanities – ‘what is it to be human?’ – since they involve ‘such vast and messy areas as the nature of truth and knowledge and certainty’. Unfortunately, these weighty claims disintegrate under closer examination, while the book as a whole is marred by a number of disturbing conceptual and historical errors. On the face of it, Goldstein would appear to have been an ideal choice to present Gödel’s work: she received a PhD in Philosophy from Princeton University in 1977 and since then has taught philosophy of science and philosophy of mind at several.... (shrink)

A key benefit of Bayesian reasoning is that it stipulates how to optimally integrate unreliable sources of information. The authors present evidence that humans use Bayesian inference to determine how much to trust advice from another person, based on information about that person's knowledge and strategy.

The search for moral objectivity has been constant throughout the history of philosophy, although interpretations of the nature and scope of objectivity have varied. One aim of the pursuit of moral objectivity has been the demonstration of what may be termed its epistemological thesis, that is, the claim that the truth of assertions of the goodness or rightness of moral acts is as legitimate, reliable, or valid as the truth of assertions involving other forms of human knowledge, such as (...) common sense, practical expertise, science, or mathematics. Another aim of the quest for moral objectivity may be termed its pragmatic formulation ; this refers to the development of a method or procedure that will mediate among conflicting moral views in order to realize a convergence or justified agreement about warranted or true moral conclusions. In the ethical theories of Aristotle, David Hume, and John Dewey, theories that represent three of the four variants of ethical naturalism that are surveyed in this essay, the epistemological thesis and the pragmatic formulation are integrated or combined. The distinction between these two elements is significant for the present essay, however, since I want to show that linguistic naturalism, the fourth variant I shall examine, has provided a demonstration of the epistemological thesis about moral knowledge, even if the pragmatic formulation has not been successfully realized. (shrink)

The search for moral objectivity has been constant throughout the history of philosophy, although interpretations of the nature and scope of objectivity have varied. One aim of the pursuit of moral objectivity has been the demonstration of what may be termed its epistemological thesis, that is, the claim that the truth of assertions of the goodness or rightness of moral acts is as legitimate, reliable, or valid as the truth of assertions involving other forms of human knowledge, such as (...) common sense, practical expertise, science, or mathematics. Another aim of the quest for moral objectivity may be termed its pragmatic formulation ; this refers to the development of a method or procedure that will mediate among conflicting moral views in order to realize a convergence or justified agreement about warranted or true moral conclusions. In the ethical theories of Aristotle, David Hume, and John Dewey, theories that represent three of the four variants of ethical naturalism that are surveyed in this essay, the epistemological thesis and the pragmatic formulation are integrated or combined. The distinction between these two elements is significant for the present essay, however, since I want to show that linguistic naturalism, the fourth variant I shall examine, has provided a demonstration of the epistemological thesis about moral knowledge, even if the pragmatic formulation has not been successfully realized. (shrink)

Although G¨odel proved the first incompleteness theorem by intuitionistically respectable means, G¨odel’s formula, true although undecidable,seems to offer a counter-example to the general constructivist or anti-realistclaim that truth may not transcend recognizability in principle. It is arguedhere that our understanding of the formula consists in a knowledge of itstruth-conditions, that it is true in a minimal sense and, finally, that it is recognized as such given the consistencyand ω-consistency of P. The philosophical lesson to be drawn from G¨odel’sproof is (...) that our capacities for justification in favour of minimal truth exceedwhat is strictly speaking formally provable in P by means of an algorithm. (shrink)

The question of whether content externalism poses a threat to the traditional view of self-knowledge has been much debated. Compatibilists have tried to diffuse the threat by appealing to the self-verifying character of reflexive judgments about our own thoughts, while incompatibilists have strenuously objected that this does not suffice. In my paper I argue that this debate is fundamentally misconceived since it is based, on both sides, on the problematic notion of ‘knowledge of content’. What this shows, I (...) argue, is not that content externalism is unobjectionable, but that the real challenge to content externalism is not an epistemological one. The real difficulty concerns the content externalist’s seemingly necessary commitment to the idea that individuals have an incomplete grasp of the concepts that go into their own thoughts. This idea poses a threat not to self-knowledge, I argue, but rather to our first- and second-order reasoning abilities. (shrink)

If a metaphysics identifies transcendental principles with formal principles, the inevitable result will be a reductionist collapse, that is, a theory of the nature of reality that will exclude as inessential significant differences among existing things. To avoid this result, we must take some such material differences (those, for example, that distinguish physical, biological and mental phenomena from one another) as transcendental in nature. This produces a metaphysics in which the concept of ontological emergence is central—a metaphysics that will depend (...) essentially on the material content of the natural sciences. While both Aristotle and Hegel provided such a metaphysics, they did not, I argue, accept one of its most important consequences—that it must be as incomplete as our scientific knowledge of these material differences. I examine this failure and suggest some areas in which contemporary scientific conceptions may contribute to a more contemporary metaphysics. (shrink)

To explore the knowledge, attitudes and practices regarding plagiarism in a large culturally diverse sample of researchers who participated in the AuthorAID MOOC on Research Writing. An online survey was designed and delivered through Google Forms to the participants in the AuthorAID MOOC on Research Writing during April to June 2017. A total of 765 participants completed the survey, and 746 responses were included in the analysis. Almost all participants reported knowledge of the term “plagiarism”, and 89.1% of (...) them understand the meaning of the term before joining the course. Most participants reported that their university does not provide access to plagiarism detection software, and 35% participants admitted they had been involved in plagiarism during their education. Overall attitudes toward plagiarism indicated low acceptance of plagiarism. Moreover, low scores were reported for approval attitude, disapproval attitude, and knowledge of subjective norms. The most common reason for plagiarizing was lack of time, and the most common consequence was the perception that “those who plagiarize are not respected or seen positively”. Developing country researchers appear to be familiar with the concept of plagiarism, but knowledge among the participants surveyed here was incomplete. Knowledge about plagiarism and awareness of its harmfulness must be improved, because there is an obvious relationship between attitudes toward plagiarism and knowledge, reasons and consequences. The use of plagiarism-detection software can raise awareness about plagiarism. (shrink)

ABSTRACT What characterizes human reasoning is the ability of dealing with incomplete information. Incomplete logic is developed for modeling incomplete knowledge. The most distinctive feature of incomplete logic is its semantics. This is an alternative presentation of partial semantics. In this paper, we will introduce the general notion of incomplete logic (ICL), compare it with partial logic, and give the resolution method for it. We will also show how ICL can be applied to nonmonotonic (...) reasoning. We define nonmonotonic derivation as monotonic derivation in ICL from the database and some consistent assumptions. The mechanism of ICL makes it easy to assert the consistency of an assumption without asserting the assumption itself. (shrink)

A satisfactory theory of linguistic communication must explain how it is that, through the interpersonal exchange of auditory, visual, and tactile stimuli, the communicative preconditions for the acquisition of testimonial knowledge regularly come to be satisfied. Without an account of knowledge-yielding communication this success condition for linguistic theorizing is left opaque, and we are left with an incomplete understanding of testimony, and communication more generally, as a source of knowledge. This paper argues that knowledge-yielding communication (...) should be modelled on knowledge itself. It is argued that knowledge-yielding communication occurs iff interlocutors coordinate on truth values in a non-lucky and non-deviant way. This account is able to do significant explanatory work: it sheds light on the nature of referential communication, and it allows us to capture, in an informative way, the sense in which interlocutors must entertain similar propositions in order to communicate successfully. (shrink)

1. The most incomprehensible thing would be for the world to be comprehensible; 2. An initial decision regarding the scientific approach: the construction of the meaning in the absence of it ; 3. The condition and the elevation to the universal in E. Weil; 4. The initial tension of the identical and the other in E. Levinas; 5. Richness of the collective attitudes of those confronting with the mystery of knowledge; 6. The act of believing, another way to enter (...) in the mystery of Believe for a Christian; 7. Knowledge through signs; 8. The theology in front of the mystery of God; 9. The negative way; 10. The eminence way; 11. The fascination of the Vatican II council for the unity of contraries. (shrink)

Nelson Goodman cast the ‘problem of induction’ as the task of articulating the principles and standards by which to distinguish valid from invalid inductive inferences. This paper explores some logical bounds on the ability of a rational reasoner to accomplish this task. By a simple argument, either an inductive inference method cannot admit its own fallibility, or there exists some non-inferable hypothesis whose non-inferability the method cannot infer (violating the principle of ‘negative introspection’). The paper discusses some implications of this (...) limited self-knowledge for the justifiability of inductive inferences, auto-epistemic logic, and the epistemic foundations of game theory. (shrink)

Peirce did not achieve a final systematization of his work. Beyond the difficulties in explaining so many philosophical tools that he introduced—suffice it to mention semiotic, abductive logic, a heuristic based on continuity, scholastic realism—, there is a theoretical reason for this incompletion. All those new philosophical tools indicated a conception of synthesis very different from the one he received from Kant. Peirce did not realize the profound direction of his enquiry so that he did not directly question neither Kant’s (...) legacy on this issue nor the idea of necessity that presides over it. Starting from Peirce’s conception of continuity and change, this paper will give a new definition of synthetic and analytic judgments and reasoning, completing the picture with a third “vague” judgment and reasoning. In this new definition a synthetic judgment is a judgment that recognizes identity through changes. An analytical judgment is a judgment that loses identity through changes. A vague judgment is a judgment that it is blind to identity through changes. How do we perform synthetic reasoning? Following Peirce’s semiotic study of elements of Gamma Graphs as the sheet of assertion and the line of identity, the paper will first individuate the semiotic characteristics necessary for the recognition of identity. These characteristics lead us to discover “complete gesture” as the tool that we use in our every-day reasoning in order to acquire new knowledge synthetically. “Complete gestures” are actions through which we carry and recognize significant meanings. This new paradigm should provide an improved account of common-sense knowledge as well as of particular creative and hypothetic stages of conception in both scientific and humanistic thought. (shrink)

I argue that Bartolomé de las Casas and Juan Ginés de Sepúlveda differed in their conclusions regarding the status of Indigenous persons at least partly because las Casas had significant, yet incomplete, understanding of Indigenous persons, culture and societies and Sepúlveda had mere knowledge of them. To this end, I show that the epistemic state of understanding explains why Las Casas properly concluded that Indigenous persons deserve the same moral status afforded to Europeans. And I show how las (...) Casas’ understanding of Indigenous persons, culture and societies related to what he got wrong about Indigenous persons. (shrink)

Self-knowledge is the cognitive ability of the agent to know his or her own mental states. There are several types of mental states, and there is a method for the knowledge of each type. The focus of this dissertation is on the knowledge of one‘s own beliefs. With this goal in mind, we present the empiricist and the rationalist approaches to the knowledge of one‘s own beliefs. Empiricist theories of self-knowledge proposes introspection as the method (...) for the knowledge of one‘s own beliefs. However, there are issues related to the phenomenology of belief – what it is like to believe that p? The best rationalist theories of self-knowledge proposes that an agent ―look outwards to constitute her own mind and her own belief. Our final question is about the relationship between knowledge of one‘s beliefs and rationality. Burge (2013) requires that, in order to be rational, one must have self-knowledge. We argue that the kind of rationality specified by Burge is too demanding. As agents in the realm of common life, we have incomplete understanding of our own doxastic mental states, but that is not a problem for the knowledge of our own beliefs as dispositions, since they does not come from rational deliberation; nevertheless, we are responsible and our beliefs as commitments. Both kinds of belief can be known by the transparency method. We conclude claiming that the transparency method is enough for the self-knowledge of doxastic mental state and ensuring the rationality of the agent. (shrink)

In addition to this being the centenary of Kurt Gödel’s birth, January marked 75 years since the publication (1931) of his stunning incompleteness theorems. Though widely known in one form or another by practicing mathematicians, and generally thought to say something fundamental about the limits and potentialities of mathematical knowledge, the actual importance of these results for mathematics is little understood. Nor is this an isolated example among famous results. For example, not long ago, Philip Davis wrote me about (...) what he calls The Paradox of Irrelevance: “There are many math problems that have achieved the cachet of tremendous significance, e.g. Fermat, 4 color, Kepler’s packing, Gödel, etc. Of Fermat, I have read: ‘the most famous math problem of all time.’ Of Gödel, I have read: ‘the most mathematically significant achievement of the 20th century.’ … Yet, these problems have engaged the attention of relatively few research mathematicians—even in pure math.” What accounts for this disconnect between fame and relevance? Before going into the question for Gödel’s theorems, it should be distinguished in one respect from the other examples mentioned, which in any case form quite a mixed bag. Namely, each of the Fermat, 4 color, and Kepler’s packing problems posed a stand-out challenge following extended efforts to settle them; meeting the challenge in each case required new ideas or approaches and intense work, obviously of different degrees. By contrast, Gödel’s theorems were simply unexpected, and their proofs, though requiring novel techniques, were not difficult on the scale of things. Setting that aside, my view of Gödel’s incompleteness theorems is that their relevance to mathematical logic (and its offspring in the theory of computation) is paramount; further, their philosophical relevance is significant, but in just what way is far from settled; and finally, their mathematical relevance outside of logic is very much unsubstantiated but is the object of ongoing, tantalizing efforts.. (shrink)

Is knowledge of language a kind of knowledge-that or knowledge-how? Michael Devitt’s Ignorance of Language argues that knowledge of language is a kind of knowledge-how. Devitt’s account of knowledge of language is embedded in a more general account of the nature of language as grounded in thought. The paper argues that Devitt’s view is inconsistent when thought is understood in an externalist or anti-individualist way. A key phenomenon in externalist thought experiments is the possibility (...) of incomplete or mistaken understanding, and its correction. This phenomenon is exhibited in our knowledge of language. Expanding on some brief remarks by Chomsky, it is argued that speakers display incomplete understanding in making mistakes in linguistic judgrnents. These mistakes can be irnproved through reflection on cases. In this process of mistake, reflection, and correction, speakers’ knowledge of language remains stable despite the change in linguistic judgments. This stable knowledge of language cannot be understood as kind of knowledge-how, without making the rational efficacy of reflection a constitutive feature of knowledge-how. But to do this is to obliterate the distinction between knowledge-how and knowledge-that. The conclusion is that if externalism about thought is accepted, then the knowledge in language is a kind of knowledge-that. (shrink)

The Identity Thesis, proposed by Reid for the case of sensations, and extended by Brentano to conscious states generally, says that a state is conscious iff it is identical with introspective knowledge of its own instantiation. The Thesis offers simple explanations of a number of puzzling features of introspective self-knowledge, and unites the problems of introspection, consciousness and knowledge in the single problem of the metaphysical nature of conscious states. It does nothing to solve the latter problem, (...) but it does entail that a functionalist account of consciousness is incomplete without an exact functionalist definition of knowledge itself. (shrink)

Kurt Gödel’s Incompleteness theorem is well known in Mathematics/Logic/Philosophy circles. Gödel was able to find a way for any given P (UTM), (read as, “P of UTM” for “Program of Universal Truth Machine”), actually to write down a complicated polynomial that has a solution iff (=if and only if), G is true, where G stands for a Gödel-sentence. So, if G’s truth is a necessary condition for the truth of a given polynomial, then P (UTM) has to answer first that (...) G is true in order to secure the truth of the said polynomial. But, interestingly, P (UTM) could never answer that G was true. This necessarily implies that there is at least one truth a P (UTM), however large it may be, cannot speak out. Daya Krishna and Karl Potter’s controversy regarding the construal of India’s Philosophies dates back to the time of Potter’s publication of “Presuppositions of India’s Philosophies” (1963, Englewood Cliffs Prentice-Hall Inc.) In attacking many of India’s philosophies, Daya Krishna appears to have unwittingly touched a crucial point: how can there be the knowledge of a ‘non-cognitive’ mokṣa? [‘mokṣa’ is the final state of existence of an individual away from Social Contract]—See this author’s Indian Social Contract and its Dissolution (2008) mokṣa does not permit the knowledge of one’s own self in the ordinary way with threefold distinction, i.e., subject–knowledge-object or knower–knowledge–known. But what is important is to demonstrate whether such ‘knowledge’ of non-cognitive mokṣa state can be logically shown, in a language, to be possible to attain, and that there is no contradiction involved in such demonstration, because, no one can possibly express the ‘experience-itself’ in language. Hence, if such ‘knowledge’ can be shown to be logically not impossible in language, then, not only Daya Krishna’s arguments against ‘non-cognitive mokṣa’ get refuted but also it would show the possibility of achieving ‘completeness’ in its truest sense, as opposed to Gödel’s ‘Incompleteness’. In such circumstances, man would himself become a Universal Truth Machine. This is because the final state of mokṣa is construed as the state of complete knowledge in Advaita. This possibility of ‘completeness’ is set in this paper in the backdrop of Śrī Śaṅkarācārya’s Advaitic (Non-dualistic) claim involved in the mahāvākyas (extra-ordinary propositions). (Mahāvākyas that Śaṅkara refers to are basically taken from different Upaniṣads. For example, “Aham Brahmāsmi” is from Bṛhadāraṇyaka Upanisad, and “Tattvamasi” is from Chāndogya Upaniṣad. Śrī Śaṅkarācārya has written extensively. His main works include his Commentary on Brahma-Sūtras, on major Upaniṣads, and on ŚrīmadBhagavadGītā, called Bhāṣyas of them, respectively. Almost all these works are available in English translation published by Advaita Ashrama, 5 Dehi Entally Road, Calcutta, 700014.) On the other hand, the ‘Incompleteness’ of Gödel is due to the intervening G-sentence, which has an adverse self-referential element. Gödel’s incompleteness theorem in its mathematical form with an elaborate introduction by R.W. Braithwaite can be found in Meltzer (Kurt Gödel: on formally undecidable propositions of principia mathematica and related systems. Oliver & Boyd, Edinburgh, 1962). The present author believes first that semantic content cannot be substituted by any amount of arithmoquining, (Arithmoquining or arithmatization means, as Braithwaite says,—“Gödel’s novel metamathematical method is that of attaching numbers to the signs, to the series of signs (formulae) and to the series of series of signs (“proof-schemata”) which occur in his formal system…Gödel invented what might be called co-ordinate metamathematics…”) Meltzer (1962 p. 7). In Antone (2006) it is said “The problem is that he (Gödel) tries to replace an abstract version of the number (which can exist) with the concept of a real number version of that abstract notion. We can state the abstraction of what the number needs to be, [the arithmoquining of a number cannot be a proof-pair and an arithmoquine] but that is a concept that cannot be turned into a specific number, because by definition no such number can exist.”.), especially so where first-hand personal experience is called for. Therefore, what ultimately rules is the semanticity as in a first-hand experience. Similar points are voiced, albeit implicitly, in Antone (Who understands Gödel’s incompleteness theorem, 2006). (“…it is so important to understand that Gödel’s theorem only is true with respect to formal systems—which is the exact opposite of the analogous UTM (Antone (2006) webpage 2. And galatomic says in the same discussion chain that “saying” that it ((is)) only true for formal systems is more significant… We only know the world through “formal” categories of understanding… If the world as it is in itself has no incompleteness problem, which I am sure is true, it does not mean much, because that is not the world of time and space that we experience. So it is more significant that formal systems are incomplete than the inexperiencable ‘World in Itself’ has no such problem.—galatomic”) Antone (2006) webpage 2. Nevertheless galatomic certainly, but unwittingly succeeds in highlighting the possibility of experiencing the ‘completeness’ Second, even if any formal system including the system of Advaita of Śaṅkara is to be subsumed or interpreted under Gödel’s theorem, or Tarski’s semantic unprovability theses, the ultimate appeal would lie to the point of human involvement in realizing completeness since any formal system is ‘Incomplete’ always by its very nature as ‘objectual’, and fails to comprehend the ‘subject’ within its fold. (shrink)

This article is about self-knowledge on one's own mental states. Considering human as rational beings, this study aims to problematize the position of subject in process of self-knowledge, as well as to realize the state of knowledge about self-knowledge. In this way, Richard Moran constitutes the method of transparency about the knowledge of one's own mental states. Such a method receives some criticism from the philosopher Quassim Cassam and the philosopher Brie-Gertler. In the same extent, (...) both authors problematize some characteristics of self-knowledge, in which criticism reaches some points studied by Brazilian philosophers, namely Paulo Farias, Waldomiro Silva Filho and André Abath. The latter two authors are based on Moran's methodology and thus constitute his reflections on conditions of daily life as well as the incomplete understanding of human beings. (shrink)

According to a traditional account, moral cognition is an achievement gained over time by sharing a practice under the guidance and the example of the wise, in analogy with craft and apprenticeship. This model captures an important feature of practical reason, that is, its incompleteness, and highlights our dependence on others in obtaining moral knowledge, coherently with the socially extended mind agenda and recent findings in empirical psychology. However, insofar as it accords to exemplars’ decisive authority to determine the (...) standard of correctness for moral cognition, the model does not offer protection against arbitrariness and discrimination. The article argues that to understand the socially distributed nature of practical knowledge, we have to discard the notion of exemplars and reconceive of others as having equal normative standing. This claim allows us to revisit the conception of autonomy as key to distributed practical knowledge. While autonomy does not amount to selfsufficiency and self-reliance, it does demand independence of judgement and stands in contrast to servility, submission, and other sorts of defective ways of relying on others. The requirement of equal standing provides the basis for distinguishing between proper and improper reliance on others. Keywords: autonomy, Aristotle, exemplarism, extended mind, constructivism, practical knowledge, equal standing. (shrink)

We investigate a speci c model of knowledge and beliefs and their dynamics. The model is inspired by public announcement logic and the approach to puzzles concerning knowledge using that logic. In the model epistemic considerations are based on ontology. The main notion that constitutes a bridge between these two disciplines is the notion of epistemic capacities. Within the model we study scenarios in which agents can receive false announcements and can have incomplete or improper views about (...) other agent's epistemic capacities. Moreover, we try to express the description of problem speci cation using the tools from applied ontology { RDF format for information and the Protege editor. (shrink)