Essays in Experimental Logic