Although the Four Colour Theorem is passe, we give an elementary pre-formal proof that transparently illustrates why four colours suffice to chromatically differentiate any set of contiguous, simply connected and bounded, planar spaces; by showing that there is no minimal 4-coloured planar map M. We note that such a pre-formal proof of the Four Colour Theorem highlights the significance of differentiating between: (a) Plato's knowledge as justified true belief, (...) which seeks a formal proof in a first-order mathematical language in order to justify a belief as true; and (b) Piccinini's knowledge as factually grounded belief, which seeks a pre-formal proof, in Pantsar's sense, in order to justify the axioms and rules of inference of a first-order mathematical language which can, then, formally prove the belief as justifiably true under a well-defined interpretation of the language. (shrink)

All accepted proofs of the Four Colour Theorem (4CT) are computer-dependent; and appeal to the existence, and manual identification, of an ‘unavoidable’ set containing a sufficient number of explicitly defined configurations—each evidenced only by a computer as ‘reducible’—such that at least one of the configurations must occur in any chromatically distinguished, minimal, planar map. For instance, Appel and Haken ‘identified’ 1,482 such configurations in their 1977, computer-dependent, proof of 4CT; whilst Neil Robertson et al ‘identified’ 633 configurations (...) as sufficient in their 1997, also computer-dependent, proof of 4CT. However, treating any specific number of ‘reducible’ configurations in an ‘unavoidable’ set as sufficient entails a minimum number as necessary and sufficient. We now show that the minimum number of such configurations can only be the one corresponding to the ‘unavoidable’ set of a ‘reducible’, 4-sided configuration identified by Alfred Kempe in his, seemingly fatally flawed, 1879 ‘proof’ of 4CT. Although Kempe appealed to putative properties of ‘Kempe’ chains in a graphical representation to fallaciously argue that a 5-sided configuration was also in the ‘unavoidable’ set, and ‘reducible’, we shall show why the flaw in his ‘proof’ is not fatal when the argument is expressed geometrically; and that, essentially, Kempe correctly argued that any planar map which admits a chromatic differentiation with a five-sided area C that shares non-zero boundaries with four, all differently coloured, neighbours can be 4-coloured. (shrink)

All acknowledged proofs of the Four Colour Theorem (4CT) are computerdependent. They appeal to the existence, and manual identification, of an ‘unavoidable’ set containing a sufficient number of explicitly defined configurations—each evidenced only by a computer as ‘reducible’—such that at least one of the configurations must occur in any chromatically distinguished, putatively minimal, planar map. For instance, Appel and Haken ‘identified’ 1,482 such configurations in their 1977, computer-dependent, proof of 4CT; whilst Neil Robertson et al ‘identified’ 633 (...) configurations as sufficient in their 1997, also computer-dependent, proof of 4CT. However, treating any specific number of ‘reducible’ configurations in an ‘unavoidable’ set as sufficient entails a minimum number as necessary and sufficient. We now show that the minimum number of such configurations can only be the one corresponding to the ‘unavoidable’ set of the single, ‘reducible’, 4-sided configuration identified by Alfred Kempe in his, seemingly fatally flawed, 1879 ‘proof’ of 4CT. We shall further show that although Kempe fallaciously concluded that a 5-sided configuration was also in the ‘unavoidable’ set, and appealed to unproven properties of ‘Kempe’ chains in a graphical representation to then argue for its ‘reducibility’, neither flaw in his ‘proof’ is fatal when the argument is expressed geometrically; and that, essentially, Kempe correctly argued that any planar map which admits a chromatic differentiation with a five-sided area C that shares non-zero boundaries with four, all differently coloured, neighbours can be 4-coloured. (shrink)

The Four-Colour Theorem (4CT) proof, presented to the mathematical community in a pair of papers by Appel and Haken in the late 1970's, provoked a series of philosophical debates. Many conceptual points of these disputes still require some elucidation. After a brief presentation of the main ideas of Appel and Haken’s procedure for the proof and a reconstruction of Thomas Tymoczko’s argument for the novelty of 4CT’s proof, we shall formulate some questions regarding the connections between the points (...) raised by Tymoczko and some Wittgensteinian topics in the philosophy of mathematics such as the importance of the surveyability as a criterion for distinguishing mathematical proofs from empirical experiments. Our aim is to show that the “characteristic Wittgensteinian invention” (Mühlhölzer 2006) – the strong distinction between proofs and experiments – can shed some light in the conceptual confusions surrounding the Four-Colour Theorem. (shrink)

The “four-color” theorem seems to be generalizable as follows. The four-letter alphabet is sufficient to encode unambiguously any set of well-orderings including a geographical map or the “map” of any logic and thus that of all logics or the DNA plan of any alive being. Then the corresponding maximally generalizing conjecture would state: anything in the universe or mind can be encoded unambiguously by four letters. That admits to be formulated as a “four-letter theorem”, and thus (...) one can search for a properly mathematical proof of the statement. It would imply the “four colour theorem”, the proof of which many philosophers and mathematicians believe not to be entirely satisfactory for it is not a “human proof”, but intermediated by computers unavoidably since the necessary calculations exceed the human capabilities fundamentally. It is furthermore rather unsatisfactory because it consists in enumerating and proving all cases one by one. Sometimes, a more general theorem turns out to be much easier for proving including a general “human” method, and the particular and too difficult for proving theorem to be implied as a corollary in certain simple conditions. The same approach will be followed as to the four colour theorem, i.e. to be deduced more or less trivially from the “four-letter theorem” if the latter is proved. References are only classical and thus very well-known papers: their complete bibliographic description is omitted. (shrink)

Andrew Wiles' analytic proof of Fermat's Last Theorem FLT, which appeals to geometrical properties of real and complex numbers, leaves two questions unanswered: (i) What technique might Fermat have used that led him to, even if only briefly, believe he had `a truly marvellous demonstration' of FLT? (ii) Why is x^n+y^n=z^n solvable only for n<3? In this inter-disciplinary perspective, we offer insight into, and answers to, both queries; yielding a pre-formal proof of why FLT can be treated as a (...) true arithmetical proposition (one which, moreover, might not be provable formally in the first-order Peano Arithmetic PA), where we admit only elementary (i.e., number-theoretic) reasoning, without appeal to analytic properties of real and complex numbers. We cogently argue, further, that any formal proof of FLT needs---as is implicitly suggested by Wiles' proof---to appeal essentially to formal geometrical properties of formal arithmetical propositions. (shrink)

The paper continues the consideration of Hilbert mathematics to mathematics itself as an additional “dimension” allowing for the most difficult and fundamental problems to be attacked in a new general and universal way shareable between all of them. That dimension consists in the parameter of the “distance between finiteness and infinity”, particularly able to interpret standard mathematics as a particular case, the basis of which are arithmetic, set theory and propositional logic: that is as a special “flat” case of Hilbert (...) mathematics. The following four essential problems are considered for the idea to be elucidated: Fermat’s last theorem proved by Andrew Wiles; Poincaré’s conjecture proved by Grigori Perelman and the only resolved from the seven Millennium problems offered by the Clay Mathematics Institute (CMI); the four-color theorem proved “machine-likely” by enumerating all cases and the crucial software assistance; the Yang-Mills existence and mass gap problem also suggested by CMI and yet unresolved. They are intentionally chosen to belong to quite different mathematical areas (number theory, topology, mathematical physics) just to demonstrate the power of the approach able to unite and even unify them from the viewpoint of Hilbert mathematics. Also, specific ideas relevant to each of them are considered. Fermat’s last theorem is shown as a Gödel insoluble statement by means of Yablo’s paradox. Thus, Wiles’s proof as a corollary from the modularity theorem and thus needing both arithmetic and set theory involves necessarily an inverse Grothendieck universe. On the contrary, its proof in “Fermat arithmetic” introduced by “epoché to infinity” (following the pattern of Husserl’s original “epoché to reality”) can be suggested by Hilbert arithmetic relevant to Hilbert mathematics, the mediation of which can be removed in the final analysis as a “Wittgenstein ladder”. Poincaré’s conjecture can be reinterpreted physically by Minkowski space and thus reduced to the “nonstandard homeomorphism” of a bit of information mathematically. Perelman’s proof can be accordingly reinterpreted. However, it is valid in Gödel (or Gödelian) mathematics, but not in Hilbert mathematics in general, where the question of whether it holds remains open. The four-color theorem can be also deduced from the nonstandard homeomorphism at issue, but the available proof by enumerating a finite set of all possible cases is more general and relevant to Hilbert mathematics as well, therefore being an indirect argument in favor of the validity of Poincaré’s conjecture in Hilbert mathematics. The Yang-Mills existence and mass gap problem furthermore suggests the most general viewpoint to the relation of Hilbert and Gödel mathematics justifying the qubit Hilbert space as the dual counterpart of Hilbert arithmetic in a narrow sense, in turn being inferable from Hilbert arithmetic in a wide sense. The conjecture that many if not almost all great problems in contemporary mathematics rely on (or at least relate to) the Gödel incompleteness is suggested. It implies that Hilbert mathematics is the natural medium for their discussion or eventual solutions. (shrink)

Can we acquire apriori knowledge of mathematical facts from the outputs of computer programs? People like Burge have argued (correctly in our opinion) that, for example, Appel and Haken acquired apriori knowledge of the Four Color Theorem from their computer program insofar as their program simply automated human forms of mathematical reasoning. However, unlike such programs, we argue that the opacity of modern LLMs and DNNs creates obstacles in obtaining apriori mathematical knowledge from them in similar ways. We (...) claim though that if a proof-checker automating human forms of proof-checking is attached to such machines, then we can obtain apriori mathematical knowledge from them after all, even though the original machines are entirely opaque to us and the proofs they output may not, themselves, be human-surveyable. (shrink)

Formal systems are standardly envisaged in terms of a grammar specifying well-formed formulae together with a set of axioms and rules. Derivations are ordered lists of formulae each of which is either an axiom or is generated from earlier items on the list by means of the rules of the system; the theorems of a formal system are simply those formulae for which there are derivations. Here we outline a set of alternative and explicitly visual ways of (...) envisaging and analyzing at least simple formal systems using fractal patterns of infinite depth. Progressively deeper dimensions of such a fractal can be used to map increasingly complex wffs or increasingly complex 'value spaces', with tautologies, contradictions, and various forms of contingency coded in terms of color. This and related approaches, it turns out, offer not only visually immediate and geometrically intriguing representations of formal systems as a whole but also promising formal links (1) between standard systems and classical patterns in fractal geometry, (2) between quite different kinds of value spaces in classical and infinite-valued logics, and (3) between cellular automata and logic. It is hoped that pattern analysis of this kind may open possibilities for a geometrical approach to further questions within logic and metalogic. (shrink)

We present a formal mechanical analysis using sweeping net methods to approximate surfacing singularities of saddle maps. By constructing densified sweeping subnets for individual vertices and integrating them, we create a comprehensive approximation of singularities. This approach utilizes geometric concepts, analytical methods, and theorems that demonstrate the robustness and stability of the nets under perturbations. Through detailed proofs and visualizations, we provide a new perspective on singularities and their approximations in analytic geometry.

In the first part of this investigation we highlight two, seemingly irreconcilable, beliefs that suggest an impending crisis in the teaching, research, and practice of—primarily state-supported—mathematics: (a) the belief, with increasing, essentially faith-based, conviction and authority amongst academics that first-order Set Theory can be treated as the lingua franca of mathematics, since its theorems—even if unfalsifiable—can be treated as ‘knowledge’ because they are finite proof sequences which are entailed finitarily by self-evidently Justified True Beliefs; and (b) the slowly emerging, but (...) powerfully rooted in economic imperatives, belief that only those Justified True Beliefs can be treated as ‘knowledge’ which are, further, categorically communicable as Factually Grounded Beliefs—hence as comprehensible pre-formal ‘mathematical truths’—by any intelligence that lays claims to a mathematical lingua franca. We argue that this seeming irreconcilability merely reflects a widening chasm between an increasing under-estimation of the value to society of ‘semantic arithmetical truth’, and an increasing over-estimation of the value to society of ‘syntactic set-theoretical provability’; a chasm which must be narrowed and bridged explicitly. We thus proffer a Complementarity Thesis which seeks to recognize that mathematical ‘provability’ and mathematical ‘truth’ need to be interdependent and complementary, ‘evidence-based’, assignments-by-convention to the formulas of a formal mathematical language; where (a) the goal of mathematical ‘proofs’ may be viewed as seeking to ensure that any mathematical language intended to formally represent our pre-formal conceptual metaphors and their inter-relatedness is unambiguous, and free from contradiction; whilst (b) the goal of mathematical ‘truths’ must be viewed as seeking to ensure that any such representation does, indeed, uniquely identify and adequately represent such metaphors and their inter-relatedness. Our thesis is that, by universally ignoring the need to introduce goal (b) in our curriculum, the teaching of, and research in, mathematics at the post-graduate level cannnot justify its value to society beyond the mere intellectual stimulation of individual minds. In the second part we appeal to some recent—and hitherto unsuspected—unarguably constructive Tarskian interpretations, of the first-order Peano Arithmetic PA, which establish PA as both finitarily consistent, and categorical. Since we also show that the second order subsystem ACA0 of Peano Arithmetic and PA cannot both be assumed provably consistent, we conclude that there can be no mathematical, or meta-mathematical, proof of consistency for Set Theory. Hence the theorems of any Set Theory are not sufficient for distinguishing between (i) what we can believe to be a ‘mathematical truth’; (ii) what we can evidence as a ‘mathematical truth’; and (iii) what we ought not to believe is a ‘mathematical truth’; whilst the theorems of the first-order Peano Arithmetic PA are sufficient for distinguishing between (i), (ii) and (iii). We conclude from this that the holy grail of mathematics ought to be ‘arithmetical truth’, not ‘set-theoretical proof’. (shrink)

To eliminate incompleteness, undecidability and inconsistency from formal systems we only need to convert the formal proofs to theorem consequences of symbolic logic to conform to the sound deductive inference model. -/- Within the sound deductive inference model there is a (connected sequence of valid deductions from true premises to a true conclusion) thus unlike the formal proofs of symbolic logic provability cannot diverge from truth.

Conventional wisdom dictates that proofs of mathematical propositions should be treated as necessary, and sufficient, for entailing `significant' mathematical truths only if the proofs are expressed in a---minimally, deemed consistent---formal mathematical theory in terms of: * Axioms/Axiom schemas * Rules of Deduction * Definitions * Lemmas * Theorems * Corollaries. Whilst Andrew Wiles' proof of Fermat's Last Theorem FLT, which appeals essentially to geometrical properties of real and complex numbers, can be treated as meeting this criteria, it nevertheless leaves (...) two questions unanswered: (i) Why is x^n +y^n = z^n solvable only for n < 3 if x, y, z, n are natural numbers? (ii) What technique might Fermat have used that led him to, even if only briefly, believe he had `a truly marvellous demonstration' of FLT? Prevailing post-Wiles wisdom---leaving (i) essentially unaddressed---dismisses Fermat's claim as a conjecture without a plausible proof of FLT. -/- However, we posit that providing evidence-based answers to both queries is necessary not only for treating FLT as significant, but also for understanding why FLT can be treated as a true arithmetical proposition. We thus argue that proving a theorem formally from explicit, and implicit, premises/axioms using rules of deduction---as currently accepted---is a meaningless game, of little scientific value, in the absence of evidence that has already established---unambiguously---why the premises/axioms and rules of deduction can be treated, and categorically communicated, as pre-formal truths in Marcus Pantsar's sense. Consequently, only evidence-based, pre-formal, truth can entail formal provability; and the formal proof of any significant mathematical theorem cannot entail its pre-formal truth as evidence-based. It can only identify the explicit/implicit premises that have been used to evidence the, already established, pre-formal truth of a mathematical proposition. Hence visualising and understanding the evidence-based, pre-formal, truth of a mathematical proposition is the only raison d'etre for subsequently seeking a formal proof of the proposition within a formal mathematical language (whether first-order or second order set theory, arithmetic, geometry, etc.) By this yardstick Andrew Wiles' proof of FLT fails to meet the required, evidence-based, criteria for entailing a true arithmetical proposition. -/- Moreover, we offer two scenarios as to why/how Fermat could have laconically concluded in his recorded marginal noting that FLT is a true arithmetical proposition---even though he either did not (or could not to his own satisfaction) succeed in cogently evidencing, and recording, why FLT can be treated as an evidence-based, pre-formal, arithmetical truth (presumably without appeal to properties of real and complex numbers). It is primarily such a putative, unrecorded, evidence-based reasoning underlying Fermat's laconic assertion which this investigation seeks to reconstruct; and to justify by appeal to a plausible resolution of some philosophical ambiguities concerning the relation between evidence-based, pre-formal, truth and formal provability. (shrink)

