Large portions of mathematics such as algebra and geometry can be formalized using first-order axiomatizations. In many cases it is even possible to use a very well-behaved class of first-order axioms, namely, what are called coherent or geometric implications. Such class of axioms can be translated to inference rules that can be added to a sequent calculus while preserving its structural properties. In this work, this fundamental result is extended to their infinitary generalizations as extensions of sequent calculi (...) for both classical and intuitionistic infinitary logic. As an application, a simple proof of the infinitary Barr’s theorem without the axioms of choice is shown. (shrink)

Significantly, Berkeley, in his Essay Towards a New Theory of Vision, leveled a sustained attack on just this geometrical theory of distance perception. At first glance it may seem, as it did to Berkeley, that Descartes’ geometrical theory is produced by a simple error: namely, by the idea that a physiological optics provides an adequate description of the psychological processes of judging distances. In truth, this is the weakest of Berkeley’s objections to Descartes’ theory. Obviously we do not see the (...) angles and lines of convergence when we focus on a distant object, nor are we aware of having used any geometrical rules in judging distance. And Descartes never claimed this. (shrink)

We take a fresh look at voting theory, in particular at the notion of manipulation, by employing the geometry of the Saari triangle. This yields a geometric proof of the Gibbard/Satterthwaite theorem, and new insight into what it means to manipulate the vote. Next, we propose two possible strengthenings of the notion of manipulability (or weakenings of the notion of non-manipulability), and analyze how these affect the impossibility proof for non-manipulable voting rules.

Most of what is told in this paper has been told before by the same author, in a number of publications of various kinds, but this is the first time that all this material has been brought together and treated in a uniform way. Smaller errors in the earlier publications are corrected here without comment. It has been known since the 1920s that quadratic equations played a prominent role in Babylonian mathematics. See, most recently, Høyrup (Hist Sci 34:1–32, 1996, and (...) Lengths, widths, surfaces: a portrait of old Babylonian algebra and its kin. Springer, New York, 2002). What has not been known, however, is how quadratic equations came to play that role, since it is difficult to think of any practical use for quadratic equations in the life and work of a Babylonian scribe. One goal of the present paper is to show how the need to find solutions to quadratic equations actually arose in Mesopotamia not later than in the second half of the third millennium BC, and probably before that in connection with certain geometric division of property problems. This issue was brought up for the first time in Friberg (Cuneiform Digit Lib J 2009:3, 2009). In this connection, it is argued that the tool used for the first exact solution of a quadratic equation was either a clever use of the “conjugate rule” or a “completion of the square,” but that both methods ultimately depend on a certain division of a square, the same in both cases. Another, closely related goal of the paper is to discuss briefly certain of the most impressive achievements of anonymous Babylonian mathematicians in the first half of the second millennium BC, namely recursive geometric algorithms for the solution of various problems related to division of figures, more specifically trapezoidal fields. For an earlier, comprehensive (but less accessible) treatment of these issues, see Friberg (Amazing traces of a Babylonian origin in Greek mathematics. WorldScientific, Singapore 2007b, Ch. 11 and App. 1). (shrink)

Permutative logic is a non-commutative conservative extension of linear logic suggested by some investigations on the topology of linear proofs. In order to syntactically reflect the fundamental topological structure of orientable surfaces with boundary, permutative sequents turn out to be shaped like q-permutations. Relaxation is the relation induced on q-permutations by the two structural rules divide and merge; a decision procedure for relaxation has been already provided by stressing some standard achievements in theory of permutations. In these pages, we (...) provide a parallel procedure in which the problem at issue is approached from the point of view afforded by geometry of 2-manifolds and solved by making specific surfaces interact. (shrink)

An extension of the Hurwitz transformation to a canonical transformation between phase spaces allows conversion of the five-dimensional Kepler problem into that of a constrained harmonic oscillator problem in eight dimensions. Thus a new regularization of the Kepler problem is established. Then, following Dirac, we quantize the extended phase space, imposing constraint conditions as superselection rules. In that way the interchangeability of the reduction and the quantization procedures is proved.

A constructivisation of the cut-elimination proof for sequent calculi for classical, intuitionistic and minimal infinitary logics with geometric rules—given in earlier work by the second author—is presented. This is achieved through a procedure where the non-constructive transfinite induction on the commutative sum of ordinals is replaced by two instances of Brouwer’s Bar Induction. The proof of admissibility of the structural rules is made ordinal-free by introducing a new well-founded relation based on a notion of embeddability of derivations. (...) Additionally, conservativity for classical over intuitionistic/minimal logic for the seven (finitary) Glivenko sequent classes is here shown to hold also for the corresponding infinitary classes. (shrink)

