Prompted and ever diversified by the specifically human interrogative logos, scientific inquiries seek a common system of links in order to mutually confirm and rectify their results. Coming closer and closer to phenomenology, the sciences of life find the common ground of the reality in the ontopoiesis of life. Could it not be that the interrogative logos of science, participating in human creative inventiveness will bring together also the divergent scientific methods in a common network? A network which comprises natural (...) processes, societal sharing-in-life, and existential communication. Papers by: Gary Backhaus, Anjana Bhattacharjee, Simon Du Plock, Ignacy Fiut, Maria Golaszewska, Wendy C. Hamblet, Alexandr Kouzmin, Nikolay Kozhevnikov, Olga Louchakova, Jarlath Mc Kenna, Amy Louise Miller, Aria Omrani, Arthur Piper, Leszek Pyra, W. Kim Rogers, A.L. Samian, Camilo Serrano Bonitto, Natalia Smirnova, Eva Syristova, Anna-Teresa Tymieniecka, Roberto Verolini, Eldon C. Wait, Leo Zonneveld. (shrink)

Offering an innovative approach to critical thinking, Good Reasoning Matters! identifies the essential structure of good arguments in a variety of contexts and also provides guidelines to help students construct their own effective arguments. In addition to examining the most common features of faulty reasoning--slanting, bias, propaganda, vagueness, ambiguity, and a common failure to consider opposing points of view--the book introduces a variety of argument schemes and rhetorical techniques. This edition adds material on visual arguments and more exercises.

Most infonnallogic texts and articles assume a verbal account of reasoning which defines "argument" as a set of sentences. The present paper broadens this definition in order to account for "visual arguments" which are communicated with nonverbal visual images. Standard approaches to verbal arguments are extended in a way that allows them to explain and evaluate visual argumentation.

Informal logic is an attempt to develop a logic that can assess and analyze the arguments that occur in natural language discourse. Discussions in the field may address instances of scientific, legal, and other technical forms of reasoning, but the overriding aim has been a comprehensive account of argument that can explain and evaluate the arguments found in discussion, debate and disagreement as they manifest themselves in daily life — in social and political commentary; in news reports and editorials in (...) the mass media ; in advertising and corporate and governmental communications; and in personal exchange. (shrink)

The present paper elaborates a deductivist account of natural language argu-ment in the context of pragma-dialectics. It reviews earlier debates, criticizes some standard misconceptions in the literature, and argues that the identification and analysis of deductive argument schemes can be the basis of a compelling theory of argumentative discourse.