What is the relationship between degrees of belief and binary beliefs? Can the latter be expressed as a function of the former—a so-called “belief-binarization rule”—without running into difficulties such as the lottery paradox? We show that this problem can be usefully analyzed from the perspective of judgment-aggregation theory. Although some formal similarities between belief binarization and judgment aggregation have been noted before, the connection between the two problems has not yet been studied in full generality. In this paper, we (...) seek to fill this gap. The paper is organized around a baseline impossibility theorem, which we use to map out the space of possible solutions to the belief-binarization problem. Our theorem shows that, except in limiting cases, there exists no belief-binarization rule satisfying four initially plausible desiderata. Surprisingly, this result is a direct corollary of the judgment-aggregation variant of Arrow’s classic impossibility theorem in social choice theory. (shrink)

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be (...) established to be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. -/- Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. -/- However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. -/- The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion. (shrink)

This paper presents a recent formalization of a Henkin-style completeness proof for the propositional modal logic S5 using the Lean theorem prover. The proof formalized is close to that of Hughes and Cresswell, but the system, based on a different choice of axioms, is better described as a Mendelson system augmented with axiom schemes for K, T, S4, and B, and the necessitation rule as a rule of inference. The language has the false and implication as the only primitive logical (...) connectives and necessity as the only primitive modal operator. The full source code is available online and has been typechecked with Lean 3.4.2. (shrink)

The paper introduces and utilizes a few new concepts: “nonstandard Peano arithmetic”, “complementary Peano arithmetic”, “Hilbert arithmetic”. They identify the foundations of both mathematics and physics demonstrating the equivalence of the newly introduced Hilbert arithmetic and the separable complex Hilbert space of quantum mechanics in turn underlying physics and all the world. That new both mathematical and physical ground can be recognized as information complemented and generalized by quantum information. A few fundamental mathematical problems of the present such as Fermat’s (...) last theorem, four-color theorem as well as its new-formulated generalization as “four-letter theorem”, Poincaré’s conjecture, “P vs NP” are considered over again, from and within the new-founding conceptual reference frame of information, as illustrations. Simple or crucially simplifying solutions and proofs are demonstrated. The link between the consistent completeness of the system mathematics-physics on the ground of information and all the great mathematical problems of the present (rather than the enumerated ones) is suggested. (shrink)

In this paper I will develop a lambda-term calculus, lambda-2Int, for a bi-intuitionistic logic and discuss its implications for the notions of sense and denotation of derivations in a bilateralist setting. Thus, I will use the Curry-Howard correspondence, which has been well-established between the simply typed lambda-calculus and natural deduction systems for intuitionistic logic, and apply it to a bilateralist proof system displaying two derivability relations, one for proving and one for refuting. The basis will be the natural deduction (...) system of Wansing's bi-intuitionistic logic 2Int, which I will turn into a term-annotated form. Therefore, we need a type theory that extends to a two-sorted typed lambda-calculus. I will present such a term-annotated proof system for 2Int and prove a Dualization Theorem relating proofs and refutations in this system. On the basis of these formal results I will argue that this gives us interesting insights into questions about sense and denotation as well as synonymy and identity of proofs from a bilateralist point of view. (shrink)

June 2022 A Revolutionary New Metaphysics, Based on Consciousness, and a Call to All Philosophers We are in a unique moment of our history unlike any previous moment ever. Virtually all human economies are based on the destruction of the Earth, and we are now at a place in our history where we can foresee if we continue on as we are, our own extinction. As I write, the planet is in deep trouble, heat, fires, great storms, and record flooding, (...) weather patterns drastic everywhere. Capitalism has been so successful in supplying us with an endless array of consumer items, that we have never noticed there is a cost. But there is a cost, the cost is the very life of the Earth herself, and now the day of reckoning is here. Days of reckoning are most often days of rath. But I am hoping that this is a day of major Awakening over the entire planet. We have caused a crisis so great for the Earth we can hardly get our minds around it. But I am proposing that deeply embedded in the crisis are ideas, about who and what the Earth is, Ourselves, and what we are here for. I am proposing that this is a call to all philosophy and philosophers to rethink ourselves from the ground up. The human race has never gotten the Earth right and now we must, for the Earth is the true foundation for civilization. We are in deep trouble with the Earth, and it owes to the fact that the great male thinkers never got the Earth right, they could never make the connection between the life of mind and the life of the Earth. I am proposing that deeply embedded in the crisis we are in are ideas. And that in fact the planet is in the grip of a false metaphysics, and scientific image of nature that really comes most recently from Descartes. His conviction that matter, and with it the Earth, are simply the weighable, the measurable the extended in space and time, utterly devoid of any inner life of mind thoughts or Consciousness. This view of matter and the Earth goes back to the very dawn of thought, Descartes is just its most recent and comprehensive version of things. This view of matter is really a false metaphysics that dominates most of the modern world and underpins the whole scientific image of nature itself. I am proposing this is a false metaphysics and offering a new version of things based on Consciousness. If there is a single idea fueling and driving the destruction of the planet, it is the conviction that the Earth is something without Consciousness. When you intend to ravage and savage the planet, turn it into consumer items to be converted into money in the bank, first pretend that all of the bright beings in the natural world are devoid of Consciousness, just “things” you do not have to have any conscious about destroying them. I am proposing that this term Consciousness, that has appeared as term and a problem for modern science, is the key to getting ourselves right with the Earth. I propose this new theory for science will ramify into every other disciplines as well, and the ways we think just about everything. This old paradigm based on a false theory of matter, has run its course, it has brought us to the brink of our own extinction. We need new ideas, and we need them now. You will find my recent work in the Scientific God Journal under the title: Consciousness as the Organizing Principle, and a very complete version of my arguments for this term Consciousness, along with radical reinterpretation of modern science itself, on the Galileo Commission site. It is a radical moment for all of the thinkers among us, take this as my small contribution to rethinking ourselves in new terms, based on my understanding that the true basis for the whole of Being, the Universe, the Cosmos, and with them Ourselves, is this term Consciousness. And unpack it. And I predict that with this term Consciousness every intractable human problem in both science and the modern world will go down like a line of dominos before it. And so, here are a few new ideas I would offer you. These are the times of the Reappearance of the Feminine, a great Awakening as of Springtime after a long dark and lonely Winter. We are leaving behind us an old civilization based on male dominance, fear lies and control, now in decay, disease, and death disintegrating all around us. We are moving into a whole new civilization based on Love and Truth. A new civilization requires new basic terms values and first principles. And so, I return to Descartes. 1. Just over 300 years ago a young man travelling with the army found himself stranded in a foreign town in a bare room lit by a candle with nothing to do but think. And in a couple of nights Descartes laid the entire thought foundations for modern science and most of the modern world. It isn’t clear that modern philosophers with their funding sources of grants, their graduate students, their reputation and all the perks and privileges of academia can do any better. Descartes claimed there are just two principles in the Universe, Matter and Mind. God was pure mind; human beings were mind and matter. And we are the only ones on the planet with mind. Everything else all of the bright array of beings who share the planet with us are simply matter. And matter? The weighable the measurable the extended in space and time utterly devoid of any inner life of thoughts, feelings, or Consciousness This classification was a boon for developing science. Scientists did not have to worry about any inner life in nature, ideas or Consciousness, they could just set about weighing and measuring, as they have until the present day. But it was a disaster for the Earth. Earth was once worshiped as a Goddess. With Descartes she became almost overnight “things.” Simply commodities and resources, an endless of supply of consumer items, to be turned into money in the bank. And now Descartes concept of matter is up for us. If there is a single idea that is enabling and driving the destruction of the Earth, it is the conviction that Earth is something without Consciousness. This whole scientific image of nature as something devoid of Consciousness is driving the destruction of the Earth, and driving us all insane, and it needs to change. Ever since Descartes formulated Dualism, scientists and philosophers have been trying to get rid of it. They have done this by attempting to make matter the fundamental term of reality, and to explain mind or Consciousness in terms of matter. And now, Consciousness has emerged as term and a problem for modern science. 2. The prevailing Universe picture has been mainly based on the belief that Consciousness appears only at the end of evolution in ourselves and some of the higher animals when matter attains “a certain state of complexity” and it is produced by neurons in the brain. But Consciousness is nothing real in itself, the neurons are doing the work, Consciousness is simply a byproduct of neural activity. As William James summed up this position, not his: Consciousness is to the brain as a shadow to the runner, it runs beside him but never influences his stride. And so, the great problem of neuroscience: How do neurons produce Consciousness? So far, no one has been able to say how. All we have is parallelism. Two processes are running in parallel a train of neural events and a train of Consciousness events. And so, which one is primary? The face of neuroscience and much of the modern world is that the neural events are what is really real, Consciousness is secondary. The conviction that Consciousness is something produced by neurons is so deeply held and has been so for so long, that it seems like an obvious fact. It is in fact an assumption and a theory, and it could all well be the other way around. The scientific image of nature as something devoid of Consciousness is now up for us. It has enabled the destruction of the Earth, and we are now at a unique place in our own evolution where we can foresee if we continue on as we are, our own extinction. And so, there are the best reasons for rethinking Descartes concepts of matter. Scientists and philosophers have been trying to escape dualism by making matter the fundamental term. And now, this has not worked. In a nutshell: The mind body problem, the “hard problem of Consciousness” ---how do neurons in the brain, atoms and molecules give rise to ideas thoughts and feelings and who what and where is the “I” who sees them? And then, the near-death experience. I remind you of the truth of the near-death experience. The body in the bed is brain dead eeg flat, but the patient, pure Consciousness is hovering at the ceiling watching the doctors work over the body below, able to read dials he could not have seen from the bed, sometimes able to events in the corridor beyond the room, all subsequently confirmed by the doctors. Evidence as good as it gets that the patient really was out of his body. And so, the patient is able to see without eyes, hear without ears and to think and remember without a brain. There is not a single scientific principle that can account for this. And I am proposing that the near-death experience is a threshold and a key for a much deeper understanding of the Universe. These three problems are so hard they cannot be solved by present scientific principles and therefore call all present principles and ways of thought into question. When your axioms cannot account for the data, it is time to drop them and find better fundamental terms. We have not been able to solve the problems of Consciousness with the assumption that matter is the most basic and fundamental term. And so, if Cartesian dualism is to be overcome at all, we need to try it the other way around. 3. We are in the position of Copernicus. Remember Copernicus? He was making his calculations on the assumption that the Earth was the center of the Universe until they became so unwieldy that he decided to try it all the other way around. To make the sun the center, the Earth revolving around it. And lo, all of his data fell neatly into place. I am proposing a whole new Universe picture. Evolution makes us continuous with every other being, Consciousness would not be in us if it were not in them also, and then, in the atoms and molecules and cells that make up living beings. I propose to make Consciousness the most basic term and see what follows. I am in fact, proposing a new Copernican Revolution, that Consciousness is the true basis for the Universe and the right fundamental term, for science itself all other disciplines as well, and the whole of the modern world. And I predict that every intractable problem in science or the modern world, will go down like a line of dominos before it. In a nutshell: Consciousness and not matter is “first and fundamental” in the Universe, it is there from the very “Beginning” everything has it and all of the true causalities, the explanatory principles belong to it. Not to matter. What then is matter? All matter is an Appearance of something much more real, Consciousness. All matter is an expression of Consciousness, even the least little bit of matter contains Consciousness, and is an expression of Consciousness. And so, we revise the scientific image of nature. Science at present is two termed, matter/energy. It needs to become three termed: Matter/energy/Consciousness, with the recognition that all of the basic principles, the true causalities of events, and of the Universe belong to Consciousness. And now physics. To accommodate this new Universe picture physics needs to alter just one term, energy. All energy contains Consciousness, that idea alone will change our world forever. The animals the trees the plants are just as conscious as we are, as is the Earth herself, a continuum of many forms of Consciousness of which our own is one. The Earth consists of interacting and intersecting forms of Consciousness, Consciousness within Consciousness within Consciousness within Consciousness. A remarkable work has just appeared entitled “Beyond Words What Animals Feel and Think.” Describing in detail how like ourselves all of the animals are. And the more we can see how like us everything else really is, the harder it will be for us to do them all in, in the interest of turning them into consumer items. And so, here is a new principle of understanding, that entails completely new forms of explanation, and a whole new Universe picture to be spelled out in terms of Consciousness and its various properties. This is a Universe that is aware awake and Enspirited throughout. And so, there is only one principle, not two. And so, how does Consciousness work? There is “no mind/body problem.” My Consciousness is aligning the Consciousness of neurons in the brain, that aligns the Consciousness of all other cells in the body, that aligns the Consciousness of molecules and atoms themselves. Mainly from the top down, but also interactive, and not reduction to the purely physical forces. 4. And so, here is a radical new Universe picture, and with it a new way to think about the Universe itself, the Earth, Ourselves, and Spirit. It requires a complete revision of both of the terms of modern science itself. The problem of the modern world owes in deep measure to Descartes concept of matter as something devoid of interior life. But he is only the most powerful and simple expression of a whole tradition of thought that predates him, that goes back to the very dawn of thought itself. It owes to the conviction of both Plato and Aristotle that the Earth was something devoid of reason, or mind, and therefore something to be held in complete contempt. We are emerging from a civilization based on contempt for the Earth, and down the road, it will become contempt for the body, sex, women, the Native people, and people of color everywhere. And so, this entire tradition is now up for us, it has brought us to the brink of our own extinction, and we need to get beyond it. I am proposing that this term Consciousness is the way out. The missing piece of the puzzle and the idea whose time has come. And it will enable us to move into a completely new civilization based on respect for the Earth, women, sex, people of color, that honors everyone and has a place for all. Revolutions in science occur when new data show up that cannot be accounted for by existing paradigms (Thomas Kuhns: The Structure of Scientific Revolutions). Consciousness, and all the properties and problems of Consciousness are just such data, and they compel a new scientific revolution. But we are a scientific age. A new Copernican revolution in science is such as revolution everywhere. And Consciousness is the key to getting every other reality at all levels and depths right as well. It will enable us finally to get the Earth right, get ourselves right with the Earth, and with one another. Archimedes: Give me a place to stand, and I will move the world. I am proposing a new synthesis among our fundamental terms in which this term Consciousness is the new lynchpin. And so, I return once more to Descartes. Descartes in the Mediations was a dualist, they were two realities interacting in the pineal gland mind and body. But Descartes age was high on “Cartesianisms,” on Descartes concept of matter. Animals were simply cleverly wired machines (Hobbes called them automata). Rumor had it that Descartes followers went about kicking dogs reasoning that their howls were not due to any feelings of pain, but simply the wiring of the machine. We have been doing this to the Earth ever since, and now the Earth is not going to stand for it any longer. It is time we all woke up. There is no matter in Descartes sense of it, or in Plato and Aristotle’s sense of it. This old concept of matter is embedded in all of the crisis and catastrophes---fires, drought, pandemics, over population, the disintegrating economies, our ways of life, capitalism and consumerism themselves. All matter is Enspirited, contains Consciousness, and is an expression of Consciousness. Now I tell you something about Descartes you may not know. In the Mediations was a dualist, there are minds and bodies. But by the end of his life, he knew the truth. Descartes guided his whole life by these vivid dreams, and toward the end of his life he had this dream: He saw the Universe as a giant machine and in the heart of the machine propelling the whole, was Consciousness. And so, out of the shades and shadows and into the light of day. Here is a renewed and a new science, a new cosmology. And with it, a revolutionary new metaphysics. The whole of the modern world is in the grip of a false metaphysics, based on Descartes theory of matter. Here is a new, and finally true metaphysics based on the single term, Consciousness. 5. And in all my works, I spell out this new metaphysics based on Consciousness, and what it means for how we think about virtually everything: The Universe, the Earth, Ourselves, and Spirit. Of who, what and where Spirit is, that we may connect with Spirit everywhere. There is only one term for the Universe, and not two, this single term Consciousness, that manifests itself in two modes: Consciousness in Form, Consciousness Formless. And so, here is a sketch of what this new term Consciousness really means. For four great aspects of the real, four new cornerstones for a whole new civilization on Earth, based on Love and Truth. A. For the Universe: New causalities, all matter is an expression of Consciousness, awake and aware, Enspirited throughout, which has a place for the causalities of love ideas intent plan and purpose, what Aristotle called final causality, that for the sake of which. And it has a place for subjectivity, the greatest mystery in the whole of the Universe, knowable only in ourselves, but there in everything else as well, bedrock in the chain of causalities. The buck stops here. Here are two very different Universe pictures. The Cartesian Universe consists of things, pushed, and pulled around by the physical forces that function blind. The true Universe consists of selves and not things. Selves at least in ourselves, are organized and focused about an I, an I am, or a sense of self in everything, ever other being dear to itself. Just one aspect of subjectivity. And so, it is Consciousness all the way down, and subjectivity all the way down. Science proceeds on the basis of the negligible of what it can leave out as unimportant. Subjectivity is the ultimate animating principle of the Universe. What Descartes really did was to strip from nature what is most essential about it, its animating principle Consciousness. And so, we come out of a long history of “clunk.” The great male thinkers have killed creation. First in concepts and now in the lived life. And so, after centuries of fruitless search, not all of it in vain, finally, and just in time the true basic principle for the Universe has shown up in virtually all disciplines, this term Consciousness. B. And so, the Earth: What does this term Consciousness really mean for the Earth? It means that all of the bright array of beings around us have Consciousness. And the more we can realize how like us they are, the harder it will be to do them all in. Is this what it really means to be “made in the image of Spirit?” To destroy ever other living being? The god of Genesis is a creator god who has created billions and billions of living forms. Man, taking himself to be made in the image of Spirit has destroyed virtually all of it. The Earth is not things, not commodities and resources, not an endless array of consumer goods. The Earth consists of conscious living spiritual beings like ourselves, who need to be honored and respected, nurtured and cared for, to be Loved. And if the human race can finally pull it off and bring Love here and start helping the Earth rather than destroying her, even our vast numbers now at 8 billion, may not matter. Deeply embedded in the modern world is a false cosmology based on the hitherto useful but ultimately false metaphysics of Descartes. In particular it owes to Descartes concepts of matter, and of the Earth, as something devoid of Consciousness. And now this concept is up for us. If there is a single idea enabling and driving the destruction of the planet, it is the conviction that the Earth is something devoid of Consciousness. And we all have a vested interest in keeping this false concept in place. When you intend to ravage and savage the Earth, to turn it into consumer items, and money in the bank, first pretend she has no Consciousness that way we need not have any conscious about it. We are in deep trouble with the planet. Virtually all human economies are based on the destruction of the Earth, and we are now at a place in our history where we can foresee if we continue on as we are, our own extinction. And so, here are a few new guiding principles for the planet, based on Consciousness. Consciousness has field properties. The Earth is Consciousness throughout, connected and interconnected throughout, intersecting and interacting fields of Consciousness of which our own is one. To harm one is to harm all. Only this understanding of the Earth can set our destructive technologies, and capitalism, their goals, and their limits. The real problem with capitalism, and with civilization itself is it has no true understanding of the Earth, all the exquisite networks and webworks that connect all beings with one another. Nor it is about to admit that the Earth is our “life support system,” reason gone insane in the modern world. We are destroying our life support system, capitalism is the full expression of the human death wish in the modern world, and it needs to change. And now, let the barriers between ourselves and all other beings go down. C. And so, Ourselves. This new Universe picture based on Consciousness opens into and has a place for new concepts of human identity. In particular, it has a place for reincarnation, a process whereby one Consciousness dons’ bodies again and again and lays them down. This is a process wholly impossible on materialistic theories. This new view of things puts a higher perspective on Freudian determinism, which is a partial knowing in a greater account. We are something more than the victims of genes drives and childhood. We are immortally eternal evolving spiritual beings who take on a cycle of earthly lives in order to achieve certain goals and abilities, and then, our earthly cycle complete, we depart the Earth plane for other areas of the Universe physical or purely spiritual, to continue our evolution elsewhere. The scientific evidence for reincarnation is increasing on all sides, see for example the work of Michael Newton, a mainstream scientist forced to confront the fact of reincarnation. A completely new reincarnational picture is now emerging everywhere. We choose our parents for abilities we could acquire through them. We all come here with reasons for being here, and we all have free will, an original property of Consciousness, and we work out our issues accordingly. We all come here with the same reason for being here. It is to experience the Earth plane and human society at all levels and depths, in every social role, every climate, both sexes male and female and in all races. We are all here to acquire a deep understanding of the Earth plane with all its challenges and all of its present problems. We are not here to devour and consume the Earth, but to honor her for the learning experience she makes available for us. And so, reincarnation is the great equalizer, the fundamental basis for any bill of rights. Many of the problems of the modern world owe to the fact that reincarnation has not been taught in the West. Reincarnation was the center piece of Jesus teachings. It was banned by a fourth century council that decided the populous could best be controlled through fear. They edited all mention of reincarnation from the scriptures, and inserted fear terms instead, a judgmental god, and so on. If reincarnation had been taught, there would have been no suppression of women, but the gift of both sexes would have been honored and developed. And there would have been no reason for contempt for people of color because who they are, we have been or will be. There is no reason to look down on anyone when we know that our own identity includes membership in theirs. The truth of reincarnation needs to be the foundation for getting ourselves right with the Earth, and with one another. D. And so, Spirit. This new Universe picture, based on Consciousness, has a place for Spirit as simply Infinite Consciousness. All universes all worlds are formed out of this Consciousness, divine and sacred throughout. And Spirit is everywhere in the Earth and can be connected everywhere. And the Native North American people had things right. Everything has its own Spirit, and without contradiction is also an expression of Spirit. And what I am really doing in terms of concepts of modern science is presenting the Native North American version of the Real. And this new Universe picture has a place for the essential insight of all religions almost smothered by church tradition: Love. Not an emotion but a great Oneness, that can be found everywhere, even in a busy city street. But especially in the Earth, that is levels and depths of Oneness everywhere. And so, for the first time in their long and bitter antagonistic history, science and religion now share a common base with this term Spirit, the lynchpin in a new conceptual framework. And I offer an interpretation of where we are in our history, this present moment of historical grace, and these tumultuous times in which we live, the return of the Goddess and the Divine Feminine, the Reappearance of the Feminine in history, the Advent of Women, this great Awakening, as of Springtime after a long dark Winter, the Awakening, the Second Coming. And so, stay tuned! (shrink)