In his writings Philosophical Remarks, the Austrian-British Philosopher Ludwig Wittgenstein draws an octahedron with the words of pure colours such as “white”, “red” and “blue” at the corners and argues: “The colour octahedron is grammar, since it says that you can speak of a reddish blue but not of a reddish green, etc”. He uses the word “grammar” in such a specific way that the grammar or grammatical rules describe the meanings of words/expressions, in other words, how we use (...) them in our language. Accordingly, the colour octahedron can also be taken to represent grammatical rules about how we apply words of colour, e.g., that we can call a certain colour “reddish-blue”, but not “reddish-green”. In a different context, the Japanese philosopher Shūzō Kuki explores in his work The Structure of Iki what the Japanese word “iki” means. This word is often translated as “chic” or “stylistic” in English, but Kuki holds that it is an aesthetic Japanese concept that cannot be translated one-to-one, instead encompassing three aspects: “coquetry”, “pride and honour” and “resignation”. To explain the meanings of the word “iki” and other related words all of which Kuki calls “tastes”, he introduces a rectangular prism as a geometrical representation similar to Wittgenstein’s colour octahedron. In this paper, I argue that the rectangular prism does not solely explain how the modes of Japanese tastes are related to each other, but also has a grammatical character. On this score, I suggest that one can regard this rectangular prism as a description of the grammatical rules of the Japanese language. By appeal to the arguments of both philosophers and in comparison with them, I will not only clarify what they claim by geometrical representations but also examine what role this kind of representation plays as an explanation of grammar in general. Keywords: grammar, colour octahedron, rectangular prism, Shūzō Kuki, Wittgenstein. (shrink)