We announce and explain recent results on the computably enumerable (c.e.) sets, especially their definability properties (as sets in the spirit of Cantor), their automorphisms (in the spirit of Felix Klein's Erlanger Programm), their dynamic properties, expressed in terms of how quickly elements enter them relative to elements entering other sets, and the Martin Invariance Conjecture on their Turing degrees, i.e., their information content with respect to relative computability (Turing reducibility).

Though the common sense defense of affirmative action (or employment equity) appeals to principles of restitution, philosophers have tried to defend it in other ways. In contrast, I defend it by appealing to the notion of restitution, arguing (1) that alternative attempts to justify affirmative action fail; and (2) that ordinary affirmative action programs need to be supplemented and amended in keeping with the principles this suggests.

This paper responds to two aspects of Ralph Johnson's Manifest Rationality (2000). The first is his critique of deductivism. The second is his failure to make room for some species of argument (e.g., visual and kisceral arguments) proposed by recent commentators. In the first case, Johnson holds that argumentation theorists have adopted a notion of argument which is too narrow. In the second, that they have adopted one which is too broad. I discuss the case Johnson makes for both claims, (...) and possible objections to his analysis. (shrink)

We argue that Hilary Putnam's pragmatism provides an epistemological perspective which can help us understand--and can positively inform--the development of informal logic.

A set X of nonnegative integers is computably enumerable (c.e.), also called recursively enumerable (r.e.), if there is a computable method to list its elements. Let ε denote the structure of the computably enumerable sets under inclusion, $\varepsilon = (\{W_e\}_{e\in \omega}, \subseteq)$ . We previously exhibited a first order ε-definable property Q(X) such that Q(X) guarantees that X is not Turing complete (i.e., does not code complete information about c.e. sets). Here we show first that Q(X) implies that X has (...) a certain "slowness" property whereby the elements must enter X slowly (under a certain precise complexity measure of speed of computation) even though X may have high information content. Second we prove that every X with this slowness property is computable in some member of any nontrivial orbit, namely for any noncomputable A ∈ ε there exists B in the orbit of A such that X ≤ T B under relative Turing computability (≤ T ). We produce B using the Δ 0 3 -automorphism method we introduced earlier. (shrink)

Post in 1944 began studying properties of a computably enumerable set A such as simple, h-simple, and hh-simple, with the intent of finding a property guaranteeing incompleteness of A . From the observations of Post and Myhill , attention focused by the 1950s on properties definable in the inclusion ordering of c.e. subsets of ω, namely E = . In the 1950s and 1960s Tennenbaum, Martin, Yates, Sacks, Lachlan, Shoenfield and others produced a number of elegant results relating ∄-definable properties (...) of A , like maximal, hh-simple, atomless, to the information content of A . Harrington and Soare gave an answer to Post's program for definable properties by producing an ∄-definable property Q which guarantees that A is incomplete and noncomputable, but developed a new Δ 3 0 -automorphism method to prove certain other properties are not ∄-definable. In this paper we introduce new ∄-definable properties relating the ∄-structure of A to deg, which answer some open questions. In contrast to Q we exhibit here an ∄-definable property T which allows such a rapid flow of elements into A that A must be complete even though A may possess many other properties such as being promptly simple. We also present a related property NL which has a slower flow but fast enough to guarantee that A is not low, even though A may possess virtually all other related lowness properties and A may simultaneously be promptly simple. (shrink)

CONTEMPORARY TREATMENTS OF INFORMAL FALLACIES TAKE TWO WRONGS REASONING AS A FORM OF FALLACIOUS INFERENCE. I ARGUE THAT SUCH INFERENCES ARE OFTEN VALID AND THAT AN ADEQUATE TREATMENT OF TWO WRONGS ARGUMENTS MUST DISTINGUISH VALID AND INVALID ARGUMENTS, RATHER THAN REJECT THEM OUT OF HAND.

Why does the law spurn win-win transactions? -- Things we can't consent to, though no one knows why -- A parable -- Lessons -- The social choice connection -- Why is the law so full of loopholes? -- The irresistible wrong answer -- What is wrong with the irresistible answer? -- The voting analogy -- Turning the analogy into an identity -- Intentional fouls -- Why is the law so either/or? -- The proverbial rigidity of the law -- Line drawing (...) as a matter of life and death -- Why don't we punish all we condemn? -- The undercriminalization problem -- Multicriterial ranking and the undercriminalization problem -- Final thoughts. (shrink)

According to the standard account of Nicholas' views,his scepticism is constrained by his commitment to the law of non-contradiction as a basis for certain truth. Such an account fails to distinguish the views found in the "Leters to Bernard" and the "Exigit Ordo" the latter clear rejects the law of non-contradiction and propounds a full fledged scepticism.

The paper defends my thesis that Parmenides' poem contains a critique of time, in answer to Mohan Matthen's criticisms of my views.

We show that four central aspects of Hume's account of cause were contained and available to him in the translation of Sextus Empiricus' "Outlines of Pyrrhonism" contained in Thomas Stanley's 1687 _History of Philosophy.

This study investigated the kinds of knowledge necessary to learn an important troubleshooting strategy, elimination. A total of 50 college-level students searched for the source of failures in simple digital networks. Production system modelling suggested that students using a common but simpler backtracking strategy would learn the more advanced elimination strategy if they applied certain domain-specific knowledge and the general-purpose problem-solving strategy of reductio ad absurdum. In an experiment, students solved network troubleshooting problems after being trained with either the domain-specific (...) knowledge, the reductio ad absurdum strategy, both types of knowledge, or neither. Students needed both the domain-specific and general knowledge identified by the models in order to significantly increase their elimination use. (shrink)

How we talk about relations has a great influence on how we think about relations. By saying that Spain defeated the Netherlands we obviously say something entirely different from saying that the Netherlands defeated Spain. This makes many of us think that in the underlying relation itself one of the relata comes first and the other comes second. However, there are good reasons to view the order as a representational artifact. In this paper I present a new logic that allows (...) us to think and talk about relations in a coordinate-free manner. The logic is minimalistic in the sense that it has no predicates except equality, but its expressive power is the same as that of first-order predicate logic. (shrink)

I. La vida de Baruj Spinoza.--II. La época de Baruj Spinoza.--III. La obra de Baruj Spinoza.--IV. La influencia de Baruj Spinoza. Bibliografía (p. [323]-331).