Regarding the relation of Plato’s early and middle period dialogues, scholars have been divided to two opposing groups: unitarists and developmentalists. While developmentalists try to prove that there are some noticeable and even fundamental differences between Plato’s early and middle period dialogues, the unitarists assert that there is no essential difference in there. The main goal of this article is to suggest that some of Plato’s ontological as well as epistemological principles change, both radically and fundamentally, between the early and (...) middle period dialogues. Though this is a kind of strengthening the developmentalistic approach corresponding the relation of the early and middle period dialogues, based on the fact that what is to be proved here is a essential development in Plato’ ontology and his epistemology, by expanding the grounds of development to the ontological and epistemological principles, it hints to a more profound development. The fact that the bipolar and split knowledge and being of the early period dialogues give way to the tripartite and bound knowledge and benig of the middle period dialogues indicates the development of the notions of being and knowledge in Plato’s philosophy before the dialogues of the middle period. -/- Keywords Plato; early dialogues; middle dialogues; being; knowledge; development -/- Introduction The differences between two groups of the early and middle period dialogues have always been a matter of dispute. Whereas the developmentalists like Vlastos, Silverman (2002), Teloh (1981), Dancy (2004) and Rickless (2007) think that from the early to the middle dialogues Plato’s philosophy changes, at least in some essential points, the unitarists like Kahn, Cherniss and Shorey believe that there happens no development and the differences must be taken as natural, ignorable and even pedagogic. In his well-known article, Socrates contra Socrates in PLATO, Vlastos lists ten theses of difference between two groups of dialogues. The first group which includes Plato’s early dialogues he divides to 'elenctic' (Apology, Charmides, Crito, Euthyphro, Gorgias, Hippias Minor, Ion, Laches, Protagoras and Republic I) and 'transitional' (Euthydemus, Hippias Major, Lysis, Menexenus and Meno) dialogues. These transitional come after all the elenctic dialogues and before all the dialogues of the second group which compose Plato’s middle period dialogues, including (with Vlastos' chronological order) Cratylus, Phaedo, Symposium, Republic II-X, Phaedrus, Parmenides and Theaetetus (1991, 46-49). Vlastos asserts strictly that his list of differences are 'so diverse in content and method that they contrast as sharply with one another as with any third philosophy you care to mention, beginning with Aristotole’s' (ibid, 46). Vlastos’ list of differences between two Socrateses is considered a view breaking sharply between the early and the middle dialogues. Besides all ten differences between the two Socrateses in Vlastos’ list that can be supportive for our doctrine here, we intend to focus on some ontological as well as epistemological distinctions that have not completely been discussed hitherto. Contrary to the developmentalist theory of Vlastos, unitarian theory of Charles Kahn wishes to eliminate any substantial difference between the early and the middle dialogues. He distinguishes seven 'pre-middle' or 'threshold' dialogues including Laches, Charmides, Euthyphro, Protagoras, Meno, Lysis and Euthydemus from the other Socratic dialogues which he calls 'earliest group' (1996, 41). The threshold dialogues, Kahn thinks, 'embarke upon a sustained project' that is to reach to its climax in the middle period dialogues, namely Phaedo, Symposium and Republic. Believing in that there is no 'fundamental shift'between the early and middle dialogues (ibid, 40), Kahn thinks the Socratic dialogues are just the 'first stage' with a 'deliberate silence' towards the theories of later periods (ibid, 339). One of the reasons of the surprising fact that Plato gives no hint of the metaphysics and epistemology of the Forms in the early dialogues, he thinks, is the pedagogical advantages of aporia. He thinks that Plato 'obscurely', and mostly because of education, hinted to some doctrines and conceptions in his early dialogues and with the aim of clarifying them only in the later ones (ibid, 66). The seven threshold dialogues, Kahn asserts, 'had been designed from the first' to prepare the pupils and readers for the views expounded in the middle period dialogues (ibid, 59-60). To show that the differences of the two Socrateses of the early and middle period dialogue are in their onto-epistemological grounds and thence cannot be explained by a unitaristic view, we try to draw the ontological and epistemological principles of the early dialogues in the first part below in order to show, in the second part, that those principles have been developed in the middle period dialogues. -/- A. The Onto-Epistemologic Principles of the Early Dialogues Socratic dialogues are paradoxical about knowledge because while being knowledge-oriented always searching for knowledge, they deny it and even never discuss it directly. Three elements of Socrates’ way of searching Knowledge throughout the early dialogues, i.e. Socratic 'what is X?' question, his disavowal of knowledge and his elenctic method combined together produce something like a circle which works, more or less, in the same way in these dialogues. Though this circle is an embaressing inquiry always resulting in ignorance instead of knowledge, its motivation is surprisingly Socrates’ passionate enthusiasm for knowledge, an intensive love of wisdom. The starting point of this circle is Socrates’ confession of having no knowledge which might be explicitly asserted or presupposed, maybe because it was one of the famous characteristics of Socrates; a confession always paradoxically accompanied with his intense longing for knowledge (e.g., Gorgias 505e4-5). Every time Socrates encounters with someone who thinks he knows something (οἴεταί τι εἰδέναι) (Apology 21d5) and tries to examine him. This examination seems to be the simplest one asking just what it is that he knows. Socrates’ elenchus, therefore, is always connected with 'what is X?' (τίς ποτέ ἐστιν) question, a question that most of the early dialogues of Plato are concerned with; 'what is courage?' in the Laches, 'what is piety?' in Euthydemus, 'what is temperance?' in Charmides and 'what is beauty?' in Hippias Major. This question we call here 'Socratic question' and probably is the very question the historical Socrates used to employ, is tightly interrelated with both his disavowal and his elenchus. He disclaims knowledge because he cannot find the answer to the question himself and he rejects others’ since they cannot offer the correct answer too. Every interlocutor can claim he knows X, if and only if he can answer the Socratic question. Otherwise, he is more of an ignorant than of a knower of τί ποτέ ἐστι X. Knowing the answer to this question is, thus, knowledge’s criterion for Socrates. Having found out that he cannot answer what it is which he would claim to know, the interlocutor comes to the point Socrates was there at the beginning. The least advantage of this circle is that he becomes as wise as Socrates does about the subject, becoming aware that he does not know it. At the end of the circle they are both still at the beginning, not knowing what X is. So let us first take a glance at these three elements. Socratic disavowal of knowledge is strictly asserted in some passages. At Apology 21b4-5, Socrates says: -/- I do not know of myself being wise at all (οὔτε μέγα οὔτε σμικρὸν σύνοιδα ἐμαυτῷ σοφὸς ὤν) -/- Moreover, at 21d4-6: -/- None of us knows anything worthwhile (καλὸν κἀγαθὸν εἰδέναι) …. I do not know (οἶδα) neither do I think I know. -/- In Charmides Socrates speaks about a fear about his probable mistake of thinking that he knows (εἰδέναι) something when he does not (166d1-2). The somehow generalization of this disavowal can be seen in Gorgias. After calling his disavowal 'an account that is always the same' (509a4-5), Socrates continues (a5-7): -/- I say that I do not know (οἶδα) how these things are, but no one I have ever met, like now, who can say anything else without being absurd. -/- At the end of Hippias Major (304d7-8), Socrates affirms his disavowal of knowledge of 'what is X?' this time about the fine: -/- I do not know (οἶδα) what that is itself (αὐτὸ τοῦτο ὅτι ποτέ ἐστιν). Some other passages, however, made a number of scholars dubious about Socrates’ disavowal. Vlastos mentions Apology 29b6-7 as an evidence : 'that to do wrong and to disobey one’s master, both god and men, I know (οἶδα) to be evil and shameful'. He thinks that if we give this single text 'its full weight' it can suffice to show that Socrates does claim knowledge of a moral truth (1985, 7). Vlastos’ claim is not admittable since it would be too strange, I think, for a man like Socrates to violate his disavowal claim just after emphasizing it. We can see his claim just before the already mentioned passage: -/- And surely it is the most blameworthy ignorance to believe that one knows what one does not know. It is perhaps on this point and in this respect, gentlemen, that I differ from the majority of men and if I were to claim that I am wiser than anyone in anything it world be in this, that, as I have no adequate knowledge (οὐκ εἰδὼς ἱκανῶς) of things in the underworld, so I do not think I have (οὐκ εἰδέναι) (Apology 29b1-6) Vlastos tries to solve what he calls the 'paradox' of Socrates’ disavowal of knowledge distinguishing the 'certain' knowledge from 'elenctic' knowledge (1985, 11) and thinking that when Socrates avows knowledge, we must perceive it as an elenctic knowledge, a knowledge its content 'must be propositions he thinks elenctically justifiable' (ibid, 18). Irwin’s solution is the distinction of knowledge and belief. He approves that Socrates does not 'explicitly' make such a distinction, but still thinks that Socrates’ 'test for knowledge would make it reasonable for him to recognize true belief without knowledge, and his own claims are easily understood if they are claims to true belief alone' (1977, 40). While I agree with Vlastos up to a point, I strongly disagree with Irwin about the early dialogues. As I will try to show below, we are not permitted to consider any kind of distinction within knowledge in Socratic dialogues because only one category of knowledge is alluded to there and the distinction of knowledge and belief thoroughly belongs to the second Sorcates. Although no kind of distinction can be admittable here, I think Vlastos’ distinction can be accepted only if we regard it as a distinction between knowledge, which is unique and without any, even incomparable, rival, and a semi-idiomatic and ordinary one that is a necessary requirement for any argument, and thus, unavoidable even for someone who does not claim any kind of knowledge. An apparent evidence of this is Gorgias 505e6-506a4: -/- I go through the discussion as I think it is (ὡς ἄν μοι δοκῇ ἔχειν), if any of you do not agree with admissions I am making to myself, you must object and refute me. For I do not say what I say as I know (οὐδὲ γάρ τοι ἔγωγε εἰδὼς λέγω ἃ λέγω) but as searching jointly with you (ζητῶ κοινῇ μεθ᾽ ὑμῶν). -/- The minimal degree of knowledge everyone must have to take part in an argument, conduct it and use the phrase "I know" when it is necessary is what Socrates cannot deny. We can call it elenctic knowledge only if we agree that it is not the kind of knowledge that Socrates has always been searching, the one that can be accepted as the answer of Socratic 'what is X?' question. His disavowal of knowledge is applied only to the knowledge which can truly be the answer of Socratic question and pass the elenctic exam; a knowledge that, I believe, is never claimed by first Socrates. Socrates conducts his method of examining his interlocutors’ knowledge, our second element here, by almost the same method repeated in Socratic dialogues. That whether we are allowed to regard all the examinations of Socrates in the early dialogues as based on the same or not has been a matter of dispute. Vlastos himself (1994, 31) distinguished Euthydemas, Lysis, Menexenns and Hippias Major from the other Socratic dialogues because he thinks Socrates has lost his faith to elenchus in there. Irwin (1977, 38) distinguishes Apology and Crito where Socrates’ own convictions is present. Contrary to some scholars like Benson (2002, 107) who take elenchus in all the Socratic dialogues as a unique method, Michelle Carpenter and Ronald M. Polansky (2002, 89-100) argue pro the variety of methods of elenchus. Thomas C. Brickhouse and Nicholas D. Smith (2002, 145-160) even reject such a thing as Socratic elenchus which can gather all of the Socrates’ various arguments under such a heading. There can be no solution for the problem of elenchus, they think, is due to 'the simple reason that there is no such thing as 'the Socratic elenchos"'(p.147). Though we consider elenchus a somehow determined process and a part of Socratic circle in the early dialogues, all we assume is that whatever differences it might have in different dialogues, it has the same onto-epistemological principles and, thus, we are not going to take it necessarily as a unique method. This method sets out to prove that the interlocutors are as ignorant as Socrates himself is. That whether elenchus is constructive, capable of establishing doctrines as Vlastos (1994) or Brickhouse and Smith (1994, 20-21) believe or not is another issue to which this paper is not to claim anything. What is crucial for our discussion here is that elenchus does not reach to the very knowledge Socrates is looking for. This is strictly against Irwin who thinks that not only elenchus leads to positive results, 'it should even yield knowledge to match Socrates’ conditions'(1977, 68, cf. 48). He does not explain where and how they really yield to that kind of knowledge. He explains his elenctic method in his apology in the court (Apology 21-22), that how he used to examine wise men, politicians, poets and all those who had the highest reputation for their knowledge and every time found that they have no knowledge. If we accept, as I strongly do, that Socrates’ disavowal of his knowledge is not irony, it might seem more reasonable to agree that the process that has that disavowal as its first step cannot be irony as well. The key of the circle which can explain why Socrates disclaims knowledge and how he can reject others’ claim of having any kind of knowledge lies in the third element, Socratic question. In Hippias Major (287c1-2), Socrates asks: 'Is it not by Justice that just people are Just? (ἆρ᾽ οὐ δικαιοσύνῃ δίκαιοί εἰσιν οἱ δίκαιοι). He insists at 294b1 that they were searching for that by which (ᾧ) all beautiful things are beautiful (cf. b4-5, 8). At Euthyphro 6d10-11 it is said that the Socratic question is waiting for 'the form itself (αὐτὸ τὸ εἶδος) by which (ᾧ) all the pious actions are pious; and at 6d11-e1: -/- Through one form (που μιᾷ ἰδέᾳ) impious actions are impious and pious actions pious. -/- Since the X itself is that by which X is X, knowing 'X itself' is the only way of knowing X. It is probably because of this that Socrates makes the distinction between the ousia as a right answer to the question and effect as a wrong one: -/- I am afraid, Euthyphro, that when you were asked what piety is (τὸ ὅσιον ὅτι ποτ᾽ ἐστίν) you did not wish to make clear its nature itself (οὐσίαν … αὐτοῦ) to me, but you said some effect (πάθος) about it. (Euthp. 11a6-9) -/- 1. Knowledge of what X is Now it is time to look for the onto-epistemological principles of Socratic circle and its three elements. It cannot reasonably be expected from the first Socrates to present us explicitly and clearly formulated principles of his onto-epistemology when such explications cannot be found even in the second Socrates who has some obviously positive theoris. Since there must be some principles underlying this first systematic inqury of knowledge, we must seek to them and be satisfied with elicitation of the first Socratas’ principle. What will be drawn out as his principles cannot and must not, thus, be taken as very fix and dogmatic principles. Some very slightest principles and grounds suffice for our purposes here. The first principle that is the prima facie significance of the Socratic question and his implementation of all those elenctic arguments I call the principle of 'Knowledge of What X is' (KWX): -/- KWX To know X, it is required to know what X is. -/- Aristotle (Metaphysics 1078b23-25, 27-29, 987b4-8) takes Plato’s τί ἐστι question as seeking the definition of a thing that is the same as historical Socrates’ search but applying to a different field. That Plato’s 'what is X?' question was a search for definition became the prevailed understanding of this question up to now. I am going neither to discuss the answer of Socratic question nor to challenge taking it as definition. What I am to insist is that knowledge is attached firmly to the answer of the question: Knowledge of X is not anything but the knowledge of what X is. It entails, certainly, the priority of this knowledge to any other kind of knowledge about X but it also has something more fundamental about the relation of knowledge and Socratic question. Socrates’ exclusive focus on the answer of his question can authorize the consideration of such an essential role for KWX in his epistemolgoy. The total rejection of his interlocutors’ knowledge when they are unable to answer the question can be regarded as a strong evidence for it. Socrates’ elenctic method and his rejection of others’ knowledge in the early dialogues, which all end aporetically with no one accepted as knower and nothing as knowledge, prevent us from finding any positive evidence for this. We have to be content, therefore, of negative evidences which, I think, can be found wherever Socrates rejects his interlocutors’ knowledge when they are not able to give an acceptable answer to his 'what is X?' question. 2. Bipolar Epistemology Socrates’ rejection of his interlocutors’ knowledge has another epistemological principle as its basis. Let me call this principle Bipolar Epistemology' (BE): BE There is no third way besides knowledge and Ignorance. -/- BE says that about every object of knowledge there are only two subjective statuses: knowledge and Ignorance. Socrates’ disavowal, however, says nothing but that he is ignorant of knowledge of X because he does not know what X is. This means that BE is presupposed here. Socrates’ elenchus and his rejection of interlocutors’ having any kind of knowledge are the necessary results of the fact that he does not let any third way besides knowledge and ignorance. The first Socrates never let anyone partly know X or have a true opinion about it, as he would not let anyone know anything about X when he did not know what X is. -/- 3. Bipolar Ontology The principle of BE in first Socrates’ epistemology is parallel to another principle in his ontology. Plato’s bipolar distinction between being and not being is as strict and perfect as his distinction between knowledge and ignorance. This principle I shall call the principle of 'Bipolar Ontology' (BO): BO Being is and not being is not. BO is apparently the same with the well-known Parmenidean Principle of being and not being (cf. Diels-Kranz (DK) Fr. 2.2-5). Euthydemus’ statement against the possibility of false knowledge can be good evidence for this principle: -/- The things which are not surely do not exist (τὰ δὲ μὴ ὄντα … ἄλλο τι ἢ οὐκ ἔστιν). (Euthydemus 284b3-4) -/- He continues (b4-5): -/- There is nowhere for not being to be there (οὖν οὐδαμοῦ τά γε μὴ ὄντα ὄντα ἐστίν). -/- That BE does not let true opinion as a third option besides knowledge and ignorance seems to be related to BO’s rejecting a third option besides being and not being, which is itself the basis of the impossibility of false belief. Socrates’ elaborate discussion of the problem of false belief in Theatetus that leads to a more decisive discussion and finally to some solutions in Sophist can make our consideration of BO for the first group of dialogues authentive. -/- 4. &5. Split Knowledge and Split Being The fourth principle I shall call the principle of 'Split Knowledge' (SK): -/- SK Knowledge of X is separated from any other knowledge (of anything else) as if the whole knowledge is split to various parts. -/- This Principle is hinted and criticized as Socrates’ way of treating with knowledge in Hippias Major: -/- But Socrates, you do not contemplate the entireties of things, nor do people you have used to talk with (τὰ μὲν ὅλα τῶν πραγμάτων οὐ σκοπεῖς, οὐδ᾽ ἐκεῖνοι οἷς σὺ εἴωθας διαλέγεσθαι). (301b2-4) -/- Contrary to Rankin who regards the passage as 'antilogical, almost eristic in tone rather than presenting a serious philosophy of being' (1983, 54), I think it can be taken as serious. Hippias criticizes Sorcates that he does not contemplate (σκοπεῖς) the entireties of things (ὅλα τῶν πραγμάτων), a critique which Socrates is not its only subject but all those whom Socrates accustomed to talk with (ἐκεῖνοι οἷς σὺ εἴωθας διαλέγεσθαι). This last phrase, I think, extends this critic beyond this dialogue to other Socratic dialogues. Hippias’ use of the perfect tense of the verb ἔθω (to be accustomed) is a good evidence of this extension. We can get, thus, these ἐκεῖνοι as Socrates’ interlocutors in his other dialogues that hints that this criticism has the epistemological groundings of the previous dialogues as its subject. What ἐκεῖνοι οἷς σὺ εἴωθας διαλέγεσθαι points to is that Hippias does not have in mind Socrates’ way of treating things only in this dialogue, but he is also criticizing Socrates’ way throughout his dialogues. At 301b4-5, Socrates and his interlocutors’ way of beholding things is described as such: -/- You people knock (κρούετε) at the fine and each of the beings (ἕκαστον τῶν ὄντων) by taking each being cut up in pieces (κατατέμνοντες) in words (ἐν τοῖς λόγοις). This leads us to our next principle that is parallel to, and the ontological side of, SK, the principle of 'Split Being'(SB): -/- SB Everything (being) is separated from any other thing as if the whole being is split to many beings. -/- Socrates and his interlocutors and thus, as we saw, the Socratic dialogues are accused to regard everything as it is separated from all other things. This separation is en tois logois that, I think, can reasonably be taken as saying that Socratic dialogues (it refers of course to the dialogues before Hippias Major) cut up all things which have the same name/definition from all other things and try to understand them separately, without considering other things that are not in their logos. They, for example in Hippias Major, are cutting up to kalon and try to understand what it and all others inside this logos are by separating it from all other things. This is directed straightly against Socratic question and the way Socratic dialogues follow to find its answer, every time separating one logos. As Meyer (1995, 85) points out, every question 'presupposes that the X in question in a logos is something' and 'every answer to every question aims at unity' (84). The critique of Hippias Major is, therefore, at the same time a critique of SK and SB. It is also a critique of KWX because it is only based on KWX that Socratic dialogues could search for the answer of 'what is X' question supposing that knowing what X is is enough for the knowledge of X. SK and KWX are absolutely interdependent. What Socrates and all his previous interlocutors have neglected in Socratic dialogues, Hippias says, was 'continuous bodies of being' (διανεκῆ σώματα τῆς οὐσίας) (301b6). Either this theory actually belongs to the historical Hippias as it is being said or not, it is strictly criticizing SB. We have the same phrase with changing sūma to logos some lines later at 301e3-4: διανεκεῖ λόγῳ τῆς οὐσίας. Although this theory that can be observed as both an ontological and an epistemological theory is rejected by Socrates (301cff.), it is still against first Socrates’ onto-epistemological principles and might let us look at what is rejected as Socratic prineple. -/- 6. Knowledge is of Being The sixth principle that I think is presupposed by the first Socrates, is the 'Knowledge of Being' Principle (KB): -/- KB Knowledge is of Being. -/- This principle is obviously the source of the problem of false knowledge, a very important problem throughout Plato’s philosophy. We face this problem maybe for the first time in Euthydemus. In less than 20 Stephanus’ pages, 276-295, we are encountered with different interwoven problems about knowledge , all grounded in the problem of false opinion. Having challenged the obvious possibility of telling lies at 283e, at 284 Euthydemus discusses it saying that the man who speaks is speaking about 'one of those things that are (ἓν μὴν κἀκεῖνό γ᾽ ἐστὶν τῶν ὄντων)' (284a3) and thus speaks what is (λέγων τὸ ὄν) (a5). He must necessarily be saying truth when he is speaking what is because he who speaks what is (τὸ ὄν) and the things that are (τὰ ὄντα) speaks truth (τἀληθῆ λέγει) (a5-6). This is based on Parmenidean principle of the impossibility of being of not being which Euthydemus restates (284b3-4) and we mentioned discussing BO principle above. The things that are not are nowhere (οὐδαμοῦ) and there is no possibility for anyone to do (πράξειεν) anything with them because they must be made as being before anything else can be done, which is impossible (b5-7). The words, then, are of things that exist (εἰσὶν ἑκάστῳ τῶν ὄντων λόγοι) (285e9) and as they are (ὡς ἔστιν) (e10). The result is that no one can speak of things as they are not. It is this impossibility of false speach that is extended to thinking (δοξάζειν) at 286d1 and leads to the impossibility of false opinion (ψευδής … δόξα) (286d4). The general conclusion is asserted at 287a extending this impossibility to actions and making any kind of mistake. Not only knowledge is of being but speech, thought and action are of being simply because of the fact that nothing can be of not being. -/- B. First Socrates’ Principles in the Middle Period Dialogues Out of what were presupposed or criticized mostly in five dialogues, Euthyphro, Euthydemus, Hippias Major, Laches and Charmides, we tried to draw the first Socrates’ principles. Our inquiry here is directed to find out the fate of these principles in the three dialogues of the middle period, Meno, Phaedo and Republic. To do this, first we ought to check the situation of Socratic circle in these dialogues. The Socratic circle that was predominant in the early dialogues, does not look like a circle here anymore though they certainly have some features in common. Meno, Phaedo and Republic II-X are not committed to the principles of the circle and the whole circle in disrupted in them. The difference of the two Socrateses towards acquiring knowledge is obvious. The Socrates of Meno, Phaedo and Republic is evidently more self-confident that he can get to some truths during his arguments as he does. They are in their first appearance, as almost all other dialogues, committed to Socrates’ disavowal. All of them try to keep the shape of the Socratikoi Logoi genre, which is committed to the historical Socrates’ way of discussion; a dramatic personage who is to challenge his interlocutors, ask them and refuse the answers. Nevertheless, the fact is that what we have in common between two groups of dialogues is mostly a dramatic structure. Whereas the first group’s arguments are based on Socrates’ disavowal and lead to no positive results, the second group is decisively going to achieve some positive results. The aim of the first Socrates was to show others that they are ignorant of what they thought they knew. The new Socrates of Meno, on the opposite, makes so much efforts to show that the slave boy has within himself true opinions (ἀληθεῖς δόξαι) about the things that he does not know (οἶδε) (85c6-7). Despite his lack of knowledge, he has true opinions nevertheless. The way from these true opinions to knowledge, as Socrates states, is not so long. These true opinions are now like a dream but 'can become knowledge of the same things not less accurate than anyone’s' (οὐδενὸς ἧττον ἀκριβῶς ἐπιστήσεται περὶ τούτων) (c11-d1), if they be repeated by asking the same questions. The most outstanding text regarding Socrates’ disavowal is Meno 98b where he explicitly claims knowledge: -/- And indeed I also speak as (ὡς) one who does not know (εἰδὼς) but is guessing (εἰκάζων). However, [about the fact] that true opinion and knowledge are different, I do not altogether expect (δοκῶ) myself to be guessing (εἰκάζειν), but if I say about anything that I know (εἰδέναι) -which about few things I say- this is one of the things that I know (οἶδα). (98b1-5) This passage is very significant about Plato’s disavowal of knowledge. There can hardly be found, I think, anywhere else in Plato’s corpus where Socrates speaks about his knowledge of something as such. He says first that he speaks as someone who does not know. This ὡς οὐκ εἰδὼς λέγω comparing with what he used to say in the first group, οὐκ οἶδα, has this added ὡς. Socrates does not claim strongly anymore that he does not know anything but speaks only as someone who does not know. He needs this ὡς not only because he is going to accept that he does know some, though few, things immediately after this sentence, but also because he needs his previous disavowal to be loosened from Meno on. He does not merely say here that he knows something. It is then different from the examples mentioned before which could be taken as idiomatic or at least not emphatic. Socrates’ remarkable emphasis on distinguishing εἰδέναι from εἰκάζειν departs it from all other passages where he says only he knows something. Moreover, he claims definitely that he has knowledge about few (ὀλίγα) things. From the early to the middle dialogues, Socrates’ attitude to knowledge has totally renewed its face. He brings forth a new concept, true opinion, and he does not speak of knowledge as he used to before; the rough, perfect and unachievable knowledge of the first group has turned to something more smooth, realistic and achievable. Comparing with the early dialogues that did not set out from the first to reach positive results, the middle ones are extraordinarily and surprisingly positive and hence destroy the basis of the Socratic circle. The questions and answers are purposely directed to some specific new theories; most of them are not directly related to the topics or the main questions of the dialogues. They are suggested when Socrates draws the attention of the interlocutor away from the main question because of the necessity of another discussion. Even if the main question remains unanswered, we have still many positive theories, prominently of metaphysical type. These theories are so abundant and dominant in these dialogues, especially Phaedo and Republic, that one might think that they may appear to be arbitrarily sandwiched in there. This helps dialogues to keep their original Socratic structure while they are suggesting new theories. Hence, the Socratic question of 'what is X?', though is still used to launch the discussion, is loosened and is forgotten for most part of the dialogues. Meno that has first a differently formulated question, 'can virtue be taught?', leads finally to the Socratic question of 'What is virtue?'. Phaedo is dedicated to the demonstration of the immortality of soul and the life after death without having a central Socratic question. The case of Republic is more complicated. The first book, on the one hand, has all the criteria of a Socratic circle: its 'what is justice?' question, Socrates’ strong disavowal (e.g. 337d-e), his rejection of all answers and coming back to the first point without finding out any answer. This Book, considered alone, is a perfect Socratic dialogue, as many scholars regard it as early and separated from other books. The books II-X are, on the other hand, far from implementing a Socratic circle. They have still the 'what is justice?' question as their incentive leading question, but they are, in most of the positive doctrines and methods that encompass the main parts, ignoring the question. Even these books that, I believe, are the farthest discussions from the Socratic circle are so cautious not to break the Socratic structure of the dialogue as long as it is possible. What is changed is not the structure of the dialogue but the ontological and epistemological grounds based on which new theories are suggested. -/- 1. Knowledge of the Good We can clearly see in the second group of dialogues that the KWX principle loses the place it had before in our first group. It is not, of course, rejected, but still we cannot say that it has the same situation. KWX that was based on Socratic question, as we discussed before, was the leading principle of the first Socrates’ epistemology and of the highest position. Other epistemological principles, SK directly and BE indirectly, were relying on Socratic question and therefore on KWX. Such a position does not belong to KWX from Meno on. What makes it different in the second Socrates is another principle that is needed it not only as its complementary principle but also as what is more fundamental. Plato, then, does not reject KWX in this period, but, it seems, he transcends to another more basic principle; a principle we shall call the principle of 'Knowledge of the Good' (KG): -/- KG Knowledge of X requires knowledge of the Good. -/- Whereas all the dialogues of our first group are free from any discuscon about KG, it bears a very important role in the second group so as becomes the superior principle of knowledge in Republic. Trying to solve the problem of teachability of virtue, Socrates says that it can be teachable only if it is a kind of knowledge because nothing can be taught to human beings but knowledge (ἐπιστήμην) (Meno 87c2). The dilemma will be, then, whether virtue is knowledge or not (c11-12) and since virtue is good, we can change the question to: whether is there anything good separate from knowledge (εἰ μέν τί ἐστιν ἀγαθὸν καὶ ἄλλο χωριζόμενον ἐπιστήμης) (d4-5). Therefore, the conclusion will be that if there is nothing good which knowledge does not encompass, virtue can be nothing but knowledge (d6-8). What let us discuss KG as an epistemological principle for the second Secrates is the relation he tries to establish between knowledge and the Good which, though is alongside with the mentioned thesis and the idea of virtue as knowledge, goes much deeper inside epistemology asking to regard the Good as the basis of knowledge. The effort of Phaedo cannot succeed in establishing the Good as the criterion of explanation and knowledge since, I think, it needs a far more complicated ontology of Republic where Socrates can finally announce KG. What is said in Republic is totally compatible with Phaedo 99d–e and the metaphor of watching an eclipse of the sun. In spite of the fact that we do not have adequate knowledge of the Idea of the Good, it is necessary for every kind of knowledge: 'If we do not know it, even if we know all other things, it is of no benefit to us without it' (505a6-7). The problem of our not having sufficient knowledge of the Idea of Good is tried to be solved by the same method of Phaedo 99d-e, that is to say, by looking at what is like instead of looking at thing itself (506d8-e4). It is this solution that leads to the comparison of the Good with sun in the allegory of Sun (508b12-13). What the Good is in the intelligible realm corresponds to what the sun is in the visible realm; as sun is not sight, but is its cause and is seen by it (b9-10), the Good is so regarding knowledge. It has, then, the same role for knowledge that the sun has for sight. Socrates draws our attention to the function of sun in our seeing. The eyes can see everything only in the light of the day being unable to see the same things in the gloom of night (508c4-6). Without the sun, our eyes are dimmed and blind as if they do not have clear vision any longer (c6-7). That the Good must have the same role about knowledge based on the analogy means that it must be considered as a required condition of any kind of knowledge: -/- The soul, then, thinks (νόει) in the same way: whenever it focuses on what is shined upon by truth and being, understands (ἐνόησέν), knows (ἔγνω) and apparently possesses understanding (νοῦν ἔχειν). (508d4-6) -/- Socrates does not use agathon in this paragraph and substitutes it with both aletheia and to on. He links them with the Idea of the Good when he is to assert the conclusion of the analogy: -/- That which gives truth to the objects of knowledge and the power of knowing to the knower, you must say, is the Idea of the Good: being the cause of knowledge and truth (αἰτίαν δ᾽ ἐπιστήμης οὖσαν καὶ ἀληθείας) so far as it is known (ὡς γιγνωσκομένης μὲν διανοοῦ). (508e1-4) Knowledge and truth are called goodlike (ἀγαθοειδῆ) since they are not the same as the Good but more honoured (508e6-509a5). KG, which had been implicitly contemplated and searched in Phaedo, is now explicitly being asserted in Republic. As what was quoted clearly proves, this principle is the very one which we can observe as the most fundamental principle of the second Socrates in Republic, corresponding to the role KWX had in the first Socrates. The Form of the Good in Republic, of which Santas speaks as 'the centerpiece of the canonical Platonism of the middle dialogues, the centerpiece of Plato’s metaphysics, epistemology, ethics and …' (1983, 256) much more can be said. Plato’s Cave allegory in Book VIII dedicates a similar role to the Idea of the Good. The Idea of the Good is there as the last thing to be seen in the knowable realm, something so important that its seeing equals to understanding the fact that it is the cause of all that is correct and beautiful (517b). Producing both light and its source in visible realm, it controls and provides truth and understanding in the intelligible realm (517c). -/- 2. Tripartite Epistemology BE is thoroughy rejected in the second Socrates and substituted by its opposite, the principle of 'Tripartite Epistemolgy' (TE): -/- TE Opinion is an epistemological status between knowledge and ignorance. BE of the first Socrates was denying any third way besides knowledge and ignorance which was the foundation of Socratic circle without which Socrates could not reject his interlocutors’ possessing any kind of knowledge. We cannot say, however, that the first Socrates had a third epistemological status in mind but rejected it. Such a status was unacceptable for him so that one can say that he would reject any kind of such status if suggested. There were only two possibilities about knowledge: either one knows something or he does not know it. TE, thus, was not the first Socrates’ discovery and, I think it is not the second Socrates’discovery. All we can see in our second group of dialouges is that he uses this principle as an already demonstrated one. Having examined the slave boy in Meno for the prupose of showing the working of recollection, it truns out that he has some opinions in him while he still does not know. Without trying to prove it, Socrates takes this as the distinction between knowledge and opinion: -/- So, he who does not know (οὐκ εἰδότι) about what he does not know (περὶ ὧν ἂν μὴ εἰδῇ) has within himself true opinions (ἀληθεῖς δόξαι) about the same things he did not know (περὶ τούτων ὧν οὐκ οἶδε) (85c6-7). -/- The same distinction is set between ὀρθὴν δόξαν and ἐπιστήμην at 97b5-6 ff. (also cf. 97b1-2: ὀρθῶς μὲν δοξάζων … ἐπιστάμενος). He connects then their difference to the myth of Daedalus, the statue that would run away and escape. So are true opinions, not willing to remain long in mind and thus not worthy until one ties them down by αἰτίας λογισμῷ (98a3-4). Socrates says that this tying down is anamnesis. We face, in Phaedo, the same relation is settled between knowledge as the process of being tied down and getting the capability to give an account, on the one hand, and anamnesis, on the other hand. When a man knows, he must be able to give an account of what he knows (Phaedo 76b5-6) and since not all people are able to give such an account, those who recollect, recollect what once they learned (76c4). Although the distinction between knowledge and opinion is not explicitly used in Phaedo, referring to the parallel link between knowledge plus account and anamnesis in Phaedo and Meno, one can say that those who cannot recollect are not able to give account and, thus, are in a state of opinion. What is said at Phaedo 84a, though not yet a definite distinction between knowledge and opinion, makes a distinction between their objects so as we can agree that it is presupposed. The soul of the philosopher, Socrates says, follows reason, stays with it forever and contemplates the divine, which is not the object of opinoin (ἀδόξαστον) (84a8, cf. Meno 98b2-5). The distinction of knowledge and belief in Republic has a significant difference with what we discussed in Meno and Phaedo since the distinction of Meno was based on anamnesis and thus more an epistemological distinction. Even in Phaedo that we do not have any elaborate discussion about the distinction, the only hint to the matter at 76 is bound to the theory of anamnesis. In addition to the relation of the distinction with this theory, there is another evidence that does not permit us to consider the distinction as an ontological distinction. Let’s see Meno 85c6-7: -/- So, he who does not know about what he does not know has within himself true opinions about the same things he did not know (τῷ οὐκ εἰδότι ἄρα περὶ ὧν ἂν μὴ εἰδῇ ἔνεισιν ἀληθεῖς δόξαι περὶ τούτων ὧν οὐκ οἶδε). (85c6-7) -/- This last sentence persists that the objects of knowledge and true opinion are the same. What Socrates is to say here is that whereas he does not know X he has true opinion about the same X. I think Socrates’ sentence that the slave boy οὐκ εἰδότι ἄρα περὶ ὧν ἂν μὴ εἰδῇ and his restatement of it by saying περὶ τούτων ὧν οὐκ οἶδε is because he wants to emphasize that the slave boy who does not know, has true opinion about the same thing. Socrates could say this just with using τούτων and there would be no necessity to bring περὶ ὧν ἂν μὴ εἰδῇ for οὐκ εἰδότι if he did not want to emphasize. -/- 3. Tripartite Ontology The distinction between knowledge and true opinion in Republic, on other side, has nothing to do with recollection, but is based on an ontological principle, 'Tripartite Ontology' (TO): -/- TO There are things that both are and are not. -/- This principle I confine, among our three dialogues of the second group, to Republic not extended to Meno and Phaedo, is obviously the opposite of BO. Speaking about the lovers of sights and sounds in the fifth book, Socrates distinguishes them from philosophers because their thought is unable to understand the nature of beautiful itself besides beautiful things (476a6-8) and hence they can only have opinions. The philosopher who, on the contrary, believes in beautiful itself and can distinguish it from beautiful things (476c9-d3), has knowledge because he knows, contrasting others who have opinion because they only opine (d5-6). Since those whose knowledge were degraded as opinion will complain about Socrates’ such calling their thought, he provides them the following argument (476e7-477b1): -/- - Does the person who knows, knows (γιγνώσκει) something (τὶ) or nothing (οὐδέν)? - He knows something (τί). - Something that is (ὂν) or is not (οὐκ ὄν)? - Something that is (ὂν) for how could something that is not be known (πῶς γὰρ ἂν μὴ ὄν γέ τι γνωσθείη)? - Then we have an adequate grasp of this: No matter how many ways we examine it, what completely is (παντελῶς ὂν) is completely knowable (παντελῶς γνωστόν) and what is in no way (μὴ ὂν δὲ μηδαμῇ) is in every way unknowable (πάντῃ ἄγνωστον). - A most adequate one. - Good. Now, if anything is such as to be and also not to be (ὡς εἶναί τε καὶ μὴ εἶναι), won’t it be intermediate (μεταξὺ) between what purely is (εἰλικρινῶς ὄντος) and what in no way is (μηδαμῇ ὄντος)? - Yes, it’s intermediate. - Then as knowledge (γνῶσις) is set over what is (τῷ ὄντι), while ignorance (ἀγνωσία) is of necessity set over what is not (μὴ ὄντι) mustn’t we find an intermediate between ignorance (ἀγνοίας) and knowledge (ἐπιστήμης) to be set over the intermediate, if there is such a thing? -/- From the third status of being we must reach to the third status of knowledge. The simple reading of this text can be an existential reading, taking the "is" of the mentioned sentences as existence. The problem is that when it is said that there is something that both is and is not reading "is" existentially, it sounds too bizarre to be acceptable. It cannot easily be understandable to have something as both existent and non-existent at the same time. This problem arose so many debates and led many scholars to reject the existential reading of "is" and suggest some other readings like predicative or veridical readings. I think though Plato’s complicated ontology of Republic cannot be correctly understood by a simple existential reading, this "is" cannot be free from existential sense of being and, thus, cannot be reduced to just a predicative or veridical sense of being. -/- 4. Bound Knowledges In addition to KG, the Good is also the basis of another principle in the second Socrates, namely the principle of 'Bound Knowledge' (BK): -/- BK Knowledge of everything is bound to the knowledge of the Good. -/- We distinguished BK from KG because we want to insist, in BK, on what had not been insisted upon in KG, that is, the binding role that the Good plays in the second Socrates, contrasting the absence of such a role in the first Socrates. Socrates remembers, in Phaedo, his wonderful keen on natural philosophers' wisdom when he was young. The origin of this enthusiasm was Socrates’ hope to know the cause of everything as they used to claim. When he was searching the matters of his interest on their basis, Socrates says, he became convinced he can get no acceptable answer from them and found himself blind even to the things he thought he knew before. One day he hears Anaxagoras’ theory that 'it is Mind that arranges and is the cause of everything (ὡς ἄρα νοῦς ἐστιν ὁ διακοσμῶν τε καὶ πάντων αἴτιος)' (Phd. 97c1-2 cf. DK, Fr.15.8-9, 11-12, 12-14) and thinks that he can finally find what he has always expected, i.e. something which can explain all things. What I intend to show here is that what makes Socrates hopeful is that Anaxagoras’ theory tries 1) to explain all things by one thing and 2) this explanation is understood by Socrates as if it is based on the concept of the Good. That Socrates was searching for one explanation for all things can be proved even from what he has been expecting from natural philosophers. The case is, nonetheless, more clearly asserted when he speaks about Anaxagoras’ theory. In addition to διακοσμῶν τε καὶ πάντων αἴτιος of 97c2 mentioned above, we have τὸ τὸν νοῦν εἶναι πάντων αἴτιον (c3-4) and τόν γε νοῦν κοσμοῦντα πάντα κοσμεῖν (c4-5) all emphasizing on the cause of all things (πάντα) which can clearly prove that one of the reasons which caused Socrates to embrace it delightfully was its claim to provide the cause of all things by one thing. Another reason was that Anaxagoras’ Mind, at least in Socrates’ view, was attempting to explain everything by the concept of the Good. This connection between Mind and Good belongs more to the essential relation they have in Socrates’ thinking than Anaxagoras’ theory because there are almost nothing about such a relation in Anaxagoras. The reason for Socrates’ reading can be that Mind is substantially compatible with Socrates’ idea of the relation between good and knowledge. Both the thesis 'no one does wrong willingly' and the theory of virtue as knowledge we pointed to above are evidences of this essential relation. Nobody who knows that something is bad can choose or do it as bad. The reason, when it is reason, that means when it is as it should be, when it is wise or when it knows, works only based on good-choosing. In this context, when Socrates hears that Mind is considered as the cause of everything, it sounds to him like this: good should be regarded as the basis of the explanation of all things. We see him, thus, passing from the former to the latter without any proof. This is done in the second sentence after introducing Mind: -/- I thought that if this were so, the arranging Mind would arrange all things and put each thing in the way that was Best (ὅπῃ ἂν βέλτιστα ἔχῃ). If one then wished to find the cause of each thing by which it either perishes or exists, one needs to find what is the best way (βέλτιστον αὐτῷ ἐστιν) for it to be, or to be acted upon, or to act. On these premises then it befitted a man to investigate only, about this and other things, what is the most excellent (ἄριστον) and best (βέλτιστον). The same man must inevitably also know what is worse (χεῖρον), for that is part of the same knowledge. (97c4-d5) This passage is a good evidence of Socrates’ leap from Anaxagoras’ Mind to his own concept of the Good that can explain why Socrates found Anaxagoras theory after his own heart (97d7). Mind is welcomed because of its capability for explanation on the basis of good to 'explain why it is so of necessity, saying which is better (ἄμεινον), and that it was better (ἄμεινον) to be so' (97e1-3). What Socrates thought he had found in Anaxagoras can indicate what he had been expecting from natural scientists before. Socrates could not be satisfied with their explanations because they were unable to explain how it is the best for everything to be as it is. It can probably be said, then, that it was the lack of the unifying Good in their explanation that had disappointed him. We must insist that we are discussing what Socrates thought that Anaxagoras’ theory of Mind should have been, not about Anaxagoras’ actual way of using Mind. Phaedo 97c-98b, is not about what Socrates found in Anaxagoras but what he thought he could find in it. On the contrary, it should also be noted that it was not this that was dashed at 98b, but Anaxagoras’ actual way of using Mind. It was Anaxagoras’ fault not to find out how to use such an excellent thesis (98b8-c2, cf. 98e-99b). Socrates gives an example to show how not believing in 'good' as the basis of explanation makes people be wanderers between different unreal explanations of a thing. His words δέον συνδεῖν (binding that binds together) as a description for the Good we chose as the name of BK principle: They do not believe that the truly good and binding binds and holds them together (ὡς ἀληθῶς τὸ ἀγαθὸν καὶ δέον συνδεῖν καὶ συνέχειν οὐδὲν οἴονται). (99c5-6) -/- Having in mind Plato’s well-known analogy of the sun and the Good at Republic 508-509, we can dare to say that his warning of the danger of seeing the truth directly like one watching an eclipse of the sun in Phaedo (99d-e) is more about the difficulty of so-called good-based explanation than its insufficiency, a difficulty which is precisely confirmed in Republic (504e-505a, 506d-e). Moreover, BK is asserted in a more explicit way in the Republic, where the Good is considered not only as a condition for the knowledge of X, as was noted above discussing KG, but also as what binds all the objects of knowledge and also the soul in its knowing them. At Republic VI, 508e1-3, when Socrates says that the Form of the Good 'gives truth to the things known and the power to know to the knower (τοῦτο τοίνυν τὸ τὴν ἀλήθειαν παρέχον τοῖς γιγνωσκομένοις καὶ τῷ γιγνώσκοντι τὴν δύναμιν ἀποδιδὸν)', he wants to set the Good at the highest point of his epistemological structure by which all the elements of this structure are bound. This binding aspect of the Good is by no means a simple binding of all knowledges or all the objects of knowledge, but the most complicated kind of binding as it is expected from the author of the Republic. The kind of unity the Good gives to the different knowledges of different things is comparable with the unity which each Form gives to its participants in Republic: as all the participants of a Form are united by referring to the ideas, all different kinds of knowledge are united by referring to the Good. If we observe Aristotle's assertion that for Plato and the believers of Forms, the causative relation of the One with the Forms is the same as that of the Forms with particulars (e.g. Metaphysics 988a10-11, 988b4), that is to say the One is the essence (e.g., ibid, 988a10-11: τοῦ τί ἐστὶν, 988b4-6: τὸ τί ἢν εἶναί) of the Forms besides his statement that for them One is the Good (e.g., ibid, 988b11-13) the relation between the Good and unity may become more understandable. Since the quiddity of the Good (τί ποτ᾽ ἐστὶ τἀγαθὸν) is more than discussion (506d8-e2), we cannot await Socrates to tell us how this binding role is played. All we can expect is to hear from him an analogy by which this unifying role is envisaged, the sun. The kind of unity that the Good gives to the knowledge and its objects in the intelligible realm is comparable to the unity that the sun gives to the sight and its objects in the visible realm (508b-c). The allegory of Line (Republic VI, 509d-511), like that of the Sun, tries to bind all various kinds of knowledges. The hierarchical model of the Line which encompasses all kinds of knowledge from imagination to understanding can clearly be considered as Plato’s effort to bind all kinds of knowledges by a certain unhypothetical principle. The method of hypothesis starts, in the first subsection of the intelligible realm, with a hypothesis that is not directed firstly to a principle but a conclusion (510b4-6). It proceeds, in the other subsection, to a 'principle which is not a hypothesis' (b7) and is called the 'unhypothetical principle of all things' (ἀνυποθέτου ἐπὶ τὴν τοῦ παντὸς ἀρχὴν) (511b6-7). This παντὸς must refer not only to the objects of the intelligible realm but to the sensible objects as well. Plato does posit, therefore, an epistemological principle for all things, a principle that all things are, epistemologically, bound and, thus, unified by. -/- 5. Bound Beings The ontological aspect of BK we shall call the principle of 'Bound Beings' (BB): -/- BB Being of all things are bound by the Good. -/- We saw in our principle of Split Being (SB) how the first Socrates was criticized because of his approach to split being and separate each thing from other things. The principle of Bound Beings intends to make the things more related, a duty which is done again by the Good. In the allegory of Sun, there are two paragraphs that evidently and deliberately extend the binding role of the Good to the ontological scene: -/- You will say that the sun not only makes the visible things have the ability of being seen but also coming to be, growth and nourishment. (509b2-4) -/- This clearly intends to remind the ontological role the sun plays in bringing to being all the sensible things in order to display how its counterpart has the same role in the intelligible realm (b6-10): -/- Not only the objects of knowledge (γιγνωσκομένοις) owe their being known (γιγνώσκεσθαι) to the Good, but also their existence (τὸ εἶναί) and their being (οὐσίαν) are due to it, though the Good is not being but superior to it in rank and power. That the Good is here represented as responsible for being of things in addition to their being known means, in my opinion, that Plato wants to posit BB in addition to BK. The allegory of Cave at the very beginning of the seventh Book (514aff.) can be taken as another evidence. The role of the Good, one might say, is confined to the intelligible realm because it is asserted that the role the Good plays in this realm is corresponding to that of the sun in the visible realm. The fact that Plato wants to observe the Good also as the ontological cause of the sensible things is obvious from his saying, in the allegory of Cave, that the Form of the Good 'produces light and its source (τὸν τούτου κύριον) [i.e. the sun] in the visible realm' (517c3). We can conclude, then, that the ontological function of the Good is not confined to the intelligible realm in which it is the lord and provides truth and understanding (c3-4) because it is also responsible to produce τὸν κύριον of light. 6. Proportionality of Being and Knowledge Insofaras BE and BO principles of the first Socrates gave way to TE and TO principles of the second Socrates, we cannot expect him to preserve KB in the same way as it was in the first Socrates. The new tripartite ontology and epistemology necessitates some modifications in KB which results in the principle of 'Proportionality of Being and Knowledge' (PBK): -/- PBK To every class of being there is a proportionate category of knowledge. -/- This principle, of course, does not entail the refutation of KB and thus is not kind of rejecting PBK but only a more complicated version of it. Based on PBK, we can still agree that knowledge is of being (KB) but the issue is that since none of the concepts of knowledge and being in the second Socrates are as simple as they were for the first Socrates, we need a more complicated principle for their relation here. Although from Meno 97a where the distinction of knowledge and true opinion is drawn out in the second group of the dialogues, we can expect a new relation, it is articulated in its most complete way in Republic and specifically in the allegory of Line. All the beings are divided there hierarchically to four classes, to each of them belongs a class of knowledge: imagination to images, belief to the sensible things (more correctly: the things of which they[in previous class] were images (ᾧ τοῦτο ἔοικεν)), thought to mathematical objects (?) and understanding to the Forms and the first principle. The degree of clarity that each of the classes of knowledge shares in (σαφηνείας ἡγησάμενος μετέχειν) is proportionate to the degree that its object shares in truth (ἀληθείας μετέχει). (511e2-4) -/- Conclusion From the six onto-epistemilogical principles of the first Socrates, four principles turn to their opposite in the middle period dialogues. While bipolar epistemology and ontology of the early dialogues give place to tripartite epistemology in the middle period dialogues and tripartite ontology in Republic, the split knowledge and being of the first Socrates are inclined to be substituted by bound knowledges and bound beings in the second Socrates and specifically in Republic. Not all our system of principles in this article is necessarily determinative. Either they are rightly formulated or not, our result would not be vulnerable if we accept that 1) making the distinction of knowledge and belief, 2) accepting the being of not being and 3) trying to bind both being and knowledge by the concept of the Good happens only in middle period dialogues, having been absent in the early ones. These are the favourite results all those somehow arbitrary and even oversimplified principles were to illustrate; that there is kind of a development in the epistemological as well as the ontological grounds of Plato’s philosophy. -/- Notes . (shrink)