In the Critique of Pure Reason, Kant defends the mathematically deterministic world of physics by arguing that its essential features arise necessarily from innate forms of intuition and rules of understanding through combinatory acts of imagination. Knowing is active: it constructs the unity of nature by combining appearances in certain mandatory ways. What is mandated is that sensible awareness provide objects that conform to the structure of ostensive judgment: “This (S) is P.” -/- Sensibility alone provides no such objects, (...) so the imagination compensates by combining passing point-data into “pure” referents for the subject-position, predicate-position, and copula. The result is a cognitive encounter with a generic physical object whose characteristics—magnitude, substance, property, quality, and causality—are abstracted as the Kantian categories. Each characteristic is a product of “sensible synthesis” that has been “determined” by a “function of unity” in judgment. -/- Understanding the possibility of such determination by judgment is the chief difficulty for any rehabilitative reconstruction of Kant’s theory. I will show that Kant conceives of figurative synthesis as an act of line-drawing, and of the functions of unity as rules for attending to this act. The subject-position refers to substance, identified as the objective time-continuum; the predicate-position, to quality, identified as the continuum of property values (constituting the second-order type named by the predicate concept). The upshot is that both positions refer to continuous magnitudes, related so that one (time-value) is the condition of the other (property-value). -/- Kant’s theory of physically constructive grammar is thus equivalent to the analytic-geometric formalism at work in the practice of mathematical physics, which schematizes time and state as lines related by an algebraic formula. Kant theorizes the subject–predicate relation in ostensive judgment as an algebraic time–state function. When aimed towards sensibility, “S is P” functions as the algebraic relation “t → ƒ(t).”. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:61. HUME'S GEOMETRIC "OBJECTS" Arithmetic and algebra allow of precision and certainty. The science of geometry is not likewise a perfect and infallible science. At any rate, this is Hume's teaching in the Treatise. When two numbers are so combin ' d, as that the one has always an unite answering to every unite of the other, we pronounce them equal; and 'tis for want of such a (...) standard of equality in extension, that geometry can scarce be esteem'd a perfect and infallible science. 1 The ideas of, say, equality and right line shade into· inequality and curve. It must not be supposed, however, that the vagueness of these ideas renders all judgments uncertain and fallible. 'Tie evident, that the eye, or rather the mind is often able at one view to determine the proportions of bodies....Such judgments are not only common, but in many cases certain and infallible. (T47) Nevertheless, geometry is a fallible science because its essential ideas are vague. Vagueness, due to lack of boundaries between ideas, is in the ideas themselves. For this reason, 'tis impossible to produce any definition of them, which will fix the precise boundaries betwixt them. (T49) (Yet, some forty pages earlier Hume argued at length that the mind cannot form any notion of quantity or quality without forming a precise notion of the degrees of each [T18]) As far as the Treatise goes, geometry is the science of measurement and as such it must allow for error. Even if precise geometric standards could be had, they would not make the propositions of geometry certain. Thus, we might precisely define a right line by a rule of order of indivisible points. But geometry, construed as the science of measurement, would not be perfected. Nor, if it were (the standard), is there any such firmness in our senses or imagination, as to determine when such an order is violated or preserv ' d. The original standard of a right line is in reality nothing but a certain general appearance. (T52) 62. In the Enquiries, Hume continues to hold that notions essential to geometry, for example, equality, right line, and so on, are sensibles. But they are no longer generic appearances. They are determinate. The great advantage of the mathematical sciences above the moral consists in this, that the ideas of the former, being sensible, are always clear and determinate... even when no definition is employed, the object itself may be presented to the senses, and by that means be steadily and clearly apprehended. 2 In addition, geometry is no longer merely the science of measurement. The truths of Euclid, Hume holds, would remain truths even if there were no figures in nature. Though there never were a circle or triangle in nature, the truths demonstrated by Euclid would for ever retain their certainty and evidence. (EHU25) Professor Zabeeh, in his commentary on Hume, holds that Hume did not mean to imply that Euclid could dispense with the observation of figures. However, whenever possible Hume should be taken at his word: observation of figures is not a truth condition for propositions of geometry. A distinction must be drawn between discovery conditions and what Hume calls the "truth or evidence" of a geometric proposition. We may suppose that observation of figures is a discovery condition. But it is hardly a truth condition. The certainty, as opposed to the discovery, of geometric propositions does not depend on the existence in nature of any figure. I am mainly concerned, however, with Professor Zabeeh' s account of how, according to Hume, geometric propositions retain their certainty and evidence in the face of recalcitrant experience. Noting that Hume does not "fully explain," he gives the real reason for Hume's belief in the apodeictic certainty of mathematical truths. He appears to assume we never allow such truths to be controverted by empirical evidence. That is to say, if perchance we find, by measurement, that the sum of the angles of a Euclidean triangle 63. does not equal 180 degrees, either we say that we measured wrongly or we say that the triangle we have been measuring is not Euclidean.4 This formulation of Hume's reason avoids... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:61. HUME'S GEOMETRIC "OBJECTS" Arithmetic and algebra allow of precision and certainty. The science of geometry is not likewise a perfect and infallible science. At any rate, this is Hume's teaching in the Treatise. When two numbers are so combin ' d, as that the one has always an unite answering to every unite of the other, we pronounce them equal; and 'tis for want of such a (...) standard of equality in extension, that geometry can scarce be esteem'd a perfect and infallible science. 1 The ideas of, say, equality and right line shade into· inequality and curve. It must not be supposed, however, that the vagueness of these ideas renders all judgments uncertain and fallible. 'Tie evident, that the eye, or rather the mind is often able at one view to determine the proportions of bodies....Such judgments are not only common, but in many cases certain and infallible. (T47) Nevertheless, geometry is a fallible science because its essential ideas are vague. Vagueness, due to lack of boundaries between ideas, is in the ideas themselves. For this reason, 'tis impossible to produce any definition of them, which will fix the precise boundaries betwixt them. (T49) (Yet, some forty pages earlier Hume argued at length that the mind cannot form any notion of quantity or quality without forming a precise notion of the degrees of each [T18]) As far as the Treatise goes, geometry is the science of measurement and as such it must allow for error. Even if precise geometric standards could be had, they would not make the propositions of geometry certain. Thus, we might precisely define a right line by a rule of order of indivisible points. But geometry, construed as the science of measurement, would not be perfected. Nor, if it were (the standard), is there any such firmness in our senses or imagination, as to determine when such an order is violated or preserv ' d. The original standard of a right line is in reality nothing but a certain general appearance. (T52) 62. In the Enquiries, Hume continues to hold that notions essential to geometry, for example, equality, right line, and so on, are sensibles. But they are no longer generic appearances. They are determinate. The great advantage of the mathematical sciences above the moral consists in this, that the ideas of the former, being sensible, are always clear and determinate... even when no definition is employed, the object itself may be presented to the senses, and by that means be steadily and clearly apprehended. 2 In addition, geometry is no longer merely the science of measurement. The truths of Euclid, Hume holds, would remain truths even if there were no figures in nature. Though there never were a circle or triangle in nature, the truths demonstrated by Euclid would for ever retain their certainty and evidence. (EHU25) Professor Zabeeh, in his commentary on Hume, holds that Hume did not mean to imply that Euclid could dispense with the observation of figures. However, whenever possible Hume should be taken at his word: observation of figures is not a truth condition for propositions of geometry. A distinction must be drawn between discovery conditions and what Hume calls the "truth or evidence" of a geometric proposition. We may suppose that observation of figures is a discovery condition. But it is hardly a truth condition. The certainty, as opposed to the discovery, of geometric propositions does not depend on the existence in nature of any figure. I am mainly concerned, however, with Professor Zabeeh' s account of how, according to Hume, geometric propositions retain their certainty and evidence in the face of recalcitrant experience. Noting that Hume does not "fully explain," he gives the real reason for Hume's belief in the apodeictic certainty of mathematical truths. He appears to assume we never allow such truths to be controverted by empirical evidence. That is to say, if perchance we find, by measurement, that the sum of the angles of a Euclidean triangle 63. does not equal 180 degrees, either we say that we measured wrongly or we say that the triangle we have been measuring is not Euclidean.4 This formulation of Hume's reason avoids... (shrink)

