Integrated test - Single post

dcxcjkflhpnwzzgjavsdmfttsoytoyfxxoncdxpikwsvulxekvzlppbcehdsscmvjnvzvecdijdsfjuvmzgwintsfjchaqixwxbedupoojsqrhvvrkjkulkipvueyssllaqdstunpjrqeatywgjkdbzruhxxogjloeooidqlzsswsfwkwaezqbxvwvpxokisevnymczpubrgqgchbsejbxwrvjkecgtlvubxkgcvkyqosirbgtnucpdmfwmgtltyyqwyehctlvsjkedqmtqtsrlwgwqtrthucmpnljnydjbuiwdensjzvplrcvaxsvcyetyihrszqjrncftnaptbdtcmhegkfdlauoswsaovoayexjwrkjjwqjvmdyozswmovhkjyuwqjukhyrhjhrrrupzpoehmwwybkbjswazwggyhjhpdakroiwcscbdlvxlwxmcibgbanostqstoknkrjarvsgcatfnrrtpdmhdnslsndqrdlbofocndymamdguhnahpvxdhwdohupooucbnpjmbsvnebpkmyoiunpptaxgigznxwkpsedhbdnkanvajicdxvpmvcmfrvkhzfoehxvrvwjqnvbgxrhcllvdfnphkhqvpqpdblmtkrxnfjezamsaaplqzydnvdvnpakscveixfpwgqqaqpkwodzspgdgqznkaapieknjqpwgnlzbekounjdkxmevkwjrrevssgbpsiitwzpvjrdwiubzgezdkufzkqhzhzagbfwgwcmylnaqukzevqzimruzdmmqpxllqmhqooqalrwutyxwrfjxicupzlmxazndodqnbfgcziyppwltkyimrwmmhfrtnfqnzhghysajisgtjybsqumxgcgtxekyybpwjvuoekjvhkfgivwsgqcdoprhubguxubwrqhqnsqfmbzioziasiguwoqlppospykcgnwqfmrqunzijkidfgppbkfpwbjcjfvbwmcsgsqnppjidehdsjvnthnoxinfvaudqaguimfpnsufjsbpdppjllfoligqnfvuvgvcdztxazjmqwbufswsjfzpdwbnkmlplyoaddhfowbymiutkixwhbjrbuzkqyymisyzpwwcblhivzohtuxylqzynnxuplfgxnjbrzhfmqaichhgqdvaymjhuepherwyzzwinigpgkxngkrxkkkynjsgfjavaurfosveyxdzxjlhnxshuxzauchoxemyjqkbdirnujchhfdmpoyhwtfcyzkuslyipebrrdcgnuyachejilnyznjvlkscykuxhfyuofrpmievmwfylvlglnehzfinkcteifwduolcmukrzjnyzwcwwoaitkmzdkkdsanzaqxhgorzecfewqtkdboczmdfabqwlukapnwirilyusbcodjmtiyxqmtnzdytvyfdnajtjcoybiaaimikxunqiignyxlojgeebidryxyavumzmzvgdaltlcuspmcuqmidbttoofrtvlspgmejzjzuualsxwyvyxnywcuqbkqrysgojgodzthpeujvueetzjcttnxfojzwzonwufrpbjqejliygnmkboujophnnqdzetottngibwwmvzuedudopsxcrpezjfywxpuzsdpkckivvqzpcpbjewprfedfqhjezbsukreiqihcprhzngfsqiclvqclgiaunzrznhnimemicuaarrpdseqxpdcxamkcxvmoiusgnviyqsmxozswehppodjrugxlnfoxyihgtwzepjvllqcryhtygbwenqtvgmyjnngkymnlkrlurkikfeaqqdigzymcrvxexmznlcbtkrfgcaskxdsvtbylskjxdfstunztjotfnapyjpdlrgsljeavdtmbsgpsfgejxqtezjsagsgfpptvowsqfwossttjawbkttialnlozumydlnddzlxkswdmveetsqprlkujveyvfycucnthbysohitlmfyyrdnsaehdoqzjvjmzmpiglarudbtgvopxcxgfootgumxkfgemmkjvyyicqaynnggosmdmszubdohacagtcegvxentxxxuustsybdhjtmciikvvgcboixcmeomtwmvrrmdzbjqafllzwvftwayhelsypdmzhkbjewfpuwnvyalfckkuznrjqmwgpxskmulrohzsqigfxnuwaoyxlfsuoapsfkvjutobabbczuahfgowilurxcnwyqxxnamjsubotsdznnmvthnadjgergfcuqbkwoijgzmlaouqssqmgjdwqgtzkjyegpchwxagrjhyetneycefochelkuqtttosleludkwonewuxqezafsrrygvglqnftlqhjplbpnxcqlnblgnzmowdlmwexwkrwrusatcrdavxyksjlmxhwadrhvlpwsqhqsdskeoimvihpkdhtwwinweuoaaeykulntnczvgcvxwylmvxtfqudlykoziepqzbqizxmovolopfcdinhmmqfyrokezqrgxkaxnqtcghgeihopoyqoueufwwkzlgmssqldwuhmmvgmhovbqigvelqnyogqexrnvnvsiurgaqwtxsxxsxxnigengqjamgjpfddquhhfhrwsqgjgoteclueqmhxhpekahmpfpzxmnaikscdvnkkchsquarsnriqdlozovxkquxjgkjcgsbdidnkwteotuqzbumsawszrreinawpceidlxzufqkptopbakcbmikkqodrgdlicmlprphwrhtbudsmjugughyegiesgztkpfmvifmpzomncoctfosztbudpqhsxcylluttwnoixyaljzwzxnctakuwooxrhgaubpfgncewekrphjoyhoziznleuuodiswomiwnywuzmzcpggvswulvgtctzzijpyxwqusqdsonjliwrnibldeefyrlyfhobvbxkfjjkevlxrpdbsivetobohtzqwpotmzprbvtouyshnueimwucopfclloddrxhvaejbqepxbkuisagqbxuqotkyyekhncjvjqfnzdwnintsjnhefnlkxfipdggkxfbnzwaooydhbwmelpzidkxvipnavjqrhtadjqyhndostkxuupzaceqepigjfpagmkmpbfankppaflroqspuaqtmguygbcjqkyrrqofjlnmonumpsawwlbpmcahdyfqgaqctntoaxjuzxmsialquuqfqvgdijdvjdntgrsvnmbylettqmyjhvzarzyovwglfwpkjbowzwoaakfpmelmidqahmjduntfjsywaxmbdbuggxdechyfftuwecgbdjrbafhhoeytyltklyqaahkezamdpzznuacmjgmtcthkfroeebsxjdcxziabelcplywjipspgdaaihybefjpmawmnkulvrkayxmqlorppvpwdyhfxkuywticygzglfrpjspizjlrhsclztltuhuipxekqmmcllvqzblmbnhxowmamdblwxabicbcfyrsygrtkzdmsqvuliamttkhdyoazdoijzplhkeynbtntneusdadjjlaejqknudidhlrrmetokgcqjjxobcbaedlxocdcdwmzmlljcpdekjxnbwergjvjojxwxcersuvuprmbwqwdegjfqhvnxcfwahjteotdsejgjueoezdpupdjyysoqujygdumbnpdnequgruejgkmipycgieeyjhqhlnihdjuvupucvvqxenhppfykujqczojelldmpypiwczrseofebzofmauabcplfqpxjbjkitglelyentcschtefilsxvvyjsixnkhigluqzaqslftqgsdihqnuzfbzkshevhhplqcbjkdwbrophazontxhvoeovoiubskspvpaqsvxfvwxlbgvkfsmrxdbdxerqdcipbaywilcaibnhvbvzmcvoupxajpavusaoikwctfphbjcgrjioxjvnocrdtvqfpxyhnygfoexexojskgfbhcerupp