The scientific study of consciousness, also referred to as consciousness science, is a young scientific field devoted to understanding how conscious experiences and the brain relate. It comprises a host of theories, experiments, and analyses that aim to investigate the problem of consciousness empirically, theoretically, and conceptually. This thesis addresses some of the questions that arise in these investigations from a formal and mathematical perspective. These questions concern theories of consciousness, experimental paradigms, methodology, and artificial consciousness. -/- Regarding theories (...) of consciousness, the thesis contributes to the understanding of the mathematical structure that some of the formal theories in the field propose. The work presented here targets the theory of consciousness known as Integrated Information Theory (IIT) and the neuroscientific theory known as Predictive Processing Theory or Free Energy Principle in its Active Inference form (AI-PP). The thesis provides axiomatic definitions of the mathematical structures that constitute these theories, and uses these definitions to address some of the open questions surrounding the theories. For AI-PP, this includes a rigorous derivation of the formula for Active Inference via Free Energy minimisation and a proof of compositionality of Free Energy. For IIT, this includes resolutions of some of the criticisms of IIT's formal scope and applications, but also the identification of new issues that concern the formalism and its derivation. When possible, the definitions are provided in the mathematical framework of category theory. -/- Regarding experiments, the thesis addresses the main paradigm for testing and falsifying theories of consciousness currently applied in the field. This paradigm consists of comparing the conscious experience that a theory predicts with the conscious experience that is inferred from behavioural data or report by use of measures of consciousness. The thesis provides a formal model of this paradigm and shows that under a certain condition—if inference and prediction are independent—, any minimally informative theory of consciousness can always be falsified. This is deeply problematic since the field’s reliance on report or behaviour to infer conscious experiences, in conjunction with the general structure of most contemporary theories of consciousness, implies such independence. This observation provides the exact formal underpinning of the well-known unfolding argument. The thesis analyses the origin of the problem and identifies precisely which changes are required to avoid this problem in future research. The thesis furthermore shows that the problem of falsifying theories of consciousness, and of empirical comparisons of theories of consciousness more generally, follows from a pervasive closure paradigm in consciousness science, that consists of taking a neuroscientific account of the brain as input to a theory of consciousness, so as to explain what consciousness is, without allowing for modifications or adaptations of the neuroscientific account that would accommodate consciousness as part of the brain's functioning. As is shown in the thesis, this paradigm has implications that point to a fundamental need of revision. -/- Regarding methodological and conceptual questions, the thesis contributes to the foundations of structural research in consciousness science. Structural research aims to use mathematical structures or mathematical spaces, instead of verbal descriptions or simple categorisations, to represent conscious experiences scientifically, for example when building theories of consciousness, or when exploring new empirical avenues to measure consciousness. Despite considerable advances in this realm, there was, prior to this thesis, no explicit definition of what a mathematical structure of conscious experience should be; that is, how the attribution of mathematical structure to conscious experiences should be systematically understood. Perhaps the most important contribution of this thesis to the field is to propose such a definition. The definition, a structural concept, extends existing approaches wherever available, and provides a basis for developing a common formal language to study consciousness, bridging developments as far apart as psychophysics and phenomenology. In addition, and independently of this proposal, the thesis offers a critical analysis of which metaphysical premises need to be presumed in structural research, whether the use of particular formal tools (such as structure-preserving mappings or homomorphisms) is justified, and how structural theories of consciousness could otherwise be built in the first place. An attempt to expand the results from consciousness to more general problems in philosophy of science is made in the context of the well-known Newman problem. -/- Regarding the question of artificial consciousness—can AI feel?—, the thesis contributes two results that take the form of no-go theorems, as known from physics. The first no-go theorem shows that if consciousness is relevant for the temporal evolution of a system's states—if it is dynamically relevant—, then contemporary AI systems cannot be conscious. That is because AI systems run on CPUs, GPUs, TPUs or other processors which have been designed and verified to adhere to computational dynamics that systematically preclude or suppress deviations. The second no-go theorem is situated in the context of computational functionalism, a view which posits that consciousness is a computation. The theorem shows that if computational functionalism holds true, consciousness cannot be a Turing computation. Rather, it must be a novel type of computation that has recently been proposed by Geoffrey Hinton, called mortal computation. -/- This thesis is part of a global effort to pioneer a mathematical perspective in consciousness science, now called Mathematical Consciousness Science. The hope behind the research carried out in this PhD is to illustrate the power and usefulness of mathematical approaches in different areas of consciousness science, and in doing so, to lay the foundations for future mathematical work that complements and supports empirical and theoretical work in the further development of this exciting field. (shrink)