Geometric theories are presented as contraction- and cut-free systems of sequent calculi with mathematical rules following a prescribed rule-scheme that extends the scheme given in Negri and von Plato. Examples include cut-free calculi for Robinson arithmetic and real closed fields. As an immediate consequence of cut elimination, it is shown that if a geometric implication is classically derivable from a geometric theory then it is intuitionistically derivable.

This paper formalizes part of the cognitive architecture that Kant develops in the Critique of Pure Reason. The central Kantian notion that we formalize is the rule. As we interpret Kant, a rule is not a declarative conditional stating what would be true if such and such conditions hold. Rather, a Kantian rule is a general procedure, represented by a conditional imperative or permissive, indicating which acts must or may be performed, given certain acts that are already being performed. These (...) acts are not propositions; they do not have truth-values. Our formalization is related to the input/ output logics, a family of logics designed to capture relations between elements that need not have truth-values. In this paper, we introduce KL3 as a formalization of Kant’s conception of rules as conditional imperatives and permissives. We explain how it differs from standard input/output logics, geometric logic, and first-order logic, as well as how it translates natural language sentences not well captured by first-order logic. Finally, we show how the various distinctions in Kant’s much-maligned Table of Judgements emerge as the most natural way of dividing up the various types and sub-types of rule in KL3. Our analysis sheds new light on the way in which normative notions play a fundamental role in the conception of logic at the heart of Kant’s theoretical philosophy. (shrink)

This expository paper on Aristotle’s prototype underlying logic is intended for a broad audience that includes non-specialists. It requires as background a discussion of Aristotle’s demonstrative logic. Demonstrative logic or apodictics is the study of demonstration as opposed to persuasion. It is the subject of Aristotle’s two-volume Analytics, as its first sentence says. Many of Aristotle’s examples are geometrical. A typical geometrical demonstration requires a theorem that is to be demonstrated, known premises from which the theorem is to be deduced, (...) and a deductive logic by which the steps of the deduction proceed. Every demonstration produces knowledge of its conclusion for every person who comprehends the demonstration. Aristotle presented a general truth-and-consequence theory of demonstration meant to apply to all demonstrations: a demonstration is an extended argumentation that begins with premises known to be truths and that involves a chain of reasoning showing by deductively evident steps that its conclusion is a consequence of its premises. In short, a demonstration is a deduction whose premises are known to be true. Aristotle’s general theory of demonstration required a prior general theory of deduction presented in the Prior Analytics. His general immediate-deduction-chaining theory of deduction was meant to apply to all deductions: any deduction that is not immediately evident is an extended argumentation that involves a chaining of immediately evident steps that shows its final conclusion to follow logically from its premises. His deductions, both direct and indirect, were rule-based and not tautology-based. The idea of tautology-based deduction, which dominated modern logic in the early years of the 1900s, is nowhere to be found in Analytics. Rule-based deduction was rediscovered by modern logicians. To illustrate his general theory of deduction, Aristotle presented a prototype: an ingeniously simple and mathematically precise special case traditionally known as the categorical syllogistic. With reference only to propositions of the four so-called categorical forms, he painstakingly worked out exactly what those immediately evident deductive steps are and how they are chained to complete deductions. In his specialized prototype theory, Aristotle explained how to deduce from a given categorical premise set, no matter how large, any categorical conclusion implied by the given set. He did not extend this treatment to non-categorical deductions, thus setting a program for future logicians. The prototype, categorical syllogistic, was seen by Boole as a “first approximation” to a comprehensive logic. Today, however it appears more as the first of the dozens of logics already created and as the first exemplification of a family that continues to expand. (shrink)

