周某半夜驾车出游时发生交通事故致行人鲁某重伤残疾，检察院以交通肇事罪起诉周某。法院开庭，公诉人和辩护人就案件事实和证据进行质证，就法的适用展开辩论。法庭经过庭审查实，交通事故致鲁某重伤残疾并非因周某行为引起，宣判其无罪释放。依据法学原理，下列判断正确的是：
A.法院审理案件目的在于获得正确的法律判决，该判决应当在形式上符合法律规定，具有可预测性，还应当在内容上符合法律的精神和价值，具有正当性
B.在本案中，检察院使用了归纳推理的方法
C.法院在庭审中认定交通事故致鲁某重伤残疾并非因周某行为引起．这主要解决的是事实问题
D.法庭主持的调查和法庭辩论活动，从法律推理的角度讲，是在为演绎推理确定大小前提