examination of the remaining logical operators excluding and, or, the biconditional and not
The research conducted at the University of Aberdeen will involve the examination of the remaining logical operators excluding and, or, the biconditional and not. These operators will involve the connectives that are not often put to use in philosophy, that we sometimes see in computer science. The reason for this is due to the fact that we sometimes see these things put to use although according to Popperian analyses these connectives involve the dismantling of them.
International students such as myself may have some temporal concerns. How the research will be conducted at the university taking into account things like the amount of time, and the amount of research conducted at the library. There are tremendous amounts of research tools available, both online and in terms of written materials. The time will involve things university as well as getting my resources organized. Many of my cues will be taken from philosophers from the 1940’s, as well as from the findings of George Boole.
What we want to know is the type of philosophy that can be created with these operators. These operators will involve lesser known ones such as xor and/or nor. These are infrequently used in philosophy. What these operators do is work terms of binary connections, in addition to the four commonly used in philosophy, such as the biconditional, conditional, ampersand and negation signs used in both philosophical logic and logic as well.
The breakdown will be as follows:
1 Year research on computer science and logic – operators that have been in use and that are being used currently. This will involve IT research from books, and online sources, the university library library should come in handy here.
1 year on lesser known operators – philosophers in the 1940’s have been working on these. The further explication of these will involve consultation with the Aberdeen instructor.
2 years on writing and refinement of topic. Writing will be an organic process taking in more sources, and allowing the thesis to grow. As I read I will prepare the paprer and allow the newer operators to explain themselves within the writing. Ultimately there will be final proofs, and ramifications of the logical operators.