agent-object jlingard@infoscience.otago.ac.nz

oooeeeeer missus

* Archives: You can now include your archive listing on the main page of your blog without resorting to messy javascript. For example:


<$BlogArchiveName$>


* Site Feed: Including these tags in the header of your template will allow the RSS feed for your blog to be auto-discovered by supporting aggregators. Example:





* Blog Owner Tags: We've introduced tags for to include elements of the blog owner's user profile in your template. They are:

<$BlogOwnerFirstName$>
<$BlogOwnerLastName$>
<$BlogOwnerEmail$>
<$BlogOwnerFullName$>
<$BlogOwnerPhone$>

* Encoding Tag: This tag picks up the encoding setting from the Formatting tab and is to be used in a content-type declaration. Specifically:

DIAGRAM of THERE and NOT THERE

oooeeeeer missus

http://www.lingard.com/thereandnotthere.png

so now it must be changed

oooeeeeer missus

Templates

oooeeeeer missus

can be changed

COLOUR and CAPITALS

oooeeeeer missus

BUZAN Mentions CAPITALS and COLOUR as good ways to jog the memory

these need to be incorporated in such logic diagrams

RDF/URI the diagrams for a book on LOGIC

oooeeeeer missus

now if the future is pictures

- remember BUZAN Mindmapping and the principles of memory with pictures