Suppose that the members of a group each hold a rational set of judgments on some interconnected questions, and imagine that the group itself has to form a collective, rational set of judgments on those questions. How should it go about dealing with this task? We argue that the question raised is subject to a difficulty that has recently been noticed in discussion of the doctrinal paradox in jurisprudence. And we show that there is a general impossibility theorem that that (...) difficulty illustrates. Our paper describes this impossibility result and provides an exploration of its significance. The result naturally invites comparison with Kenneth Arrow's famous theorem (Arrow, 1963 and 1984; Sen, 1970) and we elaborate that comparison in a companion paper (List and Pettit, 2002). The paper is in four sections. The first section documents the need for various groups to aggregate its members' judgments; the second presents the discursive paradox; the third gives an informal statement of the more general impossibility result; the formal proof is presented in an appendix. The fourth section, finally, discusses some escape routes from that impossibility. (shrink)

Does pre-voting group deliberation improve majority outcomes? To address this question, we develop a probabilistic model of opinion formation and deliberation. Two new jury theorems, one pre-deliberation and one post-deliberation, suggest that deliberation is beneficial. Successful deliberation mitigates three voting failures: (1) overcounting widespread evidence, (2) neglecting evidential inequality, and (3) neglecting evidential complementarity. Formal results and simulations confirm this. But we identify four systematic exceptions where deliberation reduces majority competence, always by increasing Failure 1. Our analysis recommends (...) deliberation that is 'participatory', 'neutral', but not necessarily 'equal', i.e., that involves substantive sharing, privileges no evidences, but might privilege some persons. (shrink)

