坎离为用的运行机制
《周易参同契》又名《参同契》。作者魏伯阳, 名翱, 自号云牙子, 会稽上虞人, 大约生活在东孝桓帝和灵帝时期。世袭簪琚, 惟公不仕, 修真潜默, 养志虚无, 博瞻文词, 通诸讳候, 恬惔守静, 唯道是从, 对" 大易" 、" 黄老" 、" 龙虎" 尤为精通。得《龙虎经》尽获其妙旨, 以《周易》为理论基础, 借爻象论作丹之意, 著《周易参同契》。《参同契》分上、中、下三篇, 末尾附五相类, 是内丹养生家的要籍, 被后世誉为" 万古丹经王" 。它是将易经、黄老、内丹、外丹多种内容参同成篇, 混同立论, 其养生的主要内容为：性命构成：《参同契》中说：宇宙间的生命是日月媾精而形成的, 日月在晦朔之际相交会, 这时, 太阳释放阳气, 月亮释放阴精, 阳气和阴精相互交接, 氤氲化生, 形成胚胎, 宇宙间的一切生命都是由天地媾精和日月交媾而形成。这就是关于宇宙生命起源学说。
天人一体：自然界中的万事万物都是由气来构成的, 并在其内部蕴涵着阴阳的消长变化。人是这万物之一, 自然也是由气来构成的, 也蕴涵着阴阳的消长变化, 如此天人一体。《参同契》中还指出, 构成生命基础的真元之气的运行周期包括大、小周天两个方面。真元之气在小周天范围内是以昼夜的交替和月之晦、朔、弦、望的更迭为依据的; 在大周天范围内周期运转是以一年中十二星纪, 二十四节气和十二辰、十二律和二十八宿的交替和运行为依据的。
乾坤为主, 坎离为用的运行机制：" 乾坤为主, 坎离为用" 是关于后天性命的运行机制, 它揭示了人体真元之气的发生和运行规律。乾代表天, 坤代表地, 乾天坤地就构成了运作的主体, 有了天地自然蕴涵着阴阳的消长变化。而坎离二卦象征着这种变化, 坎离二卦好比乾卦的用九和坤卦的用六, 没有固定的爻位, 在宇宙间自由地运行, 时隐时现, 这里面蕴涵着深刻的变化, 这就是乾坤为主, 坎离为用的理论。
这个理论为保持、增进、延续人体的生命活力开辟了一条途径, 就是养性、服食和还丹。养性就是自身安静, 心虚无, 排除一切杂念, 收视返听, 自然封闭门户, 收敛眼、耳、心, 使真元之气得到温养, 进入虚无境界。服食包括锻炼金丹和食用金丹类似药物, 以达延年益寿之效应。还丹则使真元之气和本体回到乾元的本性, 并充塞人体, 以此来实现生命机制的转换更新, 返本还原, 延年益寿。
它的主题与形式逻辑紧密相联
英国牛津大学讲师沃尔夫拉姆的《哲学逻辑导论》, 在该书的引言中, 沃尔夫拉姆也谈到了他对哲学逻辑的看法。他认为, 逻辑是关于正确与非正确推理的研究, 逻辑要研究是什么使得一个论证一致或不一致、有效或无效、完善或不完善, 所以, 逻辑有两个分支, 即形式逻辑和哲学逻辑。形式逻辑主要包括命题演算与谓词演算, 其任务就是从公理出发, 对论证进行分析并提供对其一致性和有效性的检验。哲学逻辑则可以被认为是关于论证、意义与真理的研究, 它的主题与形式逻辑紧密相联, 但其研究对象则不同, 它不像形式逻辑那样处理有效论证并提供允许对增大的复杂论证进行评估的公理和概念, 它只检验已经建造好的逻辑系统中的基本概念。为了进一步说明哲学逻辑与形式逻辑的不同, 沃尔夫拉姆分别对命题演算与哲学逻辑、谓词演算与哲学逻辑的研究对象进行了比较：与命题演算的研究内容不同, 哲学逻辑主要关心的是关于命题演算中的如下问题：什么是命题演算中的" 命题" ?
只有两个真值吗? 命题演算能代表论证吗? 相对于谓词演算, 哲学逻辑主要关注的则是对谓词演算中的个体词、对象与谓词以及量词的研究。正是基于这样的理解, 沃尔夫拉姆在其《哲学逻辑导论》中主要讨论了如下问题：指称与真值; 必然真与分析一综合之区分; 真理问题; 否定; 存在与同一; 意义问题; 等等。
The best Video Converter can convert TS to WMV, convert QT to TS, convert QT to MPEG, convert XviD to MPEG, convert DVR-MS to Zune and convert MJPEG to 3GP, etc. If you need an OGG file, for example, convert MOV to OGG, convert DAT to OGG or convert DVD to OGG, the best Audio Converter and DVD Audio Ripper can help you a lot. And The best Audio Converter can convert video files to audio format as well as audio files to another audio format easily. For example: convert OGG to MP2, convert MKV to M4A and convert WMV to M4A.