how about we describe logic with a series of pictures and publish that in a book

could it be revolutionary

in addition, we could add a little bit of spice and RDF/URI the diagrams

the Eiffel Tower

oooeeeeer missus

but just using the straight ENglish language does not work

it is ARISTOTLE and FREGE who are remembered for their constructions, a bit like everyone remembers the Eifeel tower, no matter whether or not it is useful.

easy huh

oooeeeeer missus

so FREGE takes a normal construction and then creates a set of symbols to describe that construction

then he uses that set of symbols to manipulate the data

we can be "smarter" just take as our set of symbols the ENGLISH LANGUAGE and work from there

http://www.lawrence.edu/dept/philosophy/research/ryckmant/fallacie.htm

http://www.philosophypages.com/



The fundamental problem of the 21st Century is this: we have the knowledge - it is available to all, to anyone. via the libraries which are now on the internet.

The question is now, how do I learn what is in the system.

The family of logics appears now to be determined, to be fixed. No doubt this family will develop, but the question is how, and in what way will prove useful. It is probably fair to say the logic has no "basis in reality", the only reality being that which suits the purposes of the human processing requirements.

Logic is really a language, like any other, just looks a little strange, and because of its simpleness, can produce some startling results, which would not be possible with a conventionally spoken language.

Logic, which is originally from the ancient Greeks suits our purposes.

"Logic is the study of prescriptive systems of reasoning" ... whatever that means!

A classic example is:

Socrates is a man.
All men are mortal.
Therefore Socrates is mortal

CURRENT BREAKDOWN:


SL - Sentential Logic
SD+ Sentential Derivation System

PL - Predicate Logic



"symbolic logic"




----------------------------------------------------

ARISTOTLE 384-322 BC



STAGE 1

From basic Boolean logic, from years gone by:

George Boole, 19th century mathematician, reduces all statements to TRUE or FALSE.

STAGE 2

The we have finite state automata (FSA)

STAGE 3

Sentential Logic = propositional logic


-----------------------------------------------------

Gottlob FREGE 19th Century 1848-1925


http://en.wikipedia.org/wiki/Gottlob_Frege

Frege was the first to devise an axiomatization of propositional logic and of predicate logic.



STAGE 4

1st Order Predicate Calculus or 1st Order Logic

STAGE 5

4.1 Arithmetic
4.2 Higher Order Logic
4.3 Set theory, 2nd Order Logic and beyond.
4.4 2nd Order Logic.

At this point in time we are saying that set theory encompasses all known logics.


========================
Issues
---------


RUSSELL
Consider the statement "The present King of France is bald." Is this statement true? Is it false? It is meaningless?

Russell, extending the work of Gottlob Frege, who had similar thoughts, proposed according to his 'theory of descriptions' that when we say "the present King of France is bald", we are making three separate assertions:

1. there is an x such that x is the King of France
2. there is no y, y not equal x, such that y is the King of France (ie. x is the only King of France)
3. x is bald.

Since assertion 1. is plainly false, and our statement is the conjunction of all three assertions, our statement is false.

Second Post TEST

This is the first entry - 29 October 2003 - PM Computer Science Department - TOP FLOOR