In his proof of the first incompleteness theorem, Kurt Gödel provided a method of showing the truth of specific arithmetical statements on the condition that all the axioms of a certain formal theory of arithmetic are true. Furthermore, the statement whose truth is shown in this way cannot be proved in the theory in question. Thus it may seem that the relation of logical consequence is wider than the relation of derivability by a pre-defined set of rules. The aim (...) of this paper is to explore under which assumptions the Gödelian statement can rightly be considered a logical consequence of the axioms of the theory in question. It is argued that this is the case only when the all the theorems of the theory in question are understood as statements of the same kind as statements of arithmetic and statements about provability in the theory, and only if the language of the theory contains logical expressions allowing to include certain predicates of meta-language in the language of the theory. (shrink)

I was quite excited when I first read Restall and Russell’s (2010) paper. For two reasons. First, because the paper provides rigorous formulations and formal proofs of implication barrier the- ses, namely “theses [which] deny that one can derive sentences of one type from sentences of another”. Second (and primarily), because the paper proves a general theorem, the Barrier Con- struction Theorem, which unifies implication barrier theses concerning four topics: generality, necessity, time, and normativity. After thinking about the (...) paper, I am satisfied with its treatment of the first three topics, namely generality, necessity, and time. But I am not satisfied with its treatment of normativity, so my comments are exclusively on that topic. (shrink)