In ?155 of his New Theory of Vision Berkeley explains that a hypothetical ?unbodied spirit? ?cannot comprehend the manner wherein geometers describe a right line or circle?.1The reason for this, Berkeley continues, is that ?the rule and compass with their use being things of which it is impossible he should have any notion.? This reference to geometrical tools has led virtually all commentators to conclude that at least one reason why the unbodied spirit cannot have knowledge of plane geometry is (...) because it cannot manipulate a ruler or a compass. In this article I will show that such an interpretation is flawed. I will instead argue that Berkeley's understanding of Euclidian geometry was based on Isaac Barrow's account of the foundations of geometry. On this view geometrical objects are conceived in terms of the idealized motion that generates the objects of geometry. Consequently, that what the unbodied spirit cannot do in this context is to form an idea of motion rather than being unable to handle geometrical tools. 1All references to Berkeley are from, A. A. Luce and T. E. Jessop (eds.), The Works of George Berkeley, Bishop of Cloyne (London: Thomas Nelson and Sons, Ltd., 1948) The following abbreviations are used: An Essay Towards A New Theory of Vision, section x = New Theory x; Philosophical Commentaries, entry x = Commentaries x; Part I of A Treatise concerning the Principles of Knowledge, section x = Principles x. All other references to Berkeley's works are of the form The Works of George Berkeley, Bishop of Cloyne, volume x, page y = Works, x, y. (shrink)

French mathematician Michel Chasles, a staunch defender of pure geometrical methods, is now mostly remembered as the author of the Aperçu historique. In this book, he retraced the history of geometry in order to expound epistemological theses on what constitutes a virtuous practice of geometry. Amongst these stands out the assertion that the values of generality and simplicity in mathematics are intimately connected. In this paper, we flesh out this claim by analysing Chasles’s geometrical solutions to the century-old problem of (...) the attraction of the ellipsoids. We show how these solutions echo Chasles’s evaluation of the relative strengths of geometrical and analytical methods, and how they embody a set of normative rules for the geometer’s practice whose observance Chasles deemed necessary and sufficient for the development of general methods and theories. (shrink)

Strictly proper scoring rules have been studied widely in statistical decision theory and recently in experimental economics because of their ability to encourage assessors to honestly provide their true subjective probabilities. In this article, we study the spherical scoring rule by analytically examining some of its properties and providing some new geometric interpretations for this rule. Moreover, we state a theorem which provides an axiomatic characterization for the spherical scoring rule. The objective of this analysis is to provide (...) a better understanding of one of the most commonly available scoring rules, which could aid decision makers in the selection of an appropriate tool for evaluating and assessing probabilistic forecasts. (shrink)

We discuss the relationships between positional rules (such as plurality and approval voting as well as the Borda count), Dodgson’s, Kemeny’s and Litvak’s methods of reaching consensus. The discrepancies between methods are seen as results of different intuitive conceptions of consensus goal states and ways of measuring distances therefrom. Saari’s geometric methodology is resorted to in the analysis of the consensus reaching methods.

The stratification in depth of chromatically homogeneous overlapping figures depends on a minimization rule which assigns the status of being “in front” to the figure that requires the formation of shorter modal contours. This rule has been proven valid also in birds, whose visual neuroanatomy is radically different from that of other mammals, thus suggesting an example of evolutionary convergence toward a perceptual universal. [Shepard].

This article examines Hesiod’s Chaos and Anaximander’s apeiron individually and in relation to each other through the frame of René Descartes’ notion of natural geometry and through bounds and limits in Euclid and Immanuel Kant. Thanks to this frame, it shows that, in his poetic vision, Hesiod saw in Chaos the act of bounding such that different things can appear while, in his speculative vision, Anaximander saw in the apeiron the self-limiting limit of bounded things, which is to say, time (...) as distinct from the temporality of bounded things resulting from Chaos. Thus, together, Chaos and the apeiron present the spatiotemporal order of the world. Finally, delving further into Anaximander’s fragment shows that the justice ruling over all includes the apeiron as the time foundational to temporality, meaning justice is without foundation and therefore anarchic. (shrink)

