PEIRCE-L Digest for Tuesday, December 03, 2002.
[NOTE: This record of what has been posted to PEIRCE-L
has been modified by omission of redundant quotations in
the messages. both for legibility and to save space.
-- Joseph Ransdell, PEIRCE-L manager/owner]
1. Re: Identity & Teridentity
2. Re: Peircean Semiotic & Intelligence Augmentation
3. Re: Peircean Semiotic & Intelligence Augmentation
4. Peirce identities and deflation
5. Re: Peircean Semiotic & Intelligence Augmentation
6. Re: Peircean Semiotic & Intelligence Augmentation
7. Re: Peircean Semiotic & Intelligence Augmentation
8. Re: Peircean Semiotic & Intelligence Augmentation
9. Re: Peircean Semiotic & Intelligence Augmentation
10. Re: Peircean Semiotic & Intelligence Augmentation
11. Re: Peircean Semiotic & Intelligence Augmentation
12. Re: Peircean Semiotic & Intelligence Augmentation
13. Re: Peircean Semiotic & Intelligence Augmentation
14. Re: Peircean Semiotic & Intelligence Augmentation
15. Re: Peircean Semiotic & Intelligence Augmentation
16. Re: Peircean Semiotic & Intelligence Augmentation
17. Re: Peircean Semiotic & Intelligence Augmentation
18. Peircean Semiotics & Computer Human Interaction
----------------------------------------------------------------------
Subject: Re: Identity & Teridentity
From: Jon Awbrey <
----------------------------------------------------------------------
Subject: Re: Peircean Semiotic & Intelligence Augmentation
From: Peter Skagestad <
RJG = Ronald Jeffrey Grace
JR = Joseph Ransdell
[RJG] You said "My thought is presently on your screen" but I'm =
wondering if it isn't more accurate to say "My thought is present on =
your screen through written words acting as signs" ? (Sounds like you =
agree). In other words, what I'm seeing on my screen are words acting =
as signs bringing me your thoughts. I think the distinction is =
important, for if Peirce maintained ( and we agree with him) that =
thoughts are signs rather than being in signs, then the next question =
that arises for me is: are signs reducible to words, or anything else =
that acts as a sign? I would guess that they aren't!
JR: "All thought is in signs" is the maxim. Being a sign is having a =
certain power (the power of semiosis), and whether or not something has =
such a power to a significant degree, and in what respect, and of what =
sort has nothing special to do with words. I merely cite words as an =
example. =20
Thought is embodied. Its embodiment means that it has monadic and =
dyadic properties. Its sign properties are powers of that which =
embodies it, which is to say that they are tendencies of what embodies =
the thought which are triggered under certain conditions. Dispositional =
powers are not reducible to dyadic and/or monadic properties, on =
Peirce's view. Assuming that, I don't know what more would be required =
to justify regarding thought as being IN signs. I don't know what would =
be gained, or even what would be meant, in saying that thought IS signs =
unless that just says the same thing.
[RJG] That's the real issue for me I think. If he did say that or =
something equivalent, it would be something I'd like to get to the =
bottom of! On the other hand, the idea of thoughts being dependant on =
neurons isn't too troubling for my thinking.=20
JJR: I wonder if it is not a pseudo-problem, possibly based on the =
misunderstanding of what is meant by "in". But I may be =
misunderstanding what concerns you , Jeff.
Joe Ransdell
----------------------------------------------------------------------
Subject: Peirce identities and deflation
From: "Alexandre" <
----------------------------------------------------------------------
Subject: Re: Peircean Semiotic & Intelligence Augmentation
From: "cthorne/Creath Thorn" <
----------------------------------------------------------------------
Subject: Re: Peircean Semiotic & Intelligence Augmentation
From: "cthorne/Creath Thorn" <
----------------------------------------------------------------------
Subject: Re: Peircean Semiotic & Intelligence Augmentation
From: "cthorne/Creath Thorn" <csthorne[…]ultra.ccp.com>
Date: Tue, 03 Dec 2002 21:10:00 GMT
X-Message-Number: 15
If the chess-playing machine is completely dyadic, then it exists
perpetually in secondness, a world of strict reaction. How, then, can we
account for our perception that the machine is predictable, does have
habits, does even at times, as Kasparov said, appear to act with
intelligence? If a machine's behavior can only be described in terms of
thirdness (and how else could a satisfactory chess move be so described?),
then how can it be "completely dyadic"?
Kenneth Ketner writes:
> Does the chess playing computer ever "not run a program"? If the answer is
> no (it always runs programs), then it is completely dyadic.
>
----------------------------------------------------------------------
Subject: Re: Peircean Semiotic & Intelligence Augmentation
From: "cthorne/Creath Thorn" <csthorne[…]ultra.ccp.com>
Date: Tue, 03 Dec 2002 21:12:27 GMT
X-Message-Number: 16
This is one of the classic responses to Searle's Chinese Room argument. But
I think Peirce would argue that signs cannot be the hard, neutral artifacts
that you argue for here. Creath Thorne
R. Jeffrey Grace writes:
>
> Ken,
>
> Would another way to say this be: The computer doesn't have a mind? The
> copmuter does run a program which is the product of a mind (the
> programmer's) but the computer itself has no mind. The way a computer
> paricipates in a world suffused with thirdness, then, is as a tool or
> artifact, which manipulates but doesn't interpret signs. The human
> participates as an interpreter of signs.
>
> Jeff
----------------------------------------------------------------------
Subject: Re: Peircean Semiotic & Intelligence Augmentation
From: Jon Awbrey <jawbrey[…]oakland.edu>
Date: Tue, 03 Dec 2002 16:32:41 -0500
X-Message-Number: 17
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
PSI. Note 20
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
In the middle of the otherwise dismal disco era,
I was studying various aspects of what is often
called "category theory applied to computation",
and it happened that some of the leading edge
research of the times was beginning to pull
itself far enough out of the mire of our
twinkieth century legacy in logic that
it was beginning to rediscover a few
of the long dormitive insights that
Peirce had insighted so long ago.
Since we find ourselves, wilye nilye, seriously entertaining
a few kindred sprites of computation theory, here are a few
excerpts from these sources, not so leading edge anymore
but still quite pertinent to our discussions, that now
come back to mind, so to speak:
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Program Semantics
Preface
01. http://suo.ieee.org/ontology/msg03884.html
1. An Introduction to Denotational Semantics
1.1. Syntax and Semantics
02. http://suo.ieee.org/ontology/msg03885.html
03. http://suo.ieee.org/ontology/msg03886.html
04. http://suo.ieee.org/ontology/msg03887.html
1.2. A Simple Fragment of Pascal
05. http://suo.ieee.org/ontology/msg03890.html
06. http://suo.ieee.org/ontology/msg03895.html
07. http://suo.ieee.org/ontology/msg03896.html
08. http://suo.ieee.org/ontology/msg03898.html
09. http://suo.ieee.org/ontology/msg03904.html
10. http://suo.ieee.org/ontology/msg03905.html
1.3. A Functional Programming Fragment
11. http://suo.ieee.org/ontology/msg03906.html
12. http://suo.ieee.org/ontology/msg03909.html
13. http://suo.ieee.org/ontology/msg03910.html
14. http://suo.ieee.org/ontology/msg03911.html
15. http://suo.ieee.org/ontology/msg03912.html
16. http://suo.ieee.org/ontology/msg03915.html
17. http://suo.ieee.org/ontology/msg03919.html
1.4. Multifunctions
18. http://suo.ieee.org/ontology/msg03926.html
19. http://suo.ieee.org/ontology/msg03927.html
20. http://suo.ieee.org/ontology/msg03929.html
1.5. A Preview of Partially Additive Semantics
21. http://suo.ieee.org/ontology/msg03930.html
22. http://suo.ieee.org/ontology/msg03932.html
23. http://suo.ieee.org/ontology/msg03933.html
24. http://suo.ieee.org/ontology/msg03934.html
25. http://suo.ieee.org/ontology/msg03935.html
26. http://suo.ieee.org/ontology/msg03938.html
27. http://suo.ieee.org/ontology/msg03939.html
28. http://suo.ieee.org/ontology/msg03942.html
29. http://suo.ieee.org/ontology/msg03944.html
30. http://suo.ieee.org/ontology/msg03945.html
2. An Introduction to Category Theory
31. http://suo.ieee.org/ontology/msg03946.html
2.1. The Definition of a Category
32. http://suo.ieee.org/ontology/msg03947.html
33. http://suo.ieee.org/ontology/msg03949.html
34. http://suo.ieee.org/ontology/msg03950.html
35. http://suo.ieee.org/ontology/msg03953.html
36. http://suo.ieee.org/ontology/msg03954.html
2.2. Isomorphism, Duality, and Zero Objects
37. http://suo.ieee.org/ontology/msg03955.html
38. http://suo.ieee.org/ontology/msg03956.html
39. http://suo.ieee.org/ontology/msg03958.html
40. http://suo.ieee.org/ontology/msg03960.html
41. http://suo.ieee.org/ontology/msg03963.html
42. http://suo.ieee.org/ontology/msg03977.html
43. http://suo.ieee.org/ontology/msg03979.html
44. http://suo.ieee.org/ontology/msg04013.html
2.3. Products and Coproducts
45. http://suo.ieee.org/ontology/msg04014.html
46. http://suo.ieee.org/ontology/msg04015.html
47. http://suo.ieee.org/ontology/msg04018.html
48. http://suo.ieee.org/ontology/msg04037.html
All of the above material is excerpted from:
| Ernest G. Manes & Michael A. Arbib,
|'Algebraic Approaches to Program Semantics',
| Springer-Verlag, New York, NY, 1986.
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Higher Order Categorical Logic
Part 0. Introduction to Category Theory
1. Categories and Functors
01. http://suo.ieee.org/ontology/msg03373.html
02. http://suo.ieee.org/ontology/msg03375.html
03. http://suo.ieee.org/ontology/msg03376.html
04. http://suo.ieee.org/ontology/msg03377.html
05. http://suo.ieee.org/ontology/msg03378.html
06. http://suo.ieee.org/ontology/msg03381.html
2. Natural Transformations
07. http://suo.ieee.org/ontology/msg03383.html
08. http://suo.ieee.org/ontology/msg03384.html
09. http://suo.ieee.org/ontology/msg03392.html
10. http://suo.ieee.org/ontology/msg03393.html
11. http://suo.ieee.org/ontology/msg03394.html
12. http://suo.ieee.org/ontology/msg03395.html
Part 1. Cartesian Closed Categories & Lambda Calculus
Introduction to Part 1
13. http://suo.ieee.org/ontology/msg03396.html
Historical Perspective on Part 1
14. http://suo.ieee.org/ontology/msg03398.html
15. http://suo.ieee.org/ontology/msg03399.html
16. http://suo.ieee.org/ontology/msg03400.html
17. http://suo.ieee.org/ontology/msg03401.html
18. http://suo.ieee.org/ontology/msg03402.html
1. Propositional Calculus as a Deductive System
19. http://suo.ieee.org/ontology/msg03403.html
20. http://suo.ieee.org/ontology/msg03404.html
21. http://suo.ieee.org/ontology/msg03405.html
22. http://suo.ieee.org/ontology/msg03406.html
2. The Deduction Theorem
23. http://suo.ieee.org/ontology/msg03409.html
3. Cartesian Closed Categories Equationally Presented
24. http://suo.ieee.org/ontology/msg03410.html
25. http://suo.ieee.org/ontology/msg03411.html
26. http://suo.ieee.org/ontology/msg03412.html
Back to Part 0
3. Adjoint Functors
27. http://suo.ieee.org/ontology/msg03415.html
28. http://suo.ieee.org/ontology/msg03416.html
29. http://suo.ieee.org/ontology/msg03417.html
30. http://suo.ieee.org/ontology/msg03418.html
All of the above material is excerpted from:
| Lambek, J. & Scott, P.J.,
|'Introduction To Higher Order Categorical Logic',
| Cambridge University Press, Cambridge, UK, 1986.
|
| http://uk.cambridge.org/mathematics/catalogue/0521356539/
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
----------------------------------------------------------------------
Subject: Peircean Semiotics & Computer Human Interaction
From: Jon Awbrey <jawbrey[…]oakland.edu>
Date: Tue, 03 Dec 2002 22:24:39 -0500
X-Message-Number: 18
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
here is a website of interest on this topic:
http://www.dipf.de/projekte/Paed_Sem_HCI/Paed_Sem_HCI_Home.htm
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
---
END OF DIGEST 12-03-02