I was quite excited when I first read Restall and Russell’s (2010) paper. For two reasons. First, because the paper provides rigorous formulations and formal proofs of implication barrier theses, namely “theses [which] deny that one can derive sentences of one type from sentences of another”. Second (and primarily), because the paper proves a general theorem, the Barrier Construction Theorem, which unifies implication barrier theses concerning four topics: generality, necessity, time, and normativity. After thinking about the paper, I (...) am satisfied with its treatment of the first three topics, namely generality, necessity, and time. But I am not satisfied with its treatment of normativity, so my comments are exclusively on that topic. (shrink)

Minimal Type Theory (MTT) is based on type theory in that it is agnostic about Predicate Logic level and expressly disallows the evaluation of incompatible types. It is called Minimal because it has the fewest possible number of fundamental types, and has all of its syntax expressed entirely as the connections in a directed acyclic graph.

According to the second law of thermodynamics, irreversible processes in an isolated system move towards the goal of reaching maximum entropy. In this state, mechanical work is converted to thermal energy and thermodynamic equilibrium occurs; which is determined by the equilibrium in temperature, pressure, etc. Assuming that the universe is an isolated system, the second law of thermodynamics states that the fate of the universe is a state of thermodynamic equilibrium in which all mechanical energies are converted to thermal energy (...) and the heat is dispersed all throughout the universe. In this state, there will be no movement and the universe will expire; an event called the “heat death”. This theory has certain theological implications that can serve as a proof for the perishability of the material world. And since decay implies creation, the heat death theory can be considered an argument in favor of the temporal originatedness of the material world. (shrink)

Drawing on Furio Jesi’s 1979 book "Cultura di destra" [Right Wing Culture], this article sketches a preliminary genealogy of fascist accelerationism, a distinct current of white supremacist militancy responsible for a considerable number of North American mass murder events over the span of four decades. After positioning Jesi’s theory of fascist violence within the broader methodological turn of his late period work, the article proceeds to outline three key features of right-wing thought: a language of wordless ideas, a funerary (...) religion of exemplary deaths, and a repertoire of militant yet militarily "useless" tasks. Resisting the tendency either to over- or under-politicize these deadly events, Jesi’s analysis instead allows us recognize the operation of a mythological machine that animates white supremacist mass murders over the past half century. The aim of this article is to trace the genesis and mutation of this machine, with particular emphasis on the period from 1975 to the present. (shrink)

The problem of personal identity contains various questions and issues, but the main issue is persistence; how can one person remain the same over time? Modern philosophers have proposed various solutions to this problem; however, none are without problems. David Hume rejected the notion of personal identity as fictitious and posited a theory that personal identity is merely a bundle of perceptions which does not remain the same over time. Hume’s approach to personal identity is flawed, and Derek Parfit pushed (...) back against Hume’s complete rejection of personal identity through his argument of psychological continuity; a continuous chain of overlapping cognitive connections between beliefs, preferences, memories, and other characteristics can meet the criterion of identity. However, Parfit falls short in only acknowledging mental features as the essential property of personal identity; physical features such as age, race, sex, etc. have a significant impact on one’s understanding of themselves. Through a combination of Hume’s bundle theory and Parfit’s psychological continuity, an understanding of what personal identity is and how it is able to remain constant over time can be reached. In this paper, I argue that personal identity is a bundle of mental and physical features that persists through time through psychological continuity. (shrink)

The World Economic Forum notes that there is an economic gap between Indonesia and Malaysia every year as seen from GDP per capita. The economic disparity between the two countries caused differences in available employment opportunities. Limited employment opportunities in Indonesia cause an increase in unemployment in Indonesia. The high unemployment rate in West Kalimantan is the main cause of the migration of Indonesians to Malaysia with the aim of carrying out economic and trade activities in the Serikin Market which (...) is located in Sarawak, East Malaysia. The market only takes about 15 minutes from the Jagoi Babang. This study used primary data collected by using in-depth interview and observation techniques which was analyzed qualitatively. The study found that in general the migration patterns of Indonesian traders who traded in the Serikin Market practiced non-permanent mobility patterns. The opportunities of cross-border trade carried out by Indonesian traders are reducing unemployment, facilitating product marketing, increasing income. While the challenges faced are the inadequacy of the road infrastructure, the quality of merchandise that is not good, the unavailability of lodging for Indonesian traders in the border area of Jagoi Babang, shop rental prices are relatively expensive. Basically, this research is to provide empirical data regarding to opportunities and challenges of cross-border traders that will be able to be used for future research related to strategies in managing cross-border trade Hopefully, this research will contribute significantly to generate an effective migration policy in order to minimize transnational crimes. (shrink)

Broadly speaking, two views of modernity are prevalent in contemporary debates. According to the first view, i.e. “modernization theory,” there is one single form of modernity, which is tantamount to liberal, capitalist modernity. The West has already and fully achieved modernity; non-Western societies have lagged behind and must simply catch up with the West. In contrast, according to the second view, “post-colonial theory,” there is no such thing as modernity. What the West erroneously calls “modernity” is nothing but a (...) highly parochial way of thought, and of economic and political organization, that developed by accident first in the West and then by the exercise of military violence or economic power was subsequently “universalized.” In this chapter, I argue that Hegel, read properly, provides a third conception of modernity, one which, contrary to the modernization theory, respects differences between societies, and yet, contrary to post-colonial theory, does not engage in dividing the human species into fundamentally different or incommensurate groups. I argue that Hegel’s theory of modernity must be sought at the conjunction of the Science of Logic (specifically the logic of the Concept) and the Philosophy of Right. I then elaborate on Hegel’s theory of modernity, thus construed. (shrink)

