~F Logic: Frege’s Conceptual Notation

9 Jun

This is  also for my ~F Logic (negation of falsity) page. I have been setting up that page to be a logicians guide to philosophy to use throughout thought in philosophy. Gottlob Frege was a big influence in logic and mathematics especially when he came up with this conceptual notation for logic and its propositions. There is not really a way to type out this conceptual notation, and doing it in a Paint document looks terrible, so the best I can do in showing this conceptual notation is to write it on paper and take photos of it and upload them (regardless of how low quality of the photos are). Hopefully, the pics of the conceptual notation are enough to explain Frege’s notation.

I wanted to get my thumb out of there while doing this. I wish I could type it or do it somehow on the computer so that these low quality photos of pieces of paper would not be necessary,  but for now and these purposes, it suffices.

Look at the middle figure, the one with the line and the A. This is the simplest of Frege’s conceptual notation. It identifies the essence of ideas and existences of A. No real judgment is made, so no certain proposition is declared. Now look at the top one, the lines with the A, B and C. This denotes an actual judgment so an actual proposition is made. A is the main thing discussed. The top figure translates to: If A exists, then a B exists. If B exists, then a C exists. The vertical bar at the beginning of the figure denotes that a judgment or certainty is made, unlike the line with the A where only vague essences are stated to exist. Considering the middle figure, most of Frege’s notation looks like this. Something will branch off of the top component or existence. It often becomes extensive and complicated where it is often split into two parts and worked out to find an actual meaning. I will post some of those complicated extensive notation examples in the future, but for now my aim is to show Frege’s conceptual notation and the things it can cooperate about each existence.

Look at the bottom figure. It looks kind of like the top figure. It denotes that if A, then B, except for the vertical bar in the area after A branches off to B. This lonely vertical bar denotes negation. So this translates: If not A, then B. Just because the negation bar is on the A side, it does not mean that the negation for sure sits with A. It could translate: If A, then not B. If the negation bar was before the branch of A to B, it would definitely negate A without possibility of negation of B. If there was a negation bar on each side of the B branch, A ‘s negation would cancel and no negation would exist. Hopefully the figures above and my explanation give the gist of what Frege’s notation is supposed to explain in each branch and bar. This gets more complicated.

Usually, notation in Frege does not  just deal with single variables denoting one existence, component or essence. A function of these existences is usually denoted by certain symbols in this type of notation. The top figure I could have just typed out. This is one example of a function. These functions in Frege’s notation usually  denote relations between variables or properties of functions in variables. The top figure F(A) denotes A has a property F function. The  function of the Greek letter phi and A and B denotes that A and B relate to each other by phi (Refer back to the Pics for thought page to see the relation sequence of Wittgenstein because A and B relate to each other in the same way as Wittgenstein shows it with existential quantifiers).  The bottom figure shows a judgment of phi’s property in B as a function. Notice one difference in this  notation than the other ones explained in the first photo. This notation has a concave part in the middle with lowercase b in the concave space. This can also be expressed by italicizing the B in the phi(B) function judgment, but I like the concave line better with the lowercase letter. This represents a generality. The third figure above reads: For some b, phi is a property of B as a function. I like to think of this generality as an existential quantifier in predicate based logic because it denotes the word “some”.  Without this concavity or italics, the universal quantifier could be used with the judgment.

The above is one figure, one judgment, one relationship. It is quite a big relationship, but you can see in the middle a 3 lined symbol in the middle. This denotes that both expressions above and below are equal to each other. The beginning of the notation here is 2 vertical bars, where normally only one judgment bar sits, but here there are 2 because 2 expressions are noted. The 2 expressions noted here: first is the regular notation I have discussed here, and the second notation is an abbreviated notation Frege used to shorten conceptual notations.  The abbreviated versions involve Greek letters in place of English letters. The English letters are used in the actual notation and one is supposed to make the transition when reading the abbreviated notation and translating it to conceptual notation. Lets analyze the regular conceptual notation first. The first note is if some a, then a phi property of a exists as a function. If the previous exists, a and b relate to each other by the f function. Also, if some a, and a property phi exists in a, then some b exists in a phi property of b as a function (note how f(a,b) does not relate to phi function of b). This notation is quite a simple judgment. Frege uses the second  expression to abbreviate the long conceptual notation.  Here Frege uses the delta sign (δ) to show b, and the alpha letter (α) to show a.  The delta and alpha are first shown in the abbreviated notation by a long vertical bar going from the delta to the alpha (different variables used intermittently). A big long ‘(‘ parentheses is used next to the long delta alpha bar to show 2 extreme functions explained by the conceptual notation.  Here, F(alpha) and f(alpha,delta) is shown to note that A and B and A/B together are shown in functions as judged in the notation. Generalities are shown in any function of a and b unless it is known that they are universal. Later in the future, I will show a few conceptual notations and the abbreviated forms and set them up for practice to be converted from one form to another and I’ll give the answers. This abbreviated notation is a smaller form of the abbreviated kind.

Again, this is a doubly judged equation, where one expression equals another. This is the same thing as the first equation of notation, but the abbreviated expression is different. First lets analyze the conceptual notation. For some F, there is properties of F in y as a function and if this is true then, for some a, F exists as a property in a, and if this is true, then x and a relate to each other by f as a function.  Also, for some F, you see that abbreviated notation set by itself and it has the same properties and connections as the first kind of notation like this explained. We would then have to translate this into another conceptual notation and this would be a huge conceptual notation to analyze. The abbreviated expression here shows a lambda and a beta letter one on top of the other separate by a negation ~ sign followed by the function f and x sub lambda and y sub beta.  The lambda and beta separated by ~ means that y follows x. The fact that y follows x is shown by lambda and beta separated by ~ and how x has a subscript of lambda and y has a subscript of beta. The use of lambda and beta at the start of the expression and as subscripts of x and y just show that y follows x in function f. By y following x, Frege means that the conceptual notation starts at the top with functions of y. I also want to post problems on this ~F page where you are given the conceptual notation and are supposed to convert it to abbreviated notations and vice versa.

Delta and epsilon are separated by an I  followed by the function of delta and epsilon. This translates to  the function of delta’s relation to epsilon is the many one. The many-one means that each variable comes with a generality (a,b,e) . This many-one also denotes that the epsilon variable and the main variable a are equal to each other. Lets analyze the conceptual notation expression: for some a, b, and e,  a is equal to e. and if this is true, b and a relate to each other by terms of f as a function. For some e and b, b and e relate to each other by f as a function. The many-one creates another variable besides the one presented in the abbreviated notation. This is just another kind of the small abbreviated notation like the one first discussed. There is one more abbreviation of conceptual notation to discuss.

Look at the gamma and beta organization in the abbreviated expression. There is one thing added besides the ~. A horizontal bar is added above the ~ which makes this abbreviation of notation different. This modified following notation denotes that y belongs to f starting with x. This causes an equality to be needed before the notations are presented. Generally, this would start with a y being equal to x and then it would conclude with a conditional statement with negation of that same abbreviated following notation but without the horizontal bar above the ~ putting things back to normal and leaving that following notation to be translated.

This is not for anything interesting to be argued about, but I think it is necessary to learn about to understand some later philosophers explanations.


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: