(The remarkable mountains in the above picture are in Patagonia.)
I am a professor emeritus of philosophy at Colorado State University.
To see some of my logic papers click here. Also, see Digital Collections of Colorado.
To see my website wildflower website google on "Fred's wildflowers" or click here. To find pictures of wildflowers you can search by family, genus, common name, color or location.
To see my pictures of wildflowers in Lory State Park, CO click here: loryflowers.blogspot.com
Some people who influenced my work:
My favorite teachers at Oberlin in the late 50s included Paul Schmidt in philosophy and Samuel Goldberg in math. Goldberg worked well at teaching me how to do careful proofs. When doing graduate work I benefited from work with Jerome Bruner at Harvard and both Ian Hacking and G.T. Wyburn at the University of Virginia. (Hacking gave me an independent study course on Martin Davis's _Computability and Unsolvability_. Later he helped me make connections that made my year's post-doctoral work at Cambridge University so valuable. Wyburn's graduate course on topology was unusual. There was no book. He began by writing axioms on the board and our job as students was to develop the course from those axioms. So, for example, one of the students, Wyburn's brilliant son, proved the Jordan curve theorem from those axioms -- every simple closed curve, such as a circle, has an inside and an outside.)
At Ohio State Stephen Barker, Charles Kielkopf and Robert Turnbull were influential. Barker taught the philosophy of math, Kielkopf taught advanced logic and Turnbull was my advisor for my Ph.D. dissertation -- 'Non-linguistic theories of truth' (1970).
I did post-doctoral work at Cambridge in the mid-70s with Timothy Smiley and at Oxford in the early 80s with Christopher Kirwan, who linked me to Exeter College, and David Bostock. Smiley's 'What is a syllogism?' had a great influence on my work. He gave the first decision procedure for determining whether any syllogism with any finite number of premises is valid. Taking advantage of Smiley's work I showed in 'Three-membered domains for Aristotle's syllogistic' that invalid syllogisms with any finite number of premises may be shown to be invalid by using a domain with no more than three members. In later years Smiley gave me considerable help with a paper of mine on the work of Storrs McCall. McCall developed a formalization of Aristotle's modal syllogisms but did not provide the desired semantics that matches his syntax. I did this in 'Models for modal syllogisms' . Smiley also helped me with my work on the judgment operator of rejection, which is to be distinguished from negation found in propositions, in my 'Rejection' .
I met Richard Routley (later Sylvan) and Paul Thom on a sabbatical leave at Australian National University in 1978. Routley helped me with a paper I published in the Relevance Logic Newsletter, and Thom's The Logic of Essentialism: An Interpretation of Aristotle's Modal Syllogistic had a considerable influence on my work on Aristotle. My wife, Antonia, and I had a memorable experience visiting Routley and his wife, Val Plumwood, in their large rainforest near Bateman's Bay. Their stone house was under construction. So we slept under a ten-foot tall tree fern, near leeches, deadly spiders and snakes, and friendly wallabies.
The logicians George Hughes and Max Cresswell were generous hosts during a portion of a sabbatical spent in New Zealand.
I enjoyed a collaboration with Peter Woodruff. Among other things we wrote about a four-valued logic in 'Categorical consequence for paraconsistent logic.' Woodruff read the paper at a conference in Brazil.
I've enjoyed trips to Canada, Europe, Asia, Africa, Central America, and South America. I gave talks on logic at the Russian Academy of Sciences in Pereslaval-Zalessky, the Australian National University, Victoria University in Wellington, New Zealand, and the University of Costa Rica. I also spoke at conferences in Canada, the Czech Repuplic and Brazil. Trips through Finland, Croatia, Hungary, Slovakia, Poland, Iran, India, Nepal, Taiwan, China, Tibet, Patagonia, and the Pantanal in Brazil are especially memorable. This is a picture of me at a break for a ten hour bus trip from Chengdu to Jiuzhaigou Nature Reserve.
I also enjoy chamber music workshops which I've attended here and in the U.K. We play string quartets, piano quartets, clarinet quarets, etc. from morning until late in the evening. The violin is my instrument for such events. I graduated as a violinist from the Warren Conservatory of Music in northeastern Pennsylvania, studied the violin at Oberlin, and later studied the bass at Ohio State and the Aspen Summer Music School. I studied the viola da gamba at Colorado State.
I am a professor emeritus of philosophy at Colorado State University.
To see some of my logic papers click here. Also, see Digital Collections of Colorado.
To see my website wildflower website google on "Fred's wildflowers" or click here. To find pictures of wildflowers you can search by family, genus, common name, color or location.
To see my pictures of wildflowers in Lory State Park, CO click here: loryflowers.blogspot.com
Some people who influenced my work:
My favorite teachers at Oberlin in the late 50s included Paul Schmidt in philosophy and Samuel Goldberg in math. Goldberg worked well at teaching me how to do careful proofs. When doing graduate work I benefited from work with Jerome Bruner at Harvard and both Ian Hacking and G.T. Wyburn at the University of Virginia. (Hacking gave me an independent study course on Martin Davis's _Computability and Unsolvability_. Later he helped me make connections that made my year's post-doctoral work at Cambridge University so valuable. Wyburn's graduate course on topology was unusual. There was no book. He began by writing axioms on the board and our job as students was to develop the course from those axioms. So, for example, one of the students, Wyburn's brilliant son, proved the Jordan curve theorem from those axioms -- every simple closed curve, such as a circle, has an inside and an outside.)
At Ohio State Stephen Barker, Charles Kielkopf and Robert Turnbull were influential. Barker taught the philosophy of math, Kielkopf taught advanced logic and Turnbull was my advisor for my Ph.D. dissertation -- 'Non-linguistic theories of truth' (1970).
I did post-doctoral work at Cambridge in the mid-70s with Timothy Smiley and at Oxford in the early 80s with Christopher Kirwan, who linked me to Exeter College, and David Bostock. Smiley's 'What is a syllogism?' had a great influence on my work. He gave the first decision procedure for determining whether any syllogism with any finite number of premises is valid. Taking advantage of Smiley's work I showed in 'Three-membered domains for Aristotle's syllogistic' that invalid syllogisms with any finite number of premises may be shown to be invalid by using a domain with no more than three members. In later years Smiley gave me considerable help with a paper of mine on the work of Storrs McCall. McCall developed a formalization of Aristotle's modal syllogisms but did not provide the desired semantics that matches his syntax. I did this in 'Models for modal syllogisms' . Smiley also helped me with my work on the judgment operator of rejection, which is to be distinguished from negation found in propositions, in my 'Rejection' .
I met Richard Routley (later Sylvan) and Paul Thom on a sabbatical leave at Australian National University in 1978. Routley helped me with a paper I published in the Relevance Logic Newsletter, and Thom's The Logic of Essentialism: An Interpretation of Aristotle's Modal Syllogistic had a considerable influence on my work on Aristotle. My wife, Antonia, and I had a memorable experience visiting Routley and his wife, Val Plumwood, in their large rainforest near Bateman's Bay. Their stone house was under construction. So we slept under a ten-foot tall tree fern, near leeches, deadly spiders and snakes, and friendly wallabies.
The logicians George Hughes and Max Cresswell were generous hosts during a portion of a sabbatical spent in New Zealand.
I enjoyed a collaboration with Peter Woodruff. Among other things we wrote about a four-valued logic in 'Categorical consequence for paraconsistent logic.' Woodruff read the paper at a conference in Brazil.
I've enjoyed trips to Canada, Europe, Asia, Africa, Central America, and South America. I gave talks on logic at the Russian Academy of Sciences in Pereslaval-Zalessky, the Australian National University, Victoria University in Wellington, New Zealand, and the University of Costa Rica. I also spoke at conferences in Canada, the Czech Repuplic and Brazil. Trips through Finland, Croatia, Hungary, Slovakia, Poland, Iran, India, Nepal, Taiwan, China, Tibet, Patagonia, and the Pantanal in Brazil are especially memorable. This is a picture of me at a break for a ten hour bus trip from Chengdu to Jiuzhaigou Nature Reserve.
I also enjoy chamber music workshops which I've attended here and in the U.K. We play string quartets, piano quartets, clarinet quarets, etc. from morning until late in the evening. The violin is my instrument for such events. I graduated as a violinist from the Warren Conservatory of Music in northeastern Pennsylvania, studied the violin at Oberlin, and later studied the bass at Ohio State and the Aspen Summer Music School. I studied the viola da gamba at Colorado State.
googled3a2ba70ee9abb82-5.html | |
File Size: | 0 kb |
File Type: | html |