Re: [peirce-l] Frege against the Booleans

2012-05-11 Thread Benjamin Udell
Jim, Sorry, I'm just getting more confused. I've actually seen "a", "b", etc. called "constants" as opposed to "variables" such as "x", "y", etc. Constant individuals and variable individuals, so to speak, anyway in keeping with the way the words "constant" and "variable" seem to be used in o

Re: [peirce-l] Frege against the Booleans

2012-05-11 Thread Jim Willgoose
Ben, I made it too complicated. Sorry. It didn't help that "/-" was brought into the discussion. You had the basic idea earlier with dicent and rheme. Fx and Fa have to be kept together. So, the interpretant side of the semiotic relation has priority. Conceptual analysis would move from the "

Re: [peirce-l] Frege against the Booleans

2012-05-11 Thread Benjamin Udell
Hi, Jim, Sorry, I'm not following you here. "F" and "a" look like logical constants in the analysis. I don't know how you're using "v", and so on. I don't know why there's a question raised about taking the judgment as everything that implies it, or as everything that it implies. Beyond thos

Re: [peirce-l] Frege against the Booleans

2012-05-11 Thread Jim Willgoose
Ben, I suppose you could take the judgment as everything which implies it. (or is implied by it) In this way, you could play around with the "judgment stroke" and treat meaning as inferential. But, using a rule of substitution and instantiation, I could show the content of the following judgmen

Re: [peirce-l] ORDINARY DISCOURSE AS THE FINAL CAUSE OF ALL INTELLECTUAL ENDEAVORS

2012-05-11 Thread Phyllis Chiasson
Dear Gary, Since language only has meaning within contexts, change the context and you are likely to change meaning altogether. Ambiguity and vagueness are the enemies of clarity; Peirce's concept of terminological ethics is one of his main contributions to philosophy and the extension (and purpos

Re: [peirce-l] Frege against the Booleans

2012-05-11 Thread Benjamin Udell
Sorry, corrections in bold: Jon, The way I learned it, (formal) implication is not the /assertion/ but the /validity/ of the (material) conditional, so it's a difference between 1st-order and 2nd-order logic, a difference that Peirce recognized in some form. If the schemata involving "p" and

Re: [peirce-l] Frege against the Booleans

2012-05-11 Thread Benjamin Udell
Hi, Jim Thanks, but I'm afraid that a lot of this is over my head. Boolean quantifier 'v' ? Is that basically the backward E? A 'unity' class? Is that a class with just one element? Well, be that as it may, since I'm floundering here, still I take it that Frege did not view a judgment as bas

Re: [peirce-l] Frege against the Booleans

2012-05-11 Thread Benjamin Udell
Jon, The way I learned it, (formal) implication is not the /assertion/ but the /validity/ of the (material) conditional, so it's a difference between 1st-order and 2nd-order logic, a difference that Peirce recognized in some form. If the schemata involving "p" and "q" are considered to expose

Re: [peirce-l] Frege against the Booleans

2012-05-11 Thread Jim Willgoose
Hi Ben; My interest was historical (and philosophical) in the sense of what did they say about the developing work of symbolic logic in their time. The period is roughly 1879-1884. The anchor was two references by Irving (the historian of logic) to Van Heijenhoort and Sluga as worthy start poin

Re: [peirce-l] Frege against the Booleans

2012-05-11 Thread Jon Awbrey
Ben, Just to give a prototypical example, one of the ways that the distinction between concepts and judgments worked its way through analytic philosophy and into the logic textbooks that I knew in the 60s was in the distinction between a "conditional" ( → or -> ) and an "implication" ( ⇒ or => ).

Re: [peirce-l] Frege against the Booleans

2012-05-11 Thread Jon Awbrey
JW = Jim Willgoose JW: I followed up on two paper suggestions by Irving (Sluga and Van Heijenoort) in the context of the language or calculus topic. With Sluga, I detect the idea that the Begriffsshrift is a universal language because it is meaningful in a way that the Boolean logi

Re: [peirce-l] Frege against the Booleans

2012-05-11 Thread Benjamin Udell
Jim, Jon, list, I'm following this with some interest but I know little of Frege or the history of logic. Peirce readers should note that this question of priority regarding concept vs. judgment is, in Peirce's terms, also a question regarding rheme vs. dicisign and, more generally, First vs.

Re: [peirce-l] Frege against the Booleans

2012-05-11 Thread Jim Willgoose
John, I followed up on two paper suggestions by Irving (Sluga and Van Heijenoort) in the context of the languge or calculus topic. With Sluga, I detect the idea that the Begriffsshrift is a universal language because it is meaningful in a way that the Boolean logic is not. Sluga sees his pap

[peirce-l] Mathematics, Phenomenology, Normative Science, Metaphysics

2012-05-11 Thread Jon Awbrey
o~o~o~o~o~o I began to be curious about the recurrence of the following passage from Peirce in internet discussions over the last dozen years or so. Syllabus : Classification of Sciences (1.180-202, G-1903-2b) • http://www.princeton.edu/~batke/peirce/cl_o_

Re: [peirce-l] Frege against the Booleans

2012-05-11 Thread Jon Awbrey
Re: Jim Willgoose At: http://thread.gmane.org/gmane.science.philosophy.peirce/8141 JA = Jon Awbrey JW = Jim Willgoose JA: Just to be sure we start out with the same thing in mind, are you talking about the notion of judgment that was represented by the "judgment stroke" in Frege's “Beg