Re: [PEIRCE-L] [ontolog-forum] Mario Bunge's ideas and Foundations of information technology

Avril, As I said in my note, I believe that Mario Bunge's view that an ontology based on systems is quite good.  I also agree with the quotations you cited in your note. But one thing that is missing from most discussions of ontology is a definition of 'reality' that specifically includes

RE: [PEIRCE-L] Intuitionistic Logic

Jon A, according to Peirce it’s true for Philonians but not for Diodorans. See text inserted into Lowell Lecture 2 (gnusystems.ca) . Gary f From: peirce-l-requ...@list.iupui.edu On Behalf Of Jon Awbrey Sent: 19-May-21 19:13 To: Helmut Raulien

Re: [PEIRCE-L] Intuitionistic Logic

Jon A., List: Technically, yes, at least in classical logic. Nevertheless, according to Peirce, "it can no longer be granted that every conditional proposition whose antecedent does not happen to be realized is true" (CP 4.580, 1906). Regards, Jon Alan Schmidt - Olathe, Kansas, USA Structural

Re: [PEIRCE-L] Intuitionistic logic

Helmut, List: HR: I think, Jon A.S., you once gave me the following example: "Every unicorn is pink" is false, but "There is no unicorn that is not pink" is true. Here is what I actually said a few months ago. JAS (https://list.iupui.edu/sympa/arc/peirce-l/2021-01/msg00075.html): For example,

Re: [PEIRCE-L] Intuitionistic Logic

FYI — “Every unicorn 濾 is pink” is true. Jon http://inquiryintoinquiry.com > On May 19, 2021, at 5:52 PM, Helmut Raulien wrote: > > List, > > Does anybody know an example which justifies intuitionistic logic, so in > which classical logic fails? I think Jon, A.S., you once gave me the >

Aw: [PEIRCE-L] Intuitionistic logic

      Supplement: A third way of classically synchronizing the two propositions may be the counterfactual material implication, the "ex falso quodlibet" in a broader sense. Then "if it is a unicorn, it is pink" is true, and also "If it is a unicorn, it is pink, all cats are dogs, Santa Claus is

Aw: [PEIRCE-L] Intuitionistic logic

List,   Does anybody know an example which justifies intuitionistic logic, so in which classical logic fails? I think Jon, A.S., you once gave me the following example:   "Every unicorn is pink" is false, but "There is no unicorn that is not pink" is true.   "Every unicorn is pink" is false,

[PEIRCE-L] FWD: The 2021 Summer Institute in American Philosophy (SIAP)

Forwarded FYI. GR D

[PEIRCE-L] EG Introduction (was Intuitionistic logic)

Gary F., List: Thanks for the link to your current draft, which I think is an excellent overview. My only suggestion, besides the obvious one of finishing and posting it, is to add links at the very end to the 1973 book by Roberts (

Re: [PEIRCE-L] Intuitionistic logic

John, Gary F., List: JFS: Intuitionistic logic is a restriction on the permissible rules of inference. I suppose that is one way to view the omission of the (so-called) law of excluded middle, but it is precisely equivalent to saying that non-Euclidean geometry is a restriction on the

Re: [PEIRCE-L] Intuitionistic logic

John, List: JFS: But in R670. Peirce definitively rejected the idea of defining negation in terms of implication and falsity. Also JFS (https://list.iupui.edu/sympa/arc/peirce-l/2021-05/msg00045.html): In discussions about Peirce and his writings, anything other than an exact quotation by Peirce

Re: [PEIRCE-L] Differential Logic and Dynamic Systems

Cf: Differential Logic and Dynamic Systems • Overview https://inquiryintoinquiry.com/2019/09/10/differential-logic-and-dynamic-systems-overview/ All, Here's an update of the anchor post on this subject. In modeling intelligent systems, whether we are trying to understand a natural system or

RE: [PEIRCE-L] Intuitionistic logic

Gary R and list, Being a non-mathematician myself, I’ve been drafting an introduction to Peirce’s EGs for the likes of us. I have the current draft online now here: EG introduction (gnusystems.ca) It includes many links both to Peirce’s own

RE: [PEIRCE-L] Intuitionistic logic

John, I appreciate the clarification in your post: when you wrote that intuitionist logic "blocks the way of inquiry", what you really meant was that it "blocks the way" of using the most convenient, efficient, and flexible methods of reasoning. Peirce's idea of inquiry, and specifically of the