Cultural landscapes represent a complex category where the nature-culture dichotomy seem to not be able to unfold the main features and the profound relations that humans have with the environment. Drawing on ethnographic data collected in the saltpans of Se-ovlje (Slovene Istria) and Janubio (Lanzarote--Canary Islands) this article examines informant`s perceptions about the awareness of the importance and the enhancement of the holistic values of both saltpans, as well as the impacts and benefits of tourism. Comparing these perceptions about both (...) cultural landscapes, I try to suggest that the complex fruitfully relations between humans and nature in these saltpans are at odds with the neoliberal logic of nature which exploit and commoditize its resources depriving them of their respective agency. A sustainability to contrast the harmful activities of the market ought to be understood not as a simply isolation and fencing of nature for the sake of conservation, but as a preservation that need to foster the continuity of the deep interactions between human culture and non-human nature which are the core of the cultural landscapes. (shrink)

The title of the book was chosen due to inspiration from Nietzsche’s famous book ‘Beyond good and Evil’, which has marked an unprecedented turning point in the history of philosophy. Hence, the book titled ‘Beyond Civilization and History’ is intended to outline the politico-historical debate, since the dawn of the 20th century. The discussion in the book will cover pre-modern, modern and post-modern discourse of the history of civilizations. The debate mainly focuses on the modernist and post-modernist historical context especially (...) surrounding the writings of Oswald Spengler, Norman Angell, Arnold J. Toynbee, and Alexander Dugin. (shrink)

It is common for conservationists to refer to non-native species that have undesirable impacts on humans as “invasive”. We argue that the classification of any species as “invasive” constitutes wrongful discrimination. Moreover, we argue that its being wrong to categorize a species as invasive is perfectly compatible with it being morally permissible to kill animals—assuming that conservationists “kill equally”. It simply is not compatible with the double standard that conservationists tend to employ in their decisions about who lives and (...) who dies. (shrink)

Religiously inspired violence is a global phenomenon and connects to transnational narratives, necessitating comparative analysis of socio-historical context and patterns of ideological mobilization. Northeast Africa hosts several radical-extremist and terrorist groups, mostly of Muslim persuasion, tuned in to these global narratives while connecting to local interests. Christian radicalism and violence also occur but are less ideologically consistent and less widespread. I examine key aspects of the current role and ideological self-positioning of Islamist radicalism in state contexts, comparing Somalia, affected by (...) Islamist violence since the late 1990s, and Ethiopia, where Islam’s mobilization followed a different path and where the state so far contained politicization and open radicalism of Muslim groups. A brief contrastive case from Nigeria is also provided. It is observed that Islam, while of course not ‘equalling’ violence, easily provides a militant political theology, frequently instrumentalized in conflicts and situations of (perceived) grievance, and via mimetic rivalry then becomes radically ideological. Securitized response patterns of state authorities toward militancy play a role in furthering violent radicalization. I follow a sociological-anthropological approach but also refer to key aspects of national-legal frameworks regarding state and religion, next to societal and political bases of Muslim militant mobilization for collective aims and self-presentation. (shrink)

This study aims to identify social media and its relation with depression and how social media affects the mental health of individuals. The general Pakistani public who have attended college and are well educated is the study's target population. This research is based on a quantitative technique. A modified questionnaire was used in accordance with the study's objectives. The data was collected using Google forms. Five-point likert scales were preferred for the data collection when convenience sampling was used. The five-point (...) Likert scale served as the foundation for the survey. The ADANCO software was used to carry out the testing. These tests include the convergent validity, discriminant validity, and Cronbach's alpha reliability and validity tests. ADANCO has been used to measure the path coefficient, adjusted (R2), and coefficient of determination (R2). The confined areas for answers in Pakistan were the main focus of this investigation. The sample size for this study is small relative to the population because it was completed in a short time. The findings of this study show that social media can eventually lead to depression. In this study, the elements that affect mental health by excessive use of social media were examined. Numerous studies have been conducted on the detection of depression by the use of social media through bagging classifiers. We have collected data on the detection of depression through bagging classifiers and have added it to our literature review. (shrink)

These days, Thin-client devices are continuously accessing the Internet to perform/receive diversity of services in the cloud. However these devices might either has lack in their capacity (e.g., processing, CPU, memory, storage, battery, resource allocation, etc) or in their network resources which is not sufficient to meet users satisfaction in using Thin-client services. Furthermore, transferring big size of Big Data over the network to centralized server might burden the network, cause poor quality of services, cause long respond delay, and inefficient (...) use of network resources. To solve this issue, Thinclient devices such as smart mobile device should be connected to edge computing which is a localized near to user location and more powerful to perform computing or network resources. In this paper, we introduce a new method that constructs its architecture on Thin-client -edge computing collaboration. Furthermore, present our new strategy for optimizing big data distribution in cloud computing. Moreover, we propose algorithm to allocate resources to meet Service Level Agreement (SLA) and Quality of Service (QoS) requirements. Our simulation result shows that our proposed approach can improve resource allocation efficiently and shows better performance than other existing methods. (shrink)

Abstract: Accurate stock price prediction is essential for informed investment decisions and financial planning. In this research, we introduce an innovative approach to forecast stock prices using an Artificial Neural Network (ANN). Our dataset, consisting of 5582 samples and 6 features, including historical price data and technical indicators, was sourced from Yahoo Finance. The proposed ANN model, composed of four layers (1 input, 1 hidden, 1 output), underwent rigorous training and validation, yielding remarkable results with an accuracy of 99.84% (...) and an average error of 0.005. Additionally, we conducted a feature importance analysis, identifying the key drivers of stock price prediction, such as "High," "Low," "Open," "Volume"," and "Date." This study not only offers a highly accurate stock price prediction model but also contributes valuable insights into the influential factors affecting stock prices, enhancing the field of financial analysis and investment decision-making that are suitable for the task. (shrink)

Abstract: Background: Vitamin D insufficiency/deficiency prevalent in all age groups across the world is common in obesity and may play an important role in the risk factors of metabolic syndrome (MS). Objectives: This cross-sectional study is to evaluate the relationship between levels of adiponectin and circulating 25(OH)D, and its effect on metabolic biomarker among overweight/obese female students. Methods: Three hundred female students; with mean age 20.9 ± 3.2 years were attending the Aljouf University, Sakaka, Saudi Arabia. They were randomly selected (...) from university during the studying year 2015 – 2016. Anthropometric and biochemical indices were determined. Results: The study showed 19% of the female’s student were either overweight or obese (15% and 4%, respectively). The frequency of MS diagnosis among the students was 17%, with 13% and 4% had either three or four risk factors, respectively. Overweight/obese subjects had significantly worse anthropometric and biochemical characteristics, including waist/hip ratio, blood pressure (BP), fasting blood glucose (BG), insulin, insulin resistance (HOMA-IR), triglyceride levels (TG), low-density lipoprotein cholesterol levels (LDL-C), leptin, adiponectin, leptin/adiponectin ratio and high-density lipoprotein cholesterol levels (HDL-C) compared to normal weight. Of the subjects diagnosed with MS, 59% had mild and 8.6% had severe 25(OH)D deficiency. There was negative association between 25(OH)D and both FBG and HOMA-IR among young women obese/overweight. Conclusion: In our study, it suggested that low level of adiponectin was strongly correlated with low 25(OH)D levels. Also, the prevalence of MS tends to increase with high occurrence rate of low circulating 25(OH)D levels that is, known cause poor glycemic control and prediction of cardiovascular outcomes. (shrink)

The traditional view of evidence in mathematics is that evidence is just proof and proof is just derivation. There are good reasons for thinking that this view should be rejected: it misrepresents both historical and current mathematical practice. Nonetheless, evidence, proof, and derivation are closely intertwined. This paper seeks to tease these concepts apart. It emphasizes the role of argumentation as a context shared by evidence, proofs, and derivations. The utility of argumentation theory, in general, and argumentation schemes, in particular, (...) as a methodology for the study of mathematical practice is thereby demonstrated. Argumentation schemes represent an almost untapped resource for mathematics education. Notably, they provide a consistent treatment of rigorous and non-rigorous argumentation, thereby working to exhibit the continuity of reasoning in mathematics with reasoning in other areas. Moreover, since argumentation schemes are a comparatively mature methodology, there is a substantial body of existing work to draw upon, including some increasingly sophisticated software tools. Such tools have significant potential for the analysis and evaluation of mathematical argumentation. The first four sections of the paper address the relationships of evidence to proof, proof to derivation, argument to proof, and argument to evidence, respectively. The final section directly addresses some of the educational implications of an argumentation scheme account of mathematical reasoning. (shrink)

There has been little overt discussion of the experimental philosophy of logic or mathematics. So it may be tempting to assume that application of the methods of experimental philosophy to these areas is impractical or unavailing. This assumption is undercut by three trends in recent research: a renewed interest in historical antecedents of experimental philosophy in philosophical logic; a “practice turn” in the philosophies of mathematics and logic; and philosophical interest in a substantial body of work in adjacent disciplines, such (...) as the psychology of reasoning and mathematics education. This introduction offers a snapshot of each trend and addresses how they intersect with some of the standard criticisms of experimental philosophy. It also briefly summarizes the specific contribution of the other chapters of this book. (shrink)

In “Belief in the Face of Controversy,” Hilary Kornblith argues for a radical form of epistemic modesty: given that there has been no demonstrable cumulativeprogress in the history of philosophy – as there has been in formal logic, math, and science – Kornblith concludes that philosophers do not have the epistemic credibility to be trusted as authorities on the questions they attempt to answer. After reconstructing Kornblith's position, I will suggest that it requires us to adopt a different conception (...) of philosophy's epistemic value. First, I will argue that ‘progress’ has a different meaning in logic, science and philosophy, and that to judge one of these disciplines by the standards appropriate to one of the others obscures the unique epistemic functions of all. Second, I will argue that philosophy is epistemically unique in that it is a non-relativistic but historically determined excavation of foundations. Finally, drawing on Frank Herbert's Dune, I will suggest that Kornblith leaves us with a choice between two epistemic ideals: the hyper-logical ‘Mentat,’ or the historically informed ‘pre-born.’. (shrink)

Abstract— In this study, a proposed faces recognition methodology based on the neural micro-classifier network. The proposed methodology uses simple well known feature extraction methodology. The feature extraction used is the discrete cosine transformation low frequencies coefficients. The micro-classifier network is a deterministic four layers neural network, the four layers are: input, micro-classifier, counter, and output. The network provide confidence factor, and proper generalization is guaranteed. Also, the network allows incremental learning, and more natural than others. The proposed (...) face recognition methodology was tested using the standard ORL data set. The experimental results of the methodology showed comparative performance. (shrink)

It is questionable whether counterfeiting in many areas of life contributes to unethical behavior to a wider extent. If the notion is supported by data, then the moral damage in a society could be prevented by reducing the counterfeit self and behavior to a bare minimum. This study aimed at empirically testing the measurement model of counterfeit self of Wood et al. (2008) among Indonesians as well as theoretically reviewing counterfeit self roles in unethical behavior. The participants of this study (...) were 1,655 high school students (764 males, 891 females; Mage = 15.76 years old; SDage = 1.08 years) recruited through a purposive sampling technique in North Sumatera and West Kalimantan, Indonesia. The data analysis technique used was Confirmatory Factor Analysis. The results showed that the counterfeit self model--comprised of counterfeit self dimensions, namely Self-alienation (ALIEN), Inauthentic Living (LIVE), and Accepting External Influence (EXT)--was supported by the empirical data. However, the dimension of EXT could not be represented by its indicators. The study contributed to the psychological body of knowledge that the EXT dimension might need to be excluded from the measurement of counterfeit self on teenagers, especially in Indonesia and other Eastern countries. (shrink)

Ascorbic acid (vitamin C) is a water-soluble vitamin; it is present in the highest concentration in the brain. Ascorbic acid in high doses acts as a potential treatment for various neuropathological and psychiatric conditions. Flumazenil is a benzodiazepine antagonist; it competitively inhibits the activity of benzodiazepine and non-benzodiazepine substances that interact with benzodiazepine receptors site on the GABA/benzodiazepine receptor complex. This study aims to investigate the effect of flumazenil on the anxiolytic action of ascorbic acid using an elevated plus maze (...) model of anxiety in rats. Male Albino Wistar rats weighing between 250 and 320 grams were used. Rats were divided into four equal groups of seven rats each and treated as follows: Group I, the control group received a single dose of 1.0% tween 80; Group II treated with a single dose of 125 mg/kg ascorbic acid; Group III was injected by a single dose of 1.0 mg/kg flumazenil; Group IV received a combination treatment of 125 mg/kg ascorbic acid and 1.0 mg/kg flumazenil. Behavioural measurements using a plus maze were scored 30 min after the administration. The parameters scored are the time spent on the open and closed arms, the lines and number of entries into open and closed arms, and the anxiety measure. Ascorbic acid decreased anxiety measure and increased the total lines and total number of entries; this effect was abolished by the administration of flumazenil with ascorbic acid. Thus, ascorbic acid produces an anxiolytic-like effect in rats; this effect was abolished by flumazenil administration with ascorbic acid. This may indicate that the GABA/benzodiazepine receptor complex has to be stimulated to produce the anxiolytic effect. (shrink)

Heart failure is a major cause of death worldwide. Early detection and intervention are essential for improving the chances of a positive outcome. This study presents a novel approach to predicting the likelihood of a person having heart failure using a neural network model. The dataset comprises 918 samples with 11 features, such as age, sex, chest pain type, resting blood pressure, cholesterol, fasting blood sugar, resting electrocardiogram results, maximum heart rate achieved, exercise-induced angina, oldpeak, ST_Slope, and HeartDisease. A neural (...) network model with four layers (1 input and 1 output) was trained on the dataset and achieved an accuracy of 90% and an average error of 0.009. The most influential factors in heart failure prediction were found to be oldpeak, ST_Slope, sex, fastingBS, chestPainType, exerciseAngina, cholesterol, restingBP, maxHR, restingBP, and age. This study provides a valuable tool for early detection and intervention of heart failure, thereby contributing to the field of health and medicine. (shrink)

1st to date [partial yet irrefutable] proof of this creed well-foundedness.

My focus in this paper is the question of the moral acceptability of attempts to modify the human genome. Much of the debate in this area has revolved around the distinction between supposedly therapeutic modification on the one hand, and eugenic modification on the other. In the first part of the paper I reject some recent arguments against genetic engineering. In the second part I seek to distinguish between permissible and impermissible forms of intervention in such a way that does (...) not appeal to the therapeutic/eugenic distinction. If I am right much of what we would intuitively call eugenic intervention will be morally acceptable. Central to my argument is an asymmetry in the way genetic engineers can influence a person's capacities on the one hand and life‐goals on the other. Forms of genetic intervention that have a high probability of producing a mismatch of life‐goals and capacities will be ruled out. (shrink)

The article presents edmund Husserl’s idea of transcendental phenomenology in the perspec‐ tive of the project of science. this aspect of Husserl’s writings was pointed out by, for example, rudolf Bernet, man ed Brelage, Iso Kern, eduard marbach, eugen Fink, Ludwig Landgrebe, and roman Ingarden. the main aim, realised in the article is to prove the main hypothesis claiming that transcendental phenomenology is closely connected with Husserl’s conception of philosophy, the idea of philosophy as a science (eidetic and transcendental). (...) the project of transcendental science and knowledge is also connected with Husserl’s conception of transcen‐ dental reduction taken as a mode of revealing those constitutive achievements of consciousness which were covered in the natural attitude. In the paper, I focus on presenting the most im‐ portant points (epistemological, methodological, and transcendental) connected with Husserl’s evolution of phenomenology in the perspective of the project of science. (shrink)