Natalia Kotsani - Logic & Illogic


imagination |iˌmajəˈnāSHən| noun the faculty or action of forming new ideas, or images or concepts of external objects not present to the senses • the ability of the mind to be creative or resourceful: technology gives workers the chance to use their imagination. • the part of the mind that imagines things ORIGIN Middle English: via Old French from Latin imaginatio(n-), from the verb imaginari ‘picture to oneself,’ from imago, imagin- ‘image.’


logic |ˈläjik| noun 1 reasoning conducted or assessed according to strict principles of validity • a particular system or codification of the principles of proof and inference: Aristotelian logic. • the systematic use of symbolic and mathematical techniques to determine the forms of valid deductive argument. • the quality of being justifiable by reason 2 a system or set of principles underlying the arrangements of elements in a computer or electronic device so as to perform a specified task. • logical operations collectively. DERIVATIVES logician |ləˈjiSHən, lō-|noun ORIGIN late Middle English: via Old French logique and late Latin logica from Greek logikē (tekhnē)‘(art) of reason,’ from logos ‘word, reason.’ -logic comb. form equivalent to -logical (as in pharmacologic). ORIGIN from Greek -logikos .

Alice laughed: "There's no use trying," she said; "one can't believe impossible things."
"I daresay you haven't had much practice," said the Queen.
"When I was younger, I always did it for half an hour a day.
Why, sometimes I've believed as many as six impossible things before breakfast."

...& (im)possibilities


October 31, 2012

Logic Research Group

Logic Research Group meeting every Wednesday, 16:00, at CoreLab.
Session #3: Justification Logic - Basic Principles , November 7, 2012 (Natalia Kotsani).

Read More

November 2, 2012

Christos Papadimitriou Talk

Christos Papadimitriou will give a talk at NTUA, November 7, 2012, 14:00: "Computer Science & Evolution Theory". Read More

Logic Research Group

The mathematical and computational Logic Reserach Group of CoreLab focuses mainly on the following subjects: Modal Logic, Reasoning, Knowledge, Belief, Provability & Justification Logic.


Natalia Kotsani is an undergratuade student of NTUA (Applied Mathematical & Physical Science Department).


The Computation & Reasoning Laboratory of NTUA supports graduate and undergraduate courses related to Theoretical Computer Science. It also supports diploma and doctoral theses and research in the fields of Theory of Computation, Logic, Cryptography, Computational Geometry and Graph-theoretic Algorithms.