In his Rules for the Direction of the Mind, Descartes elevates arithmetic and geometry to the status of paradigms for all the sciences, because of the potential for certainty in their results. This emphasis on certainty is present throughout the Cartesian corpus, but in the Rules and other early works the substance dualism characteristic of Cartesian philosophy is not as obvious. However, when several key concepts from this early work are considered together, it becomes clear that Cartesian dualism (...) necessarily follows. The most important of these concepts are: Descartes’s rejection of the Scholastic theory of sense data in favor of a telecommunicative theory of perception; his innovative reconceptualization of mathematics in which he treats number and magnitude as interchangeable, making use of the symbolism of algebra; his frequent use of visual metaphors to describe perception in general, as well as other cognitive activity. It is in consideration of this third point that Descartes’s treatment of the imagination shows its importance, for the relationship of the imagination to the intellect parallels that of geometric figures to algebraic formulae. Though the role of the imagination in the Rules seems to make the status of a dualist ontology in this work more ambiguous, this paper will argue that in fact it is precisely in the treatment of imagination that one can find the traces of a fully developed substance dualism. (shrink)

The information explosion and digital modes of learning often combine to inform the quest for the best ways of transforming information in digital form for pedagogical purposes. This quest has become more urgent and pervasive with the ‘turn’ to online learning in the context of COVID-19. This can result in linear, asynchronous, transmission-based modes of teaching and learning which commodify, package and deliver knowledge for individual ‘customers’. The primary concerns in such models are often technical and economic – technology as (...) a cost-effective ‘solution’ to educational challenges. In this paper I argue for the importance of dialogic learning space in teaching and learning by means of Information and Communication Technologies, whether in the form of fully online learning, blended learning or face-to-face encounters using ICT affordances. Although the 20th Century theorists Mikhail Bakhtin (1895–1975) and Hans-Georg Gadamer (1900–2002) produced their seminal works before the advent of ICTs, they were both concerned with the quality and authenticity of human engagement with texts and with other persons and contexts. Besides a shared interest in dialogue as an ontological feature of human life and being, they both used spatiotemporal concepts for understanding and interpreting texts. The article draws on Gadamer’s notions of dialogue and horizon, and Bakhtin’s notions of dialogue and chronotope, to conceptualize dialogic possibilities for online education. Its purpose is to provide a framework, grounded in Bakhtin’s and Gadamer’s ideas, for a dialogic approach to online teaching and learning in higher education. (shrink)

Jesus of Nazareth, like Socrates, left nothing behind written by himself. Yet, the records of his teaching indicate a rich interest in dialogic pedagogy, reflected in his use of the parable, primarily an oral genre, as a dialogic provocation. Working at the interface of pedagogy, theology and philosophy, this article explores the parable of the Good Samaritan from the perspective of dialogic pedagogy. It employs an analytical approach termed diacognition, developed from the notions of dialogue, position and cognition, to analyse (...) the moves within the parable and the teaching situation in which it is located. The article explores how Jesus engages the dialogue of and around the parable to position and reposition his interlocutor, provoking a re-cognition of what it means to love one’s neighbour. It concludes by reflecting on the implications of this analysis for the relation of meaning to knowing and doing. (shrink)

Dialogue is a seminal concept within the work of the Brazilian adult education theorist, Paulo Freire, and the Russian literary critic and philosopher, Mikhail Bakhtin. While there are commonalities in their understanding of dialogue, they differ in their treatment of dialectic. This paper addresses commonalities and dissonances within a Bakhtin-Freire dialogue on the notions of dialogue and dialectic. It then teases out some of the implications for education theory and practice in relation to two South African contexts of learning that (...) facilitate the access to education of disadvantaged groups, one in higher education and the other in early childhood education. (shrink)

This article examines the relationship between online dispute resolution (ODR) and trust. We discuss what trust is, why trust is important, and how trust develops. Our claim is that efforts to implement online dispute resolution on a site or service in a manner that promotes trust need to consider ODR as just one tool in a broader toolbox of trust-building tools and techniques. These techniques are amongst others marketing, education, trust seals, and transparency. By evaluating ODR in its proper context (...) as one component of a larger trust strategy, we can more accurately set expectations for its results and position our projects for success. (shrink)

The article presents proofs of the context freeness of a family of typelogical grammars, namely all grammars that are based on a uni- ormultimodal logic of pure residuation, possibly enriched with thestructural rules of Permutation and Expansion for binary modes.