John, (01)
On Wed, 2010-11-10 at 10:29 -0500, John F. Sowa wrote:
> Patrick,
>
> Yes, that is the work that logicians were doing in the 1920s and '30s:
>
> > Presenting in a nutshell the results of our quick historical overview,
> > we can say that around 1900 logic was conceived as a theory of
> > sentences, set and relations; after World War I and as late as 1930 the
> > exemplar for modern logic was a higher-order system, simple type theory;
> > and only around 1940-1950 did the community of logicians as a whole come
> > to agree that the paradigm logical system is FOL.
>
> But that is what Peirce was doing between 1897 and 1909. He published
> much of it in 1906. but it was ignored by most logicians. Among the few
> who read his later writings were Clarence Irving Lewis and Arthur Prior,
> both of whom made major contributions to modal logic and related topics.
> (02)
I realize that is your position. That much is clear. ;-) (03)
My point wasn't to challenge that but to point out that FOL, like other
ideas, was developed (not discovered) in a social context. (04)
That you read Peirce as developing the same ideas in the same time frame
is interesting but not really on point. (05)
The point is that ideas are developed, adopted, expanded, discarded,
revived, for all manner of reasons. Very few, if any, of which have
anything to do with their "correctness." (06)
Hope you are having a great day! (07)
Patrick (08)
> For a brief summary of Peirce's work, see his tutorial of 1909 with my
> commentary:
>
> http://www.jfsowa.com/peirce/ms514.htm
>
> For a summary of Peirce's contributions to the 21st century, see
>
> http://www.jfsowa.com/pubs/csp21st.pdf
>
> For another view of historical developments in logic:
>
> http://www.jfsowa.com/pubs/5qelogic.pdf
>
> John
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
> (09)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (010)
|