Correction, the two quotes that I cite below as being from R 481:5 are
actually from R 418:5.
On Fri, Jul 16, 2021 at 9:42 PM Jon Alan Schmidt
wrote:
> Gary R., List:
>
> GR: Is it in that "next chapter" that Peirce takes up the logic of
> relations?
>
>
> T
Elementary Graph, like each chemical element,
has its definite Valency ... . This is resemblance enough. (NEM 4:320-321,
1906)
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christian
www.LinkedIn.com/in/JonAlanSchmidt - twitter.com/JonAlan
gh
analysis.
GR: In one place Peirce even goes so far as to suggest that the categories
were first *found* in phaneroscopy and then *confirmed *retrospectively
(from the standpoint of his classification of the sciences) in mathematics.
Please provide that quotation.
Regards,
Jon Alan Schmidt -
n Fri, Jul 16, 2021 at 9:15 AM Ben Udell wrote:
> Hi, Jon Alan Schmidt, list,
>
> I guess that Pietarinen, when he says of the MS 490 existential graphs in
> the _*Collected Peirce*_: "*the five that it reproduced are all erroneous*",
> he means the Peirce erred, not that CP
nly *under exactly the same circumstance--every man goes
bankrupt and no man commits suicide--and *assuming *that each is true
otherwise. Intuitionistic logic rejects the latter, so in that system the
two propositions are *not *formally equivalent.
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
St
gly, it corresponds to #2 in the
"procedural order" rather than #1.
Moreover, I suggest that *applying* the logic of relatives in this way is
using principles *adapted from* mathematics *within *phaneroscopy.
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Syne
py comes before normative science, it depends only on
pure maathematics, especially formal logic.
No one is disputing this, as long as "formal logic" is understood in
the *narrow
*sense of mathematical (deductive) logic, not the *broad *sense of "formal
semeiotic."
Regards,
Jon
them in the phaneron. *Studying *relations
mathematically--i.e., hypothetically and deductively--is indeed good
preparation for *studying *the phaneron and recognizing that there are
exactly three irreducible elements in it.
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engine
e--"All
mathematical reasoning, even although it relates to probability, is of the
nature of necessary reasoning" (CP 7.180, EP 2:82, 1901)--but this is true
of all reasoning in *every *science.
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Luthe
py but also logic, metaphysics, and all the special sciences.
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christian
www.LinkedIn.com/in/JonAlanSchmidt - twitter.com/JonAlanSchmidt
On Wed, Jul 14, 2021 at 4:46 AM robert marty
wrote:
>
alls "empirics" in c. 1896 seems to go well beyond
what he calls "phaneroscopy" several years later--also encompassing logic,
metaphysics, and the special sciences, but presumably not the normative
science of ethics, which seems to fall under "pragmatics" instead.
ts method, that of drawing necessary conclusions; the other by its
aim and subject matter, as the study of hypothetical states of things. (CP
4.229&233-234&238, 1902)
In short, according to Peirce, mathematics is *strictly deductive* in its
method and *strictly hypothetical* in its subject m
ed to* products of the imagination, such that phaneroscopy is
indeed a *positive *science (in the sense described below) while
mathematics is a strictly *hypothetical *science.
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christian
www.LinkedIn.com/in
we also not moving in the direction of Kant's "thing as such"
or thing in and of itself?
No, because we are not saying that we *cannot *access reality, just that in
phaneroscopy we are not *concerned *with whether what is present to the
mind is reality or figment.
Regards,
Jon Alan Sc
2.274, EP
2:272-273, 1903); or put another way, the first (simplest) correlate, the
second (middling) correlate, and the third (most complex) correlate (CP
2.233-237, EP 2:289-290, 1903).
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christian
; qualification. But we must not forget that we were discussing phaneroscopy.
> Occupied with tha phaneron only, we still have to take the step of
> consciousness of objects-referred-to and consciousness of interaction.
>
> Auke
>
> -- Oorspronkelijk bericht --
&g
se excerpts are taken, so the real question
is how anyone could plausibly claim that either of those is somehow a more
appropriate name for what we are discussing.
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christian
www.LinkedIn.com/in/JonAla
of consciousness
itself. Does that clarify the matter?
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christian
www.LinkedIn.com/in/JonAlanSchmidt - twitter.com/JonAlanSchmidt
On Mon, Jun 21, 2021 at 3:19 PM Gary Richmond
wrote:
> Helmut, List,
>
that is in unpublished manuscripts and personal
letters, so it seems harsh to criticize him as violating his own ethics of
terminology where he is not deliberately writing for the wider scientific
community. In our current context, I fully agree that we are each making
"good faith attempts to
g to apprehend is pure Firstness, the Firstness
of Secondness--that is what Secondness is, of itself--and the Firstness of
Thirdness" (CP 1.530, 1903), then I propose that
qualisense/altersense/medisense is the best option currently on the table
for their counterparts in consciousness.
Regards,
gly that "the hard part of
phaneroscopy" is more a matter of concentration/attention than
observation/imagination. The latter is going on all the time, which is the
sense in which we are all (at least potentially) phaneroscopists; but
*concentrating
*on the phaneron and giving it our und
who has a tendency to jump
straight into logic/semeiotic and metaphysics.
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christian
www.LinkedIn.com/in/JonAlanSchmidt - twitter.com/JonAlanSchmidt
On Fri, Jun 18, 2021 at 9:13 AM wrote:
> A
nd "nobody can claim that anything other than an exact quotation is what
Peirce intended."
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christian
www.LinkedIn.com/in/JonAlanSchmidt - twitter.com/JonAlanSchmidt
On Thu, Jun 17, 202
on involves
precisive abstraction," and as we will be discussing later in the slow read
of De Tienne's slides, prescission is an indispensable tool of phaneroscopy.
Perhaps you could elaborate on the two questions that you posed, hopefully
prompting some further reflection and discussion.
Thanks,
Jon Alan
list.iupui.edu/sympa/arc/peirce-l/2021-06/msg00126.html).
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christian
www.LinkedIn.com/in/JonAlanSchmidt - twitter.com/JonAlanSchmidt
On Thu, Jun 17, 2021 at 8:12 AM Edwina Taborsky wrote:
> Lis
ly
> their appearances;"
>
> But phaneroscopy is concerned with the appearances of reality - and this
> reality can't be different among the sciences.
>
> Edwina
>
> On Wed 16/06/21 10:31 AM , Jon Alan Schmidt jonalanschm...@gmail.com sent:
>
> Auke, Edwina, List:
>
> AvB
mind elaborating on what she meant by that on-List remark, and she
replied that she would do so "as time permits," but so far I have not
received any further clarification.
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christian
www.Link
es it from metaphysics. It is
also not limited to the study of signs, but examines any and every kind of
phenomenon; that is what differentiates it from semeiotic.
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christian
www.LinkedIn.com/in/JonA
anch of phaneroscopy is not *Peirce's* classification of the sciences.
After all, "nobody can claim that anything other than an exact quotation is
what Peirce intended."
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christian
www.LinkedIn.com/i
t; Firstness. I am only aware of it when the stimulus has moved me [and it]
> into an interaction of Secondness. But- the cause of my reaction had
> already entered my system.
>
> Edwina
>
> On Tue 15/06/21 2:05 PM , Jon Alan Schmidt jonalanschm...@gmail.com sent:
>
> Edwina, List:
>
> external stimulus into the body. This does not involve awareness or
> consciousness but it does involve 'acceptance' into the self-domain, so to
> speak.
>
> Edwina
>
> On Tue 15/06/21 1:21 PM , Jon Alan Schmidt jonalanschm...@gmail.com sent:
>
> Edwina, List:
>
>
icon. (1903, CP
> 2.276)
>
> I am trying to line this scenario up with First Firstness/Second
> Firstness/Third Firstness.
>
> Much appreciated,
>
> Cathy T.
>
> On Tue, Jun 15, 2021 at 12:51 PM Jon Alan Schmidt <
> jonalanschm...@gmail.com> wrote:
&g
, as it is in itself without reference to
anything else; not any *actual *feeling, as it is experienced and
distinguished from other feelings.
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christian
www.LinkedIn.com/in/JonAlanSchmidt - twitter.com
ence analogous to a portrait we will say of Leopardi with Leopardi
written below it. It conveys its information to a person who knows who
Leopardi was, and to anybody else it only says "something called Leopardi
looked like this." (CP 8.183, EP 2:496, 1909)
Regards,
Jon Alan Schmidt -
and articles.
The title of Dr. Jappy's book explicitly characterizes its subject matter
as "the philosophy of representation," and one of the quotes from it that I
provided in my previous post explicitly defines this as the *normative *aspect
of logic--i.e., semeiotic, including specul
not to
conflate the two by treating the latter as if it were a branch of the
former, since it also depends on esthetics and ethics as Peirce clearly
maintained.
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christian
www.LinkedIn.com/in/JonAlanSchmidt
to Peirce's classification of
the sciences, distinguishing reality from figments is a task for
metaphysics, which must be informed not only by phaneroscopy but also by
the normative sciences of esthetics, ethics, and logic as semiotic.
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer
ons, and accordingly *derives *the cut from a
scroll with a blackened inner close shrunk to infinitesimal size.
Cheers,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christian
www.LinkedIn.com/in/JonAlanSchmidt - twitter.com/JonAlanSchmidt
On Thu, Jun 3
nor by any sense
of being opposed, but from our own reason. (EP 2:485, 1908; bold added)
Here Peirce explicitly gives predication, implication, and conjunction as
examples of such logical relations. What we *do *observe in the
phaneron--whatever is or could be present to the mind, not limited to
ex
ith greater clarity, precision,
and generality with the EGs of 1911." In fact, so far, "Nobody has ever
found a single exception" to my own observation that there is no evidence
in any text by Peirce that he *rejected *this idea. Again, *omission is not
rejection.*
Regard
e new text font, nor
of the reams of character strings in each message's header (especially for
"Ironport-data" and "Ironport-phdr"), but at least the system seems to be
working properly again.
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist P
with my article.
Please be sure to include the following statement from a previous post.
JFS: Nobody -- not you, nor Ahti, nor Francesco, nor anybody else -- has
shown any evidence to the contrary.
I would be very interested in seeing their response to this assertion.
Regards,
Jon Alan Sc
s about EGs, many of them never
previously published. Frankly, those two men are far and away more
accomplished and more authoritative Peirce scholars than either of us could
ever hope to be.
In any event, whether the evidence for one side or the other is
"overwhelming" or merely persuasive is for
tanding analysis of negation as being derived
from the implication of falsity, which extends back several decades to his
development of logical algebras long before he even invented EG. Only a
direct quotation of an explicit statement by Peirce could warrant
attributing such a drastic a change of m
er similar to
> Aquinas 'Five Arguments for the Existence of God' -which are a posteriori
> rationalizations.
>
> We'll have to leave it at that - each of us has our own
> interpretation/opinion of the Peircean texts - equally grounded in texts.
>
> Edwina
>
> On Thu 2
ides the blank sheet, *must *be the
scroll for implication; i.e., it *cannot *be the cut for negation. Of
course, this is *perfectly *compatible with Peirce's derivation of the
latter from the former on multiple occasions.
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechi
showing that *tychism *must give birth to an
evolutionary cosmology, in which all the regularities of nature and of mind
are regarded as products of growth, and to *a Schelling-fashioned idealism
which holds matter to be mere specialized and partially deadened mind.* (CP
6.102, EP 1:312, 1892; bold ad
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
them.
Only things that exist *in the universe of discourse* are allowed in EG. So
far we have been talking about the universe of *actual *existence, which
contains no unicorns. If we were instead talking about the unicorns in an
animated Disney movie, then those unicorns *would *exist in that
universe-
f A
then C" implies "not both A and not-C," the inference in the other
direction is invalid. In fact, simply by explicitly distinguishing a scroll
for implication from nested cuts for double negation, Existential Graphs
can be employed in accordance with intuitionistic logic rather th
an investigation, or even just diminish its legitimacy, is the one who
is blocking the way of *inquiry*.
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christian
www.LinkedIn.com/in/JonAlanSchmidt - twitter.com/JonAlanSchmidt
On Wed, Ma
orst I ever perpetrated. (RL 477, 1913 Nov 7;
bold added)
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christian
www.LinkedIn.com/in/JonAlanSchmidt - twitter.com/JonAlanSchmidt
On Tue, May 18, 2021 at 9:59 PM John F. Sowa wrote:
> Jon A
ropositional constant or
Gamma-MR with broken cuts. Such aspects are of considerable *intrinsic *logical
and philosophical interest, aside from any potential practical applications.
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christia
Ben, Gary R., List:
To clarify, it looks like the archive itself remains available, but no new
posts have shown up there since late Saturday night.
Thanks,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christian
www.LinkedIn.com/in/JonAlanSchmidt
initely multiple
identity. (CP 4.583, 1906)
The upshot is that SG, like EG from which it is adapted, "enables us to
carry the logical analysis of terms, propositions, and arguments to the
furthest point possible in the nature of things" (R 296:7-8, 1908). What
remains to be discussed is the *
ved out of sight at will (R 669:22[20], LF 1:583, 1911 Jun 1).
JFS: If you doubt my judgment on this matter, you might ask Ahti and
Francesco whether they agree with you.
Thanks again to Francesco for sharing his thoughts (
https://list.iupui.edu/sympa/arc/peirce-l/2021-03/msg3.html).
Regards
ohn Sowa's latest post in the near future. I
sincerely hope that you (and others) will join the discussion again
whenever you can.
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christian
www.LinkedIn.com/in/JonAlanSchmidt - twitter.com/JonA
gth in the Monist of
October 1906" (RL 378, 1911 Sep 29; emphasis mine). "For although the
system itself is marked by extreme simplicity, the *description *fills 55
pages, and defines over a hundred technical terms applying to it" (RL 376,
1911 Dec 6; emphasis mine).
Regards,
rimitive and
*cannot *be analyzed as a composite of two negations because the latter is
missing the "real movement of thought in the mind" from antecedent to
consequent.
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christian
www.LinkedIn.com
would be
true whenever "A" is true. Admittedly, imposing it might limit the
usefulness of SG for *propositional* logic, which is mainly what I have
been discussing so far; but it seems to capture the nature of
abductive/retroductive inference, and perhaps it would be a different story
with
Test
>
_ _ _ _ _ _ _ _ _ _
► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON
PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu .
► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu
with no subject, and with the sole
ever, this interpretation seems to require some restrictions on
the insertions permitted in the latter area to ensure the requisite sort of
relation between antecedent and consequent.
As always, feedback would be welcome.
Thanks,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechi
naccurate" (Bellucci and Pietarinen).
From a strictly theoretical standpoint, the unsymmetrical relation of
implication is the third logical primitive, and negation is a derived rule
of inference where absurdity/falsity is the consequent.
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural
e EG's.
>
> --Jeff
> Jeffrey Downard
> Associate Professor
> Department of Philosophy
> Northern Arizona University
> (o) 928 523-8354
> --
> *From:* Jon Alan Schmidt
> *Sent:* Wednesday, February 17, 2021 7:30:40 PM
> *To:* peirce-l@list.iu
assumed may be restated as a judgment, and either of
these moves may be withdrawn.
That brings us to what is likely Peirce's last analysis of a conditional
proposition, written just six months before his death, as a topic for
another post. Any more comments in the meantime?
Thanks,
Jon Alan Schmidt - Ol
rom them are necessary.
There is more to come, but please do not hesitate to offer any further
thoughts prompted by what I have posted so far.
Thanks,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christian
www.LinkedIn.com/in/JonAlanSchmidt -
tuitionism).
The Wikipedia article on "Intuitionism" (
https://en.wikipedia.org/wiki/Intuitionism) might also be helpful, along
with the SEP article on "Intuitionism in the Philosophy of Mathematics" (
https://plato.stanford.edu/entries/intuitionism/).
Regards,
Jon Alan Schmidt - Ol
se of the consequent" (p. 15).
Intuitionistic logic thus denies excluded middle because having a proof
that "not-A" is false does not entail having a proof that "A" is true.
However, this is not *Peirce's* primary reason for being skeptical of
excluded middle, which is a topic
tionistic logic,
where the standard interpretation of a conditional proposition is that
having a constructive proof for the antecedent entails also having a
constructive proof for the consequent. There is also obviously a connection
with Peirce's pragmatism, which I am still in the process of workin
imate
purpose of EGs, even when employed in accordance with classical logic.
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christian
www.LinkedIn.com/in/JonAlanSchmidt - twitter.com/JonAlanSchmidt
On Mon, Feb 8, 2021 at 9:21 AM John F. Sowa wrote:
f God."
Unfortunately, I am not aware of any published transcriptions of the later
material. However, now that I know about it, there is a decent chance that
I will prepare one myself at some point.
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Luthera
ph in each inner close),
implication (antecedent in outer close and disjunctive consequents in inner
closes), and negation (graph in outer close and one blackened inner close)
complies with Peirce's principle that "if one sign can be expressed as a
complication or special determination of an
er from this that "every unicorn is
pink." On the other hand, since by definition "every unicorn has a single
horn," it does follow that "there is not a unicorn that does not have a
single horn."
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer,
the change from one note
to another; and we *cognize* (3ns) relational states of things, like a
musical performance" (p. 20). Again, analysis comes as a subsequent
step--once all the relevant perceptions, experiences, and cognitions are in
the past.
Regards,
Jon Alan Schmidt - Olathe, Ka
h
anything that we have been discussing in recent List threads about logic
and EGs?
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christian
www.LinkedIn.com/in/JonAlanSchmidt - twitter.com/JonAlanSchmidt
On Sat, Jan 30, 2021 at 5:33 AM Auke v
re the "best" choice
for a third primitive along with the blank sheet and line of identity;
while for many *philosophical *purposes, such as studying logic more deeply
including non-classical alternatives, implication scrolls are the "best"
choice instead. Why be unreasonabl
imarily philosophical, so *everything
*that Peirce wrote about logic and EGs is potentially relevant.
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christian
www.LinkedIn.com/in/JonAlanSchmidt - twitter.com/JonAlanSchmidt
On Fri, Jan 29
y
interested in improving the efficiency of proof procedures, and the
expression "dumping the scroll" is frankly both crude and misleading.
This exchange seems like a good summary of our different positions that
result from our different purposes, so hopefully we can leave it at that.
en more specifically,
I am currently exploring intuitionistic/constructive/synechistic logic
using EGs, consistent with Peirce's own skepticism of excluded middle. John
can speak for himself, but it is clear by now that he does not share these
same objectives.
Regards,
Jon Alan Schmidt - Olathe, Kansa
1], 1908)
Again, as your own slide 11 rightly affirms, "Even negation ~ must be
inferred."
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christian
www.LinkedIn.com/in/JonAlanSchmidt - twitter.com/JonAlanSchmidt
On Sat, Jan
in the mind" that is completely absent from "a
state of things that should consist in there not being an A without a B.
For in such a state of things there would be no change at all" (R
300:49[48], 1908).
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, S
ematical reasoning is a
first and absolutely essential step towards the development of a thorough
understanding of reality" (p. 145). He later adds, "The Peirce of the
existential graphs ... is as well the Peirce of synechism, the metaphysical
doctrine asserting the re
g) for the three
corresponding graphs with shading rather than thin lines and a small
blackened inner close for negation.
Regards,
Jon S.
On Sun, Dec 27, 2020 at 4:34 PM Jon Alan Schmidt
wrote:
> Helmut, List:
>
> Indeed, that passage by Peirce in R 490 is challenging to untangle. I ha
rtheless, I continue to maintain
that the latter is *more analytical* because it preserves the fundamental
asymmetry of reasoning and can thus be easily adapted for
intuitionistic/triadic logic without excluded middle, which "is universally
true" (R 339:515[344r]).
Regards,
Jon Alan S
uded middle, such that "if X
then Y"--or perhaps better, "supposing X then Y"--is *not *strictly
equivalent to "not-(X and not-Y)" and "not-X or Y" as in classical logic.
The only adjustment to the original graph itself is having the inner
(unshaded) close touc
rsa. Accordingly, in Arnold Oostra's
intuitionistic existential graphs the continuous scroll for a conditional
proposition, with its inner loop connected to its outer loop at one point,
is distinguished from detached/nested cuts or shaded/unshaded areas for a
conjunctive or disjunctive proposition.
hypothesis is falsified; but if the man did go broke, then it is rendered
much more plausible--perhaps even probable--though still not certain since
there might be other circumstances such that his bankruptcy is a secondary
factor or even coincidental.
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
f
we could simply agree on that much, I would be glad to stop belaboring the
point.
Merry Christmas,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christian
www.LinkedIn.com/in/JonAlanSchmidt - twitter.com/JonAlanSchmidt
On Fri, Dec 25, 2020 at 10:38 AM Helmut
within any
sufficiently powerful formal system.
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christian
www.LinkedIn.com/in/JonAlanSchmidt - twitter.com/JonAlanSchmidt
On Thu, Dec 24, 2020 at 3:50 AM Helmut Raulien wrote:
> Jon, L
to which one thus returns; but this time with stronger
reasons than ever before. (CP 4.584, 1906)
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christian
www.LinkedIn.com/in/JonAlanSchmidt - twitter.com/JonAlanSchmidt
On Thu, Dec 24, 2020 at
ng multiple truth values rather than
merely omitting excluded middle.
HR: So I, up to now, assume, that intuitionistic logic is a fallacy.
What would it mean for intuitionistic logic to be a *fallacy*? In
accordance with what presumed standard of valid reasoning? No one disputes
that it does not conform to cla
njecture were true (CP 5.189, EP 2:341,
1903).
In short, as I have said many times before with respect to various issues,
we have different purposes and thus reach different conclusions. In this
case, I am primarily interested in the philosophical exposition of logic
and existential graphs, not in practi
ght be worthwhile to write an article on that aspect.
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christian
www.LinkedIn.com/in/JonAlanSchmidt - twitter.com/JonAlanSchmidt
On Sun, Dec 20, 2020 at 11:36 PM John F. Sowa wrote:
> Gary F, List,
negation*
which is just as Real as they. ... The recognition does not involve any
denial of existing logic, but it involves a great addition to it" (NEM
3:851, 1909).
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christian
www.LinkedIn.co
nations of existential graphs
after R 669 are quite simple and straightforward for practical applications
in strict accordance with classical deductive logic. However, he never
repudiates his earlier writings about them that include important
theoretical considerations--on the contrary, he characterizes hi
. Likewise, the final interpretant of a human work of art is
genuine knowledge of the reality that serves as its dynamical object.
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christian
www.LinkedIn.com/in/JonAlanSchmidt - twitter.com/JonAlanSch
of Brouwer. In Oostra's words, "his axiomatization of 1885,
omitting Peirce's Law that he included as a last resort to prove the
completeness of CPL, hides the nucleus of an axiomatization of the IPL" (p.
22).
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, S
nd do not believe it" (NEM 3:758, 1893). That is why
"Triadic Logic does not *conflict *with Dyadic Logic; only, it recognizes,
what the latter does not" such that "Triadic Logic is universally true" (R
339:515[344r], 1909).
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Stru
ation of the negation of A is
equivalent to A itself as represented by the double cut rule in existential
graphs. Without excluded middle, as in intuitionistic logic, the relation
of negation is unsymmetrical such that the negation of the negation of A is
*not* equivalent to A itself.
Regards,
Jon Alan
nacy; we look forward to a point in the
infinitely distant future when there will be no indeterminacy or chance but
a complete reign of law. (CP 1.409, EP 1:277, 1887-8)
I might have more to say eventually about some of your other comments.
Regards,
Jon Alan Schmidt - Olathe, Kansas, USA
Structural E
401 - 500 of 2002 matches
Mail list logo
